Pertanyaan ini dua kali lipat, dan terutama berorientasi pada referensi: Apakah ada suatu tempat di mana intuisi utama untuk membuktikan teorema minor diberikan, tanpa terlalu banyak detail? Saya tahu buktinya panjang dan sulit, tetapi pasti harus ada ide-ide kunci yang dapat dikomunikasikan...
Salah satu proyek Java saya adalah garpu parboiled , dan tidak seperti, katakanlah, Antlr atau JavaCC, parser dihasilkan saat runtime. Tata bahasa yang dihasilkan adalah Parsing Expression Grammars, atau PEGs (Saya mendengar istilah lain untuk mereka adalah "packrat"). Sementara generasi runtime...
Saya ingin tahu apakah decidability of equality dari dua bukti decidable dari proposisi yang sama dapat dibuktikan tanpa aksioma tambahan dalam Calculus of Inductive Constructions. Secara khusus, saya ingin tahu apakah ini benar tanpa ada aksioma tambahan dalam
Saya tertarik pada algoritma yang efisien untuk persimpangan DFA untuk kasus khusus. Yaitu, ketika DFA untuk memotong mematuhi struktur tertentu dan / atau beroperasi pada alfabet terbatas. Apakah ada sumber di mana saya dapat menemukan algoritma kasus seperti itu? Agar tidak membuat pertanyaan...
Instance: Grafik tidak berarah GGGdengan dua simpul dibedakan s≠ts≠ts\neq t , dan integer k≥0k≥0k\geq 0 . Pertanyaan: Apakah terdapat sebuah s−ts−ts-t jalan di GGG , sehingga berpotongan jalan paling kkk segitiga? (Untuk masalah ini, sebuah jalur dikatakan memotong segitiga jika jalur tersebut...
Diberikan grafik dan ingin dihitung . ( )) `` ekspansi set kecil dugaan "menyatakan bahwa NP-Sulit untuk menentukan apakah ini di bawah atau di atas untukδ > 0 h ( G , δ ) = m i n | S | ≤ δ | V | ϕ ( S ) ϕ ( S ) = E ( S , ˉ S )G = ( V, E)G=(V,E)G=(V,E)δ> 0δ>0\delta > 0h ( G , δ) = m i n|...
Biarkan menjadi grafik. Sebuah himpunan titik disebut penting jika dan tidak ada titik di berdekatan dengan tepat satu titik di . Masalahnya adalah untuk menemukan satu set titik dari ukuran minimum sehingga untuk setiap set kritis .G = ( V, E)G=(V,E)G=(V,E)X⊆ VX⊆VX\subseteq VX≠...
Saya mencari bukti bahwa kompleksitas Kolmogorov tidak dapat dihitung menggunakan pengurangan dari masalah lain yang tidak dapat dihitung. Bukti umum adalah formalisasi paradoks Berry daripada reduksi, tetapi harus ada bukti dengan mengurangi dari sesuatu seperti Masalah Putus, atau Masalah...
Saya mengambil kursus tingkat pascasarjana dalam teori informasi dan saya selalu dikejutkan oleh berapa banyak optimasi cembung yang ada dalam subjek ini. Namun, buktinya tampaknya menghindar dari menggunakan mesin penuh teori relaksasi, dualitas, dll. Ini bisa dimengerti karena Anda tidak ingin...
Saya tertarik pada musik komputer, di mana ada pendekatan untuk memperlakukan karya musik sebagai kalimat dalam tata bahasa generatif atau sistem-L. Alih-alih menyusun, seseorang kemudian dapat menentukan tata bahasa dan membiarkan komputer menghasilkan musik. Misalnya kelompok Yale di sekitar...
Misalkan adalah grafik yang merupakan gabungan yang terpisah dari sebuah klik dan satu set independen, yaitu G = K_ {n_1} + \ overline {K_ {n_2}} = K_ {n_1} + I_ {n_2}.GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Kelas grafik dari semua...
Pertimbangkan masalah berikut: Input: grafik sederhana (tidak terarah) .G = ( V, E)G=(V,E)G=(V,E) Pertanyaan: Apakah ada orientasi memuaskan properti yang untuk setiap paling banyak ada satu (diarahkan) - berjalan?s , t ∈ V s tGGGs , t ∈ Vs,t∈Vs,t \in Vsssttt Ini dapat secara ekuivalen...
Jika kita hanya mempertimbangkan masalah dalam P, apakah ada celah besar antara algoritma kata-RAM yang paling cepat diketahui dan algoritma mesin Turing yang paling cepat diketahui untuk masalah tertentu? Saya sangat tertarik jika ada celah lebar untuk masalah alam yang menjadi perhatian...
Saya ingin tahu apakah masalah berikut ini NP-hard. Input: grafik sederhana, dan pewarnaan pada tepian ( tidak memverifikasi properti spesifik apa pun).f : E → { 1 , 2 , 3 } fG = ( V, E)G=(V,E)G = (V,E)f: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\}fff Pertanyaan: apakah mungkin untuk...
Jika saya mengerti dengan benar, untuk membuktikan bahwa masalah adalah NP sulit, Anda harus memilih semua masalah yang mungkin yang ada di NP dan kemudian membuktikan bahwa mereka mengecil menjadi dengan menggunakan fungsi yang dapat dihitung waktu polinomial, yang memetakan setiap contoh untuk...
Adakah yang telah mengeksplorasi apa kompleksitas sirkuit dari masalah keputusan klasik seperti Primes atau Graph-Isomorphism untuk ukuran input ?NNN Sementara kebanyakan orang tertarik pada bagaimana penskalaan berjalan sebagai , saya pikir itu juga akan menarik untuk melihat bagaimana ini tumbuh...
Masalah standar 1-in-3 SAT (atau XSAT atau X3SAT) adalah: Instance : rumus CNF dengan setiap klausa yang mengandung tepat 3 liter Pertanyaan : apakah ada pengaturan penugasan yang memuaskan tepatnya 1 liter per klausa benar? Masalahnya adalah NP-lengkap dan tetap sulit bahkan jika tidak ada...
Misalkan GGG dan HHH menjadi dua grafik ukuran- rrr terhubung secara teratur nnn . Biarkan AAA adalah himpunan permutasi PPP sehingga PGP−1=HPGP−1=HPGP^{-1}=H . Jika G=HG=HG=H maka AAA adalah himpunan automorphisms dari GGG . Apa batas atas yang paling dikenal pada ukuran AAA ? Apakah ada...
Masalah Klasik: Biarkan nomor diberikan. Masalah -clique adalah sebagai berikut.kkkkkkk Diberikan grafik , apakah ada subset dari simpul sehingga setiap dua simpul berdekatan?S k SGGGSSSkkkSSS Masalah Hypergraph: Biarkan angka dan diberikan. Masalah -hyperclique adalah sebagai berikut.k ( c , k...
Dalam makalah PLDI'98 klasik karya Necula, "Desain dan implementasi kompiler sertifikasi", verifikasi tingkat tinggi menggunakan: VCGen untuk menghasilkan kondisi verifikasi (predikat keselamatan) Teorema logika orde pertama membuktikan kondisi Pemeriksa bukti LF untuk memeriksa bukti dari...