Properti "memompa" (kata-kata dengan panjang tertentu menyiratkan keberadaan loop dalam mekanisme pendefinisian bahasa) diketahui ada untuk bahasa reguler dan bebas konteks dan beberapa lainnya (biasanya digunakan untuk menyangkal keanggotaan bahasa ke kelas tertentu) ). Dalam diskusi seputar...
Adams menjelaskan algoritma divide-and-conquer untuk menemukan penyatuan dua set (direpresentasikan sebagai pohon pencarian biner seimbang). Dia kemudian menjelaskan algoritma "lindung nilai" yang baru dan kemudian dia klaim tingkatkan pada algoritma divide-and-conquer. Namun, ia tidak menawarkan...
[Catatan: Masalah ini terinspirasi oleh Pokemon Go. Pertama saya akan menjelaskan masalah dalam hal matematika, kemudian menjelaskan koneksi ke Pokemon Go. Tujuan saya bukan untuk curang dalam permainan. Jika saya ingin menipu, informasi yang lebih baik akan tersedia dengan lebih mudah.] Misalkan...
Saya membaca makalah NJ Larsson, A. Moffat: Offline Dictionary-Based Compression , yang menjelaskan algoritma kompresi yang, jika saya memahaminya dengan benar, sangat mirip dengan pengkodean pasangan byte . Diberikan string dengan panjang , saya mencoba memahami bagaimana seseorang dapat...
Buku teks saya memberikan definisi kunci primer berikut dalam basis data relasional, yang saya tidak sepenuhnya mengerti. Bantuan akan sangat dihargai. Biarkan menjadi relasi. Kemudian kunci utama untuk adalah himpunan bagian dari set atribut , katakan , memenuhi dua sifat berikut:RRRRRRRRRKKK...
Kode koreksi kesalahan Reed-Solomon yang terdiri dari simbol N dijamin untuk mendeteksi hingga penggantian N simbol tunggal dalam input panjang yang sewenang-wenang ditambah ECC itu sendiri, dan juga dijamin untuk memperbaiki simbol tunggal hingga lantai (N / 2) simbol tunggal penggantian yang...
Baru-baru ini saya memulai studi saya dalam teori tipe / sistem tipe dan Lambda Calculus. Saya sudah membaca tentang Kalkulus Ketik Sederhana Diketik dalam gaya Gereja dan Kari. Yang terakhir juga dikenal sebagai Type Assignment system (TA). Saya berpikir tentang hubungan antara TA dan...
Pertimbangkan istilah yang dibangun dari elemen QQ\mathbb Q dan operasi +,×,−,/+,×,−,/+,\times,-,/, dan ⋅−−√n⋅n\sqrt[n]{\,\cdot\,} untuk setiap bilangan alami nnn. Mengingat janji bahwa dua istilah terbentuk dengan baik - yaitu, tidak ada pembagian dengan nol, dan bahkan tidak ada akar angka...
Di kelas profesor kami menunjukkan kepada kami 3 metode untuk membuktikan ketidakteraturan: Teorema Myhill – Nerode Memompa Lemma untuk bahasa reguler Bukti ketidakteraturan, berdasarkan kompleksitas Kolmogorov Sekarang dua yang pertama, teorema Myhill-Nerode dan Pumping lemma, saya mengerti...
Diberikan sekumpulan titik data X= {x1,x2, ... ,xm}X={x1,x2,…,xm}X = \{x_1, x_2, \ldots, x_m\} mana xsaya∈Rdxsaya∈Rdx_i \in \mathbb{R}^d kita menjalankan K-means pada XXX dan mendapatkan klaster c1,c2, ...,ckc1,c2,...,ckc_1, c_2, \ldots, c_k . Sekarang, jika kita membuat dataset baru Y= {y1,y2,...
Pertanyaan: Apakah ada teks pengantar dalam bahasa formal atau teori bahasa pemrograman yang membahas bagaimana menerapkannya pada studi notasi optimal? Secara khusus, saya tertarik untuk mempelajari apa bahasa stack, pohon parse, dan indeks, dan bagaimana memprediksi kapan suatu jenis notasi...
Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Computer Science Stack Exchange. Ditutup 3 tahun yang lalu . Komputer dan bahasa pemrograman...
Saya memiliki masalah pekerjaan rumah yang membingungkan saya karena matematika berada di luar apa yang telah saya lakukan, meskipun kami diberitahu bahwa tidak perlu menyelesaikan ini secara matematis. Cukup berikan batas atas dekat dan benarkan. Membiarkan
Saya pikir kedua kelas ini harus sama, tetapi saya tidak dapat menemukan literatur tentang hal ini dan memiliki latar belakang yang terbatas pada topik tersebut. Ini adalah alasan saya, dan saya ingin tahu apakah (1) ini sudah diketahui atau (2) saya salah mengerti sesuatu atau (3) saya baru...
Teori domain memberikan teori komputabilitas yang menakjubkan dengan adanya tipe-tipe sederhana. Tetapi ketika polimorfisme parametrik ditambahkan, tampaknya tidak ada teori yang bagus yang menjelaskan apa yang terjadi dengan sebaik teori domain menjelaskan perhitungan dari tipe sederhana. Tentu...
Masalah sebenarnya yang saya hadapi adalah sebagai berikut. INSTAN : Saya telah menetapkan dan dan matrix untuk semua dan .N:={1,…,n}N:={1,…,n}N:=\{1,\ldots,n\}K:={1,…,k}K:={1,…,k}K:=\{1,\ldots,k\}aij>0aij>0a_{ij}>0i∈Ki∈Ki\in Kj∈Nj∈Nj\in N PERTANYAAN : Saya harus mencari subset dari ukuran...
Setelah kami memperbaiki verifikasi deterministik waktu polinomial V (input, sertifikat), masalah NP yang sesuai adalah pertanyaan: Untuk input ini, apakah ada (ukuran polinomial) sertifikat yang ada sehingga V (input, sertifikat) mengembalikan Benar? Masalah penghitungan yang terkait (kelas #P)...
Saya tidak yakin apakah itu tempat yang tepat untuk pertanyaan ini. Maaf jika sedikit di luar topik. Memilih Bahasa yang cocok untuk kursus pemrograman pertama adalah salah satu hal terpenting yang harus diingat oleh setiap guru / dosen terkait; terutama jika siswa masih muda atau memiliki...
Dengan asumsi adalah variabel boolean dalam program ILP (yang , st ) dan , dibatasi bilangan bulat variabel antara dan . Saya ingin menyandikan batasan tingkat tinggi berikut:yyyy∈Zy∈Zy \in Z0<=y<=10<=y<=10
Saya membaca Bahasa Pemrograman Karat dan menemukan bagian berikut: Ingatlah bahwa menulis ke struct bukanlah operasi atom, dan banyak fungsi seperti vec.push()dapat merealokasi secara internal dan menyebabkan perilaku yang tidak aman, sehingga bahkan monotonitas mungkin tidak cukup untuk...