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
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...
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(