Saya sering berinteraksi dengan orang-orang yang ingin meminta algoritma untuk masalah komputasi (atau kerumitannya), tetapi mereka tidak mengungkapkannya dengan cara yang sulit bagi kita (ilmuwan komputer) untuk memahaminya. Merujuk mereka ke buku-buku seperti CLRS tidak membantu karena...
Banyak algoritma aliran max yang biasa saya lihat diimplementasikan, algoritma Dinic, push relabel, dan lainnya, dapat meningkatkan biaya waktu asimptotik melalui penggunaan pohon dinamis (juga dikenal sebagai pohon tautan-potong). Relabel dorong berjalan di atau O ( V 3 ) atau O ( V 2 √O (...
Saya telah membaca sedikit literatur belakangan ini, dan telah menemukan beberapa struktur data yang agak menarik. Saya telah meneliti berbagai metode untuk menurunkan waktu pembaruan menjadi waktu pembaruan terburuk [1-7].O (1)O(1)\mathcal{O}(1) Baru-baru ini saya mulai mencari struktur data...
Penyempurnaan partisi adalah teknik di mana Anda mulai dengan satu set terbatas objek dan semakin membelah set. Beberapa masalah, seperti minimisasi DFA, dapat diselesaikan dengan menggunakan penyempurnaan partisi dengan cukup efisien. Saya tidak tahu ada masalah lain yang biasanya diselesaikan...
Oke sebelum saya mulai, saya menyadari ini ada di pinggiran topik (saya telah membaca Bantuan Pertanyaan untuk situs ini), terutama karena ini bukan masalah dunia nyata. Namun: Saya tidak dapat menemukan apa pun yang relevan di Google Dari sudut pandang puritan tentu itu harus jatuh dalam Ilmu...
Saya mengalami masalah dalam menerima pandangan teoritik kompleksitas "dipecahkan secara efisien oleh algoritma paralel" yang diberikan oleh kelas NC : NC adalah kelas masalah yang dapat diselesaikan dengan algoritma paralel dalam waktu pada prosesor dengan .p ( n ) ∈ O ( n k ) c , k ∈ NO (...
Baru-baru ini saya menemukan di sebuah makalah [1] versi simetris khusus dari SAT yang disebut 2/2/4-SAT . Tetapi ada banyak -varian lengkap di luar sana, misalnya: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Beberapa varian lainnya dapat ditelusuri: - , Planar-NAE- ,...
Bahasa bebas konteks tidak ditutup di bawah pelengkap, kami tahu itu. Sejauh yang saya mengerti, bahasa bebas konteks yang merupakan bagian dari a∗b∗a∗b∗a^*b^* untuk beberapa huruf a,ba,ba,b ditutup di bawah pelengkap (!?) Inilah argumen saya. Setiap bahasa CF LLL memiliki gambar Parikh...
Saya memulai penelitian bibliografi pribadi tentang algoritme pemeriksaan-jenis dan ingin beberapa kiat. Apa saja algoritma pengecekan tipe, strategi dan teknik umum yang paling umum digunakan? Saya khususnya tertarik pada algoritma pemeriksaan tipe kompleks yang diimplementasikan dalam bahasa...
Pertimbangkan masalah berikut: Input: dua array AAA dan BBB dengan panjang nnn , di mana BBB berada dalam urutan urutan. Pertanyaan: apakah AAA dan BBB berisi item yang sama (dengan multiplisitasnya)? Apa algoritma deterministik tercepat untuk masalah ini? Apakah bisa diselesaikan lebih cepat...
Struktur data yang persisten adalah struktur data yang tidak dapat diubah. Operasi pada mereka mengembalikan "salinan" baru dari struktur data, tetapi diubah oleh operasi; struktur data lama tetap tidak berubah. Efisiensi umumnya dicapai dengan membagikan beberapa data yang mendasarinya, dan...
Saya mencoba mencari tahu siapa yang menciptakan istilah "pembelajaran mesin". Sebuah pertanyaan tambahan adalah dari mana Arthur Samuel dikutip mendefinisikan bidang "pembelajaran mesin" pada tahun 1959 sebagai: bidang studi yang memberikan komputer kemampuan untuk belajar tanpa diprogram...
The algoritma Ramer-Douglas-Peucker untuk lini penyederhanaan memiliki kasus terburuk runtime. Untuk input acak yang didistribusikan dengan tepat, diharapkan kompleksitas runtime . Dalam 2D, ada algoritma lain dengan kompleksitas runtime case terburuk , yang menghitung hasil yang persis sama dengan...
Sebagai berikut dari pertanyaan saya sebelumnya , saya telah bermain dengan hipotesis Riemann sebagai soal matematika rekreasi. Dalam prosesnya, saya sampai pada pengulangan yang agak menarik, dan saya ingin tahu tentang namanya, pengurangannya, dan ketertelusurannya terhadap solvabilitas...
Saya punya sedikit pertanyaan sejarah, yaitu, seperti judulnya, saya mencari kegunaan awal pohon (sebagai struktur data, pohon pencarian, apa pun) dalam ilmu
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...
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...
Saya mulai membaca semakin banyak makalah penelitian bahasa. Saya merasa sangat menarik dan cara yang baik untuk mempelajari lebih lanjut tentang pemrograman secara umum. Namun, biasanya ada bagian di mana saya selalu berjuang dengan (ambil misalnya bagian ketiga dari ini ) karena saya tidak...
Apakah ada mesin Turing yang menghentikan semua input tetapi properti itu tidak dapat dibuktikan karena alasan tertentu? Saya bertanya-tanya apakah pertanyaan ini telah dipelajari. Catatan, "tidak dapat dibuktikan" dapat berarti sistem bukti "terbatas" (yang dalam arti lemah berpikir jawabannya...
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...