Hal ini juga diketahui bahwa diarahkan st-konektivitas adalah -Lengkap. Hasil terobosan Reingold menunjukkan bahwa diarahkan st-konektivitas dalam L . Planar diarahkan st-konektivitas dikenal di U L ∩ c o U L . Cho dan Huynh mendefinisikan masalah ransel parametrized dan dipamerkan hirarki masalah...
Misalkan kita mengendurkan masalah penghitungan pewarnaan yang tepat dengan menghitung pewarnaan berbobot sebagai berikut: setiap pewarnaan yang tepat mendapat bobot 1 dan setiap pewarnaan yang tidak tepat mendapatkan bobot mana adalah konstan dan adalah jumlah tepi dengan titik akhir berwarna...
Apakah masalah berikut NP-hard? Diberikan konfigurasi papan untuk draft internasional , temukan satu langkah hukum tunggal.n×nn×nn\times n Masalah terkait untuk catur Amerika (alias konsep bahasa Inggris) mudah dipecahkan dalam waktu polinomial. Ada tiga perbedaan utama antara kedua game...
Yang akan menjadi konsekuensi dari #P = FP? Saya tertarik pada konsekuensi praktis dan teoritis. Dari sudut pandang praktis, saya sangat tertarik pada konsekuensi pada Kecerdasan Buatan. Pointer ke kertas atau buku lebih dari diterima. Tolong jangan katakan bahwa #P = FP menyiratkan P = NP,...
Saya tidak bisa memikirkan model seperti itu, mungkin semacam kalkulus lambda yang diketik? beberapa otomat seluler dasar? Ini hampir akan menyangkal "Prinsip Kesetaraan Komputasi" dari Wolfram: Hampir semua proses yang tidak sederhana dapat dilihat sebagai perhitungan kecanggihan yang...
Sebuah PHPHPH mesin diberikan akses oracle ke acak Boolean fungsi f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} , dan dua Fourier spektrum ggg dan hhh . Spektrum Fourier dari fungsi fff didefinisikan sebagai F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F( s ) = ∑x ∈ { 0 , 1 }n( - 1 )( s ⋅...
Untuk formula 3CNF CCC biarkan M ( C )M(C)M(C) menjadi jumlah maksimal klausul puas dalam setiap penugasan ke CCC . Diketahui bahwa Max-3SAT sulit diperkirakan (tunduk pada P ≠ NP), yaitu tidak ada algoritma polytime yang inputnya adalah rumus 3CNF , dan yang outputnya adalah angka sehingga berada...
Apakah Anda tahu wiki terbaru yang didedikasikan untuk masalah optimasi NP dengan hasil pendekatan dan kekerasan terbaiknya? Berdasarkan umpan balik, tampaknya aman untuk mengasumsikan tidak ada sumber daya seperti itu (lihat bagian akhir dari pertanyaan ini untuk dua opsi tutup). - ditambahkan...
Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 8 tahun yang lalu . Mengingat Curry-Howard Correspondence tersebar begitu luas / meluas, apakah ada perbedaan antara bukti dan program (atau
Apakah ada sesuatu yang diketahui tentang kelas grafik dengan properti yang semua set independen maksimal memiliki kardinalitas yang sama dan karenanya IS maksimum? Sebagai contoh, ambil satu set poin di pesawat dan pertimbangkan grafik persimpangan di antara semua segmen antara pasangan poin di...
Ini adalah pertanyaan pertama saya di stack cstheory, jadi jangan terlalu kasar jika saya entah bagaimana melanggar etika) Seperti yang kita ketahui, dalam matematika bahkan ahli matematika terkenal, superstar dan genius melakukan kesalahan serius dari waktu ke waktu. Sebagai contoh, teorema...
Topik TCS yang hilang di Wikipedia mana yang paling Anda sukai untuk dijadikan artikel? Mereka bisa kelalaian mencolok atau hanya topik yang menurut Anda harus memiliki artikel. Tolong, satu topik per jawaban sehingga yang paling dicari dapat dipilih. Pembaruan 5/2/2017 : Shuchi Chawla memimpin...
Diberi bahasa reguler (NFA, DFA, grammar, atau regex), bagaimana cara menghitung jumlah kata yang menerima dalam bahasa tertentu? Keduanya "dengan tepat n huruf" dan "dengan paling banyak n huruf" menarik. Margareta Ackerman memiliki dua makalah tentang masalah terkait penghitungan kata-kata yang...
Shiva Kintali baru saja mengumumkan (keren!) Menghasilkan bahwa isomorfisma grafik untuk grafik treewidth dibatasi lebar yaitu -Hard⊕ L≥ 4≥4\geq 4⊕ L⊕L\oplus L . Secara informal, pertanyaan saya adalah, "Seberapa sulit itu?" Kita tahu bahwa yang tidak seragam , lihat jawaban untuk pertanyaan ini ....
Studi tentang representasi ringkas dari grafik diprakarsai oleh Galperin dan Wigderson di kertas dari tahun 1983, di mana mereka membuktikan bahwa untuk banyak masalah sederhana seperti menemukan segitiga dalam grafik, versi ringkas yang sesuai pada -Lengkap. Papadimitriou dan Yanakkakis...
Saya bukan ahli teori ilmu komputer, tetapi saya pikir masalah dunia nyata ini ada di sini. Masalah Perusahaan saya memiliki beberapa unit di seluruh negeri. Kami menawarkan kepada karyawan kemungkinan untuk bekerja di unit lain. Tetapi ada syaratnya: Jumlah total pekerja pada suatu unit tidak...
Saya yakin semua orang tahu percobaan jarum Buffon di abad ke-18, itu adalah salah satu algoritma probabilistik pertama yang menghitung .ππ\pi Implementasi algoritma di komputer biasanya membutuhkan penggunaan , atau fungsi trigonometrik, yang, bahkan jika mereka diimplementasikan sebagai seri...
Sepertinya George Gonthier dan rekan-rekannya telah selesai meresmikan Teorema Ganjil . Dalam karya sebelumnya tentang Teorema Empat Warna, Gonthier menemukan banyak algoritma baru (sebagian besar varian dari BDD dan algoritma grafik) yang terutama dapat menerima verifikasi formal. Karena dia...
Biarkan menjadi matriks integer persegi, dan misalkannMMMnnn menjadi bilangan bulat positif. Saya tertarik pada kompleksitas masalah keputusan berikut: Apakah entri kanan atas positif?MnMnM^n Perhatikan bahwa pendekatan yang jelas dari iterasi persegi (atau perhitungan eksplisit lainnya)...
Saya tertarik pada kerapatan α 3-satisfiability (3-SAT) yang kritis . Diduga bahwa α seperti itu ada: jika jumlah klausa 3-SAT yang dihasilkan secara acak adalah ( α + ϵ ) n atau lebih, mereka hampir pasti tidak memuaskan. (Di sini ϵ adalah konstanta kecil dan n adalah jumlah variabel.) Jika...