প্রশ্ন ট্যাগ «separation»

গ্রেগ কুপারবার্গের জটিলতা প্রাণিবিদ্যায় বলা হয়েছে যে এখানে একটি ভাষা রয়েছে যা - অন্য কথায়, in গণিত \ বিপিপি ^ এক্স ^ nsub \ mathsf {P} ^ {\ mathsf {NP} ^ X} - তবে এই ফলাফলের জন্য কোনও রেফারেন্স দেয় না। কেন এই ধরে? বা কোথায় প্রমাণ পাওয়া যাবে?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

ইন এই প্রশ্নের , এটা উল্লেখ করা হয়েছিল চাল এর উপপাদ্য বর্ণনামূলক জটিলতা সংস্করণ আছে। আমি নিম্নলিখিত উপপাদ্যের একটি প্রমাণ পেয়েছি: একটি জটিলতা বর্গ প্রদত্ত সি , এর ভাষাগুলির nontrivial বৈশিষ্ট্য সি মধ্যে নির্ণিত করা যাবে না সি আমি যে প্রমাণ পেয়েছি তার আগে আমি পোস্ট করেছিলাম তবে এটি এত …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

একটি ফাংশন দেখান যা স্থান-গঠনমূলক তবে সময়-কনস্টেটিভেবল নয়।চ( এন )f(n)f(n) জটিলতা ডিটিটাইম (এফ (এন)) এবং স্পেস (চ (এন)) এর মধ্যে কোনও পৃথকীকরণের সাথে কি এই সমস্যা সম্পর্কিত?

10 cc.complexity-theory  space-bounded  separation