তাত্ত্বিক কম্পিউটার বিজ্ঞান

আমি আগ্রহী সঙ্গে-ডিগ্রী আউট সংশোধন র্যান্ডম নির্দেশ গ্রাফ বৈশিষ্ট্য ddd । আমি একটি এলোমেলো গ্রাফ মডেলটি কল্পনা করছি যেখানে প্রতিটি শীর্ষবিন্দু ঘরের প্রতিবেশী (প্রতিস্থাপন সহ বলে) চয়ন করে প্রশ্ন : স্থির বিতরণ এবং এলোমেলো গ্রাফগুলিতে ( বিভিন্ন মানের জন্য ddd) এলোমেলো পদক্ষেপের মিশ্রণের সময় সম্পর্কে কিছু জানা যায় কি ? …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

যাক 0≤p≤10≤p≤10\le p\le 1 এবং সিদ্ধান্ত সমস্যা বিবেচনা উপদল পি ইনপুট: পূর্ণসংখ্যা গুলি , গ্রাফ জি সঙ্গে টি ছেদচিহ্ন এবং প্রান্ত প্রশ্ন: কী অন্তত একটি উপদল ধারণ গুলি ছেদচিহ্ন?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss চক্রের একটি দৃষ্টান্ত pp_p অনুপাতে রয়েছে ppp সব সম্ভব প্রান্ত বাইরে। স্পষ্টত উপদল pp_p কিছু মানের জন্য …

17 cc.complexity-theory  np  parameterized-complexity  clique 

এটি সুপরিচিত যে দ্বি-প্রবণ ইন্টারেক্টিভ প্রুফ সিস্টেমগুলির সাথে থাকা ভাষাগুলির সেটটি, যা যাচাইকারী বহু-কালীন (এমআইপি) তে সঞ্চালিত হয়, এটি এনএক্সপি। যখন প্রবাদরা ক্ষমতার মধ্যে সীমাবদ্ধ থাকে তখন কি এই জাতীয় ইন্টারেক্টিভ প্রমাণগুলির শক্তির উপর সীমাবদ্ধতা রয়েছে? উদাহরণস্বরূপ, বহুশাস্ত্র-সময়ের প্রবাদগুলির সাথে দ্বি-প্রবণ ইন্টারেক্টিভ প্রমাণগুলি স্বীকৃত ভাষাগুলির শ্রেণিটি কী? আরও স্পষ্ট করে …

17 cc.complexity-theory  interactive-proofs 

কে সিসিসি করা যাক । আসুন তে একটি পণ্য দ্বিখণ্ডক হয়ে উঠুন । বিড়ালটি সিসিসি হিসাবে , আমরা তরকারী করতে পারি :( × ) সি ( × )CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B ফ্যান্টেক্টর বিভাগ সাধারণ কাঠামো থাকে। C⇒CC⇒CC …

17 functional-programming  pl.programming-languages  ct.category-theory 

সাধারণত, দক্ষ অ্যালগরিদমে একটি বহুপদী রানটাইম এবং তাত্পর্যপূর্ণ-বৃহত সমাধানের স্থান থাকে। এর অর্থ হ'ল সমস্যাটি দুটি ইন্দ্রিয়তে সহজ হতে হবে: প্রথমত, সমস্যাটি বহুবচনীয় ধাপে সমাধান করা যেতে পারে এবং দ্বিতীয়ত, সমাধানের স্থানটি খুব কাঠামোগত তৈরি করতে হবে কারণ রানটাইম কেবল সম্ভাব্য সমাধানের সংখ্যায় বহুবৈজ্ঞানিক। যাইহোক, কখনও কখনও এই দুটি ধারণা …

17 cc.complexity-theory 

কোয়ান্টাম কম্পিউটেশন গবেষণার একটি সক্রিয় ক্ষেত্র যা কম্পিউটারের দক্ষতা সক্ষমতা অর্জনের জন্য কোয়ান্টাম পদার্থবিজ্ঞানের (যেমন কোয়ান্টাম জড়িয়ে পড়া) সুবিধা নেওয়া ( চার্চ-টিউরিং থিসিসকে পরিবর্তন করে না ) লক্ষ্য করে। কোয়ান্টাম-কম্পিউটিং তত্ত্ব (যেমন কুইটস এবং টেলিপোর্টেশন) প্রদর্শনের জন্য সবচেয়ে গুরুত্বপূর্ণ পরীক্ষা-নিরীক্ষা করা হয়েছে?

17 reference-request  quantum-computing 

মনে করুন আপনাকে একটি সংযুক্ত, সরল, পুনর্নির্দেশিত গ্রাফ এইচ দেওয়া হয়েছে এইচ-ফ্রি কাট সমস্যাটি নিম্নলিখিত হিসাবে সংজ্ঞায়িত করা হয়েছে: একটি সাধারণ, পুনর্নির্দেশিত গ্রাফ জি প্রদত্ত, সেখানে কি একটি কাট রয়েছে (দুইটি খালি সেটগুলিতে উল্লম্ব বিভাজন, এল, আর) যেমন কাট-সেটগুলি দ্বারা উত্পন্ন গ্রাফগুলিতে (এল এবং আর) উভয়ই এইচ-তে উপগ্রহ বিচ্ছিন্ন করে …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

রিলেশনাল ডাটাবেসগুলি বোঝার জন্য আমি কমপক্ষে দুটি পৃথক তাত্ত্বিক পদ্ধতির বিষয়ে সচেতন: কোডের সম্পর্কযুক্ত বীজগণিত / ক্যালকুলাস এবং বিভাগ তত্ত্ব। এই দুটি পদ্ধতির মধ্যে কোনও সম্পর্ক আছে কি? এগুলি কি কোনও অর্থে সমান? এই উভয় ফ্রেমওয়ার্ক কীভাবে সম্পর্কিত ডেটাবেস ব্যাখ্যা করে তা ব্যাখ্যা করার কোনও প্রাথমিক কাজ রয়েছে? পটভূমি: কিছুক্ষণ …

17 reference-request  ct.category-theory  db.databases  relational-structures 

পটভূমি । আমি একজন ব্যাচেলর শিক্ষার্থী যিনি বিভাগের তত্ত্ব, মোনাডস এবং হাস্কেল সম্পর্কিত গবেষণায় আগ্রহী এবং আমি সে ক্ষেত্রে আমার ব্যাচেলর থিসিসের জন্য একটি বিষয় সন্ধান করতে চাই। আমি কাগজের দিকে তাকালাম ইউজিনিও মোগগি , " গণনা এবং মনডের ধারণা ", 1991, এবং আমি এখনও এর অনেক কিছুই বুঝতে পারি …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

সংবেদনশীলতা বনাম ব্লক সংবেদনশীলতা সম্পর্কিত কিছু কাজ এবং মধ্যে যথাসম্ভব বৃহত ফাঁক দিয়ে ফাংশনগুলি পরীক্ষা করে লক্ষ্য করা যায় যে কেবলমাত্র চেয়ে বহুগুণে বড় । বিপরীত দিক সম্পর্কে কী? ফাংশন সম্পর্কে কী জানা যায় ?s(f)গুলি(চ)s(f)bs(f)খগুলি(চ)bs(f)bs(f)খগুলি(চ)bs(f)s(f)গুলি(চ)s(f)s(f)=bs(f)গুলি(চ)=খগুলি(চ)s(f) = bs(f) তুচ্ছভাবে, ধ্রুবক ক্রিয়ায় । এছাড়াও জাভাস্ক্রিপ্টে গার্বেজ, যে কোনো ফাংশন এছাড়াও আছে । …

17 circuit-complexity  boolean-functions 

সম্প্রতি আমি বেশ আকর্ষণীয় একটি তাত্ত্বিক নির্মাণে হোঁচট খেয়েছি। একটি তথাকথিত গডেল মেশিন এটি একটি সাধারণ সমস্যা সমাধানকারী যা স্ব-অনুকূলকরণে সক্ষম। এটি প্রতিক্রিয়াশীল পরিবেশের জন্য উপযুক্ত। আমি যেমন বুঝতে পেরেছি, এটি সর্বজনীন টুরিং মেশিনের জন্য একটি প্রোগ্রাম হিসাবে প্রয়োগ করা যেতে পারে, যদিও এটি প্রয়োজনীয়তা বর্তমানে উপলব্ধ হার্ডওয়ারের বাইরে। যদিও …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

এটি সুপরিচিত যে K5কে5K_5 এবং K3,3কে3,3K_{3,3} প্ল্যানার গ্রাফের জন্য নাবালকদের নিষিদ্ধ। টরাসটিতে এম্বেডযোগ্য গ্রাফের জন্য শত শত নিষিদ্ধ নাবালিকা রয়েছে । নিষিদ্ধ সংখ্যা অপ্রাপ্তবয়স্কদের গ্রাফ জন্য পৃষ্ঠতলে এম্বেডযোগ্য মহাজাতি ছ একজন সূচকীয় ফাংশন ছ । আমার প্রশ্নটি নিম্নরূপ: সেখানে একটি সুনির্দিষ্ট গ্রাফ হয় GtGtG_t উপর টি ছেদচিহ্ন (যা একটি সম্পূর্ণ …

17 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

আমার এর দুটি পার্টিশন রয়েছে [1…n][1…n][1 \ldots n]এবং আমি তাদের মধ্যে সম্পাদনার দূরত্ব খুঁজছি। এর দ্বারা, আমি নোডের ন্যূনতম সংখ্যার একটি পৃথক গোষ্ঠীতে ন্যূনতম সংখ্যার সন্ধান করতে চাই যা পার্টিশন এ থেকে পার্টিশন বিতে যেতে প্রয়োজনীয় are উদাহরণস্বরূপ থেকে দূরত্ব {0 1} {2 3} {4}মধ্যে {0} {1} {2 3 4}হতে …

17 ds.algorithms  edit-distance  lattice 

এনএক্সএন পারমিউটেশন ম্যাট্রিক্সের সেট এস দেওয়া (যা এন এর সম্ভাব্য পারমিটেশন ম্যাট্রিক্সের কেবলমাত্র একটি ছোট ভগ্নাংশ), আমরা কীভাবে এস এর ন্যূনতম-আকারের উপগ্রহগুলি খুঁজে পেতে পারি যে টির ম্যাট্রিকগুলি যুক্ত করতে প্রতিটি অবস্থানে কমপক্ষে 1 থাকে? আমি এই সমস্যাটিতে আগ্রহী যেখানে এস S_n এর একটি ছোট উপগোষ্ঠী। আমি ভাবছি যে লোভী …

17 ds.algorithms  approximation-algorithms  set-cover  permutations 

নিম্নলিখিত কাগজের "প্রথম পৃষ্ঠার" "শেষ অনুচ্ছেদে": বিক্রমান অরবিন্দ , জোহানেস কবলার , উউ শেকিং , রেইনার শুলার , "যদি এনপি-তে বহু-আকারের সার্কিট থাকে তবে এমএ = এএম," তাত্ত্বিক কম্পিউটার বিজ্ঞান, 1995। আমি কিছুটা পাল্টে স্বজ্ঞাত দাবিটির মুখোমুখি হয়েছি: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 আমি মনে করি উপরের পরিচয়টি …

17 cc.complexity-theory  complexity-classes