Apakah ada urutan grafik diarahkan , di mana masing-masing C n memiliki tepat n simpul dan masalah{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Mengingat dan grafik G , adalah C n merupakan subgraf diinduksi G ?nnnGGGCnCnC_nGGG dikenal di kelas ? (Misalnya, ketika C n = K n , ini adalah...
Yang terkenal isomorfisma dugaan dari Berman dan Hartmanis mengatakan bahwa semua bahasa -Lengkap adalah waktu polinomial isomorfik (p-isomorfik) satu sama lain. Pentingnya kunci dari dugaan adalah bahwa hal itu menyiratkan P ≠ N P . Itu diterbitkan pada tahun 1977, dan sepotong bukti pendukung...
Masalah penghentian untuk mesin Turing mungkin adalah set kanonik yang tidak dapat ditentukan. Namun demikian, kami membuktikan bahwa ada algoritma yang memutuskan hampir semua instance dari itu. Masalah penghentian karena itu di antara koleksi yang berkembang dari mereka yang menunjukkan "lubang...
Saya tertarik masalah berikut: Mengingat matriks, apakah ada sebuah grafik diarahkan pada n simpul yang adjacency matrix kuadrat yaitu bahwa matriks?n×nn×nn\times nnnn Apakah kompleksitas komputasi dari masalah ini diketahui? Catatan: Tentu saja ini juga dapat diutarakan sebagai masalah...
Dalam deskripsi masalah Clay resmi untuk P versus NP dinyatakan bahwa akan mengikuti dari yang menunjukkan bahwa "setiap bahasa dalam [kelas bahasa dikenali dalam waktu eksponensial dengan mesin Turing deterministik] dapat dihitung oleh keluarga sirkuit Boolean sedemikian rupa sehingga untuk...
Saya tertarik mempelajari hubungan antara "kekacauan", atau lebih luas, sistem dinamis, dan pertanyaan . Berikut adalah contoh jenis literatur yang saya cari:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária, dan Zoltán Toroczkai. "Optimalisasi kekerasan sebagai kekacauan sementara dalam pendekatan analog...
Apakah ada masalah lengkap NP tanpa subset instance sedemikian sehingga keanggotaan dalam dapat diputuskan dalam waktu polinomial, dan untuk semua , dapat diselesaikan dalam waktu polinomial? (Dengan asumsi )Φ x ∈ Φ x P ≠ N P.ΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠NPP \neq...
Apakah ada proyek yang sedang berlangsung untuk secara formal memverifikasi teorema dan bukti teori kompleksitas menggunakan asisten bukti seperti Coq? Apakah ada batasan untuk melakukan
Misalkan Anda diberi grafik yang terhubung, sederhana, tidak berarah H. Masalah pemotongan bebas-H didefinisikan sebagai berikut: Diberikan grafik sederhana, tidak terarah G, adakah potongan (partisi simpul menjadi dua set non-kosong, L, R) sedemikian rupa sehingga grafik yang diinduksi oleh...
Biasanya, algoritma yang efisien memiliki runtime polinomial dan ruang solusi yang besar secara eksponensial. Ini berarti bahwa masalahnya harus mudah dalam dua pengertian: pertama, masalah dapat diselesaikan dalam sejumlah langkah polinomial, dan kedua, ruang solusi harus sangat terstruktur karena...
Telah diketahui bahwa kumpulan bahasa yang memiliki sistem bukti interaktif dua-verver, di mana verifier berjalan dalam polinomial-time (MIP), adalah NEXP. Tetapi adakah batas yang diketahui tentang kekuatan bukti interaktif seperti itu ketika kaum proversi dibatasi kekuasaannya? Misalnya, apa...
Dalam "paragraf terakhir" dari "halaman pertama" dari makalah berikut: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Jika NP Memiliki Sirkuit Ukuran Polinomial, maka MA = AM," Ilmu Komputer Teoretis, 1995. Saya menemukan klaim yang agak kontra-intuitif:
Saya menemukan buku Pairwise Independence and Derandomization pada subjek, tetapi lebih berorientasi pada penelitian daripada berorientasi pada tutorial. Saya baru mengenal subjek "Derandomisasi," dan karena itu, saya ingin tahu referensi mana yang harus dimulai? Saya lebih suka yang membahas...
Biarkan dan pertimbangkan masalah keputusan0≤p≤10≤p≤10\le p\le 1 CLIQUE Input: integer , grafik dengan simpul dan edge Pertanyaan: apakah G berisi klik pada sekurang-kurangnya simpul s ?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Sebuah instance dari CLIQUE berisi proporsi...
Distribusi dikatakan ϵ -membodoh fungsi f jika | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Dan dikatakan menipu kelas fungsi jika menipu setiap fungsi di kelas itu. Hal ini diketahui bahwa ε ruang -biased menipu kelas paritas lebih himpunan bagian. (lihat
Sejauh yang saya mengerti, semua tahu aturan pivot deterministik untuk algoritma simpleks memiliki input spesifik yang algoritma membutuhkan waktu eksponensial (atau setidaknya tidak polinomial) untuk menemukan yang optimal. Mari kita sebut contoh ini 'patologis' karena biasanya (yaitu pada...
Mudah untuk melihat bahwa masalah apa pun yang dapat ditentukan dalam deterministic logspace ( ) berjalan paling banyak pada waktu polinomial ( P ). Banyak algoritma diketahui logspace (Misalnya: diarahkan st-konektivitas, planar grafik isomorfisma) berjalan dalam O ( n k ) di mana k gila-gilaan...
Saya mencari tahu apakah ada hasil umum tentang atau contoh tentang kelengkapan NP dari masalah menemukan solusi kedua untuk masalah NP-lengkap. Lebih tepatnya, saya tertarik dengan masalah apa pun dari formulir berikut: Diberikan solusi untuk contoh dari masalah NP-complete, apakah ada solusi...
Saya telah mencoba membaca " Mutiara Algoritma Fungsional desain ", dan kemudian " Aljabar Pemrograman ", dan ada korespondensi yang jelas antara rekursif (dan secara polinomi) didefinisikan tipe data dan objek kombinatorial, memiliki definisi rekursif yang sama dan kemudian memimpin untuk seri...
Seperti diketahui, PARITY tidak dapat dilakukan di sirkuit dengan kedalaman konstan berukuran poli, dan pada kenyataannya sirkuit dept membutuhkan jumlah gerbang EXP. Bagaimana dengan sirkuit QUANTUM? a) Dapatkah PARITY dilakukan dengan sirkuit kuantum yang memiliki kedalaman konstan dan jumlah...