Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

2
Apa yang terjadi jika kita meningkatkan teorema hierarki waktu?
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))itu adalah Ada banyak hasil (lama dan saat ini) yang menggunakan teorema hierarki waktu untuk membuktikan batas bawah. Ini pertanyaan saya:NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n)). NTIME(f(n)) \subsetneq NTIME(g(n)). Apa yang terjadi jika kita dapat membuktikan hasil yang lebih baik untuk kasus deterministik atau nondeterministik? Jika kita dapat …
1
Bukti Interaktif untuk HORN-SAT?
Adakah cara yang bisa dilakukan oleh seorang pepatah untuk meyakinkan verifier bahwa beberapa ekspresi HORN-SAT memuaskan? Tentu saja ini mungkin tampak konyol, karena ada algoritma waktu linear untuk HORN-SAT. Di sisi lain, HORN-SAT adalah P-complete, yang berarti tidak memiliki algoritma ruang-log kecuali P = L. Dengan demikian, batasi kemampuan komputasi …
1
Dapatkah versi kompleksitas teorema Rice digunakan untuk memisahkan AC0 dan PSPACE?
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 …
3
Mengapa kita tidak menggunakan kelas yang lebih besar untuk mempelajari determinisme vs non-determinisme?
Dalam pertanyaan sebelumnya tentang hierarki waktu, saya telah belajar bahwa kesetaraan antara dua kelas dapat disebarkan ke kelas yang lebih kompleks dan ketidaksetaraan dapat disebarkan ke kelas yang lebih kompleks, dengan argumen menggunakan padding. Karena itu, sebuah pertanyaan muncul di benak saya. Mengapa kita mempelajari pertanyaan tentang berbagai jenis perhitungan …
3
Konsekuensi praktis dari
Latar Belakang Kompleksitas sirkuit didefinisikan sebagai himpunan rangkaian keluarga (yaitu rangkaian rangkaian, satu untuk setiap ukuran input) dengan kedalaman terikat dan ukuran polinomial yang dibangun menggunakan kipas-in tanpa batas AND, OR, dan NOT.AC0AC0AC^0 Fungsi paritas dengan input n- bit sama dengan XOR bit dalam input.⊕⊕\oplusnnn Salah satu lowerbound sirkuit pertama …
1
Teorema jumlah langsung untuk Resolusi ruang klausa kompleksitas?
Resolusi adalah skema untuk membuktikan ketidakpuasan CNF. Bukti dalam resolusi adalah deduksi logis dari klausa kosong untuk klausa awal CNF. Khususnya setiap klausa awal dapat disimpulkan, dan dari dua klausa dan klausa A \ lor B dapat disimpulkan juga. Sangkalan adalah urutan pemotongan yang diakhiri dengan klausa kosong.A∨xA∨xA \lor xB∨¬xB∨¬xB …
1
Permutasi Satu Arah Hingga dengan Domain Tak Terbatas
Biarkan menjadi permutasi. Perhatikan bahwa sementara bertindak pada domain tanpa batas, deskripsinya mungkin terbatas. Menurut deskripsi , maksud saya adalah program yang menjelaskan fungsionalitas . (Seperti dalam kompleksitas Kolmogorov.) Lihat penjelasan di bawah ini. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Misalnya, fungsi NOT adalah salah satu permutasi tersebut: fungsi TIDAK …
2
Kompleksitas puzzle poligon tersembunyi di kotak persegi?
Hiroimono adalah puzzle lengkap populer . Saya tertarik pada kompleksitas komputasi dari teka-teki terkait.NPNPNP Masalahnya adalah: Input : Diberikan satu set titik pada pada x kotak persegi dan integernnnnnnkkk Pertanyaan : Apakah ada poligon bujursangkar (sisi-sisinya sejajar dengan atau sumbu) sedemikian sehingga jumlah titik pada sudut poligon setidaknya ?xxxyyykkk Setiap …
1
CSP dengan lebar hypertree fraksional tak terbatas
a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Definisi, dll. Untuk survei hebat dekomposisi dan treewidth pohon standar, lihat di sini (Terima kasih sebelumnya, JeffE!). Biarkan HHH menjadi hypergraph. Kemudian untuk H hypergraph HHHdan pemetaan γ:E(H)→[0,∞)γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) , B(γ)=B(γ)=B(\gamma) = { v∈V(H):∑e∈V(H),v∈eγ(e)≥1v∈V(H):∑e∈V(H),v∈eγ(e)≥1v \in V(H) : \sum_{e \in V(H), v \in e} \gamma(e) …
2
Mendekati automorfisme non-sepele grafik?
Grafik automorphism adalah permutasi dari node grafik yang menginduksi bijection di tepi set EEE . Secara formal, Ini adalah permutasi fff node tersebut (u,v)∈E(kamu,v)∈E(u,v)\in E IFF (f(u),f(v))∈E(f(kamu),f(v))∈E(f(u),f(v))\in E Tentukan tepi yang dilanggar untuk beberapa permutasi sebagai tepi yang dipetakan ke non-edge atau edge yang preimage-nya non-edge. Input : Grafik non-kaku …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.