Saya membaca buku HoTT dan mengalami kesulitan dengan induksi jalur. Ketika saya melihat jenis di bagian 1.12.1 : saya tidak punya masalah memahami apa artinya (saya baru saja menulis jenis dari memori, untuk memeriksa itu).ind=SEBUAH: ∏C: ∏x , y:A( x =SEBUAHy) → U( ( ∏x :AC( x , x ,reflx) ) →...
Saya rasa saya tahu apa sistem operasi real-time yang "sulit". Ini adalah sistem operasi dengan penjadwal yang menyediakan kontrak dengan pemrogram aplikasi. Aplikasi menyediakan tenggat waktu dengan setiap permintaan alokasi sumber daya. Jika permintaan tenggat waktu layak , penjadwal menjamin...
Pemecah SAT semakin efisien dalam memecahkan kasus besar dan sedang digunakan sebagai ujung-belakang dalam berbagai konteks. Setiap kali seseorang ingin menggunakannya untuk memecahkan masalah dalam domain tertentu, ia harus membuat encoding ad-hoc yang tidak hanya memiliki set solusi yang tepat...
Menurut Wikipedia , Operasi uji-dan-atur dapat menyelesaikan masalah konsensus bebas-tunggu selama tidak lebih dari dua proses bersamaan. Mengapa tidak bisa menyelesaikan masalah selama lebih dari dua
xorgate, sekarang saya perlu membuat gate ini hanya menggunakan 4 nandgate a b out 0 0 0 0 1 1 1 0 1 1 1 0 yang xor = (a and not b) or (not a and b), yang merupakan A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Saya tahu jawabannya tetapi bagaimana cara...
Saya memberi Anda daftar bitvektor dengan lebar . Tujuan Anda adalah mengembalikan dua vektor bit dari daftar yang tidak memiliki 1s sama, atau melaporkan bahwa tidak ada pasangan semacam itu.knnnkkk Misalnya, jika saya memberi Anda maka satu-satunya solusi adalah . Atau, input tidak memiliki...
Dalam kursus Algoritma dan Struktur Data saya , profesor, slide dan buku ( Pengantar Algoritma, edisi ke-3 ) telah menggunakan kata NILuntuk menunjukkan misalnya anak dari simpul (di pohon) yang tidak ada. Suatu kali, selama kuliah, alih-alih mengatakan NIL, teman sekelasku berkata null, dan...
Dari bacaan saya tentang Sistem Operasi (membaca materi dasar di Wikipedia, situs teknologi, dll) Saya telah belajar bahwa Sistem Operasi adalah program yang memungkinkan program dan aplikasi untuk berinteraksi dengan perangkat keras dengan cara yang efisien dan aman. Namun saya bingung tentang...
Saya membaca bahwa algoritma yang paling efisien ditemukan dapat menghitung faktor dalam waktu, tetapi kode saya tulis adalah O ( n ) atau mungkin tergantung pada seberapa cepat pembagian dan modulus. Saya cukup yakin saya telah salah mengerti sesuatu di suatu tempat, tapi saya tidak yakin di mana....
Sebagai Contoh ketika kita mempertimbangkan DFA yang memungkinkan string tidak memiliki sub-string 00atau 11saya dapat menghasilkan dua DFA
Ada banyak (dan maksud saya banyak) bahasa yang dapat dihitung yang dapat didekati oleh Turing. Bisakah bahasa yang tak terhitung dapat menjadi pilihan
Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Teks asli: Mata menakutkan terlihat di dekat danau Disandikan : 0000101100000110011100010101101101001111101011111100011001111110100100101 Mengapa tidak perlu pemisah dalam pengkodean...
Dalam praktiknya saya memahami bahwa setiap rekursi dapat ditulis sebagai loop (dan sebaliknya (?)) Dan jika kita mengukur dengan komputer aktual kita menemukan bahwa loop lebih cepat daripada rekursi untuk masalah yang sama. Tetapi apakah ada teori yang membuat perbedaan ini atau apakah itu...
Dari Wikipedia: Dalam ilmu komputer teoretis, kebenaran suatu algoritma dinyatakan ketika dikatakan bahwa algoritma tersebut benar sehubungan dengan spesifikasi. Tetapi masalahnya adalah bahwa untuk mendapatkan spesifikasi "yang sesuai" bukanlah tugas yang sepele, dan tidak ada metode yang 100%...
Kotak hitam f(x)f(x)f(x) berarti saya dapat mengevaluasi polinom pada titik mana pun.f(x)f(x)f(x) Input : Kotak hitam polinomial monik derajat .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Output: The koefisien polinomial .dddf(x)f(x)f(x) Algoritme saya:
Saya mulai membaca buku tentang Kompleksitas Komputasi dan Mesin Turing. Berikut ini kutipannya: Algoritma (yaitu, mesin) dapat direpresentasikan sebagai string bit setelah kami memutuskan beberapa pengkodean kanonik. Pernyataan ini diberikan sebagai fakta sederhana, tetapi saya tidak bisa...
Saya sedang membaca tentang algoritma kompresi data dan batas teoritis untuk kompresi data. Baru-baru ini saya menemukan metode kompresi yang disebut "Combinatorial Entropy Encoding", ide utama dari metode ini adalah untuk menyandikan file sebagai karakter yang disajikan dalam file, frekuensi...
Bagaimana ALU dalam mikroprosesor membedakan antara angka yang ditandatangani, -7 yang dilambangkan dengan 1111 dan angka 15 yang tidak ditandatangani, juga dilambangkan dengan
Menentukan sewenang-wenang grid 9x9 memerlukan memberikan posisi dan nilai setiap persegi. Sebuah encoding naif untuk ini mungkin memberikan 81 (x, y, nilai) kembar tiga, membutuhkan 4 bit untuk setiap x, y, dan nilai (1-9 = 9 nilai = 4 bit) untuk total 81x4x3 = 972 bit. Dengan penomoran...
Sebuah robot yang terbatas deterministik (DFA) adalah model mesin negara yang mampu menerima semua dan hanya bahasa biasa. DFAs dapat (dan biasanya) didefinisikan sedemikian rupa bahwa setiap negara harus menyediakan beberapa transisi untuk semua elemen dari alfabet masukan; dengan kata lain,...