প্রশ্ন ট্যাগ «hierarchy-theorems»

আমি মনে করি যে সার্কিট জটিলতার জন্য একটি আকারের হায়ারার্কি উপপাদ্যটি অঞ্চলে একটি বড় অগ্রগতি হতে পারে। এটি কি শ্রেণি বিচ্ছেদের একটি আকর্ষণীয় পদ্ধতির? প্রশ্নের অনুপ্রেরণাটি আমাদের বলতে হবে কিছু ফাংশন রয়েছে যা আকার সার্কিটের সাথে গণনা করা যায় না এবং একটি আকার দ্বারা গণনা করা যায়f(n)f(n)f(n)g(n)g(n)g(n) সার্কিট দিয়ে যেখানে …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

হায়ারার্কি উপপাদ্যগুলি মৌলিক সরঞ্জাম। তাদের মধ্যে একটি ভাল সংখ্যা পূর্ববর্তী একটি প্রশ্নে সংগ্রহ করা হয়েছিল (দেখুন আপনি কি শ্রেণিবদ্ধতা এবং / বা শ্রেণিবদ্ধের তত্ত্বগুলি জানেন? )। কিছু জটিলতা শ্রেণীর বিচ্ছেদগুলি হায়ারার্কি উপপাদ্যগুলি থেকে সরাসরি অনুসরণ করে। যেমন সুপরিচিত বিচ্ছিন্নতার উদাহরণ: 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 

সাধারণ প্রশ্ন স্পেস হায়ারার্কি উপপাদ্যটি কি অ-ইউনিফর্ম গণনাকে সাধারণীকরণ করে? এখানে আরও কয়েকটি নির্দিষ্ট প্রশ্ন রয়েছে: এল / পি ও এল ওয়াই। পিএসপিএ সিই/ পিওএলওয়াইL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly সমস্ত স্থান গঠনমূলক ফাংশনের জন্য , ?D S P A C E ( o ( f ( n ) ) ) / p …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

সার্কিট গভীরতার জন্য কি ধরণের শ্রেণিবিন্যাসের উপপাদ্য রয়েছে? বিবৃতি পছন্দ যদি এবং তবে ।g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

আমরা সেটা জানি । স্যাভিচের উপপাদ্য থেকে, সাবটেক ম্যাথকল , এবং, স্পেস হায়ারার্কি টিওরেম থেকে, ম্যাথ্যাকাল নেখ ম্যাথ্যাকাল । সুতরাং, যেহেতু আমরা জানি না , আমরা জানি না , বা আমরা কি জানি যে ? কেউ কি prove mathcal L ^ 2 \ subteq \ mathcal P প্রমাণ করার চেষ্টা …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems