Ilmu Komputer

Mesin Turing dan tata bahasa tidak terbatas adalah dua formalisme berbeda yang mendefinisikan bahasa RE. Beberapa bahasa RE dapat dipilih, tetapi tidak semua. Kita dapat mendefinisikan bahasa yang dapat diputuskan dengan mesin Turing dengan mengatakan bahwa bahasa dapat diputuskan jika ada TM untuk bahasa yang menghentikan dan menerima semua string …

10 computability  turing-machines  formal-grammars 

Apa fungsi anonim (lambda)? Apa definisi formal dari fungsi anonim dalam bahasa pemrograman fungsional? Dalam istilah sederhana saya, ketika saya pemrograman dalam skema / lisp saya akan mengatakan fungsi anonim (lambda) adalah fungsi yang tidak terikat pada pengenal. Apakah hanya itu yang dapat Anda katakan secara formal tentang fungsi lambda? …

10 logic  programming-languages  lambda-calculus  functional-programming 

Saya mengambil kursus tentang kompiler dalam studi sarjana saya di mana kami menulis kompiler yang mengkompilasi program sumber dalam bahasa seperti mainan Java ke bahasa perakitan mainan (yang kami punya juru bahasa). Dalam proyek ini kami membuat beberapa asumsi tentang mesin target yang terkait erat dengan executable asli "nyata", termasuk: …

10 compilers  computer-architecture 

Saya perlu bantuan mencari fungsi potensial untuk heap max sehingga ekstrak max selesai dalam waktu diamortisasi. Saya harus menambahkan bahwa saya tidak memiliki pemahaman yang baik tentang metode potensial.O ( 1 )HAI(1)O(1) Saya tahu bahwa fungsi penyisipan harus "membayar" lebih banyak untuk mengurangi biaya ekstraksi, dan ini harus berkaitan dengan …

10 data-structures  runtime-analysis  heaps  amortized-analysis 

Saya baru-baru ini menemukan makalah yang menggambarkan teknik parsing yang disebutkan dalam judul. Sayangnya, terminologi yang digunakan dalam makalah tersebut agak di luar pemahaman saya, jadi saya telah berusaha memahami algoritma konstruksi lebih intuitif. Saya percaya saya berhasil ( presentasi ini adalah sumber dari momen ah-ha), tetapi verifikasi kebenaran dari …

10 algorithms  formal-grammars  context-free  parsing 

Pertimbangkan masalah berikut yang input instansinya adalah grafik sederhana dan bilangan bulat alami .GGGkkk Apakah ada himpunan sehingga adalah bipartit dan ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG-SG - S| S| ≤k|S|≤k|S| \leq k Saya ingin menunjukkan bahwa masalah ini adalah -complete dengan mengurangi 3-SAT, CLIQUE, -DOMINATING SET atau …

10 complexity-theory  np-complete  reductions 

memaksimalkan f( x )tunduk pada A x = bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} dimana f( x ) = ∑i = 1N1 + x4saya( ∑Ni = 1x2saya)2-------------⎷,f(x)=∑saya=1N1+xsaya4(∑saya=1Nxsaya2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, x =[ x1, x2, . . . , xN]T∈ RN× 1x=[x1,x2,...,xN]T∈RN×1\mathbf{x} = [x_1,x_2,...,x_N]^T \in \mathbb{R}^{N\times …

10 optimization 

Ini adalah masalah dari sesi latihan Kontes Pemrograman Collegiate Polandia 2012 . Meskipun saya dapat menemukan solusi untuk kontes utama, saya sepertinya tidak dapat menemukan solusi untuk masalah ini di mana saja. Masalahnya adalah: Diberikan satu set NNN bilangan bulat positif yang berbeda tidak lebih besar dari 10910910^9 , temukan …

10 algorithms  number-theory 

Apakah ada bahasa pemrograman (atau logika) yang dapat mengimplementasikan (atau mengekspresikan) fungsi jika dan hanya jika f adalah fungsi bijektif yang dapat dihitung?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Berasal dari POV seseorang yang sedang berpikir untuk mengejar gelar PhD dalam ilmu komputer. Saya kesulitan menentukan apa yang akan menjadi fokus penelitian saya ketika saya mengambil PhD. Lihat juga pertanyaan ini di academia.SE . Jadi saya berpikir bahwa membaca / menjaga saat ini pada penelitian apa yang sedang dilakukan …

10 reference-request 

Misalkan saya memiliki grafik berarah dengan bobot tepi yang diambil dari rentang mana K adalah konstan. Jika saya mencoba menemukan jalur terpendek menggunakan algoritma Dijkstra , bagaimana saya bisa memodifikasi algoritma / struktur data dan meningkatkan kompleksitas waktu menjadi O ( | V | + | E | ) ?[1,…,K][1,…,K][1,\dots, …

10 algorithms  data-structures  shortest-path  weighted-graphs 

Saya benar-benar ingin bantuan Anda untuk membuktikan hal berikut. Jika maka .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTsayame(n100)⊆DTsayame(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Di sini, adalah kelas semua bahasa yang dapat diputuskan oleh mesin Turing nondeterministic dalam waktu polinomial …

10 time-complexity  complexity-classes  p-vs-np 

Saya mengambil kursus tentang Kompleksitas Komputasi. Masalah saya adalah saya tidak mengerti metode Relativization . Saya mencoba menemukan sedikit intuisi di banyak buku teks, sayangnya, sejauh ini tidak berhasil. Saya akan menghargai jika seseorang dapat menjelaskan topik ini sehingga saya akan dapat melanjutkan sendiri. Beberapa kalimat berikut adalah pertanyaan dan …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Saya memiliki masalah yang dapat direduksi menjadi masalah penugasan. (Dalam pertanyaan sebelumnya saya menemukan cara melakukannya.) Yang berarti kita memiliki seperangkat agen dan serangkaian tugas T serta fungsi biaya c ( i , j ) . Kita perlu menemukan tugas sehingga total biaya minimal.AAATTTc ( i , j)c(i,j)c(i,j) The algoritma …

10 algorithms  graph-theory  assignment-problem 

Saya mencari algoritma pencocokan string k-mismatch yang cepat. Diberikan string pola P dengan panjang m, dan string teks T dengan panjang n, saya memerlukan algoritma cepat (waktu linear) untuk menemukan semua posisi di mana P cocok dengan substring T dengan paling banyak k ketidakcocokan. Ini berbeda dari masalah k-perbedaan (jarak …

10 algorithms  reference-request  strings  string-metrics  substrings