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

আসুন একটি ধ্রুবক হতে। আমরা কীভাবে একটি সিউডোরেন্ডম জেনারেটর তৈরি করতে পারি যা স্টেস্ট সসীম অটোম্যাটাকে বোকা বানায় ?dঘddঘdd এখানে, একটি -state সসীম অটোমাটা হয়েছে নোড, একটি শুরুর নোডের রাজ্যের গ্রহণ প্রতিনিধিত্বমূলক নোড একটি সেট, এবং দুই নির্দেশ প্রান্ত লেবেল 0, 1 প্রতিটি নোডের আসছে আউট। এটি ইনপুট পড়ার সাথে …

12 automata-theory  pseudorandomness  pseudorandom-generators 

যাক সংবেদনশীলতা সঙ্গে একটি বুলিয়ান ফাংশন হবে এবং ব্লক সংবেদনশীলতা ।s ( f ) b s ( f )চffs ( চ)s(f)s(f)খ s ( চ)bs(f)bs(f) সংবেদনশীলতা-ব্লক সংবেদনশীলতা অনুমান অনুমান রাজ্যের নেই একটি যেমন যে ।∀ f , b s ( f ) ≤ s ( f ) গসি > 0c>0c>0∀ চ, …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

এখানে কি এনপি সম্পূর্ণ (বা এমনকি এনপি-হার্ড, বা এনপি) সমস্যা রয়েছে যাদের অধ্যয়নের জন্য ভাল টপোলজিকাল বৈশিষ্ট্য রয়েছে। এনপি সমস্যাগুলি কি তাত্ত্বিক সূত্রগুলি গাঁটতে পারে? আমরা জোস বহুপদী সম্পর্কে # ফলাফল সম্পর্কে জানি । গ্রাফ সমস্যা (এম্বেডিংস?), বিশেষত গ্রাফের রংগুলিতে দুর্দান্ত গিরিতাত্ত্বিক বৈশিষ্ট্য দেখা যায়। এটি একটি মুক্ত সমাপ্ত প্রশ্ন, …

12 ct.category-theory  np 

আমি যথেষ্ট নিশ্চিত যে আমি যে ধারণাটি উপস্থাপন করতে যাচ্ছি তার বিনোদন দেওয়ার ক্ষেত্রে আমি প্রথম নই। তবে, ধারণাটি সম্পর্কিত কোনও সাহিত্যের সন্ধান পেলে এটি সহায়ক হবে। এই সম্পত্তিটি দিয়ে একটি ট্যুরিং মেশিন এম তৈরির ধারণাটি হল যদি পি = এনপি হয় তবে এম বহুবর্ষীয় সময়ে 3-স্যাট সমাধান করবে। (3-স্যাটের …

12 reference-request  turing-machines  p-vs-np 

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

12 ds.algorithms  reference-request  sorting 

পিএসপিএসি-র উইকিপিডিয়া পৃষ্ঠায় উল্লেখ করা হয়েছে যে অন্তর্ভুক্তি কঠোর হিসাবে পরিচিত নয় (দুর্ভাগ্যবশত উল্লেখ ছাড়াই)।এনএল ⊂ পিএইচNL⊂PHNL\subset PH প্রশ্ন 1: এবং এল ⊂ পি # পি সম্পর্কে কী - এগুলি কঠোর হিসাবে পরিচিত?এল ⊂ পিএইচL⊂PHL\subset PHএল ⊂ পি# পিL⊂P#PL\subset P^{\#P} প্রশ্ন 2: যদি না হয় তবে সেখানে একটি প্রতিষ্ঠিত শ্রেণি …

12 cc.complexity-theory  complexity-classes  logspace 

আসুন বলে যে গ্রাফ পরিবার হয়েছে দীর্ঘ পথ প্ররোচক আছে যদি একটি ধ্রুবক ε > 0 যেমন যে প্রত্যেক গ্রাফ জি মধ্যে এফ উপর একটি প্ররোচক পথ রয়েছে | ভি ( জি ) | ices শীর্ষে। আমি গ্রাফ পরিবারের বৈশিষ্ট্যগুলিতে আগ্রহী যেগুলি দীর্ঘ উত্সাহিত পথের অস্তিত্ব নিশ্চিত করে। বিশেষত, আমি …

12 graph-theory  expanders 

ইনপুট একটি মহাবিশ্ব এবং সাব-সেট নির্বাচন একটি পরিবার , বলো, । আমরা ধরে নিই যে সাবসেটগুলি , অর্থাৎ, cover ।U F ⊆ 2 U F U ⋃ E ∈ F E = UUUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U একটি ইনক্রিমেন্টাল কভারিং সিক্যুয়েন্সটি উপগ্রহের ক্রম , বলুন, , যা সন্তুষ্টএ …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

কীভাবে কেউ দেখায় যে একটি নির্দিষ্ট সম্পত্তি 2-CNF (2-SAT) এ প্রকাশ করা যায় না? এমন কোনও গেমস রয়েছে, যেমন নুড়ি খেলা? দেখে মনে হচ্ছে ক্লাসিকাল কালো নুড়ি খেলা এবং কালো-সাদা নুড়ি খেলাটি এর জন্য অনুপযুক্ত (তারা পিএসপিএসিই সম্পূর্ণ, হার্টেল এবং পিটাসি অনুসারে, কম্পিউটারের সিয়াম জেএম, ২০১০)। বা গেম ছাড়া অন্য …

12 sat  lower-bounds  combinatorial-game-theory 

আমি সুনির্দিষ্ট একটি সংযুক্ত গেম এনপি-কমপ্লিট প্রমাণ করার জন্য একটি সংক্ষিপ্ত (5 পৃষ্ঠা) কাগজ শেষ করেছি। এটি কোনওভাবেই তাত্পর্যপূর্ণ তাত্পর্যপূর্ণ ফলাফল নয়, তবুও এটি বিশ্বাসযোগ্য যে প্রকাশনাযোগ্য। এই জাতীয় কাগজের জন্য কোন স্থানগুলি ভাল হবে? আমি যে সম্পর্কে কেবল সচেতন তা হ'ল তথ্য প্রসেসিং লেটার; এর মতো আর কি আছে?

12 journals 

সিস্টিওরিতে এই প্রশ্নের উত্তর দেওয়ার সময় , আমি (অনানুষ্ঠানিকভাবে) নিম্নলিখিত উপপাদ্যে ফ্লাইতে প্রমাণ করেছি: উপপাদ্য : যে কোনও নির্দিষ্ট জন্য হ্যামিলটোনিয়ান চক্র প্রোবটি NP- সম্পূর্ণ থেকে যায় এমনকি যদি প্ল্যানার দ্বিপক্ষীয় অপরিবর্তিত গ্রাফগুলিতে সর্বাধিক ডিগ্রি 3-এর দৈর্ঘ্য ≤ l এর চক্র থাকে না তবে তা সীমাবদ্ধ থাকে ।l≥3l≥3l \geq 3≤l≤l\leq …

12 reference-request  np-hardness 

আমরা প্রমাণ করতে পারেন যে প্রতি ভাষার জন্য নয় এন পি -hard (এই অনুমান পি ≠ এন পি ), পি এল ≠ পি স্যাট ? পর্যায়ক্রমে, এটি কি কোনও যুক্তিসঙ্গত অনুমানের অধীনে প্রমাণিত হতে পারে?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

আমি বুহরমন এবং হোমার "সুপারপলিনিমিয়াল সার্কিট, প্রায় বিরল ওরাকলস এবং এক্সফোনেনশিয়াল হায়ারার্কি" এর একটি কাগজ পড়ছিলাম । পৃষ্ঠাগুলি 2 এর নীচে তারা মন্তব্য করেছেন যে কান্নানের ফলাফলগুলি বোঝায় যে আকারের সার্কিট নেই। আমি জানি যে , just কেবলমাত্র , এবং আমি আরও জানি যে কান্নানের ফলাফল এমন যে । অবশ্যই, …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

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

12 ds.algorithms  space-bounded 

এটি সুপরিচিত যে স্থানান্তর দ্বারা সাজানোর in এ রয়েছে , কারণ সাজানোর জন্য প্রয়োজনীয় ন্যূনতম সংখ্যার হুবহু । "বিপরীত সংখ্যার" এই ধারণার বীজগণিত সংমিশ্রণগুলিতেও অ্যাপ্লিকেশন রয়েছে, উদাহরণস্বরূপ এটি কাঠামোর সাথে প্রদান করতে দেয় , তাকে বলা হয় পেরুটোহেড্রন এবং দুর্বল ব্রুহাত ক্রমের ভিত্তিতে।PP\sf{P}π∈Snπ∈Sn\pi \in S_ninv(π)={(i,j)∈[n]×[n]:i<j and π(i)>π(j)}inv(π)={(i,j)∈[n]×[n]:i<j and π(i)>π(j)}inv(\pi) = …

12 sorting