Pertanyaan yang diberi tag «reference-question»

Saya dalam kursus tentang komputasi dan kompleksitas , dan saya tidak dapat memahami apa arti istilah-istilah ini. Yang saya tahu adalah bahwa NP adalah subset dari NP-complete, yang merupakan subset dari NP-hard, tapi saya tidak tahu apa yang sebenarnya mereka maksud. Wikipedia juga tidak banyak membantu, karena penjelasannya masih terlalu …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Ada banyak pertanyaan tentang bagaimana menganalisis waktu berjalan algoritma (lihat, misalnya, analisis runtime dan analisis algoritma ). Banyak yang serupa, misalnya yang meminta analisis biaya loop bersarang atau algoritma Divide & Conquer, tetapi sebagian besar jawaban tampaknya dibuat khusus. Di sisi lain, jawaban untuk pertanyaan umum lainnya menjelaskan gambaran yang …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

Mengubah ekspresi reguler menjadi (minimal) NFA yang menerima bahasa yang sama adalah mudah dengan algoritma standar, misalnya algoritma Thompson . Namun, arah yang lain tampaknya lebih membosankan, dan terkadang ekspresi yang dihasilkannya berantakan. Algoritma apa yang ada untuk mengubah NFA menjadi ekspresi reguler yang setara? Apakah ada keuntungan terkait kompleksitas …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

Ada banyak upaya untuk membuktikan atau , dan secara alami banyak orang berpikir tentang pertanyaan itu, memiliki ide untuk membuktikan arah mana pun.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Saya tahu bahwa ada pendekatan yang terbukti tidak berhasil, dan mungkin ada lebih …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

Di sebagian besar kelas algoritma pengantar, notasi seperti (Big O) dan diperkenalkan, dan seorang siswa biasanya akan belajar menggunakan salah satu dari ini untuk menemukan kompleksitas waktu.ΘOOOΘΘ\Theta Namun, ada notasi lain, seperti , dan . Apakah ada skenario khusus di mana satu notasi lebih disukai daripada yang lain?Ω ωoooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

Dalam ilmu komputer, kita sering harus memecahkan hubungan pengulangan , yaitu menemukan bentuk tertutup untuk urutan angka yang didefinisikan secara rekursif. Ketika mempertimbangkan runtimes, kita sering tertarik terutama pada pertumbuhan asimptotik urutan . Contohnya adalah Runtime dari fungsi rekursif-ekor melangkah ke bawah ke dari yang tubuhnya membutuhkan waktu :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Kami belajar tentang kelas bahasa bebas konteks . Ini dicirikan oleh tata bahasa bebas konteks dan automata pushdown sehingga mudah untuk menunjukkan bahwa bahasa yang diberikan adalah bebas konteks.CFLCFL\mathrm{CFL} Bagaimana saya menunjukkan yang sebaliknya? TA saya bersikeras bahwa untuk melakukannya, kami harus menunjukkan kepada semua tata bahasa (atau automata) bahwa …

88 formal-languages  context-free  proof-techniques  reference-question 

Kami belajar tentang kelas bahasa reguler . Ini dicirikan oleh salah satu konsep antara ekspresi reguler, automata terbatas dan tata bahasa linier kiri, sehingga mudah untuk menunjukkan bahwa bahasa yang diberikan adalah reguler.REGREG\mathrm{REG} Bagaimana saya menunjukkan yang sebaliknya? TA saya telah bersikeras bahwa untuk melakukannya, kami harus menunjukkan untuk semua …

76 formal-languages  regular-languages  proof-techniques  reference-question 

Biasanya dalam algoritma kami tidak peduli tentang perbandingan, penambahan, atau pengurangan angka - kami menganggap mereka berjalan dalam waktu . Sebagai contoh, kita mengasumsikan ini ketika kita mengatakan bahwa pengurutan berbasis perbandingan adalah , tetapi ketika angka terlalu besar untuk masuk ke dalam register, kita biasanya mewakili mereka sebagai array …

74 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

Orang sering mengatakan bahwa parser LR (k) lebih kuat daripada parser LL (k) . Pernyataan-pernyataan ini sebagian besar tidak jelas; khususnya, haruskah kita membandingkan kelas untuk tetap atau serikat atas semua ? Jadi bagaimana sebenarnya situasinya? Secara khusus, saya tertarik pada bagaimana LL (*) cocok.kkkkkk Sejauh yang saya tahu, set …

67 formal-languages  formal-grammars  parsers  reference-question 

Ada banyak metode untuk membuktikan bahwa suatu bahasa tidak teratur , tetapi apa yang harus saya lakukan untuk membuktikan bahwa beberapa bahasa itu teratur? Misalnya, jika saya diberi tahu bahwa adalah biasa, bagaimana saya bisa membuktikan bahwa berikut ini juga teratur?L ′LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L and …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Saya tahu bahwa ada Mesin Turing, jika suatu fungsi dapat dihitung. Lalu bagaimana cara menunjukkan bahwa fungsi tersebut tidak dapat dihitung atau tidak ada Mesin Turing untuk itu. Apakah ada sesuatu seperti lemma memompa?

43 computability  proof-techniques  undecidability  reference-question 

Anggaplah saya seorang programmer dan saya punya masalah NP-complete yang saya butuhkan untuk menyelesaikannya. Metode apa yang tersedia untuk menangani masalah NPC? Apakah ada survei atau yang serupa dengan topik ini?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Tampaknya di situs ini, orang akan sering mengoreksi orang lain karena membingungkan "algoritma" dan "masalah." Apa perbedaannya? Bagaimana saya tahu kapan saya harus mempertimbangkan algoritma dan mempertimbangkan masalah? Dan bagaimana ini berhubungan dengan konsep bahasa dalam teori bahasa formal?

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

Dalam teori komputasi dan kompleksitas (dan mungkin bidang lainnya), reduksi ada di mana-mana. Ada banyak jenis, tetapi prinsipnya tetap sama: menunjukkan bahwa satu masalah setidaknya sekeras beberapa masalah lainnya dengan memetakan contoh dari ke yang setara dengan solusi di . Pada dasarnya, kami menunjukkan bahwa setiap solver untuk juga dapat …

40 complexity-theory  computability  reductions  proof-techniques  reference-question