Saya harus memecahkan sistem hingga 10.000 persamaan dengan 10.000 tidak diketahui secepat mungkin (lebih disukai dalam beberapa detik). Saya tahu bahwa eliminasi Gaussian terlalu lambat untuk itu, jadi algoritma apa yang cocok untuk tugas ini? Semua koefisien dan konstanta adalah bilangan bulat...
Catatan: ini dari catatan Algoritma JeffE di Recurrences, halaman 5. (1) Jadi kita mendefinisikan pengulangan tanpa case dasar. Sekarang saya mengerti bahwa untuk sebagian besar kekambuhan, karena kami sedang mencari batas asimptotik, base case tidak masalah. Tetapi dalam kasus ini, saya bahkan...
Membaca jawaban untuk pertanyaan SO ini: Mengapa kita tidak menggabungkan generator bilangan acak? , itu berbicara tentang PRNG yang sangat tinggi (Pseudo Random Number Generator) jadi itu membuat saya bertanya-tanya apa yang merupakan PRNG berkualitas tinggi, saya berasumsi Anda dapat...
Seluk-beluk korespondensi antara teori tipe dan teori kategori berada di luar ken saya. Namun, dengan pemahaman saya yang naif tentang hubungan antara dua disiplin ilmu yang secara historis konvergen, yang terakhir sepenuhnya mencakup yang pertama. Jika demikian, dapatkah bahasa dan deskripsi...
Jadi saya sedang mengerjakan sesuatu dan saya telah mengubah semua angka desimal 0-9 menjadi biner. Tapi sekarang saya ingin mengatakan 6 dalam biner dan meningkatkan urutan besarnya dengan basis 10 (mengubah 6 menjadi 60) tanpa mengubah kembali ke basis 10. Apakah ini mungkin dan jika demikian...
Ada algoritma acak yang sangat sederhana yang, diberikan 3SAT, menghasilkan penugasan yang memenuhi setidaknya 7/8 dari klausa (dengan harapan): pilih penugasan acak. Penugasan acak memenuhi setiap klausa dengan probabilitas 7/8, dan dengan demikian linearitas harapan menunjukkan bahwa fraksi yang...
Saya baru mengenal teori kompleksitas dan ingin tahu apa itu teori kompleksitas struktural? apa masalah yang coba diselesaikan oleh para ahli teori dalam bidang ini dan apa masa depannya? Dari wikipedia: Teori kompleksitas struktural atau hanya kompleksitas struktural adalah studi tentang kelas...
Saat ini saya sedang membaca buku Pengantar Teori Komputasi (edisi ke-2 atau ke-3) oleh Michael Sipser , dan telah menemukan pertanyaan di Bab 1 - Bahasa Reguler , yaitu ketika penulis menyajikan ide bukti Teorema 1.49 - "Kelas bahasa reguler ditutup di bawah operasi bintang." menggunakan...
Saya mengalami masalah dalam menentukan apakah semua angka kuadrat (1, 4, 9, 16, ...) ditulis dalam bentuk biner (1, 100, 1001, ...) adalah bahasa biasa. Setelah beberapa upaya untuk menemukan pola umum dari angka-angka itu, saya menemukan bahwa untuk setiap angka kuadrat , sama dengan 0 atau 1,...
Apakah ada perbedaan antara rekursi struktural dan rekursi ekor atau keduanya sama? Saya melihat bahwa pada kedua rekursi ini, fungsi rekursif disebut pada subset dari item
Pertimbangkan urutan . Tampaknya "biasa" dengan cara yang, misalnya tidak.s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) Saya tidak yakin bagaimana memformalkan intuisi ini. Satu hal yang mengejutkan saya adalah bahwa adalah bahasa biasa,...
Diberi set yang terbatas SSS poin dalam RdRd\mathbb R^d, bagaimana kita dapat menghitung "titik paling terisolasi" secara efisien x∈Sx∈Sx\in S? Kami mendefinisikan "titik paling terisolasi" xxx oleh x=argmaxp∈Sminq∈S∖{p}d(p,q)x=argmaxp∈Sminq∈S∖{p}d(p,q)x = \arg\max_{p \in S} \min_{q \in S...
Permintaan maaf untuk pertanyaan pemula, tapi saya agak bingung tentang apa yang sebenarnya dianggap sebagai "operasi sederhana" ketika menghitung kompleksitas waktu dari suatu algoritma. Secara khusus, mengapa kita menganggap semua operasi sama? Tentunya, membagi dua angka yang sangat besar lebih...
Pendekatan umum untuk memutuskan apakah dua grafik yang diberikan adalah isomorfik adalah dengan menghitung apa yang disebut label kanonik (sebagai alternatif, grafik kanonik) dari masing-masing grafik dan untuk memeriksa apakah mereka cocok atau tidak. Alat-alat seperti Nauty menghitung grafik...
Dalam kursus konsep bahasa pemrograman kami, instruktur kami mengklaim bahwa tidak apa-apa bagi keadaan akhir untuk mengarah ke keadaan lain dalam diagram keadaan terbatas. Tetapi ini tampaknya merupakan konsep yang secara fundamental kontradiktif. Karena definisi final adalah definisi yang...
Apakah ada algoritma yang efisien untuk memeriksa apakah daftar bilangan bulat adalah koprime berpasangan, atau akankah algoritma yang lebih umum menjadi pilihan terbaik yang
Saya yakin pasti ada yang salah dengan alasan berikut karena jika tidak banyak penelitian P vs NP akan dikurangi tetapi saya tidak dapat menentukan kesalahan saya: Untuk bilangan bulat tetap k>0k>0k>0 menetapkan Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk: ={⟨φ⟩|φadalah wff...
Membiarkan L1L1L_1 dan L2L2L_2 menjadi yang berikut: L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):...
Saya mencoba untuk menemukan cara untuk menjelaskan ide bukti Masalah terputus dengan cara yang dapat diakses (untuk mahasiswa CS sarjana). Argumen paling sederhana yang saya temukan adalah argumen ini ; inilah gaya perawatan yang saya tuju. Namun, referensi-diri (khususnya, memeriksa apakah suatu...
Inilah empat prinsip yang tidak bisa saya rekonsiliasi: Algoritma waktu eksponensial ganda dijalankan diO (22nk)HAI(22nk)O(2^{2^{n^k}}) waktu dengan k ∈ Nk∈Nk \in \mathbb{N} konstan Algoritma waktu eksponensial berjalan diO (2nk)HAI(2nk)O(2^{n^k}) dengan k ∈ Nk∈Nk \in \mathbb{N} konstan Ikatan...