Pertanyaan yang diberi tag «reference-request»

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 algoritma Ramer-Douglas-Peucker. Karena algoritma ini didasarkan pada struktur lintasan "jalur (cembung)", …

19 reference-request  computational-geometry  randomized-algorithms 

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 menghindari penyalinan penuh dari struktur data. Pertanyaan: Apakah ada hasil …

19 reference-request  data-structures  functional-programming  persistent-data-structure 

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 yang diketik sangat dikenal statis seperti, misalnya, C ++, Java 5+, Scala atau …

19 algorithms  programming-languages  reference-request  type-checking 

Saya punya sedikit pertanyaan sejarah, yaitu, seperti judulnya, saya mencari kegunaan awal pohon (sebagai struktur data, pohon pencarian, apa pun) dalam ilmu komputer.

18 data-structures  reference-request  trees  history 

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 bocah lelaki Ukrania berusia 13 tahun yang bahasa Inggrisnya adalah bahasa …

18 reference-request  artificial-intelligence  history  turing-test 

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 kaca kecil tanpa batas. Pembeli saya ingin lembaran …

18 reference-request  computational-geometry  lower-bounds  packing 

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 memiliki latar belakang teoritis dalam ilmu …

18 logic  reference-request  terminology  type-theory 

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 kesenjangan antara bilangan prima. Singkatnya, kita dapat mendefinisikan kesenjangan antara setiap bilangan prima …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

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 pasti ya). Saya tentu saja tertarik pada jawaban terkuat yang mungkin, …

17 computability  reference-request  turing-machines  halting-problem 

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 tetapi juga menempatkan kendala (bahkan berlebihan) dalam bentuk yang membantu …

17 reference-request  satisfiability  sat-solvers 

Biarkan menjadi fungsi tetap yang dapat dibangun-waktu.fff Hasil simulasi universal klasik untuk TMs (Hennie dan Stearns, 1966) menyatakan bahwa ada dua-tape TM sedemikian rupa sehingga diberikanUUU deskripsi dari TM , dan⟨M⟩⟨M⟩\langle M \rangle string input ,xxx dijalankan untuk langkah dan mengembalikan jawaban M pada x . Dan g dapat dianggap …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Beberapa frontmatter: Saya seorang ilmuwan komputer rekreasi dan insinyur perangkat lunak yang dipekerjakan. Jadi, maafkan jika prompt ini tampaknya agak keluar dari bidang kiri - saya secara rutin bermain dengan simulcra matematika dan membuka masalah ketika saya tidak punya yang lebih baik untuk dilakukan. Saat bermain dengan hipotesis Riemann , …

16 algorithms  reference-request  discrete-mathematics 

Saya jadi tahu bahwa unit pemrosesan grafis memiliki sesuatu yang disebut memory coalescing. Saat membacanya saya tidak jelas tentang topiknya. Apakah ini ada hubungannya dengan Memory Level Parallelism. Saya telah mencari di Google tetapi tidak dapat memperoleh jawaban yang memuaskan. Akan sangat membantu jika seseorang memberikan penjelasan yang lebih komprehensif, …

16 terminology  reference-request  computer-architecture  memory-management 

Saya sedang membaca pertanyaan di Stack Overflow menanyakan apakah NP -hard mendaftar semua siklus sederhana dalam grafik yang berisi simpul tertentu dan terpikir oleh saya bahwa saya tidak bisa memikirkan kelas kompleksitas yang ada yang cocok untuk berbicara tentang masalah pada formulir "daftar semua solusi untuk masalah ini." NP kelas …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Apa saja contoh masalah keputusan sulit yang dapat diselesaikan dalam waktu polinomial? Saya mencari masalah dengan algoritma optimal "lambat", atau masalah yang algoritma paling cepat diketahui "lambat". Berikut ini dua contoh: Pengakuan grafik yang sempurna. Dalam makalah FOCS'03 mereka [1] Cornuéjols, Liu dan Vuskovic memberikan algoritma waktu untuk masalah, di …

15 algorithms  complexity-theory  reference-request