Ilmu Komputer

Tulis untuk ekspansi desimal (tanpa awalan ). Biarkan dan menjadi bilangan bulat, dengan . Pertimbangkan bahasa ekspansi desimal kelipatan ditambah konstanta:n¯n¯\bar nnnn0Sebuahaabbba > 0a>0a > 0Sebuahaa M.= { ax + b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣ x ∈ N }M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Apakah biasa? bebas konteks?M.MM (Berbeda dengan Bahasa dari grafik …

10 formal-languages  context-free  regular-languages  integers 

Buku saya menyatakan ini Jika masalah keputusan B dalam P dan A dikurangi menjadi B, maka masalah keputusan A ada di P. Masalah keputusan B adalah NP-lengkap jika B di NP dan untuk setiap masalah di A di NP, A dikurangi menjadi B. Masalah keputusan C adalah NP-lengkap jika C …

10 complexity-theory  np-complete  decision-problem 

Linear logika temporal dan deterministik automata Büchi yang tak tertandingi: DBA tidak bisa mengungkapkan , dan LTL tidak bisa mengungkapkan "setidaknya setiap huruf aneh adalah 'a'" . Tetapi kadang-kadang menarik untuk mengetahui apakah bahasa DBA dapat diekspresikan dalam LTL.FG aFGSebuahFGa Saya membutuhkan algoritma yang memutuskan apakah bahasa DBA yang diberikan …

10 logic  automata  linear-temporal-logic  buchi-automata 

Saya perlu membuat algoritma rekursif untuk melihat apakah pohon biner adalah pohon pencarian biner serta menghitung berapa banyak cabang lengkap yang ada (simpul orangtua dengan simpul anak kiri dan kanan) dengan asumsi variabel penghitungan global. Ini adalah tugas untuk kelas struktur data saya. Sejauh ini saya punya void BST(tree T) …

10 algorithms  recursion  trees 

Definisi P adalah bahasa yang dapat diputuskan oleh algoritma waktu polinomial. Definisi P / poli dapat diartikan sebagai bahasa yang dapat diputuskan oleh sirkuit ukuran polinomial (lihat http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Sekarang, mengapa sirkuit ukuran polinomial tidak dapat disimulasikan dalam waktu polinomial?

10 complexity-theory  time-complexity  circuits 

Saat ini saya sedang bekerja untuk memahami penggunaan ikatan Cheeger dan ketidaksetaraan Cheeger, dan penggunaannya untuk partisi spektral, konduktansi, ekspansi, dll, tetapi saya masih berjuang untuk memulai intuisi mengenai nilai eigen kedua dari matriks adjacency. Biasanya, dalam teori grafik, sebagian besar konsep yang kami temui cukup sederhana untuk intuisi, tetapi …

10 graph-theory  adjacency-matrix 

Sebenarnya saya menemukan bahwa himpunan Bahasa konteks-sensitif, CSLCSL\mathbf{CSL} ( bahasa yang diterima) tidak begitu banyak dibahas sebagai (bahasa reguler) atau (bahasa bebas konteks). Dan juga masalah terbuka tidak begitu terkenal sebagai masalah "analog": " ".R E G C F L D S P A C E ( O ( n …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Apakah "teorema Padi untuk real yang dapat dihitung" - yaitu, tidak ada properti nontrivial dari angka yang diwakili oleh real komputer yang diberikan yang dapat ditentukan - benar? Apakah ini sesuai dengan beberapa cara langsung dengan keterhubungan real?

10 computability  real-numbers  computable-analysis 

Dari bacaan saya tampaknya sebagian besar tata bahasa berkaitan dengan menghasilkan string yang tak terbatas. Bagaimana jika Anda bekerja sebaliknya? Jika diberi n string dengan panjang m, harus dimungkinkan untuk membuat tata bahasa yang akan menghasilkan string itu, dan hanya string itu. Apakah ada metode yang dikenal untuk melakukan ini? …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Wikipedia mengatakan penyatuan berdasarkan peringkat tanpa kompresi jalur memberikan kompleksitas waktu diamortisasi O(logn)O(log⁡n)O(\log n) , dan bahwa penyatuan berdasarkan peringkat dan kompresi jalur memberikan kompleksitas waktu diamortisasi O(α(n))O(α(n))O(\alpha(n)) (di mana αα\alpha adalah kebalikan dari Fungsi Ackerman). Namun, itu tidak menyebutkan waktu berjalan kompresi jalan tanpa peringkat serikat, yang biasanya saya …

10 complexity-theory  time-complexity  union-find 

Saya tahu bahwa bahasa yang dapat didefinisikan menggunakan ekspresi reguler dan yang dikenali oleh DFA / NFA (finite automata) adalah setara. Juga tidak ada DFA untuk bahasa {0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\} . Tetapi masih dapat ditulis menggunakan ekspresi reguler (dalam hal ini bahasa non-reguler dapat) sebagai {ϵ}∪{01}∪{0011}......{ϵ}∪{01}∪{0011}......\{ \epsilon \} \cup \{01\} …

10 formal-languages  regular-languages  regular-expressions 

Saya mencoba memahami bagaimana Alokasi Slab bekerja dan mengapa itu berbeda atau lebih baik daripada paging biasa. Saya menemukan diagram ini yang saya percaya akan sangat membantu jika memiliki penjelasan lebih lanjut. Beberapa pertanyaan: Apa yang diwakili oleh item 3KB dan 7KB? Haruskah mereka berhubungan entah bagaimana? Mengapa mereka dikemas …

10 operating-systems  paging  memory-allocation 

Ketika mencoba untuk meningkatkan kinerja kelas deteksi tabrakan saya, saya menemukan bahwa ~ 80% dari waktu yang dihabiskan di GPU, dihabiskan untuk jika kondisi lain hanya mencoba mencari batas untuk ember yang harus dilingkari. Lebih tepatnya: setiap utas mendapat ID, dengan ID itu ia mengambil segitiga dari memori (masing-masing 3 …

10 computer-architecture  parallel-computing 

Bilangan asli didefinisikan secara induktif sebagai (menggunakan sintaks Coq sebagai contoh) Inductive nat: Set := | O: nat | S: nat -> nat. Apakah ada cara standar untuk mendefinisikan integer (dan mungkin set lain seperti rasional dan real) secara konstruktif?

10 arithmetic  dependent-types  coq 

Saya mengerti bahwa pohon segmen dapat digunakan untuk menemukan jumlah sub array . Dan ini dapat dilakukan dalam waktu O ( log n ) sesuai dengan tutorial di sini .SEBUAHAAO (logn )O(log⁡n)\mathcal{O}(\log n) Namun saya tidak dapat membuktikan bahwa waktu query memang . Tautan ini (dan banyak lainnya) mengatakan bahwa …

10 data-structures  runtime-analysis  search-trees  intervals