Pertanyaan yang diberi tag «complexity-theory»

Bagaimana membuktikan bahwa ? Saya hanya mencari oracle TM M dan bahasa rekursif L ( M ) = L yang ini berlaku.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Aku tahu buktinya mana Anda menunjukkan bahwa ada sebuah ramalan sehingga P A ≠ N P A dan oracle A sehingga P A = …

12 complexity-theory  relativization 

Saya bertanya-tanya, apa kerumitan waktu menentukan kekosongan untuk DFA 2 arah? Yaitu, automata terbatas yang dapat bergerak mundur pada tape input read-only. Menurut Wikipedia, mereka setara dengan DFA, meskipun DFA yang setara mungkin secara eksponensial lebih besar. Saya telah menemukan kompleksitas keadaan untuk komplemen dan persimpangan mereka, tetapi tidak untuk …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Aku bertanya-tanya ini didasarkan pada beberapa tempat online yang panggilan co- masalah terbuka besar ... tapi saya tidak dapat menemukan indikasi apakah atau tidak ini adalah sama dengan Masalah ...N P P = N PNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

Saya diberi himpunan , integer , dan integer non-negatif a_ {ij} . Masalah saya adalah menemukan s himpunan bagian himpunan S_j dari \ {1, \ ldots, k \} sedemikian rupa sehingga:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; dan |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} untuk semua i∈Sji∈Sji\in S_j dan j=1,…,sj=1,…,sj=1,\ldots,s . Bagaimana cara mengatasi masalah ini? …

11 complexity-theory  integer-programming 

Apakah ada cara mudah untuk melihat mengapa NP ada di EXPTIME? Menurut saya apriori dapat dibayangkan bahwa mungkin ada masalah yang membutuhkan waktu super-eksponensial untuk diselesaikan, tetapi solusinya dapat diverifikasi dalam waktu polinomial.

11 complexity-theory  complexity-classes 

Putaran Tes Google Hash Code 2015 ( pernyataan masalah ) bertanya tentang masalah berikut: input: kisi dengan beberapa kotak yang ditandai, ambang , area maksimalMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} Output: total luas kemungkinan terbesar dari serangkaian persegi panjang menguraikan dengan koordinat bilangan bulat di sehingga setiap persegi panjang mencakup setidaknya …

11 complexity-theory  reductions  np-hard 

Saya tahu ini konyol, tetapi saya berhasil membingungkan diri saya sendiri dan saya butuh bantuan untuk menyelesaikannya Misalkan , maka jelas untuk setiap oracle A kita memiliki P A = N P A yang bertentangan dengan fakta bahwa ada beberapa oracle A yang P A ≠ N P A , …

11 complexity-theory  p-vs-np  oracle-machines 

Biarkan menjadi beberapa masalah penghitungan yang dikenal sebagai # P -Lengkap .ΠΠ\PiPPP Apakah itu menyiratkan bahwa adalah A P X -hard (yaitu tidak ada PTAS untuk masalah ada kecuali P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Saya bertanya-tanya apakah ada masalah -hard yang rata-rata "polinomial" dalam kasus rata-rata. Saya pikir ada dua cara untuk menafsirkan ini?NPNPNP Jika , bisa ada sebuah algoritma pemecahan suatu N P masalah -Hard dengan diamortisasi (rata-rata kasus) waktu berjalan dari O ( n k ) untuk konstan k ?P≠ NPP≠NPP \neq …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Saya tertarik pada properti dari kelas grafik bipartit mana semua node di X adalah 3-reguler, semua node di Y adalah 2-reguler, dan | X | = | 2 Y / 3 | . Pertama, Apakah ini kelas grafik yang terkenal? Kedua,G ( X∪ Y, E)G(X∪Y,E)G(X \cup Y, E)XXXYYY| X| = …

11 complexity-theory  graph-theory 

Masalah keputusan Dengan rumus Boolean , apakah ϕ memiliki satu tugas yang memuaskan?ϕϕ\phiϕϕ\phi dapat dilihat di , U P -hard dan c o N P -hard. Adakah yang lebih dikenal tentang kerumitannya?Δ2Δ2\Delta_2U PUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Menurut artikel Wikipedia tentang skema perkiraan polinomial-waktu : Semua masalah dalam FPTAS adalah traktat parameter tetap. Hasil ini mengejutkan saya - kelas-kelas ini tampaknya sangat berbeda satu sama lain. FPTAS mengkarakterisasi masalah dengan seberapa mudah mereka memperkirakan, sementara FPT mengkarakterisasi masalah dengan kesulitan mereka relatif terhadap beberapa parameter. Sayangnya, Wikipedia …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Mengingat fakta bahwa pencacahan jalur - t adalah masalah # P-complete, mungkinkah ada metode yang efisien yang menghitung (atau setidaknya perkiraan) panjang rata-rata jalur s - t tanpa menyebutkannya? Bagaimana jika jalur diizinkan untuk mengunjungi kembali simpul?ssstttsssttt Hasil yang relevan pada grafik khusus juga dapat membantu.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Diberikan pekerjaan , setiap pekerjaan membutuhkan T_i> 0, T_i \ dalam N waktu untuk menyelesaikan.J 1 , J 2 , . . . , J n T i > 0 , T i ∈ NnnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Setiap pekerjaan harus pra-diproses dan pasca-proses oleh satu mesin M …

11 complexity-theory  reference-request  scheduling 

Sebagai contoh, saya tahu bahwa bahasa non-reguler adalah dalam A C 0 . Saya ingin tahu lebih banyak contoh seperti ini.Sebuahnbnanbna^nb^nA C0AC0AC^0

11 complexity-theory  regular-languages  circuits