Pertanyaan yang diberi tag «cc.complexity-theory»

Biarkan menjadi Formula CNF yang memuaskan dengan variabel dan klausaBiarkan S F 1 menjadi ruang solusi F 1 .F1F1F_1mnnnmmmSF1SF1S_{F_1}F1F1F_1 Pertimbangkan masalah penentuan, mengingat , Formula F 2 CNF lainnya dengan set variabel yang sama dengan F 1 , dengan S F 2 = S F 1 (ruang solusi yang sama …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

Apa yang diketahui tentang kompleksitas tepat dari masalah superstring terpendek? Bisakah itu diselesaikan lebih cepat dari ? Apakah ada algoritma yang dikenal yang memecahkan superstring terpendek tanpa mengurangi menjadi TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: menekan faktor polinomial.O∗(⋅)O∗(⋅)O^*(\cdot) Masalah superstring terpendek adalah masalah yang jawabannya adalah string terpendek yang berisi setiap string dari serangkaian …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

Seperti yang Anda tahu ada banyak anomali untuk mesin Turing tape tunggal ketika waktunya adalah : simulasi multi-tape TM, simulasi alfabet tape yang lebih besar hanya dengan { 0 , 1 , b } , konstruktivitas waktu, non-sesak teorema hierarki waktu, ...o(n2)o(n2)o(n^2){0,1,b}{0,1,b}\{0,1,b\} Juga hasil seperti , dan model lowerbounds waktu …

18 cc.complexity-theory  turing-machines 

XORifikasi adalah teknik untuk membuat fungsi atau rumus Boolean lebih sulit dengan mengganti setiap variabel dengan XOR k ≥ 2 variabel berbeda x 1 ⊕ … ⊕ x k . xxxk ≥ 2k≥2k\geq 2x1⊕ ... ⊕ xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Saya menyadari penggunaan teknik ini dalam kompleksitas bukti, terutama …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

EDIT (22 Agu 2011): Saya selanjutnya menyederhanakan pertanyaan dan memberi hadiah pada pertanyaan itu. Mungkin pertanyaan yang lebih sederhana ini akan memiliki jawaban yang mudah. Saya juga akan mencoret semua bagian dari pertanyaan awal yang tidak lagi relevan. (Terima kasih kepada Stasys Jukna dan Ryan O'Donnell karena telah menjawab sebagian …

18 cc.complexity-theory  lower-bounds  circuit-complexity 

Di sini tujuannya adalah untuk mengurangi masalah SAT sewenang-wenang menjadi 3-SAT dalam waktu polinomial menggunakan klausa dan variabel paling sedikit. Pertanyaan saya dimotivasi oleh rasa ingin tahu. Secara kurang formal, saya ingin tahu: "Apa pengurangan 'paling alami' dari SAT menjadi 3-SAT?" Sekarang pengurangan yang selalu saya lihat di buku teks …

18 cc.complexity-theory  sat  reductions 

Bekerja secara langsung dengan kompleksitas waktu atau batas bawah sirkuit menakutkan. Karenanya, kami mengembangkan alat seperti kompleksitas kueri (atau kompleksitas pohon keputusan) untuk menangani batasan yang lebih rendah. Karena setiap kueri mengambil setidaknya satu langkah unit, dan perhitungan antara kueri dihitung sebagai bebas, kompleksitas waktu paling tidak setinggi kompleksitas kueri. …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

( N + 1 ) n(n+1)(n + 1) poin diperlukan untuk secara unik menentukan polinomial derajat ; misalnya, dua titik di pesawat menentukan dengan tepat satu garis.nn Berapa banyak poin yang diperlukan untuk secara unik menentukan fungsi yang dapat dihitung , mengingat lamanya program yang menghitung dalam bahasa tetap? (Yaitu …

18 cc.complexity-theory  computability 

Saya berpikir bahwa teorema hierarki ukuran untuk kompleksitas sirkuit dapat menjadi terobosan besar di bidang ini. Apakah ini pendekatan yang menarik untuk pemisahan kelas? Motivasi untuk pertanyaan itu adalah yang harus kita katakan ada beberapa fungsi yang tidak dapat dihitung dengan ukuran sirkuit dan dapat dihitung dengan ukuran sirkuit di …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

Apakah benar bahwa ada masalah dalam hirarki dipecahkan polinomial dalam waktu (oleh bolak mesin Turing di beberapa tingkat hirarki polinomial) yang tidak larut dalam O ( n k - 1 ) di setiap tingkat hierarki polinomial? Dengan kata lain - apakah ada teorema hierarki waktu untuk hierarki polinomial seperti yang …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Diketahui bahwa jika maka hierarki polinomial runtuh dan .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Ini dapat dengan mudah dipahami secara induktif menggunakan mesin oracle. Pertanyaannya adalah - mengapa kita tidak dapat melanjutkan proses induktif di luar tingkat pergantian yang konstan dan membuktikan (alias )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Saya mencari jawaban yang intuitif.

18 cc.complexity-theory  polynomial-hierarchy  intuition 

Apakah saya benar dalam memahami bahwa membuktikan suatu NP lengkap adalah kesuksesan penelitian? Jika demikian mengapa?

18 cc.complexity-theory  np-hardness  big-picture 

Baru-baru ini, Watrous et al membuktikan bahwa QIP (3) = PSPACE hasil yang luar biasa. Ini adalah hasil yang mengejutkan bagi diri saya untuk sedikitnya dan itu membuat saya berpikir ... Saya bertanya-tanya bagaimana jika Komputer Quantum dapat disimulasikan secara efisien oleh Komputer Klasik. Mungkinkah ini HANYA terkait dengan Divide …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

Teori kompleksitas tampaknya menangkap sesuatu yang mendasar tentang struktur alam semesta, dalam arti ia memformalkan gagasan intuitif bahwa beberapa masalah lebih sulit daripada yang lain. Scott Aaronson meramalkan , "Asumsi Kekerasan NP pada akhirnya akan dilihat sebagai analog dengan Hukum Kedua Termodinamika atau ketidakmungkinan pensinyalan superluminal." Apa yang disebut "masalah …

18 cc.complexity-theory  soft-question  big-picture 

Apakah ada yang tahu tentang hasil kelengkapan NP untuk masalah SET DOMINASI dalam grafik, terbatas pada kelas grafik bipartit planar dengan derajat 3 maksimum? Saya tahu ini adalah NP-lengkap untuk kelas grafik planar tingkat maksimum 3 (lihat buku Garey dan Johnson), serta untuk grafik bipartit tingkat maksimum 3 (lihat M. …

18 cc.complexity-theory  graph-theory