Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

3
Masalah optimisasi dengan karakterisasi yang baik, tetapi tidak ada algoritma waktu polinomial
Pertimbangkan masalah pengoptimalan dari formulir berikut. Misalkan f(x)f(x)f(x) menjadi fungsi yang dapat dihitung polinomial-waktu yang memetakan string menjadi bilangan rasional. Masalah optimasinya adalah ini: berapakah nilai maksimum atas bit string ?f ( x ) nxxxf(x)f(x)f(x)nnnxxx Mari kita katakan bahwa masalah seperti itu memiliki karakterisasi minimax , jika ada fungsi computable …
6
Teknik-teknik canggih untuk menentukan kompleksitas batas bawah
Beberapa dari Anda mungkin telah mengikuti pertanyaan ini , yang ditutup karena tidak menjadi level penelitian. Jadi, saya mengekstraksi bagian pertanyaan yang ada di tingkat penelitian. Di luar teknik "sederhana", seperti mengurangi menjadi penyortiran atau masalah lengkap EXPTIME, teknik apa yang telah digunakan untuk membuktikan batas bawah untuk kompleksitas waktu …
2
CLIQUE alami ke pengurangan k-Color
Jelas ada pengurangan dari CLIQUE ke k-Color karena keduanya NP-Complete. Bahkan, saya bisa membuat satu dengan menyusun pengurangan dari CLIQUE ke 3-SAT dengan pengurangan dari 3-SAT ke k-Color. Yang saya bertanya-tanya adalah apakah ada pengurangan langsung yang masuk akal antara masalah-masalah ini. Katakanlah, pengurangan yang bisa saya jelaskan kepada seorang …
1
Saya ingin Gadget mudah untuk membuktikan Planar Hamiltonian Cycle NP-Complete (dari Hamiltonian Cycle)
Diketahui bahwa Siklus Hamiltonian (disingkat Ham) adalah NP-complete dan Planar Ham Cycle adalah NP-Complete. Buktinya untuk Planar Ham Cycle bukan dari Ham Cycle. Apakah ada gadget bagus yang akan, diberi grafik G, mengganti semua penyeberangan dengan beberapa gadget planar sehingga Anda memiliki grafik planar G 'sedemikian rupa sehingga G memiliki …
1
Apa yang diketahui tentang kompleksitas menemukan sirkuit minimum untuk SAT?
Apa yang diketahui tentang kompleksitas menemukan rangkaian minimal yang menghitung SAT hingga panjang ? nnn Secara lebih formal: apa kerumitan fungsi yang, diberi sebagai input, menghasilkan rangkaian minimal C sedemikian rupa sehingga untuk setiap rumus φ dengan | φ | ≤ n , C1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi| \leq n ?C(φ)=SAT(φ)C(φ)=SAT(φ)C(\varphi) = SAT(\varphi) (Saya …
1
Algoritma logspace pada grafik dengan lebar pohon terbatas
Lebar pohon mengukur seberapa dekat grafik dengan pohon. NP-hard untuk menghitung lebar pohon. Algoritma pendekatan yang paling dikenal mencapai faktor .O ( log n----√)HAI(logn)O(\sqrt{{\log}n}) Teorema Courcelle menyatakan bahwa setiap properti grafik yang dapat didefinisikan dalam logika orde dua monadik (MSO2) dapat diputuskan dalam waktu linier pada setiap kelas grafik dari …
1
Apakah dengan fanout terikat lebih lemah dari ?
Dalam survei "Sirkuit Kuantum Kedalaman Kecil" oleh D. Bera, F. Green dan S. Homer (hlm. 36 dari ACM SIGACT News, Juni 2007, vol. 38, no. 2) , saya membaca kalimat berikut: Versi klasik (di mana gerbang dan memiliki fanout paling konstan) terbukti lebih lemah dari .Q A C0QAC0QAC^0ANDANDANDORORORAC0AC0AC^0 Referensi untuk …
4
Apa bukti yang ada bahwa Graph Isomorphism tidak ada dalam ?
Termotivasi oleh komentar Fortnow pada posting saya, Bukti bahwa masalah Graph Isomorphism bukan -completeNPNPNP , dan oleh fakta bahwa adalah kandidat utama untuk -intermediate problem (bukan -complete atau ), saya tertarik pada bukti yang diketahui bahwa tidak dalam .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP Salah satu bukti tersebut adalah - dari masalah Automorfisme Grafik terbatas …
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.