Masalah pemotongan adalah masalah di mana benda besar tertentu harus dipotong menjadi beberapa benda kecil. Sebagai contoh, bayangkan Anda memiliki sebuah pabrik yang bekerja dengan lembaran kaca besar baku, lebar dan panjang L . Ada beberapa pembeli, yang masing-masing menginginkan jumlah lembaran...
Apakah ada algoritma / prosedur sistematis untuk menguji apakah suatu bahasa bebas konteks? Dengan kata lain, diberikan bahasa yang ditentukan dalam bentuk aljabar (pikirkan sesuatu seperti ), uji apakah bahasa tersebut bebas konteks atau tidak. Bayangkan kita sedang menulis layanan web untuk...
Pertimbangkan program komputer yang sangat sederhana berikut ini: for i = 1 to n: y[i] = x[p[i]] Di sini dan adalah elemen array byte, dan adalah array elemen kata. Di sini berukuran besar, misalnya, (sehingga hanya sebagian kecil dari data yang cocok dengan segala jenis memori...
Mengingat die-sisi bias NNN , bagaimana angka acak dalam kisaran [1,N][1,N][1,N] dapat dihasilkan secara seragam? Distribusi probabilitas dari wajah cetakan tidak diketahui, semua yang diketahui adalah bahwa setiap wajah memiliki probabilitas nol dan bahwa distribusi probabilitas adalah sama pada...
Saat memikirkan satu masalah, saya menyadari bahwa saya perlu membuat algoritma yang efisien untuk menyelesaikan tugas berikut: Masalahnya: kita diberi kotak persegi dua dimensi dari sisi nnn yang sisi-sisinya sejajar dengan sumbu. Kita bisa melihatnya dari atas. Namun, ada juga mmm segmen...
Penyortiran Cepat Acak adalah perpanjangan dari Penyortiran Cepat di mana elemen pivot dipilih secara acak. Apa yang bisa menjadi kompleksitas waktu terburuk dari algoritma ini. Menurut saya, itu harus , sebagai kasus terburuk terjadi ketika poros dipilih secara acak dipilih dalam diurutkan atau...
Dikatakan bahwa 'Eugene Goostman', sebuah program komputer yang dikembangkan untuk mensimulasikan seorang bocah lelaki berusia 13 tahun, berhasil meyakinkan 33 persen hakim bahwa itu adalah manusia, dan dengan demikian lulus dari Tes Turing. Program komputer, alias obrolan, berpura-pura menjadi...
Set Mandelbrot adalah makhluk yang indah dalam Matematika. Ada banyak gambar indah dari himpunan ini yang dibuat dengan presisi tinggi, jadi jelas himpunan ini "dapat dihitung" dalam beberapa hal. Namun, yang membuat saya khawatir adalah kenyataan bahwa itu bahkan tidak terhitung secara berulang...
Berkat teorema min-cut max-flow, kami tahu bahwa kami dapat menggunakan algoritma apa pun untuk menghitung aliran maksimum dalam grafik jaringan untuk menghitung a -min-cut. Oleh karena itu, kompleksitas penghitungan potongan minimum ( s , t ) tidak lebih dari kompleksitas penghitungan aliran...
Definisi utama Turing machine (TM), setidaknya dalam buku referensi saya sendiri (Hopcroft + Ullman 1979) adalah deterministik. Oleh karena itu pemahaman saya sendiri tentang masalah penghentian terutama untuk TM deterministik, meskipun saya sadar bahwa itu dapat dipertimbangkan untuk jenis...
Saya tahu bahwa komputer kuantum dapat memproses superposisi semua keadaan yang mungkin dengan sekali melewati logika. Tampaknya itulah yang ditunjuk orang sebagai apa yang membuat komputer kuantum istimewa atau berguna. Namun setelah Anda memproses input superposisi, Anda memiliki hasil...
Saya punya sedikit pertanyaan sejarah, yaitu, seperti judulnya, saya mencari kegunaan awal pohon (sebagai struktur data, pohon pencarian, apa pun) dalam ilmu
Memori digunakan untuk banyak hal, seperti yang saya mengerti. Ini berfungsi sebagai disk-cache, dan berisi instruksi program, dan tumpukan & tumpukannya. Inilah eksperimen pemikiran. Jika seseorang tidak peduli dengan kecepatan atau waktu yang dibutuhkan komputer untuk melakukan pengerasan,...
Saya terkejut bahwa orang terus menambahkan tipe baru dalam teori tipe tetapi tidak ada yang menyebutkan teori minimal (atau saya tidak dapat menemukannya). Saya pikir ahli matematika menyukai hal-hal minimal, bukan? Jika saya mengerti dengan benar, dalam teori tipe dengan impredicatif Prop,...
Saya tahu sedikit teori tipe dependen. Dari wikipedia: Tipe dependen adalah tipe yang definisinya tergantung pada suatu nilai. Dan dari mata kuliah teori Type saya, saya ingat bahwa tipe dependen adalah: Keluarga jenis diindeks oleh suatu tipe. Tetapi saya memiliki kebingungan tentang...
Dalam makalah "A Datatype JSON Replicated-Free Replicated" , saya menemukan notasi ini untuk mendefinisikan secara resmi "aturan": Apa sebutan notasi ini? Bagaimana saya membacanya? Sebagai contoh: yang DOCaturan tidak memiliki apa-apa di "pembilang" nya - mengapa tidak? yang EXECdan...
Pengaturan: ekspresi reguler dengan referensi kembali bahasa unary (alfabet 1 simbol) Apakah masalah berikut ini dapat ditentukan dalam pengaturan ini: Diberi ekspresi reguler dengan referensi, apakah itu mendefinisikan bahasa biasa? Misalnya, (aa+)\1mendefinisikan bahasa reguler, sementara...
Saya memiliki masalah keputusan NP-lengkap. Diberikan contoh masalah, saya ingin merancang algoritma yang menampilkan YA, jika masalahnya layak, dan, TIDAK, jika tidak. (Tentu saja, jika algoritme tidak optimal, itu akan membuat kesalahan.) Saya tidak dapat menemukan algoritma perkiraan untuk...
Pertanyaan mendasar: Apa yang dilakukan kalkulus lambda bagi kita yang tidak dapat kita lakukan dengan properti fungsi dasar dan notasi yang umumnya dipelajari dalam aljabar sekolah menengah? Pertama-tama, apa artinya abstrak dalam konteks kalkulus lambda? Pemahaman saya tentang kata abstrak...
Ingin memperbaiki pos ini? Berikan jawaban terinci untuk pertanyaan ini, termasuk kutipan dan penjelasan mengapa jawaban Anda benar. Jawaban tanpa detail yang cukup dapat diedit atau dihapus. Kami telah membaca tentang algoritma untuk MST, konektivitas yang kuat,