Saya membaca tentang teori tipe dependen dalam buku online Homotopy Type Theory . Di bagian 1.3 dari bab Type Theory , ia memperkenalkan gagasan tentang hierarki Semesta : , di manaU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots setiap alam semesta adalah elemen dari...
Masalahku. Diberikan nnn , saya ingin menghitung jumlah multiset S yang valid SS. Sebuah multiset SSS valid jika Jumlah elemen SSS adalah nnn , dan Setiap nomor dari 111 ke nnn dapat dinyatakan unik sebagai jumlah dari beberapa elemen SSS . Contoh. Sebagai contoh jika n = 5n=5n=5 maka { 1 , 1...
Saya minta maaf jika pertanyaan ini memiliki beberapa jawaban sepele yang saya lewatkan. Setiap kali saya mempelajari beberapa masalah yang telah terbukti tidak dapat diputuskan, saya mengamati bahwa buktinya bergantung pada pengurangan ke masalah lain yang telah terbukti tidak dapat diputuskan....
Menurut artikel Wikipedia tentang skema perkiraan polinomial-waktu : Semua masalah dalam FPTAS adalah traktat parameter tetap. Hasil ini mengejutkan saya - kelas-kelas ini tampaknya sangat berbeda satu sama lain. FPTAS mengkarakterisasi masalah dengan seberapa mudah mereka memperkirakan,...
Masalah keputusan Dengan rumus Boolean , apakah ϕ memiliki satu tugas yang memuaskan?ϕϕ\phiϕϕ\phi dapat dilihat di , U P -hard dan c o N P -hard. Adakah yang lebih dikenal tentang kerumitannya?Δ2Δ2\Delta_2U
Saya sedang mengerjakan algoritma pencarian string yang mendukung pencarian banyak pola. Saya menemukan dua algoritma yang tampak seperti kandidat terkuat dalam hal menjalankan waktu, yaitu Aho-Corasick dan Rabin-Karp . Namun, saya tidak dapat menemukan perbandingan komprehensif antara kedua...
Saya membaca Sipser dan saya merasa sulit untuk memahami apa prosesnya sehingga jika Anda memberi saya mesin Turing dengan kaset k, saya dapat memuntahkan mesin Turing yang setara dengan hanya satu kaset. Sebuah contoh akan menyenangkan. Sebenarnya, contoh yang menunjukkan bagaimana untuk pergi...
Saya baru saja mulai mempelajari Kecerdasan Buatan dan bertanya-tanya mengapa ruang keadaan yang dapat dicapai dari 8-puzzle adalah 9!/29!/29!/2 . Saya melihat bahwa jumlah permutasi ubin adalah 9!9!9!tetapi tidak segera jelas mengapa setengah dari keadaan yang mungkin dari teka-teki itu tidak...
Apakah ada algoritma / prosedur sistematis untuk menguji apakah suatu bahasa biasa? Dengan kata lain, diberikan bahasa yang ditentukan dalam bentuk aljabar (pikirkan sesuatu seperti ), uji apakah bahasa itu teratur atau tidak. Bayangkan kita sedang menulis layanan web untuk membantu siswa dengan...
Bagaimana Anda mendekati masalah ransel dalam situasi pemrograman dinamis jika sekarang Anda harus membatasi jumlah item dalam ransel dengan konstan ? Ini adalah masalah yang sama (berat maks W , setiap item memiliki nilai v dan bobot w ) tetapi Anda hanya dapat menambahkan item p ke ransel dan...
Biarkan menjadi bilangan bulat, dan biarkan menunjukkan set semua bilangan bulat. Biarkan menunjukkan interval bilangan bulat .nnnZZ\mathbb{Z}[a,b][a,b][a,b]{a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} Saya mencari struktur data untuk mewakili peta . Saya ingin struktur data mendukung...
Saya tertarik pada properti dari kelas grafik bipartit mana semua node di X adalah 3-reguler, semua node di Y adalah 2-reguler, dan | X | = | 2 Y / 3 | . Pertama, Apakah ini kelas grafik yang terkenal? Kedua,G ( X∪ Y, E)G(X∪Y,E)G(X \cup Y, E)XXXYYY| X| = | 2Y/ 3 ||X|=|2Y/3||X|=|2Y/3| Apakah ada...
Saya punya masalah dan saya kira itu NP-hard, tapi saya tidak bisa membuktikannya. Berikut ini adalah grafik lapisan, di mana lapisan 0 adalah lapisan paling tebal dan lapisan L terendah. ada beberapa tepi diarahkan antara lapisan, di mana tepi (A, B) menunjukkan bahwa simpul A dapat [menutupi]...
Bahasa bebas konteks tidak ditutup dengan komplementasi. Dalam kuliah kita telah diberi argumen yang sama seperti di sini di Wikipedia : Untuk A={anbncm; m,n∈N0}andB={ambncn; m,n∈N0},A={anbncm; m,n∈ℕ0}andB={ambncn; m,n∈ℕ0},A = \{\mathtt a^n \mathtt b^n \mathtt c^m;~m, n ∈ ℕ_0\}\quad\text{and}\quad...
Diberikan dua set A , BSEBUAH,BA,B string lebih dari alfabet ΣΣ\Sigma , dapatkah kita menghitung otomat kondisi-terbatas deterministik terkecil (DFA) M.M.M sehingga A ⊆ L ( M)SEBUAH⊆L.(M.)A \subseteq L(M) dan L ( M) ⊆ Σ∗∖ BL.(M.)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B ? Dengan kata lain, mewakili...
Saya terlibat dalam kursus pemrograman dan algoritma tahun pertama. Dalam sebuah kuliah baru-baru ini, saya memutuskan untuk mempresentasikan materi menggunakan live coding , yang pada dasarnya berarti bahwa saya duduk di belakang keyboard dan menulis kode dan mengevaluasinya, menggunakan emacs...
Saya membaca beberapa kali bahwa tidak mungkin membalik jawaban NDTM secara efisien. Namun, saya tidak mengerti mengapa. Misalnya, mengingat NDTM yang berjalan di , teks ini (bagian 3.3) menyatakan bahwa tidak jelas bagaimana NDTM dapat menentukan dalam waktu cara membalikkan
Kami disajikan di kelas dengan algoritma untuk menemukan maksimum dalam array secara paralel dalam kompleksitas waktu dengan n 2 komputer.O ( 1 )O(1)O(1)n2n2n^2 Algoritma itu adalah: Diberikan array A dengan panjang n: Buat array flag B dengan panjang n dan inisialisasi dengan nol dengan...
Meminimalkan deterministic finite automata (DFAs) adalah masalah yang telah dipelajari secara menyeluruh dalam literatur, dan beberapa algoritma telah diusulkan untuk menyelesaikan masalah berikut: Dengan DFA , hitung DFA minimal yang sesuai yang menerima bahasa yang sama dengan . Sebagian besar...
Saya telah melihat mesin turing beeing diwakili dengan kaset tak terbatas dalam satu, dan dalam dua arah. Apakah ada perbedaan dalam kekuatan mesin turing tersebut, atau apakah pada dasarnya setara? Di kepala saya, saya pikir mereka setara, karena saya kira harus ada beberapa cara untuk mewakili...