Pertanyaan yang diberi tag «separation»

Zoologi Kompleksitas oleh Greg Kuperberg menyatakan bahwa ada bahasa sehingga \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {\ Delta_2 \ mathsf {P}} ^ X - dengan kata lain, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - tetapi tidak memberikan …

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

Dalam pertanyaan ini , disebutkan bahwa ada versi kompleksitas deskriptif teorema Rice. Saya menemukan bukti teorema berikut: Diberikan kompleksitas kelas C , properti nontrivial dari bahasa dalam C tidak dapat dihitung dalam C Saya sebelumnya telah memposting bukti yang saya temukan, tetapi karena begitu lama dan karena ditunjukkan dalam komentar …

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

Tunjukkan fungsi yang dapat dikonstruksi-ruang tetapi bukan-waktu-terstruktur.f(n)f(n)f(n) Apakah masalah ini terkait dengan kemungkinan pemisahan antara kelas kompleksitas DTIME (f (n)) dan SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

Apakah ada di antara Anda yang tahu referensi untuk hasil berikut (secara mengejutkan membosankan untuk dibuktikan)? Diberikan graf planar terhubung dengan n simpul dan tepi n + t , ia memiliki pemisah simpul ukuran O ( √GGGnnnn + tn+tn+t.O ( t√+ 1 )O(t+1)O( \sqrt{t}+1)

8 reference-request  planar-graphs  separation