Jadi mengingat dua DFA, apakah masalah menemukan jika mereka menghasilkan bahasa yang sama merupakan masalah yang Layak? Saya sudah tahu bahwa Kesetaraan dua CFL tidak Dapat Dipilih tapi bagaimana dengan Kesetaraan dua DFA? mengingat sebagian besar masalah dengan DFA adalah decidable, apakah ini...
Jadi saya saat ini akan membaca buku HoTT dengan beberapa orang. Saya membuat klaim bahwa sebagian besar tipe induktif yang akan kita lihat dapat direduksi menjadi tipe yang hanya mengandung tipe fungsi dependen dan alam semesta dengan mengambil tipe recuror sebagai inspirasi untuk tipe yang...
Dalam pertanyaan ini, saya bertanya apa perbedaan antara set dan tipe . Jawaban ini benar-benar mengklarifikasi (misalnya @AndrejBauer), jadi dalam kehausan saya akan pengetahuan, saya tunduk pada godaan untuk menanyakan hal yang sama tentang kategori: Setiap kali saya membaca tentang teori...
Diberikan simetris nyata matriks , adakah algoritma yang menghitung jumlah atas semua 1 \ leq i <j <k \ leq n dengan kompleksitas waktu yang lebih baik daripada O (n ^ 3) ?n×nn×nn \times
Saya diberi masalah berikut saat wawancara: Memberikan string yang berisi beberapa campuran parens (bukan kurung atau kurung kurawal - hanya parens) dengan karakter alfanumerik lainnya, identifikasi semua paren yang tidak memiliki paren yang cocok. Misalnya, dalam string ") (ab))", indeks 0...
Saya belajar tentang pencarian pertama yang luas dan sebuah pertanyaan muncul di benak saya mengapa BFS disebut demikian. Dalam buku Pengantar Algoritma oleh CLRS , saya membaca alasan berikut ini: Pencarian Breadth-first dinamai demikian karena memperluas perbatasan antara simpul-simpul yang...
Pertanyaan ini cukup banyak menjelaskan bahwa mereka bisa, tetapi tidak menunjukkan contoh ada dua pohon yang berbeda dengan traversal pre-order yang sama. Disebutkan pula bahwa traversal berurutan dari dua pohon yang berbeda dapat sama meskipun secara struktural berbeda. Apakah ada...
Saya perlu membuat algoritma rekursif untuk melihat apakah pohon biner adalah pohon pencarian biner serta menghitung berapa banyak cabang lengkap yang ada (simpul orangtua dengan simpul anak kiri dan kanan) dengan asumsi variabel penghitungan global. Ini adalah tugas untuk kelas struktur data...
Dalam jaringan komputer dan desain komputer cluster berkinerja tinggi, topologi jaringan mengacu pada desain cara node terhubung oleh tautan untuk membentuk jaringan komunikasi. Topologi jaringan umum meliputi jala, torus, cincin, bintang, pohon, dll. Topologi ini dapat dipelajari secara analitis...
Dalam Matching Stabil Soal , dinyatakan bahwa ada dapat ada kasus di mana daftar orang bisa puas dengan keputusan mereka, namun daftar tidak dapat ketika algoritma dijalankan dengan proposal pria.mmmfff Dari apa yang saya baca, kecocokan yang tidak stabil terjadi ketika dan lebih suka satu sama...
Penjadwalan dua tingkat berguna ketika sistem menjalankan lebih banyak proses daripada yang sesuai dengan RAM: penjadwal tingkat rendah beralih antara proses penduduk, dan penjadwal tingkat yang lebih tinggi menukar kelompok proses masuk dan keluar. Saya tidak menemukan penyebutan dua tingkat lain...
Awalnya pada matematika. SE tetapi tidak dijawab di sana. Pertimbangkan algoritma berikut. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while di mana u, v, dan n adalah bilangan bulat dan operasi divisi...
Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format Tanya Jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengundang debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa
Mari adalah himpunan terminal dan himpunan simbol non-terminal dari beberapa bebas konteks tata bahasa .ΣΣ\SigmaNNNGGG Katakanlah saya memiliki string sedemikian rupa sehingga mana dan adalah bentuk sentensial .a∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x a y \in...
OK, jadi inilah pertanyaan dari tes sebelumnya di kelas Teori Komputasi saya: Keadaan tidak berguna di TM adalah yang tidak pernah dimasukkan pada string input apa pun. Biarkan Buktikan bahwa tidak dapat ditentukan.USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless...
Tulis untuk ekspansi desimal (tanpa awalan ). Biarkan dan menjadi bilangan bulat, dengan . Pertimbangkan bahasa ekspansi desimal kelipatan ditambah konstanta:n¯n¯\bar nnnn0Sebuahaabbba > 0a>0a > 0Sebuahaa M.= { ax + b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣ x ∈ N }M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid...
Dalam teori pengkodean, 'seberapa bagus suatu kode' berarti berapa banyak kesalahan saluran dapat diperbaiki, atau lebih baik, tingkat kebisingan maksimal yang dapat ditangani oleh kode tersebut. Untuk mendapatkan kode yang lebih baik, kode dirancang menggunakan alfabet besar (bukan biner). Dan...
Saya mencoba memahami apa yang salah dengan bukti pengulangan berikut T(n)≤2(c⌊nT(n)=2T(⌊n2⌋ ) +nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq...
Dalam pelacak sinar putih, setiap persimpangan objek-sinar menghasilkan sinar yang ditransmisikan (jika objek itu tembus cahaya), sinar pantulan dan bayangan. Sinar bayangan berkontribusi pada komponen pencahayaan langsung. Tetapi apa yang terjadi jika bayangan sinar memotong objek transparan?...
Saya penasaran. Saya telah mengerjakan tipe data ini di OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Yang dapat dimanipulasi menggunakan fungsi rekursif yang diketik secara eksplisit (fitur yang telah ditambahkan...