Pertanyaan ini dimotivasi oleh pertanyaan MathOverflow oleh Peng Zhang . Valiant menunjukkan bahwa menghitung klik maksimal dalam grafik umum adalah # P-complete, tetapi bagaimana jika kita membatasi pada grafik yang tidak dapat dibandingkan (yaitu, kita ingin menghitung antichains maksimal dalam...
Parity-L, juga dikenal sebagai L, adalah serangkaian bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan". Pertanyaan terkait baru - baru ini diajukan oleh Niel de Beaudrap.⊕⊕\oplus Pertanyaan saya adalah...
Biarkan a persegi matriks nyata dan dua vektor dan dengan panjang , sedemikian rupa sehingga {\ bf A} {\ bf x} = {\ bf b} . Memecahkan untuk {\ bf x} melalui standar Gaussian Elimination menghasilkan kompleksitas agregat hampir O (n ^ 3) . Namun, ada beberapa kasus di mana penyelesaian (atau \...
Dalam definisi traktabilitas parameter tetap (kuat), batas waktu adalah ekspresi dari bentuk mana instance input adalah ( x , k ) dengan parameter k , p adalah polinomial, dan f adalah fungsi yang dapat dihitung .f( k ) . p ( | x | ) ,f(k).hal(|x|),f(k).p(|x|),( x , k
Saya punya pertanyaan tentang reduksibilitas SERF dari Impagliazzo, Paturi dan Zane dan algoritma subeksponensial . Definisi SERF-reducibility memberikan yang berikut: Jika adalah SERF-dapat direduksi menjadi P 2 dan ada O ( 2 ε n ) algoritma untuk P 2 untuk setiap ε > 0 , maka ada O ( 2 ε n...
Raz Paralel pretition teorema adalah hasil yang penting dalam PCP, inapproximation, dll Teorema ini fomalized sebagai berikut. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi,
Apakah ada bukti bahwa emulasi mesin Turing pada mesin Turing yang terlupa tidak dapat dilakukan dalam waktu kurang dari O(mlogm)O(mlogm)\mathcal{O}\left(m\log m\right) mana mmm adalah jumlah langkah yang digunakan mesin Turing? Atau ini hanya batas atas? Dalam makalah Paul Vitányi tentang...
Saya ingin tahu tentang sejarah dua istilah ini: " efisien ", " layak ". Siapa yang menggunakannya tentang perhitungan / algoritma pertama kali? (dalam pengertian modern istilah ini, yaitu abad ke-20). Bagaimana mereka menjadi arus utama? Bagaimana kedua istilah ini mulai digunakan sebagai...
Apakah diketahui apakah umpan balik mengatur masalah pada grafik planar tidak berarah dengan derajat terikat adalah
Adakah yang bisa daftar beberapa masalah terkenal yang memenuhi kondisi berikut: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
Ada beberapa terkenal hasil ukuran sirkuit yang lebih rendah-bound berdasarkan pembatasan acak dan Switching Lemma .AC0AC0\mathsf{AC^0} Bisakah kita mengembangkan hasil Lema Switching untuk membuktikan ukuran yang lebih rendah terikat untuk sirkuit (mirip dengan bukti yang lebih rendah-bound untuk...
Eliminasi gaussian menentukan determinan matrik polinomial-waktu. Pengurangan kompleksitas dalam menghitung determinan, yang merupakan penjumlahan dari istilah eksponensial, adalah karena adanya tanda-tanda negatif alternatif (kurangnya yang membuat komputasi permanen adalah mis. Lebih sulit...
Rumus terkecil yang diketahui untuk determinan memiliki ukuran menurut cerita rakyat (atau Ran Raz dalam makalahnya Formula Multi-Linier untuk Permanen dan Penentu memiliki Ukuran Super-Polinomial ).nO (logn )nHAI(catatann)n^{\mathcal O(\log n)} Apakah Anda punya referensi untuk ini? Secara...
Algoritma pengujian distribusi untuk properti distribusi P (yang hanya sebagian dari semua distribusi di atas [n]) diizinkan mengakses sampel sesuai dengan beberapa distribusi D, dan diperlukan untuk memutuskan (whp) jika atau d ( D) , P ) > ϵ ( d di sini biasanya ℓD∈PD∈PD\in...
Sepertinya saya bahwa ahli pembelajaran mesin / penambangan data akrab dengan P dan NP, tetapi jarang berbicara tentang beberapa kelas kompleksitas yang lebih halus (misalnya NC, BPP, atau IP) dan implikasinya untuk menganalisis data secara efektif. Apakah ada survei pekerjaan yang melakukan...
Kami mengatakan bahwa fungsi f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} adalah konstruktif-waktu , jika ada mesin Turing multi-tape deterministik MMM yang pada semua input panjang nnn membuat paling banyak f(n)f(n)f(n) langkah dan untuk setiap nnn ada beberapa input dari panjang nnn di mana MMM...
Sangat mudah untuk melihat bahwa jika maka ada masalah pencarian total yang tidak dapat diselesaikan dalam waktu polinomial (buat masalah pencarian total dengan memiliki saksi untuk keanggotaan dan saksi bukan anggota).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq
Masalah partisi adalah NP-lengkap lemah karena memiliki algoritma waktu polinomial (semu-polinomial) jika bilangan bulat input dibatasi oleh beberapa polinomial. Namun, 3-Partition adalah masalah NP-lengkap sangat bahkan jika bilangan bulat input dibatasi oleh polinomial. Dengan asumsi, ,...
Ingat bahwa lebar dari resolusi sanggahan dari formula CNF F adalah jumlah maksimal literal dalam klausul terjadi di R . Untuk setiap w , ada rumus yang tidak memuaskan F dalam 3-CNF st setiap resolusi resolusi F membutuhkan lebar setidaknya w .RRRFFFRRRwwwFFFFFFwww Saya membutuhkan contoh konkret...
Diberi matriks A dengan entri rasional. Apa kompleksitas untuk memeriksa A yang dapat didiagonalisasi?n×nn×nn\times nAAAAAA Saya menduga bahwa ini dapat dilakukan dalam P, tetapi saya tidak tahu referensi apa pun. Namun, pertanyaan yang lebih menarik adalah, adakah kelas kompleksitas yang lebih...