প্রশ্ন ট্যাগ «complexity-classes»

জোশ গ্রাচোর পরামর্শ অনুসরণ করে, আমি পূর্ববর্তী প্রশ্ন থেকে আমার মন্তব্যকে একটি নতুন প্রশ্নে রূপান্তর করছি । জন্য আমাদের কী প্রমাণ রয়েছে ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} এখানে UPUP\mathsf{UP} হ'ল বহু-কালীন সময়-অ-সংজ্ঞা-বিহীন টিউরিং মেশিনগুলির দ্বারা স্বীকৃত ভাষাগুলির শ্রেণি যা "হ্যাঁ" উদাহরণগুলিতে অনন্য গ্রহণযোগ্য পথ এবং "না" উদাহরণগুলিতে কোনও গ্রহণযোগ্য পথ নেই। স্পষ্টতই …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

ধরুন আমি বিপিপির নিম্নলিখিত রূপগুলি বিবেচনা করি, যা আমাদের ই (এক্স্যাক্ট) বিপিপি বলে: একটি ভাষা ইবিপিপিতে থাকে যদি একটি বহুবর্ষের সময় র্যান্ডমাইজড টিজি থাকে যা ভাষার প্রতিটি শব্দকে ঠিক 3/4 সম্ভাব্যতার সাথে গ্রহণ করে এবং প্রতিটি শব্দই এতে না থাকে ঠিক 1/4 সম্ভাবনা সহ ভাষা। স্পষ্টতই ইবিপিপি বিপিপিতে রয়েছে তবে …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

সাম্প্রতিককালে, আমি নিম্নলিখিত ধরণের রঙের মুখোমুখি হয়েছি। কোনো সংযুক্ত undirected গ্রাফ দেওয়া, প্রান্ত রং সর্বোচ্চ সংখ্যক ব্যবহার করে পাশাপাশি বাধ্যতা পরিতৃপ্ত একটি রং যে, যে প্রান্তবিন্দু জন্য , এর প্রান্ত ঘটনা বনাম সবচেয়ে দুটি রং এ ব্যবহারের।vvvvবনামv আমার প্রথম অনুমানটি হ'ল সমস্যাটি এনপি-হার্ড। গ্রাফের রঙিন সমস্যার জন্য ক্লাসিকাল এনপি-হার্ড প্রমাণগুলি …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

নিম্নলিখিত কাগজের "প্রথম পৃষ্ঠার" "শেষ অনুচ্ছেদে": বিক্রমান অরবিন্দ , জোহানেস কবলার , উউ শেকিং , রেইনার শুলার , "যদি এনপি-তে বহু-আকারের সার্কিট থাকে তবে এমএ = এএম," তাত্ত্বিক কম্পিউটার বিজ্ঞান, 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 

জটিলতা শ্রেণীর জোড়া কিছু উদাহরণ কি কি এবং বি যেমন যেAAABBB আমরা জানি না যে , এবংA=BA=BA=B আমরা দ্বন্দ্বমূলক আপেক্ষিকতা জানি না (যেমন, আমরা ওরাকলস এবং কিউ জানি না যে এ পি = বি পি এবং এ কিউ ≠ বি কিউ )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q প্রশ্নের অন্যভাবে উপস্থাপন করার …

16 cc.complexity-theory  complexity-classes  relativization 

গ্রেগ কুপারবার্গ আমাকে জিজ্ঞাসা করা এক প্রশ্নের জবাবে আমাকে জিজ্ঞাসা করলেন, আমি ভাবছি যে এমন কোনও কাগজপত্র রয়েছে যা বিভিন্ন ধরণের জ্ঞানের প্রমাণকে স্বীকার করে ভাষার জটিলতার ক্লাস সংজ্ঞায়িত করে এবং অধ্যয়ন করে । SZK এবং NISZK এর মতো শ্রেণিগুলি জটিলতার দৃষ্টিকোণ থেকে অত্যন্ত স্বাভাবিক, এমনকি যদি আমরা শূন্য জ্ঞান …

16 complexity-classes  cr.crypto-security  zero-knowledge 

আমার সম্পূর্ণ ভাষার একটি তালিকা প্রয়োজন । জটিলতা চিড়িয়াখানায় এ জাতীয় দুটি সমস্যা তালিকাভুক্ত রয়েছে:Σp2Σ2p\Sigma_2^p সর্বনিম্ন সমতুল্য ডিএনএফ। একটি ডিএনএফ সূত্র এফ এবং পূর্ণসংখ্যার কে দেওয়া হয়েছে, সেখানে কি ডি-এনএফ সূত্রের সাথে কে বা আক্ষরিকের কম উপস্থিতি রয়েছে? সংক্ষিপ্ততম জড়িত। একটি সূত্র এফ এবং পূর্ণসংখ্যার কে দেওয়া হয়েছে, সেখানে কে …

16 complexity-classes  polynomial-hierarchy 

আমরা যে NFA হল প্রতিনিয়ত অস্পষ্ট যদি অস্তিত্ব ট ∈ এন যেমন যে কোন শব্দ W ∈ Σ * হয় এর গৃহীত 0 বা (ঠিক) ট পাথ।MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk যন্ত্রমানব তাহলে ক্রমাগত জন্য দ্ব্যর্থক ট = 1 , তারপর এম বলা হয় দ্ব্যর্থহীন এফএ (Ufa)।MMMk=1k=1k=1MMM নিয়মিত ভাষা হতে দিন ।LLL …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

এনপি কি ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

জটিলতা শ্রেণি অপারেটরগুলি সম্পর্কে লেখার সময় আমি উল্লেখ করতে পারি এমন কোনও ভাল এক্সপোজিটরি নিবন্ধ বা সমীক্ষা উপস্থিত থাকলে আমি আগ্রহী : অপারেটরগুলি যা তাদের মধ্যে কোয়ানটিফায়ার যুক্ত করার মতো জটিলতা ক্লাসে রূপান্তরিত করে। অপারেটরগুলির উদাহরণ নিম্নলিখিতগুলি অপারেটরগুলির একটি খালি ন্যূনতম তালিকা হিসাবে ব্যাখ্যা করা যেতে পারে যা একটি উত্তর …

16 reference-request  complexity-classes 

হায়ারার্কি উপপাদ্যগুলি মৌলিক সরঞ্জাম। তাদের মধ্যে একটি ভাল সংখ্যা পূর্ববর্তী একটি প্রশ্নে সংগ্রহ করা হয়েছিল (দেখুন আপনি কি শ্রেণিবদ্ধতা এবং / বা শ্রেণিবদ্ধের তত্ত্বগুলি জানেন? )। কিছু জটিলতা শ্রেণীর বিচ্ছেদগুলি হায়ারার্কি উপপাদ্যগুলি থেকে সরাসরি অনুসরণ করে। যেমন সুপরিচিত বিচ্ছিন্নতার উদাহরণ: L≠PSPACEL≠PSPACEL\neq PSPACE , P≠EXPP≠EXPP\neq EXP , NP≠NEXPNP≠NEXPNP\neq NEXP , PSPACE≠EXPSPACEPSPACE≠EXPSPACEPSPACE\neq …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

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

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

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

16 cc.complexity-theory  complexity-classes 

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

15 complexity-classes  quantum-computing 

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

15 cc.complexity-theory  complexity-classes