Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

2
Menguji apakah surat dapat dijadwalkan untuk mencapai kata dalam bahasa biasa
Aku memperbaiki bahasa reguler LLL pada alfabet ΣΣ\Sigma , dan saya menganggap masalah berikut yang saya sebut penjadwalan surat untuk LLL . Informal, input memberi saya nnn huruf dan interval untuk setiap huruf (yaitu, posisi minimal dan maksimal), dan tujuan saya adalah menempatkan setiap huruf dalam intervalnya sehingga tidak ada …
5
Ingin tahu tentang bukti kelengkapan NP yang dibantu komputer
Dalam makalah "KOMPLEKSITAS MASALAH KEPUASAN" oleh Thomas J. Schaefer, penulis telah menyebutkan bahwa This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would …
10
Masalah yang mudah pada grafik tidak tertimbang, tetapi sulit untuk grafik tertimbang
Banyak masalah grafik algoritmik dapat diselesaikan dalam waktu polinomial baik pada grafik tidak tertimbang dan berbobot. Beberapa contoh adalah lintasan terpendek, pohon spanning min, lintasan terpanjang (dalam grafik asiklik langsung), aliran maks, min cut, pencocokan maks, arborescence optimal, masalah subgraph terpadat tertentu, pemotongan terarah terpisah max, klik cl di kelas …
3
Membenarkan analisis kasus terburuk asimptotik kepada para ilmuwan
Saya telah berupaya memperkenalkan beberapa hasil dari kompleksitas komputasi ke dalam biologi teoretis, terutama evolusi & ekologi , dengan tujuan menjadi menarik / berguna bagi para ahli biologi. Salah satu kesulitan terbesar yang saya hadapi adalah membenarkan kegunaan analisis kasus terburuk asimptotik untuk batas bawah. Apakah ada referensi panjang artikel …
1
Menghasilkan labirin pertahanan menara, alias Menemukan K node paling vital ("nodewise interdiction") dalam grafik grid tanpa bobot
Dalam permainan menara pertahanan, Anda memiliki kisi NxM dengan awal, akhir, dan sejumlah dinding. Musuh mengambil jalur terpendek dari awal hingga selesai tanpa melewati dinding apa pun (mereka biasanya tidak dibatasi ke grid, tetapi demi kesederhanaan katakanlah mereka. Dalam kedua kasus itu, mereka tidak dapat bergerak melalui "lubang" diagonal) Masalahnya …
3
Masalah di luar P yang tidak P-keras
Saat membaca jawaban oleh Peter Shor dan pertanyaan sebelumnya oleh Adam Crume saya menyadari bahwa saya memiliki beberapa kesalahpahaman tentang apa artinya menjadi -hard.PP\mathsf{P} Masalahnya adalah -sama jika ada masalah dalam dapat direduksi dengan (atau jika Anda lebih suka ). Masalah ada di luar jika tidak ada algoritma waktu polinomial …
2
Hubungan antara kekerasan pengakuan kelas grafik dan karakterisasi subgraph terlarang
Saya sedang mempertimbangkan kelas grafik yang dapat ditandai dengan subgraph terlarang. Jika kelas grafik memiliki himpunan terbatas dari subgraf terlarang, maka ada algoritme pengenalan waktu polinomial yang sepele (satu hanya dapat menggunakan kekuatan kasar). Tetapi sebuah keluarga tak terbatas dari subgraph terlarang tidak menyiratkan kekerasan: ada beberapa kelas dengan daftar …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.