Pertanyaan yang diberi tag «terminology»

Jika Anda dapat mengubah nama pemrograman dinamis, apa sebutannya?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Tanyakan bahkan kepada seseorang dengan latar belakang dalam ilmu komputer apa ekspresi reguler itu, dan jawabannya cenderung melampaui batasan berada dalam jangkauan robot kondisi-terbatas. Misalnya, "ekspresi reguler" /^1?$|^(11+?)\1+$/ dibuat oleh kepribadian Perl yang terkenal Abigail (dan bagian dari rangkaian uji Perl sejak 2002) menggambarkan sebuah mesin yang hanya menerima bilangan …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

Apakah seseorang berani mencoba untuk menjelaskan apa hubungan bidang studi ini atau bahkan mungkin memberikan jawaban yang lebih konkret di tingkat masalah? Seperti yang termasuk yang mengasumsikan beberapa formulasi diterima secara luas. Jika saya mendapatkan ini dengan benar, ketika Anda beralih dari SAT ke SMT pada dasarnya Anda memasuki bidang …

30 soft-question  sat  terminology 

Dalam beberapa pertanyaan terakhir ( q1 q2 ), telah ada diskusi tentang "Teori A" vs "Teori B", yang tampaknya menangkap kesenjangan antara studi logika dan bahasa pemrograman dan studi tentang algoritma dan kompleksitas. Terminologi ini baru bagi saya, dan pencarian web cepat tidak menghasilkan referensi yang jelas untuk menjelaskannya. Adakah …

30 ho.history-overview  terminology 

Karena tidak ada tanggapan di Lambda the Ultimate, saya coba lagi di sini: istilah sistem penulisan ulang digunakan misalnya dalam teorema otomatis yang membuktikan perhitungan simbolis, dan tentu saja untuk mendefinisikan tata bahasa formal. Ada beberapa bahasa pemrograman yang berbasis pada penulisan ulang istilah, tetapi sejauh yang saya mengerti konsepnya …

25 pl.programming-languages  terminology  term-rewriting-systems 

Apakah ada masalah dalam CS di mana tidak ada algoritma efisien yang diketahui, meskipun ada teorema yang membuktikan algoritma efisien seperti itu harus ada? Apa sebutan masalah ini? Di mana saya bisa tahu lebih banyak?

22 ds.algorithms  reference-request  terminology 

Maaf, jika ini adalah pertanyaan naif, tapi saya tidak dapat menemukan pembenaran di salah satu buku teks utama seperti Bondy-Murty, Diestel atau Barat. Grafik sempurna memiliki banyak properti yang indah, tetapi apa alasan mereka disebut sempurna? Atau itu hanya preferensi estetika oleh Berge?

16 graph-theory  co.combinatorics  terminology  graph-colouring 

Ambil grafik terarah mana tepinya didekorasi dengan bilangan alami. Kami ingin himpunan semua jalur P antara dua simpul v 1 dan v 2 sedemikian rupa sehingga setiap tepi berurutan di jalur dihiasi dengan bilangan alami yang lebih besar dari bilangan alami yang menghiasi tepi sebelumnya.GGGPPPv1v1v_1v2v2v_2 Aplikasi untuk ini adalah jadwal …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Salah satu hal menakjubkan tentang ilmu komputer adalah bahwa implementasi fisik dalam beberapa hal "tidak relevan". Orang-orang telah berhasil membangun komputer dari beberapa substrat yang berbeda - relay, tabung hampa udara, transistor diskrit, dll. Orang mungkin akan segera berhasil membangun komputer lengkap Turing dari bahan optik non-linear, berbagai biomolekul, dan …

16 computability  turing-machines  terminology  physics  natural-computing 

Pertanyaan ini adalah tentang logika proposisional dan semua kejadian "resolusi" harus dibaca sebagai "resolusi proposisional". Pertanyaan ini adalah sesuatu yang sangat mendasar tetapi telah mengganggu saya untuk sementara waktu. Saya melihat orang-orang menyatakan bahwa resolusi proposisional sudah lengkap tetapi saya juga melihat orang-orang menyatakan bahwa resolusi itu tidak lengkap. Saya …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Untuk waktu yang paling lama saya berpikir bahwa masalah adalah NP-lengkap jika keduanya (1) NP-hard dan (2) ada di NP. Namun, dalam makalah terkenal "Metode ellipsoid dan konsekuensinya dalam optimasi kombinatorial" , para penulis mengklaim bahwa masalah bilangan kromatik fraksi milik NP dan NP-keras, namun tidak diketahui NP-lengkap. Pada halaman …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

Kami mengatakan bahwa fungsi f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} adalah konstruktif-waktu , jika ada mesin Turing multi-tape deterministik MMM yang pada semua input panjang nnn membuat paling banyak f(n)f(n)f(n) langkah dan untuk setiap nnn ada beberapa input dari panjang nnn di mana MMM membuat dengan tepat f(n)f(n)f(n) langkah. Kami mengatakan bahwa fungsi f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} adalah …

13 cc.complexity-theory  time-complexity  terminology 

Saya saat ini mendengarkan pembicaraan Alan Kays, "Apakah ini benar-benar rumit atau apakah kita membuatnya rumit?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) di mana ia mengatakan bahwa "semafor adalah ide yang buruk dan ada sesuatu yang disebut waktu semu yang lebih unggul" (pada 51:40 pada video yang ditautkan). Mungkin saya salah mengerti kata …

11 terminology  concurrency 

Satu-satunya definisi "kalkulus" yang saya ketahui adalah studi tentang batas, turunan, integral, dll dalam analisis. Dalam arti apa kalkulus lambda (atau hal-hal seperti kalkulus mu) adalah "kalkulus"? Bagaimana kaitannya dengan kalkulus dalam analisis?

11 terminology  lambda-calculus