Ilmu Komputer

Saya membaca sebuah makalah yang merujuk pada batas ketika n pergi ke tak terhingga dari entri Rényi. Ini mendefinisikannya sebagai . Kemudian dikatakan bahwa batas sebagai adalah . Saya melihat artikel lain yang menggunakan maksimum alih-alih . Saya pikir ini bekerja dengan cukup mudah jika semua sama dengan (distribusi seragam). …

8 information-theory  entropy 

Bagaimana saya menunjukkan bahwa masalah dalam memutuskan apakah PDA menerima beberapa string dari formulir {w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} tidak dapat diputuskan? Saya telah mencoba untuk mengurangi masalah ini ke masalah lain yang tidak dapat diputuskan seperti apakah dua tata bahasa bebas konteks menerima bahasa yang …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

Ketika jaring Fisika Sinterklas terbentuk, secara fisik mustahil bagi Santa untuk mendapatkan hadiah bagi setiap anak di planet ini. Perencanaan rute tidak akan banyak membantu di sana, tetapi bisakah algoritma perencanaan yang baik setidaknya memastikan bahwa setiap anak sesekali mendapat hadiah sementara Santa juga melayani sebanyak mungkin anak setiap tahun? …

8 complexity-theory  graphs  scheduling 

Katakanlah saya menemukan algoritma 2-aproksimasi untuk masalah tertentu dan saya ingin menunjukkan bahwa analisisnya ketat. Apakah saya sekarang perlu untuk datang dengan sebuah contoh ukuran generik atau tidak cukup untuk menunjukkan bahwa saya memiliki contoh ukuran yang algoritma menghasilkan ?nnn1010102OPT2OPT2OPT

8 algorithms  proof-techniques  approximation 

Saya sudah mencoba menerapkan algoritma Brzozowski tetapi saya baru saja menemukan bahwa itu menciptakan automata suboptimal untuk kelas input tertentu, memiliki satu keadaan lebih dari apa yang benar-benar diperlukan dalam hasilnya. Saya bisa menunjukkannya pada robot yang sepele: a b a b a b a b a b >0 0 …

8 algorithms  automata  finite-automata 

Apa artinya ketika suatu argumen ke suatu fungsi disebut argumen dummy ? Saya belum menemukan istilah ini di luar Fortran, apakah ini istilah umum dalam ilmu komputer? Apa yang akan menjadi contoh argumen yang diteruskan sebagai dummy dan tidak dianggap sebagai dummy? Saya menemukan definisi ini , yang saya tidak …

8 terminology  programming-languages  functional-programming 

Sumber pertanyaan ini berasal dari program sarjana yang saya ikuti, yang mencakup pengantar analisis algoritma. Ini bukan untuk pekerjaan rumah, melainkan pertanyaan yang diajukan di CLRS. Anda memiliki mesin yang berjalan lambat xxx MIPS, dan mesin cepat berjalan di yyyMIPS. Anda juga memiliki dua algoritma dari kelas yang sama, tetapi …

8 algorithms  algorithm-analysis  runtime-analysis  mathematical-analysis 

Saya memiliki hutan, yaitu node dengan tepi terarah dan tanpa siklus (terarah atau tidak terarah). Saya mendefinisikan ketinggian suatu simpulvvv sebagai 0 jika tidak memiliki tepi masuk, atau jumlah tepi maksimum untuk dilalui secara terbalik untuk mencapai puncak ketinggian 0. Saya juga tahu bahwa derajat rata-rata sebuah simpul adalah konstanta …

8 algorithms  trees  graph-traversal 

Katakanlah adalah oracle untuk masalah di , tapi saya tidak bisa menyebut oracle ini dengan instance input apa pun. Sebagai gantinya, setiap kali saya menelepon saya akan mendapatkan contoh dan solusi acak. Jadi, saya tahu ituFFFNPNP\mathbb{NP}FFFFFF sebenarnya mampu memecahkan sewenang-wenang NPNP\mathbb{NP}Masalah-sulit, saya tidak bisa menentukan yang mana saya ingin menyelesaikannya. …

8 complexity-theory  np-complete 

Untuk metode branch-and-cut, penting untuk mengetahui banyak sisi dari poltop yang dihasilkan oleh masalah. Namun, saat ini merupakan salah satu masalah yang paling sulit untuk benar-benar menghitung semua segi polytopes karena mereka dengan cepat tumbuh dalam ukuran. Untuk masalah optimasi sembarang, polytope yang digunakan oleh branch-and-cut atau juga dengan cutting-plane-methods …

8 algorithms  optimization  linear-programming  mathematical-programming  traveling-salesman 

Katakanlah saya memiliki grafik |G||G||G| dengan |E|=O(V2)|E|=O(V2)|E|=O(V^2)ujung-ujungnya. Saya ingin menjalankan BFSGGG yang memiliki waktu berjalan O(V+E)O(V+E)O(V+E). Rasanya wajar untuk menulis bahwa waktu berjalan pada grafik ini adalah O(O(V2)+V)O(O(V2)+V)O(O(V^2)+V) dan kemudian menyederhanakannya O(V2)O(V2)O(V^2). Apakah ada kesulitan untuk menggunakan pintasan "remove-the-nested-O" (tidak hanya dalam kasus ini, tetapi lebih umum)?

8 terminology  asymptotics  landau-notation 

Diberikan grafik terarah dan dua simpul S dan T yang berbeda, adakah algoritma waktu polinomial yang menemukan setiap simpul yang berada pada setidaknya satu jalur sederhana dari S ke T? Tidak sulit untuk menemukan semua simpul yang merupakan penerus S dan pendahulu T tetapi ini hanya superset dari himpunan di …

8 algorithms  graph-theory  graphs 

Saya akan mengimplementasikan bahasa khusus domain untuk representasi konvensi pembelajaran sosial. Bagian dari implementasi adalah deskripsi formal bahasa - 'kalkulus', simbol dan ekspresi logisnya. Pendekatan saya adalah mendeskripsikan bahasa dengan menjelaskan tata bahasanya tetapi ada juga konsep-konsep seperti hubungan, dialog, harapan yang membutuhkan lebih banyak pendekatan teoretis dan deskripsi logikanya. …

8 formal-languages  programming-languages  semantics 

Katakanlah Anda memiliki input boolean, dan Anda diberi ambang batas . Anda perlu membangun sirkuit boolean yang mengevaluasi true jika setidaknya dari input benar. Anda dapat menggunakan gerbang AND, ATAU, TIDAK, atau XOR (terbatas pada dua kipas, dengan kipas keluar secara acak). Seberapa asimtotik seberapa kecil Anda dapat membuat sirkuit …

8 complexity-theory  circuits 

Saya sedang belajar untuk ujian AI dan saya sedang mencari cara yang lebih baik untuk menyelesaikan masalah berikut: Grafik menunjukkan masalah klasifikasi dalam satuan kuadrat , di mana Kelas A dilambangkan dengan area abu-abu pada gambar (tidak termasuk titik pada garis putus-putus), dan Kelas B terjadi sebaliknya.[0,1]2[0,1]2[0,1]^2 Untuk mengatasi masalah …

8 artificial-intelligence  neural-networks