Saya belajar Pembuktian Teorema Otomatis / SMT solver / Asisten Bukti sendiri dan memposting serangkaian pertanyaan tentang proses, mulai di sini . Manakah yang membuktikan teorema otomatis yang relevan? Saya menemukan Tinjauan Provers Teorema Apakah ini masih terkini? Mana yang masih sangat...
Saya mengalami keraguan berikut tentang kompleksitas Menara Hanoi , di mana saya ingin komentar Anda. Apakah itu dalam NP? Mencoba jawaban: Misalkan Peggy (prover) memecahkan masalah & mengirimkannya ke Victor (pemverifikasi). Victor dapat dengan mudah melihat bahwa keadaan akhir dari...
Saya bertanya-tanya bagaimana menemukan ketebalan grafik tidak berarah jarang. Maksud saya, jarang . Maksud saya adalah kompleksitas waktu terendah.|E| =O( | V| )|E|=HAI(|V|)|E|=O(|V|) Saya memikirkan beberapa modifikasi pada algoritma Tarjan untuk grafik yang tidak diarahkan, tetapi saya tidak...
WalkSAT dan GSAT adalah algoritma pencarian lokal yang terkenal dan sederhana untuk memecahkan masalah kepuasan Boolean. Pseudocode untuk algoritma GSAT disalin dari pertanyaan Menerapkan algoritma GSAT - Bagaimana memilih literal mana yang akan dibalik? dan disajikan di bawah ini. procedure...
Mari saya mulai dengan mencatat bahwa ini adalah masalah pekerjaan rumah, tolong berikan hanya saran dan pengamatan terkait, JANGAN JAWABAN LANGSUNG . Dengan itu, inilah masalah yang saya lihat: Biarkan HALF-CLIQUE = { | adalah grafik tak berarah yang memiliki subgraph lengkap dengan setidaknya...
Saya ingin menulis sebuah program sederhana yang menerima satu set jendela (lebar + tinggi) dan resolusi layar dan menampilkan pengaturan dari jendela-jendela tersebut di layar sedemikian rupa sehingga windows mengambil ruang paling besar. Oleh karena itu dimungkinkan untuk mengubah ukuran jendela,...
Baru-baru ini saya menemukan di sebuah makalah [1] versi simetris khusus dari SAT yang disebut 2/2/4-SAT . Tetapi ada banyak -varian lengkap di luar sana, misalnya: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Beberapa varian lainnya dapat ditelusuri: - , Planar-NAE- ,...
Dalam esai terkenal Richard Gabriel The Rise of Worse is Better , ia membandingkan versi karikatur dari MIT / Stanford (Lisp) dan filosofi desain New Jersey (C / Unix) di sepanjang sumbu kesederhanaan, kebenaran, konsistensi, dan kelengkapan. Dia memberikan contoh dari "masalah PC kalah" ( dibahas...
Saya ingin tahu apakah tipe dikuantifikasi secara universal : adalah sub-tipe, atau kasus khusus, dari tipe dikuantifikasi secara dengan tanda tangan yang sama:T a = ∀ X : { a ∈ X , f : X → { T , F } }TSebuahTSebuahT_aTSebuah= ∀ X: { a ∈ X, f: X→ { T, F} }TSebuah=∀X:{Sebuah∈X,f:X→{T,F}}T_a =...
Misalkan kita memiliki kotak hitam yang dapat kita query dan reset. Ketika kita mereset , keadaan dari diatur ke elemen yang dipilih secara acak dari himpunan mana diperbaiki dan dikenal untuk diberikan . Untuk permintaan , elemen (tebakan) dari disediakan, dan nilai yang dikembalikan adalah ....
Apakah Anda tahu algoritma yang menghitung faktorial setelah modulus secara efisien? Misalnya, saya ingin memprogram: for(i=0; i<5; i++) sum += factorial(p-i) % p; Tetapi, padalah angka besar (prima) untuk menerapkan faktorial secara langsung .(p≤108)(p≤108)(p \leq 10^ 8) Dengan Python,...
Saya mengalami masalah dalam menerima pandangan teoritik kompleksitas "dipecahkan secara efisien oleh algoritma paralel" yang diberikan oleh kelas NC : NC adalah kelas masalah yang dapat diselesaikan dengan algoritma paralel dalam waktu pada prosesor dengan .p ( n ) ∈ O ( n k ) c , k ∈ NO (...
Wikipedia memiliki definisi berikut tentang lemma pemompaan untuk bahasa biasa ... Biarkan menjadi bahasa biasa. Kemudian ada bilangan bulat ≥ 1 hanya bergantung pada sehingga setiap string dalam panjang setidaknya ( disebut "panjang pemompaan") dapat ditulis sebagai = (yaitu, dapat dibagi...
Anda diberi n bilangan bulat semuanya antara dan . Di bawah setiap bilangan bulat Anda harus menulis bilangan bulat antara dan dengan persyaratan bahwa membentuk urutan yang tidak menurun. Tentukan penyimpangan urutan seperti itu menjadi . Desain algoritma yang menemukan b_i dengan deviasi minimum...
Apakah ada masalah dalam PP\mathsf{P} yang memiliki algoritma acak mengalahkan batas yang lebih rendah pada algoritma deterministik? Lebih konkretnya, apakah kita tahu ada kkk untuk mana DTIME(nk)⊊PTIME(nk)DTIME(nk)⊊PTIME(nk)\mathsf{DTIME}(n^k) \subsetneq \mathsf{PTIME}(n^k) ? Di sini...
Sebelum membaca The Art of Computer Programming (TAOCP) , saya belum mempertimbangkan pertanyaan-pertanyaan ini secara mendalam. Saya akan menggunakan kode pseudo untuk menggambarkan algoritma, memahaminya dan memperkirakan waktu berjalan hanya tentang pesanan pertumbuhan. The TAOCP secara...
Misalkan kita memiliki grafik diarahkan dan dua node dan . Saya ingin tahu apakah sudah ada algoritma untuk menghitung masalah keputusan berikut:G=(V,E)G=(V,E)G=(V,E)AAABBB Apakah setidaknya ada dua jalur antara dan dengan panjang yang sama?AAABBB Bagaimana dengan kerumitannya? Bisakah saya...
The logaritma diskrit adalah sama dengan menemukan bbb di Sebuahb= c mod NSebuahb=cmodNa^b=c \bmod N , diberikan SebuahSebuaha , ccc , dan NNN . Saya bertanya-tanya dalam kelompok kerumitan apa (misalnya untuk komputer klasik dan kuantum), dan pendekatan apa (yaitu algoritma) yang terbaik untuk...
Saya telah membaca sedikit literatur belakangan ini, dan telah menemukan beberapa struktur data yang agak menarik. Saya telah meneliti berbagai metode untuk menurunkan waktu pembaruan menjadi waktu pembaruan terburuk [1-7].O (1)O(1)\mathcal{O}(1) Baru-baru ini saya mulai mencari struktur data...
Iklan pizza mengklaim bahwa Anda dapat menggabungkan bahan-bahannya hingga 34 juta kombinasi berbeda. Saya tidak mempercayainya, jadi saya membersihkan keterampilan kombinatorik saya yang berkarat dan mencoba mencari tahu. Inilah yang saya miliki sejauh ini: Dari situs pemesanan online saya...