Ilmu Komputer

Tujuan saya adalah untuk memecahkan masalah berikut ini, yang telah saya jelaskan dengan input dan outputnya: Memasukkan: Grafik asiklik diarahkan dengan node, sumber, dan sink ( ).GGGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Keluaran: The VC-dimensi (atau perkiraan itu) untuk jaringan saraf dengan topologi .GGG Lebih spesifik : …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

Saya terus menemukan referensi ke titik tetap dalam pertanyaan dan jawaban di stackexchange dan saya mencari artinya di web jelas menemukan referensi di situs-situs seperti Wikipedia. Namun tidak ada referensi yang benar-benar menjawab pertanyaan saya tentang apa itu titik tetap dan apa artinya dalam dunia ilmu komputer.

19 terminology 

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, perutean, dll dalam grafik yang diarahkan. Juga baru-baru ini orang telah melakukan penelitian …

18 graphs  graph-theory  fault-tolerance 

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 GETaturan tampaknya memiliki dua istilah yang terpisah di atas garis, apa …

18 semantics  notation  formal-methods  operational-semantics 

Kami memiliki logika Hoare. Mengapa masih mungkin bahwa suatu algoritma itu benar tetapi tidak ada bukti bahwa itu benar? Misalkan algoritma dinyatakan dalam C. Kemudian kita dapat berdebat langkah demi langkah bahwa itu melakukan apa yang seharusnya dilakukan. Jadi pertanyaan saya adalah: Berikan saya contoh algoritma yang benar tetapi tidak …

18 correctness-proof  hoare-logic 

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 maksimum ( s , t ) .(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t) Mungkinkah …

18 complexity-theory  reductions  network-flow  graph-algorithms 

Masalah penghentian tidak dapat diselesaikan dalam kasus umum. Dimungkinkan untuk membuat aturan yang ditetapkan yang membatasi input yang diizinkan dan dapatkah masalah penghentian diselesaikan untuk kasus khusus itu? Misalnya, sepertinya bahasa yang tidak memungkinkan loop misalnya, akan sangat mudah untuk mengetahui apakah program akan berhenti atau tidak. Masalah yang saya …

18 computability  undecidability  software-engineering  formal-methods 

Apakah ada fungsi yang dapat dihitung sedemikian rupa sehingga:f: N → Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} Untuk semuat ∈ N : 0 ≤ f( t ) &lt; Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞f( t ) = Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Di mana XXX adalah bilangan real yang tidak dapat dihitung. Satu-satunya …

18 computability 

Apakah mesin Turing tanpa kemampuan menulis di sel kosong kurang kuat daripada Turing standar? Saya pikir jawabannya adalah ya tetapi saya tidak dapat menemukan perhitungan yang dapat dilakukan mesin standar Turing tetapi mesin ini tidak bisa. Ada ide?

18 formal-languages  turing-machines  computability  automata 

Jika ada algoritma yang berjalan dalam waktu untuk beberapa masalah A, dan seseorang muncul dengan algoritma yang berjalan dalam waktu, , di mana , apakah ini dianggap perbaikan dari algoritma sebelumnya?O ( f ( n ) / g ( n ) ) g ( n ) = o ( f …

18 algorithms 

Setelah rilis perpustakaan AIGER untuk menangani dan-inverter grafik sekitar tahun 2006 (saya pikir), beberapa pemecah sirkuit SAT dirilis pada 2006-2008, dan dalam beberapa lomba / Kompetisi SAT ada trek AIG. Namun sejak itu tampaknya fokus telah sepenuhnya pada SMT atau meningkatkan pemecah klausa SAT. Secara intuitif saya berkonsentrasi pada sirkuit …

18 satisfiability  circuits  sat-solvers 

Bisakah tata bahasa bebas konteks menyertakan "keadaan mati" dari otomat, seperti G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?G=({Sebuah,b,c},{SEBUAH,B,C},{SEBUAH→SebuahB,B→b,B→C,C→cC},SEBUAH)?G = \big(\{a, …

18 context-free  automata  formal-grammars 

Saya baru mengenal teori bahasa pemrograman. Saya menonton beberapa kuliah online di mana instruktur mengklaim bahwa fungsi dengan tipe polimorfik forall t: Type, t-&gt;tmenjadi identitas, tetapi tidak menjelaskan mengapa. Adakah yang bisa menjelaskan kepada saya mengapa? Mungkin bukti klaim dari prinsip pertama.

18 programming-languages  type-theory 

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 (aa+)\1+tidak. Bisakah kita memutuskan yang mana masalahnya? Untuk konkret, "ekspresi reguler dengan referensi-kembali" di sini …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

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 masalah seperti itu. Saya sedang mencari secara khusus untuk SAT dan …

18 algorithms  satisfiability  approximation  decision-problem