Ilmu Komputer

Saya telah mencoba untuk menyelesaikan latihan berikut tetapi saya macet ketika mencoba menemukan semua pasangan yang kritis . Saya punya pertanyaan berikut: Bagaimana saya tahu pasangan kritis mana yang menghasilkan aturan baru? Bagaimana saya tahu saya menemukan semua pasangan kritis? Misalkan Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e \right \} mana …

10 logic  first-order-logic 

Salah satu cara melihat ekspresi reguler adalah sebagai bukti konstruktif dari fakta berikut: adalah mungkin untuk membangun bahasa reguler dengan memulai dengan sekelompok kecil bahasa dan menggabungkannya melalui set kecil, properti penutupan tertutup. Khususnya, jika kita mulai dengan bahasa kosong, bahasa yang berisi string kosong, dan bahasa semua string karakter …

10 formal-languages  context-free  closure-properties  regular-expressions 

Dapatkah seseorang mencerahkan saya mengapa keturunan parser rekursif dengan backtracking yang mencoba produksi dan S → a a (agar) tidak mengakui bahasa yang dibentuk oleh grammar S → a S a | a a .S→ a SSebuahS→SebuahSSebuahS \rightarrow aSaS→ a aS→SebuahSebuahS \rightarrow aaS→ a Sa | a a S→SebuahSSebuah | …

10 context-free  formal-grammars  compilers  parsers 

Saya sedang bekerja dengan algoritma pencocokan pola yang menghasilkan otomat keadaan terbatas asiklik yang menerima string teks yang diberikan dan semua substringnya. Algoritma FSA sedang dijalankan pada representasi simbolis dari aliran musik (misalnya, data MIDI). Aliran musik telah diproses untuk membagi setiap lagu menjadi 'segmen' tanpa label. FSA dihasilkan untuk …

10 formal-languages  reference-request  finite-automata 

Saya telah membacanya di berbagai tempat seperti ini , bahwa Hyper-threading menyebabkan penurunan kinerja. Saya tidak bisa mengerti mengapa atau bagaimana hyper-threading mengarah pada degradasi. Mengapa begitu bahkan ketika Hyper-threading memungkinkan OS untuk memanfaatkan sumber daya gratis apakah degradasi terjadi. Meskipun tolok ukur memang mengindikasikan hiper-threading sebagai pelakunya, tetapi dapatkah …

10 computer-architecture  performance  threads 

Anda memiliki tongkat panjang yang sewenang-wenang, tidak harus integral.nnn Dengan memotong beberapa batang (satu potong memotong satu batang, tetapi kita dapat memotong sesering yang kita inginkan), Anda ingin mendapatkan batang sedemikian rupa sehingga:k&lt;nk&lt;nk<n Semua tongkat ini memiliki panjang yang sama;kkk Semua tongkat setidaknya sepanjang tongkat lainnya.kkk Perhatikan bahwa kita mendapatkan …

10 algorithms  optimization 

Dalam masalah penghentian, kami tertarik jika ada mesin Turing yang dapat mengetahui apakah mesin Turing M yang diberikan berhenti atau tidak pada input yang diberikan i . Biasanya, buktinya mulai dengan menganggap T seperti itu ada. Kemudian, kami mempertimbangkan kasus di mana kami membatasi i untuk M itu sendiri, dan …

10 computability  undecidability  halting-problem 

Diberikan dua simbol dan , mari kita mendefinisikan string Fibonacci sebagai berikut:b kaa\text{a}bb\text{b}kkk F(k)=⎧⎩⎨baF(k−1)⋆F(k−2)if k=0if k=1elseF(k)={bif k=0aif k=1F(k−1)⋆F(k−2)else F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1 \\ F(k-1) \star F(k-2) &\mbox{else} \end{cases} dengan menunjukkan penggabungan string.⋆⋆\star Dengan demikian kita akan memiliki: F(0)=bF(0)=bF(0) …

10 algorithms  algorithm-analysis  runtime-analysis  strings  substrings 

Ada sebuah puzzle buku permainan klasik sangat mirip dengan teka-teki silang, kecuali daftar kata yang diberikan dan kemudian papan persegi terdiri dari unit kuadrat diberikan, dengan beberapa kotak dihitamkan seperti teka-teki silang, dan beberapa kotak memiliki surat yang sudah ditulis di dalamnya. Tujuannya adalah untuk menulis setiap kata dari daftar …

10 complexity-theory  np-complete  board-games 

Jika maka hierarki runtuh ke level kedua (oleh teorema Karp-Lipton). Tetapi bagaimana dengan dan ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Saya mencoba membuktikan bahwa terkandung dalam (arah lainnya sepele jika ) tetapi tidak berhasil, dan saya bahkan tidak yakin itu benar.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP = NP Bagaimana menurut anda?

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Diberikan dua bilangan bulat dan n dalam representasi biner, apa kompleksitas komputasi bit-size x n ?xxxnnnxnxnx^n Salah satu cara untuk melakukannya adalah dengan menghitung dengan menghitung perkiraan log 2 ( x ) dengan presisi yang cukup. Tampaknya menghitung log 2 ( x ) dengan k bit precision dapat dilakukan dalam …

10 complexity-theory  time-complexity  binary-arithmetic 

Relasi ekivalensi pada himpunan vertex terbatas dapat diwakili oleh grafik tidak terarah yang merupakan persatuan cliques yang terpisah. Himpunan simpul mewakili elemen dan tepi mewakili bahwa dua elemen setara. Jika saya memiliki grafik dan grafik G 1 , ... , G k , kita mengatakan bahwa G ditutupi oleh G …

10 algorithms  graph-theory  clique 

Untuk alasan tentang hal-hal seperti kelengkapan NP, kami biasanya menggunakan banyak-satu pengurangan (yaitu, pengurangan Karp). Ini mengarah ke gambar seperti ini: (di bawah dugaan standar). Saya yakin kita semua akrab dengan hal semacam ini. Gambar apa yang kita dapatkan, jika kita bekerja dengan pengurangan Turing (yaitu, pengurangan Cook)? Bagaimana gambar …

10 complexity-theory  reductions  complexity-classes 

Misalkan saya memberi Anda grafik tanpa arah dengan tepi tertimbang, dan memberi tahu Anda bahwa setiap node sesuai dengan titik dalam ruang 3d. Setiap kali ada tepi antara dua node, berat tepi adalah jarak antara titik. Tujuan Anda adalah merekonstruksi posisi relatif dari titik-titik tersebut, hanya diberikan jarak yang tersedia …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

Pada akhir 1990-an, ketika saya masih di sekolah pascasarjana, kertas JH Saltzer; DP Reed; DD Clark: Argumen ujung ke ujung dalam desain sistem . ACM Trans. Komputasi. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 cukup banyak bacaan wajib di setiap kelas sistem operasi di setiap universitas, dan …

10 computer-architecture  operating-systems  distributed-systems  computer-networks