Ilmu Komputer

Saya mencari definisi formal file yang tidak hanya mencakup penyimpanan tetapi juga abstraksi seperti procfs / / dev / null (atau file berbasis sekering) yang tidak berhubungan dengan penyimpanan. Sejauh ini saya tahu bahwa semua file adalah abstraksi itu dapat diidentifikasi dapat memiliki nama (biasanya disusun dalam struktur hierarkis) dapat …

9 operating-systems  os-kernel  filesystems 

Berikut bebas konteks tata bahasa hadiah sebuah "menggantung lain" jenis ambiguitas (membayangkan bahwa singkatan dan singkatan dan adalah singkatan dari beberapa jenis lain dari instruksi atau blok): \ begin {selaras} S & \ Rightarrow aSbS \; | \; aS \; | \; c \\ \ end {aligned} Misalnya, aacbc dapat …

9 context-free  formal-grammars  parsers  ambiguity 

Dalam makalah Chris Okasaki, " Meratakan Combinators: Surviving Without Parentheses " ia menunjukkan bahwa dua combinator cukup dan diperlukan sebagai dasar untuk menyandikan ekspresi Turing-lengkap tanpa perlu operator aplikasi atau tanda kurung. Dibandingkan dengan pengkodean logika kombinasional John Trump dalam " Binary Lambda Calculus and Combinatory Logic " melalui pengkodean …

9 lambda-calculus  combinatory-logic 

Saya memposting ini di MathUnderflow tetapi tidak mendapat jawaban, jadi saya pikir saya akan mencobanya di sini, Saya membaca kertas tua Rabin dan Fischer [akan memposting tautan bila memungkinkan] di mana antara lain, kompleksitas eksponensial ganda dari aritmatika Presburger terbukti. Buktinya bergantung pada keberadaan formula secara informal menyatakan " x …

9 complexity-theory  reference-request  logic 

Baru-baru ini saya bertanya-tanya apa yang akan terjadi jika kita membiarkan tata bahasa bebas konteks memiliki jumlah aturan yang tak terbatas. Jelas, jika kita mengizinkan seperangkat aturan tak terbatas seperti itu, setiap bahasa pada beberapa alfabet dapat dijelaskan oleh CFG dengan . Tetapi bagaimana jika kita membatasi ke set aturan …

9 formal-languages  context-free  formal-grammars 

Saya mencoba memberikan bukti sebagai berikut: Untuk bahasa apapun SEBUAHSEBUAHA , terdapat bahasa BBB sehingga A ≤TBSEBUAH≤TBA \le_{\mathrm{T}} B tapi B ≰TA≰TSEBUAH\nleq_{\mathrm{T}} A . Saya berpikir untuk membiarkan BBB menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , tetapi saya menyadari bahwa tidak semua bahasa Turing dapat direduksi menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , jadi A≤TBSEBUAH≤TBA \le _T B …

9 computability  reductions  undecidability 

Untuk mengatasi masalah ini saya pertama kali mengamati itu ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Di mana adalah jumlah pembagi (tidak harus prima) dari . Jika adalah bilangan bulat terkecil sehingga , makaϕ(m)ϕ(m)\phi(m)mmmmmmϕ(m)=nϕ(m)=n\phi(m) = n ϕ(m)=nϕ(m)=n\phi(m) = n (e1+1)(e2+1)⋯(ek+1)=n(e1+1)(e2+1)⋯(ek+1)=n(e_1 …

9 number-theory  primes 

Jawaban untuk pertanyaan ini di Crypto Stack Exchange pada dasarnya mengatakan bahwa, untuk mengukur kompleksitas masalah logaritma, kita harus memperhitungkan panjang angka yang mewakili ukuran grup. Tampaknya sewenang-wenang, mengapa kita tidak memilih ukuran kelompok sebagai argumen? Adakah kriteria untuk mengetahui argumen apa yang harus dipilih? Sebenarnya, saya tahu saya mengabaikan …

9 time-complexity  discrete-mathematics  cryptography 

Ada pengurangan terkenal dan elegan dari masalah pencocokan bipartit maksimum untuk masalah max-aliran: kita membuat jaringan dengan node sumber , node terminal , dan satu node untuk setiap item untuk dicocokkan, lalu tambahkan tepi yang tepat.tsssttt Pasti ada cara untuk mengurangi aliran maksimum ke pencocokan bipartit maksimum dalam waktu polinomial, …

9 reductions  network-flow  bipartite-matching 

Saya ingin menghasilkan jalur terpendek ( akan kurang dari 10) antara semua pasangan dalam grafik. Grafiknya adalah (sebenarnya peta kereta bawah tanah):kkkkkk tertimbang positif tidak diarahkan jarang dengan sekitar 100 node Rencana saya saat ini adalah untuk menerapkan rute jalur terpendek ke setiap pasangan; Saya sekarang mencari alternatif yang lebih …

9 algorithms  graphs  optimization  shortest-path 

Biasanya saya melihat bahwa dalam representasi semantik operasional struktural untuk loop sementara, status program tidak berubah: ( W h i l eBdHaiS, σ) → ( i fBt h e nS; ( W h i l eBdHaiS)e l s eSKsayaP, σ)(whsayaleBdHaiS,σ)→(sayafBthenS;(whsayaleBdHaiS)elseSKsayaP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Diberikan triangulasi (tanpa titik Steiner) dari poligon P sederhana PPP, orang dapat mempertimbangkan ganda triangulasi ini, yang didefinisikan sebagai berikut. Kami membuat simpul untuk setiap segitiga dalam triangulasi kami, dan kami menghubungkan dua simpul jika segitiga yang sesuai memiliki keunggulan. Grafik ganda dikenal sebagai pohon dengan derajat tiga maksimum. Untuk …

9 reference-request  computational-geometry 

Sebuah graf bipartit adalah planar jika dan hanya jika ia tidak memiliki K3,3K3,3K_{3, 3} atau anak di bawah umur.K5K5K_5 Saya mencari kondisi yang diperlukan atau / dan cukup untuk memungkinkan gambar planar tanpa tepi "berkeliling" set simpul. Ini adalah gambar yang memuaskan: Semua simpul dari satu bagian digambar pada satu …

9 graph-theory  terminology  graph-drawing 

Saya sedang mencari teknik implementasi untuk bahasa pemrograman, dan baru-baru ini menemukan tumpukan spaghetti, yang dianggap cocok untuk model gaya kelanjutan lewat (diberikan penggunaannya dalam misalnya Skema dan SML / NJ ). Demi kesederhanaan, mari kita hanya mempertimbangkan proses single-threaded untuk pertanyaan ini. Namun, saya agak bingung dengan diagram di …

9 data-structures  programming-languages  continuations 

Hari ini saat makan siang, saya mengemukakan masalah ini dengan kolega saya, dan yang mengejutkan saya, argumen Jeff E. bahwa masalahnya tidak dapat meyakinkan mereka (di sini ada posting yang berkaitan erat dengan mathoverflow). Pernyataan masalah yang lebih mudah untuk dijelaskan ("adalah P = NP?") Juga dapat dipilih: ya atau …

9 computability  undecidability