Saya mencoba untuk memecahkan masalah tertentu, dan saya pikir saya mungkin bisa menyelesaikannya dengan menggunakan teori automata. Saya bertanya-tanya, model automata apa yang memiliki penahanan yang dapat ditentukan dalam waktu polinomial? yaitu jika Anda memiliki mesin Anda dapat menguji apakah...
Banyak masalah grafik yang sulit dipecahkan dalam waktu polinomial pada grafik treewidth terikat . Memang, buku teks biasanya menggunakan eg set independet sebagai contoh, yang merupakan masalah lokal . Secara kasar, masalah lokal adalah masalah yang solusinya dapat diverifikasi dengan memeriksa...
Nah, judulnya cukup banyak mengatakan itu semua. Pertanyaan menarik di atas ditanyakan oleh komentator Jay di blog saya (lihat di sini dan di sini ). Saya menduga keduanya bahwa jawabannya adalah ya dan bahwa ada bukti yang relatif sederhana, tetapi saya tidak dapat melihatnya begitu saja. (Namun,...
Saya ingin tahu apakah ada dugaan yang sudah lama tidak terbukti dalam TCS, yang kemudian dibuktikan dengan implikasi dari teorema lain, yang mungkin lebih mudah untuk dibuktikan.
Treewidth memainkan peran penting dalam algoritma FPT, sebagian karena banyak masalah yang FPT parameter oleh treewidth. Gagasan terkait, lebih terbatas, adalah pathwidth. Jika grafik memiliki pathwidth , grafik juga memiliki treewidth paling banyak k , sedangkan pada arah sebaliknya, treewidth k...
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...
Ini adalah hasil yang terkenal dari pertanyaan itu Apakah tata bahasa bebas konteks menghasilkan bahasa reguler? tidak dapat ditentukan. Namun, itu menjadi decidable pada alfabet unary, hanya karena dalam kasus ini, kelas bahasa bebas konteks dan reguler bertepatan. Pertanyaan saya adalah...
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
Saya memecahkan masalah yang diklaim sebagai NP-hard di tempat lain, katakan di koran [XYZ]. Kekerasan NP yang disediakan dalam [XYZ] rumit dan menggunakan teknik-teknik canggih. Setelah beberapa penelitian dan pekerjaan, saya berhasil memberikan bukti kekerasan NP yang sederhana dan jelas. Saya...
Adakah yang diketahui, contoh eksplisit dari suatu algoritma dengan properti sedemikian sehingga jika maka algoritma ini tidak berjalan dalam waktu polinomial dan jika maka ia berjalan dalam waktu polinomial?P≠ NPP≠NPP\neq NPP=
Saya menyadari ini mungkin pertanyaan yang kontroversial, tetapi ini sepertinya tempat yang tepat untuk bertanya. Tolong redirect saya jika tidak. Latar belakangnya adalah bahwa saya seorang "praktisi" (mahasiswa PhD, saya tidak belajar teori CS) tetapi saya memiliki dasar yang masuk akal dalam...
Quantum Computation adalah bidang penelitian aktif yang bertujuan untuk mengambil keuntungan dari fisika kuantum (misalnya keterikatan kuantum) untuk memajukan kemampuan efisiensi komputer (tidak mengubah tesis Church-Turing ). Apa eksperimen paling signifikan yang telah dilakukan untuk...
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...
Dinamika Glauber adalah rantai Markov pada pewarnaan grafik di mana pada setiap langkah seseorang mencoba untuk mewarnai ulang sebuah simpul yang dipilih secara acak dengan warna acak. Itu tidak bercampur untuk 3-warna dari 5-siklus: ada 30 3-warna, tetapi hanya 15 dari mereka yang dapat dicapai...
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: