Apa yang kita ketahui adalah bahwa π tidak terbatas dan sangat mungkin mengandung string setiap digit string yang mungkin ( urutan disjungtif ). Saya baru-baru ini melihat beberapa prototipe πfs yang mengasumsikan bahwa setiap file yang Anda buat (atau orang lain) atau Anda akan buat, itu sudah...
Saya bertanya-tanya apakah ada algoritma polinomial untuk "2-SAT dengan hubungan XOR". Baik 2-SAT dan XOR-SAT berada di P, tetapi apakah kombinasinya? Input Contoh: Bagian 2-SAT: (a or !b) and (b or c) and (b or d) Bagian XOR: (a xor b xor c xor 1) and (b xor c xor d) Dengan kata lain,...
Apakah keberadaan masalah yang tidak dapat dipastikan segera menyiratkan tidak dapat diprediksinya sistem fisik? Mari kita pertimbangkan masalah penghentian, pertama kita membangun UTM fisik, katakanlah menggunakan konstruksi berbasis sirkuit yang biasa. Maka tidak ada teori fisik yang dapat...
Apakah ada cara untuk menghitung ukuran pencocokan maksimum dalam grafik bipartit tak tertimbang lebih efisien (mis. Lebih cepat) daripada menghitung pencocokan maksimum? Ini adalah pukulan panjang tetapi seringkali merupakan masalah yang menarik untuk menghindari perhitungan yang dibuang...
Saat ini saya menghadiri kursus pemrograman bersamaan di universitas saya dan kami baru-baru ini mulai berbicara tentang konsep monitor. Sementara saya memahami perlunya saling pengecualian, saya tidak mengerti mengapa saya akan menggunakan monitor untuk itu. Seperti yang saya pahami, monitor...
Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Saya...
Kompleksitas Zoo mendefinisikan L INL.sayaNLIN sebagai kelas masalah keputusan yang dipecahkan oleh mesin Turing deterministik dalam waktu linier. L IN⊆ P.L.sayaN⊆PLIN \subseteq P Karena HORN-SAT dapat dipecahkan dalam (seperti yang ditunjukkan dalam algoritma Linear-time untuk menguji kepuasan...
Saya bertanya-tanya mengapa kaset itu bukan bagian dari definisi formal dari Mesin Turing. Pertimbangkan, misalnya, definisi formal mesin Turing di halaman Wikipedia . Definisi, mengikuti Hopcroft dan Ullman, meliputi: himpunan terbatas status , alfabet pita Γ , simbol kosong b ∈ Γ , keadaan awal q...
Saya mencoba untuk mendapatkan gambaran besar tentang pentingnya titik tetap (lfp) dalam analisis program. Misalnya interpretasi abstrak tampaknya menggunakan keberadaan lfp. Banyak makalah penelitian tentang analisis program juga sangat berfokus pada menemukan titik paling tidak tetap. Lebih...
Dalam kendala masalah kepuasan, heuristik dapat digunakan untuk meningkatkan kinerja pemecah bactracking. Tiga heuristik yang biasa diberikan untuk solver backtracking sederhana adalah: Nilai sisa minimum (berapa banyak nilai masih valid untuk variabel ini) Derajat heuristik (berapa banyak...
Pada dasarnya, masalahnya adalah: Untuk himpunan dari angka positif, cari angka minimal yang bukan merupakan pembagi elemen , yaitu .SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Nyatakan n=|S|n=|S|n = |S|dan C=max(S)C=max(S)C = \max(S) . Pertimbangkan fungsi F(x)=F(x)=F(x) = bilangan...
Putaran Tes Google Hash Code 2015 ( pernyataan masalah ) bertanya tentang masalah berikut: input: kisi dengan beberapa kotak yang ditandai, ambang , area maksimalMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} Output: total luas kemungkinan terbesar dari serangkaian persegi panjang menguraikan...
Dalam mencoba memahami hubungan antara Huffman Coding, Arithmetic Coding, dan Range Coding, saya mulai berpikir tentang kekurangan pengkodean Huffman terkait dengan masalah fraksional pengemasan bit . Artinya, misalkan Anda memiliki 240 nilai yang mungkin untuk simbol, dan diperlukan untuk...
Diberikan subset dari produk kartesius dari dua set yang terbatas, saya ingin menemukan penutup minimal dengan set yang merupakan produk kartesius itu sendiri.saya× JI×JI \times J Misalnya, mengingat produk antara dan , saya dapat mengamati subset dan coba untuk menutupinya dengan jumlah minimal...
Algoritma Shor sering digunakan sebagai argumen. Ini dapat memecahkan masalah faktorisasi lebih cepat daripada algoritma yang dikenal untuk komputer klasik. Namun, kami tidak memiliki bukti bahwa komputer klasik juga tidak dapat faktor integer secara efisien. Apakah ada komputer kuantum bukti...
Saya ingin mengungkapkan batasan berikut, dalam program linear integer: y={01if x=0if x≠0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Saya sudah memiliki variabel integer dan saya berjanji bahwa . Bagaimana saya bisa mengekspresikan kendala di atas,...
Sebuah jawaban pada Programmers.SE ciri esai oleh Masak ( Objects tidak ADT ) yang mengatakan Objek berperilaku seperti fungsi karakteristik atas nilai-nilai tipe, bukan sebagai aljabar. Objek menggunakan abstraksi prosedural daripada jenis abstraksi ADT biasanya memiliki implementasi unik...
Saya berjuang untuk memahami tujuan dari kuantifikasi tipe yang universal dan eksistensial. Saya bermain-main dengan menulis bahasa mainan berdasarkan kalkulus konstruksi . Saya telah membaca tentang Morte dan Henk untuk membantu saya mendapatkan pemahaman yang lebih baik. Saya tidak mengerti...
Sebagai proyek yang menyenangkan, saya telah mengerjakan implementasi C # dari Richard Korf - Menemukan Solusi Optimal untuk Rubik's Cube Menggunakan Database Pola. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Saya benar-benar membuatnya bekerja, saya hanya...
Judulnya mengatakan itu semua, tetapi saya ingin tahu karena tidak jelas bagaimana teorema teorema menjadi bernama 'Isabelle'. Apakah nama itu untuk seseorang? Saya tidak dapat mengetahuinya dengan beberapa pencarian