Mengingat sebuah grafik diarahkan dan tertimbang dan integer bahkan , apa yang kompleksitas komputasi penghitungan set simpul sehingga dan subgraf dari terbatas himpunan titik mengakui pasangan yang cocok? Apakah kompleksitas # P-selesai? Apakah ada referensi untuk masalah ini?k S ⊆ V | S | = K G...
Mengingat hasil terbaru dari Arora, Barak, dan Steurer, Algoritma Subeksponensial untuk Game Unik dan Masalah Terkait , saya tertarik pada masalah grafik yang memiliki algoritma waktu subeksponensial tetapi diyakini tidak dapat dipecahkan secara polinomial. Contoh terkenal adalah grafik isomorfisme...
Karakteristik yang terkenal dari instance -SAT adalah rasio jumlah klausa atas jumlah variabel , yaitu, hasil bagi . Untuk setiap , ada nilai ambang st \ untuk , sebagian besar instance memuaskan, dan untuk kebanyakan instance tidak memuaskan. Ada banyak penelitian yang dilakukan untuk masalah di...
Telah diketahui dengan baik bahwa bukti apa pun yang menyelesaikan pertanyaan P vs NP harus mengatasi relativization , bukti alami dan hambatan algebrization . Diagram berikut ini membagi "ruang bukti" menjadi beberapa wilayah. Sebagai contoh, sesuai dengan set bukti yang merelatifkan dan...
Apakah Anda tahu konsekuensi menarik dari dugaan (standar) dalam teori kompleksitas di bidang matematika lainnya (yaitu di luar ilmu komputer teoretis)? Saya lebih suka jawaban di mana: dugaan teori kompleksitas adalah sebagai umum dan standar mungkin; Saya baik-baik saja dengan konsekuensi...
Jawaban ini untuk masalah utama yang belum terpecahkan dalam ilmu komputer teoritis? pertanyaan menyatakan bahwa itu terbuka jika masalah tertentu dalam NP membutuhkan waktu .Ω(n2)Ω(n2)\Omega(n^2) Melihat komentar di bawah jawaban membuat saya bertanya-tanya: Selain dari padding dan trik...
Pertimbangkan masalah berikut: diberikan formula CNF dan tugas yang memenuhi formula ini, adakah tugas lain yang memuaskan untuk formula ini? Apa kompleksitas masalah ini? (Ini pasti di NP, tetapi juga NP-keras?) Bagaimana jika Anda tidak diberi tugas dan Anda hanya ingin memutuskan apakah...
Tentu saja, beberapa hasil kompleksitas mungkin runtuh untuk bahasa unary tapi saya bertanya-tanya apakah ada suatu survei yang merangkum hasil yang diketahui dalam kasus ini: semacam kompleksitas kebun binatang untuk bahasa unary. Apakah Anda tahu referensi seperti
Misalkan kita memiliki kelas objek (katakanlah grafik, string), dan relasi ekivalensi pada objek-objek ini. Untuk grafik ini bisa berupa grafik isomorfisme. Untuk string, kita bisa mendeklarasikan dua string yang setara jika mereka adalah anagram satu sama lain. Saya tertarik menghitung perwakilan...
Baru-baru ini, Ryan Willams membuktikan bahwa Konstruktivitas dalam Bukti Alami tidak dapat dihindari untuk memperoleh pemisahan kelas kompleksitas: dan T C 0 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Constructivity di Bukti Alam adalah suatu kondisi bahwa semua bukti kombinatorial di memenuhi...
Permintaan maaf karena mengajukan pertanyaan yang pastinya ada dalam banyak referensi standar. Saya ingin tahu tentang pertanyaan dalam judul, khususnya saya memikirkan sirkuit Boolean, tidak ada kedalaman yang terikat. Saya menempatkan "terkecil" dalam tanda kutip untuk memungkinkan kemungkinan...
Apakah algoritme waktu polinomial deterministik yang dikenal untuk masalah berikut: Input: angka alami nnn (dalam pengkodean biner) Output: bilangan prima p>np>np > n . (Menurut daftar masalah terbuka oleh Leonard Adleman, masalahnya terbuka pada 1995.)
Menurut D. den Hertog, Interior Point Approach to Linear, Quadratic and Convex Programming, 1994 , sebuah program linier dengan variabel, kendala dan presisi dapat dipecahkan dalam waktu . Apakah itu sudah
Hai teman-teman, saya mengerti bahwa trik padding memungkinkan kita menerjemahkan kelas kompleksitas ke atas - misalnya . Padding berfungsi dengan "menggembungkan" input, menjalankan konversi (katakanlah dari katakanlah ke ), yang menghasilkan algoritma "ajaib" yang dapat Anda jalankan pada input...
Untuk setiap , saya mengatakan bahwa urutan s dari bilangan bulat dalam { 1 , ... , n } adalah n- lengkap jika, untuk setiap permutasi p dari { 1 , ... , n } , ditulis sebagai urutan bilangan bulat berbeda berpasangan p 1 , … , p n , urutan p adalah urutan s , yaitu terdapat 1 ≤ i 1 < i...
Saya telah membaca di beberapa makalah bahwa keberadaan fungsi satu arah diyakini secara luas. Adakah yang bisa menjelaskan mengapa ini terjadi? Argumen apa yang kita miliki untuk mendukung keberadaan fungsi satu
Pertanyaan: Berapa ukuran rumus batas bawah paling dikenal untuk fungsi eksplisit di AC 0 ? Apakah ada fungsi eksplisit dengan batas bawah ?Ω(n2)Ω(n2)\Omega(n^2) Latar Belakang: Seperti kebanyakan batas bawah, ukuran rumus batas bawah sulit didapat. Saya tertarik pada rumus ukuran batas bawah...
Pertanyaan ini muncul karena rasa ingin tahu yang murni (pertanyaan itu muncul sambil berpikir tentang melepaskan tali , tetapi saya tidak yakin apakah itu benar-benar terkait) jadi saya harap itu sesuai. Ada berbagai produk grafik, dan saya tertarik pada salah satu dari mereka di sini. Apa...
Apa konsekuensi dari memiliki masalah lengkap dalam ?NP∩ c o NPNP∩coNPNP\cap
Apakah ada masalah NP-lengkap yang diketahui algoritma yang waktu berjalannya diharapkan polinomial (untuk beberapa distribusi yang masuk akal atas contoh)? Jika tidak, adakah masalah yang keberadaan algoritme seperti itu telah ditetapkan? Atau apakah keberadaan algoritma seperti itu menyiratkan...