Saya tertarik untuk memahami struktur kelas grafik sehingga tidak ada subgraph yang diinduksi vertex pada empat simpul yang merupakan pencocokan sempurna. Lain berbeda untuk setiap empat simpul a , b , c , d di G jika sebuah b dan c d tepi yang kemudian grafik harus memiliki setidaknya satu lagi...
P / poly adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean ukuran polinomial. Alternatifnya dapat didefinisikan sebagai mesin Turing polinomial-waktu yang menerima string saran yang ukuran polinomial dalam n dan yang hanya didasarkan pada ukuran n. mP / poli adalah kelas...
Treewidth dan pathwidth adalah parameter populer, yang mengukur kedekatan grafik ke pohon atau jalur. Memang, tampaknya treewidth sangat populer sehingga ditampilkan di banyak makalah, buku, dan catatan kuliah yang memberikan (bahkan sangat lembut) pengantar aspek algoritmik treewidth (lihat...
Pertimbangkan masalah di mana kita diberikan sebagai input grafik asiklik langsung G=(V,E)G=(V,E)G = (V, E) , fungsi pelabelan λλ\lambda dari VVV ke beberapa set LLL dengan urutan total
Ketika kita ingin membuktikan bahwa adalah -Lengkap, maka pendekatan standar untuk menunjukkan waktu polinomial komputasi pengurangan banyak-salah satu yang dikenal masalah -Lengkap untuk . Dalam konteks ini kita tidak perlu terikat ketat pada waktu pengurangan berjalan. Itu sudah cukup untuk telah...
Menurut makalah ini , yang membahas perpanjangan nondeterministik dari Strong Exponential Time Hypothesis (SETH), "[...] Williams baru-baru ini menunjukkan hipotesis terkait tentang kompleksitas Merlin-Arthur dari k-TAUT adalah salah". Namun, makalah itu hanya mengutip komunikasi
Sudah diketahui secara umum bahwa properti Church-Rosser berlaku untuk reduksi dalam kalkulus lambda yang diketik sederhana. Ini menyiratkan bahwa kalkulus konsisten, dalam arti bahwa tidak semua persamaan yang melibatkan -terms dapat diturunkan: misalnya, K I , karena mereka tidak memiliki bentuk...
Seberapa sulit untuk menemukan solusi paling jarang untuk sistem persamaan linear? Secara lebih formal, pertimbangkan masalah keputusan berikut: Instance: Suatu sistem persamaan linear dengan koefisien integer dan angka .ccc Pertanyaan: Apakah ada solusi untuk sistem dengan setidaknya variabel...
Benarkah menambahkan aksioma ke CIC mungkin memiliki pengaruh negatif dalam konten komputasi dari definisi dan teorema? Saya mengerti bahwa, dalam perilaku normal teori ini, setiap jangka tertutup akan mengurangi ke bentuk normal kanonik nya, misalnya jika benar, maka n harus mengurangi untuk...
Untuk fungsi Boolean f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\} , pengaruh variabel ke- didefinisikan sebagai mana x ^ {\ oplus i} adalah string yang diperoleh dengan membalik saya sedikit x . Pengaruh minimum f adalah \ operatorname {MinInf} [f] \ stackrel {\ rm def} {=} \...
Linear Logic diinterpretasikan menggunakan spasi yang koheren , dan fitur-fitur tersebut menonjol dalam makalah Girard. Saya tahu semua tiga cara utama untuk mendefinisikan mereka secara formal, dan mereka tidak benar-benar menimbulkan masalah untuk digunakan dan membuktikan hal-hal tentang, tetapi...
Saya mencari: Michael O. Rabin, "Tingkat kesulitan menghitung fungsi, dan urutan parsial set rekursif", Universitas Ibrani, Yerusalem, 1960 Ringkasan: “Kami berupaya mengukur jumlah pekerjaan yang melekat dalam tugas menghitung fungsi komputasi (rekursif) yang diberikan. Konsep tingkat...
Lance Fortnow baru-baru ini mengklaim bahwa membuktikan L! = NP harus lebih mudah daripada membuktikan P! = NP : Pisahkan NP dari ruang Logaritmik. Saya memberikan empat pendekatan dalam survei pra-blog 2001 tentang diagonalisasi (Bagian 3) meskipun tidak ada yang berhasil. Seharusnya lebih...
Untuk grafik tanpa arahan mana semua pohon pencarian pertama-dalam (untuk semua simpul awal yang memungkinkan dan untuk semua pilihan tetangga mana yang dicari terlebih dahulu) jalur yang diarahkan? Artinya, setiap pohon DFS harus hanya memiliki satu daun, dan setiap simpul lainnya harus memiliki...
Sekarang kita dapat melihat bahwa Gereja dikaitkan dengan yang Cukup Diketik Lambda Kalkulus . Memang, tampaknya ia menjelaskan Kalkulus Lambda Cukup Ketik untuk mengurangi kesalahpahaman tentang Kalkulus Lambda. Sekarang ketika John McCarthy menciptakan Lisp - ia mendasarkannya pada Kalkulus...
Diketahui bahwa jika NP⊆P/PolyNP⊆P/PolyNP\subseteq P/Poly maka hierarki polinomial runtuh menjadi dan .ΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Apa keruntuhan terkuat yang diketahui terjadi jika ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq
Apa algoritma deterministik tercepat yang diketahui yang dapat mengenali grafik berarah dengan sepasang siklus disintegrasi titik? Saya tahu grafik dengan min outdegree three selalu memiliki pasangan seperti itu ( Thomassen'83 ), tetapi meskipun demikian saya tidak dapat menemukan algoritma yang...
Kompleksitas kelas PPAD ditemukan oleh Christos Papadimitriou dalam makalah seminalnya tahun 1994 . Kelas dirancang untuk menangkap kerumitan masalah pencarian di mana keberadaan solusi dijamin oleh "Argumen paritas dalam grafik berarah": jika ada titik tidak seimbang dalam grafik berarah maka...
Adleman telah menunjukkan pada tahun 1978 bahwa : jika fungsi boolean dari variabel dapat dihitung dengan rangkaian boolean probabilistik ukuran , maka dapat juga dihitung dengan deterministik sirkuit boolean polinomial ukuran dalam dan ; sebenarnya, dari ukuran . B P P ⊆ P / p o l...
Treewith adalah parameter grafik penting yang menunjukkan seberapa dekat grafik dari menjadi pohon (walaupun tidak dalam arti topologi yang ketat). Sudah diketahui bahwa menghitung treewidth adalah NP-hard. Adakah kelas alami grafik di mana treewidth sulit untuk dihitung? Demikian pula:...