Judul berbicara sendiri. Berikut adalah Akinator dan 20Q . Prinsip dari permainan ini adalah untuk menanyakan kepada pengguna sejumlah pertanyaan yang berkaitan dengan beberapa entitas yang dipilih oleh pengguna. Dan kemudian cari tahu apa entitas ini. Inti dari algoritma ini adalah untuk...
Ada 4 batasan berbeda yang bisa kita miliki ketika mendefinisikan K-SAT Acak. 1) Jumlah total literal dalam klausa tertentu persis K atau AT paling banyak K 2) Literal yang diberikan dapat digunakan dengan atau tanpa penggantian dalam klausa yang sama (A atau A atau A) 3) Variabel yang diberikan...
Saya memindahkan pertanyaan ini dari stackoverflow di mana id tidak mendapat jawaban. Kami memiliki pertanyaan serupa apakah JSON biasa : JSON dan XML keduanya sering disebut sebagai bahasa bebas konteks - keduanya ditentukan terutama oleh tata bahasa formal di EBNF. Namun ini hanya berlaku untuk...
Sudah banyak diketahui bahwa formula CNF dapat secara kasar dipartisi dalam 2 kelas besar: acak vs. terstruktur. Rumus CNF terstruktur, bertentangan dengan rumus CNF acak, menunjukkan semacam keteraturan, menunjukkan pola yang tidak mungkin terjadi secara kebetulan. Namun, orang dapat menemukan...
Pertanyaan ini mirip dengan masalah NP-hard pada pohon : Ada sejumlah besar masalah NP-lengkap yang dapat ditelusuri pada cographs . Apakah ada masalah yang diketahui yang tetap melengkapi NP ketika dibatasi untuk cographs? Untuk lebih tepatnya saya tertarik pada contoh-contoh di mana input...
Katakanlah kita menemukan peradaban asing yang dapat mengirim dan menerima pesan menggunakan saluran komunikasi digital antarbintang. (Katakanlah menggunakan gelombang radio termodulasi, pulsa laser, memposisikan ulang bintang dalam berbagai orbit, apa pun yang Anda lakukan.) Mari kita asumsikan...
Apa yang diketahui tentang masalah berikut? Diberikan kumpulan fungsi f : { 0 , 1 } n → { 0 , 1 } , temukan subkoleksi terbesar S ⊆ C tunduk pada kendala bahwa VC-Dimensi ( S ) ≤ k untuk beberapa bilangan bulat k .CCCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆CS⊆CS \subseteq...
Saya ingin menulis bukti matematika menggunakan beberapa asisten bukti. Semuanya akan ditulis menggunakan logika orde pertama (dengan kesetaraan) dan deduksi alami. Latar belakangnya adalah set theory (ZF). Misalnya, bagaimana saya bisa menulis bukti berikut? Aksioma:
Saya mencari referensi yang baik untuk jalur terpendek bottleneck. Khususnya, mengingat simpul s dan t dalam grafik tidak berarah dengan bobot tepi, Anda ingin jalur terpendek dari s ke t, di mana panjang jalur adalah tepi maksimum di jalur itu. Ini dapat dipecahkan dalam waktu O (n + m) dengan...
Biarkan menjadi poin di dalam pesawat . Pertimbangkan grafik lengkap dengan titik sebagai simpul dan dengan bobot ujung . Bisakah Anda selalu menemukan potongan berat yang setidaknya \ frac 2 3 dari total berat? Jika tidak, konstanta mana yang harus menggantikan \ frac 2 3 ?x1,…,xnx1,…,xnx_1,...
Pertimbangkan masalah berikut, Mengingat satu set bilangan positif { a 1 , ... , a n } dimana k ≥ 3 adalah konstanta, kita ingin partisi set ke m himpunan bagian dari ukuran k sehingga produk dari jumlah setiap bagian dimaksimalkan.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k...
Apakah ada survei (dari makalah, bab buku, tutorial, tautan, ...) tentang semantik dari berbagai fitur bahasa pemrograman? Saya awalnya kewalahan oleh fitur-fitur D di sini http://www.digitalmars.com/d/2.0/comparison.html Saya ingin melihat apa yang mungkin saya dapat dari sini, walaupun saya...
Ada beberapa gagasan yang saling bersaing tentang "grafik jarang". Misalnya, grafik permukaan-embeddable dapat dianggap jarang. Atau grafik dengan kepadatan tepi terbatas. Atau grafik dengan ketebalan tinggi. Grafik dengan ekspansi besar. Grafik dengan treewidth terikat. (Bahkan di dalam subbidang...
Dalam Algoritma Enkripsi Kecil : Kelipatan yang berbeda dari konstanta sihir digunakan untuk mencegah serangan sederhana berdasarkan simetri putaran. Konstanta ajaib, 2654435769 atau 9E3779B9 16 dipilih menjadi , dengan ϕ adalah rasio emas.232/ϕ232/ϕ2^{32}/ \phi Properti apa yang dimiliki yang...
Saya sudah membaca contoh formula dalam CTL tetapi tidak dalam LTL dan sebaliknya, tapi saya mengalami kesulitan untuk mendapatkan pemahaman mental tentang formula LTL dan sebenarnya apa, pada intinya,
Saya mencari logika modal, yang dixiomatiskan oleh serangkaian aksioma terbatas dari modal nesting depth one, dan yang masalah kelayakan / derabilitasnya tidak mungkin terjadi di PSPACE. Tanpa batasan pada modal nesting depth ini bukan masalah, lihat misalnya PDL. Tetapi tampaknya dalam membuktikan...
Kita dapat menganggap kompleksitas Kolmogorov dari sebuah string sebagai panjang dari program terpendek P dan input y sedemikian rupa sehingga x = P ( y ) . Biasanya program-program ini diambil dari beberapa set Turing-complete (seperti P mungkin merupakan deskripsi mesin Turing, atau bisa juga...
Diberikan urutan angka, dapatkah itu diurutkan dengan perbandingan O ( n ln n ) dan O ( n ) swap / gerakan? Setiap penunjuk ke publikasi tentang hal itu atau tandingan yang menunjukkan batas bawah Ω ( n ln n ) akan membantu.nnnO ( n lnn )O(nlnn)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nlnn)\Omega(n \ln...
Jika adalah grafik dengan derajat 3 maksimum dan merupakan minor , maka adalah minor topologiH G HGGGHHHGGGHHH . Wikipedia mengutip hasil ini dari "Grafik Theory" Diestel. Itu terdaftar sebagai Prop 1.7.4 di versi terbaru buku. Buku ini tidak memiliki bukti atau kutipan. Apakah keberadaannya...
Biarkan menjadi rumus 2CNF dan k bilangan bulat tidak negatif. Hal ini terbukti dalam kertas bahwa masalah memutuskan apakah seseorang dapat menghapus paling k klausul untuk membuat φ satisfable, tetap-parameter penurut, di mana k adalah parameter. Pertanyaan saya adalah apakah ada beberapa...