Apakah ada masalah decidability yang tidak diketahui tetapi diketahui pasti bahwa masalahnya kurang sulit daripada masalah
Pengujian identitas polinomial adalah contoh standar masalah yang diketahui berada di co-RP tetapi tidak diketahui berada di P . Lebih dari rangkaian aritmatika , memang tampak sulit, karena tingkat polinom dapat dibuat besar secara eksponensial dengan kuadrat ulang. Pertanyaan ini membahas masalah...
Saya membuat program Haskell (ungolfed) berikut untuk tantangan kode golf untuk komputasi yang pertamannnnilai A229037 . Ini adalah solusi yang saya usulkan untuk menghitung nnnnilai th: a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n = [x | x <- [1..], isGood x...
Saya tidak dapat menemukan grafik yang menggambarkan atau teks yang menjawab pertanyaan berikut: Apakah ada hubungan langsung antara kompleksitas suatu algoritma (seperti kasus cepat / terbaik terbaik), dan kelas automata yang dapat mengimplementasikan algoritma. Misalnya apakah ada serangkaian...
Saya akan terkejut jika ini bukan masalah yang dipelajari dengan baik, tapi saya tidak yakin apa lagi yang harus dicari pada saat ini: Anda diberi satu set biner nnn-Vektor S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. Masalahnya adalah untuk menemukan satu set binernnn-Vektor B ⊂ { 0 , 1}nB⊂{0,1}nB...
Dalam teori jenis podcast ep. 3 , Dan Licata mengklaim bahwa fakta bahwa untuk setiap input, insertionsort dan mergesort memberikan hasil yang sama tidak menyiratkan bahwa hasilnya akan sama ketika digunakan sebagai fungsi urutan yang lebih tinggi sebagai argumen ke fungsi ketiga, yaitu map...
Saya mengerti apa itu, tapi saya tidak melihat bagaimana itu digunakan untuk algoritma atau apa pun. Mungkin saya kehilangan sesuatu. Saya butuh seseorang untuk memberi saya contoh bagaimana itu bisa digunakan sehingga saya bisa memahaminya dengan lebih
Saya membutuhkan struktur data untuk menyimpan nomor nnnelemen, masing-masing terkait dengan waktu berbeda . bervariasi dan walaupun memiliki batas atas teoretis, ini banyak urutan besarnya lebih besar dari apa yang biasanya digunakan.tsayatit_innn Melalui aplikasi saya, saya dapat memastikan...
Kami baru saja selesai kami "Waktu Konstruksi gedung" pelajaran di kelas minggu lalu, dan kami, demi contoh ini, menunjukkan bahwa sepenuhnya waktu constructible, yaitu terdapat (multi-tape deterministik) mesin Turing bahwa untuk diberikan, berhenti setelah tepat langkah, dan hanya bertanya apakah...
Saya mencoba memperkirakan kompleksitas suatu algoritma yang saya tulis untuk dekompiler Reko , di mana saya mencoba untuk "membatalkan" tranformasi yang dilakukan oleh kompiler ke divisi integer oleh konstantax/nx/nx / n. Kompiler telah mengubah divisi menjadi perkalian integer dan...
Saya pikir setiap FOT adalah subset dari FOL, tetapi sepertinya tidak demikian, karena FOL sudah lengkap (setiap rumus valid atau tidak valid), sementara beberapa FOT (seperti aritmatika integer linier) tidak lengkap. Jadi, apakah FOL lebih ekspresif daripada FOT? Atau tiada tara? Juga,...
Tentang keadaan seni yang saya jalankan di depan Type Theory, saya memiliki semua pertanyaan ini terkait dengan sejarah Jenis. Dari mana ide Tipe berasal? (Tampaknya semua dimulai ketika Russell dan Whitehead mengusulkan cara untuk menghindari kontradiksi yang kita kenal sekarang sebagai...
L : = { w ∈ { 0 , 1}∗|L.: ={w∈{0,1}∗|L := \{w \in \{0,1\}^* | panjang adalah ganjil 1 ada di tengahwww∧∧ \wedge w }w}w\} Jadi alfabetnya adalah . Masalah saya adalah saya tidak bisa melacak persamaan karakter sebelum dan sesudah . DFA terbatas dengan panjang kurang dari 6:{ 0 ,...
Ketika saya membaca tentang tesis Gereja-Turing, tampaknya menjadi klaim umum bahwa "realitas fisik dapat dihitung-Turing." Apa dasar dari klaim ini? Apakah ada hasil teoretis di sepanjang garis ini? Untuk konteks, saya adalah seorang peneliti yang bekerja pada simulasi fisik, jadi tentu saja saya...
Katakanlah, saya ingin membuat bahasa pemrograman saya sendiri. Dengan asumsi bahwa saya telah membuat semua keputusan tentang bagaimana saya ingin terlihat dan bertindak, apakah saya hanya perlu menulis kompiler untuk itu? Sebagai contoh, apakah kode Java tingkat tinggi tidak lain dari sekedar...
Karlheinz Brandenburg menggambarkan encoder MP3 seperti ini: Sumber: MP3 dan AAC Dijelaskan Saya menandai FFT karena saya tidak yakin mengapa itu perlu dilakukan. Mengapa model psikoakustik tidak dapat diaplikasikan pada garis yang disebut setelah discrete cosine transform (MDCT) yang...
Saya memiliki satu set angka, dan ingin menghitung subset maksimum sehingga jumlah dari dua elemen itu tidak habis dibagi integer . Saya mencoba untuk memecahkan masalah ini, tetapi saya telah menemukan solusi kuadratik, yang bukan respons yang efisien. , di mana adalah jumlah elemen dan diberikan...
Saya membaca makalah Konsep Dasar dalam Bahasa Pemrograman oleh C. Strachey tempo hari, di mana saya membaca sesuatu yang sangat aneh bagi saya. Mengutip secara langsung (dengan bagian aneh disorot oleh saya): Menghadapi situasi seperti yang ada saat ini, di mana ada metode yang umum dikenal...
Analisis aliran data bekerja di atas grafik aliran kontrol. Ketika bahasa yang dipertimbangkan mendukung pengecualian, grafik aliran kontrol dapat meledak. Apa teknik standar untuk menghadapi ledakan ini? Bisakah kita mengabaikan tepi yang dipicu oleh pengecualian? Bagaimanapun juga, aliran data...
Definisi. Diberikan grafikG=(V,E)G=(V,E)G=(V,E) dan dua simpul sss dan ttt, itu kkkmasalah -shortest-paths adalah menemukan kkk jalur sederhana terpendek antara sss dan ttt di GGG. Perhatikan bahwa panjang jalur ini tidak harus sama, dan simpul sss dan ttt tentu saja kkk-terhubungan Saya...