Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Analisis smoothed algoritma aproksimasi
Analisis smoothed telah diterapkan berkali-kali untuk memahami runtime dari algoritma yang tepat untuk banyak masalah seperti pemrograman linier dan k-means. Ada hasil yang cukup umum di bidang ini, misalnya Heiko Röglin dan Berthold Vöcking, analisis Smoothing pemrograman integer , 2005. Beberapa hasil umum ini tampaknya mengandalkan lemma isolasi untuk menghasilkan …
1
Seberapa keras teka-teki biner Sudoku?
Sudoku adalah teka-teki terkenal yang dilengkapi NP. Binary Sudoku adalah varian yang hanya memungkinkan angka dan 1 . Aturannya adalah sebagai berikut.000111 Setiap baris dan setiap kolom harus mengandung jumlah nol dan yang sama. Setiap baris dan setiap kolom adalah unik. Tidak ada baris atau kolom yang berisi tiga atau …
1
Teorema Schaefer dan CSP dengan lebar tidak terbatas
Teorema dikotomi Schaefer menunjukkan bahwa setiap masalah CSP di atas dapat dipecahkan dalam waktu polinomial atau NP-complete. Ini hanya berlaku untuk masalah CSP lebar terikat, tidak termasuk SAT dan Horn-SAT, misalnya. Masalah umum CSP dengan lebar tidak terbatas mungkin sangat sulit (bahkan tidak dapat dihitung), jadi mari kita batasi diri …
1
Pemecah NP yang optimal
Perbaiki masalah pencarian NP-complete misalnya bentuk pencarian SAT. Pencarian Levin menyediakan algoritma L untuk menyelesaikan X yang dalam beberapa hal optimal. Secara khusus, algoritma ini adalah "Jalankan semua program yang mungkin P dalam menyesuaikan pada input x , setelah beberapa P mengembalikan jawaban y menguji apakah itu benar". Ini optimal …
1
Hasil negatif pada pendekatan partikel identik dengan masalah Graph Isomorphism (GI)
Ada beberapa upaya untuk menyerang grafik masalah isomorfisma menggunakan quantum random walk bos-bos hard-core (simetris tetapi tidak ada hunian ganda). Kekuatan simetris dari matriks kedekatan, yang tampaknya menjanjikan, terbukti tidak lengkap untuk grafik umum dalam makalah ini oleh Amir Rahnamai Barghi dan Ilya Ponomarenko. Pendekatan serupa lainnya juga dibantah dalam …
1
Dapatkah algoritma kuantum dengan percepatan eksponensial direduksi menggunakan program-rentang?
Batas bawah musuh umum sekarang dikenal untuk mengkarakterisasi kompleksitas kueri kuantum karena karya terobosan oleh Reichardt et al. Garis pekerjaan yang sama juga membangun koneksi ke kerangka program rentang untuk merancang algoritma kuantum. Banyak algoritma kuantum yang menarik, termasuk yang dengan kecepatan eksponensial seperti algoritma Simon dan algoritma Shor untuk …
2
Pemecah masalah universal yang efisien?
Tetapkan "masalah" menjadi algoritma menerima bilangan alami dan mengembalikan 0 atau 1 yang mengembalikan pada setidaknya satu . Setiap tersebut disebut sebagai "solusi" untukSEBUAHAAn ∈ N n A111n ∈ Nn∈Nn \in \mathbb{N}nnnSEBUAHAA Tetapkan "pemecah masalah universal" menjadi algoritme menerima masalah dan mengembalikan salah satu solusinya. Misalnya, dapat bekerja dengan perulangan …
3
AM / MA dan NP dalam analogi dengan P dan BPP
Arora dan Barak menunjukkan bahwa dapat dinyatakan sebagai B P ⋅ N P yaitu sekumpulan bahasa yang memiliki reduksi acak menjadi 3SAT. M A juga generalisasi acak alami N P dalam bahwa Anda mengganti verifier deterministik dengan satu acak.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Apakah ada perasaan di mana salah satu dari ini lebih …
2
Dapatkah multipebble automata menentukan semua bahasa yang peka konteks-deterministik?
MPA (multipebble automaton) adalah 2DFA (otomat hingga hingga deterministik dua arah) yang dapat menggunakan jumlah kerikil yang sewenang-wenang (sebenarnya paling banyak kerikil pada input yang diberikan - input ditulis pada kaset di antara dua ujung -Penanda sebagai ). Selama perhitungan, MPA dapat mendeteksi apakah simbol di bawah kepala memiliki kerikil, …
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.