Ilmu Komputer Teoritis

Bahasa whileprogram dapat mengekspresikan fungsi yang dapat dihitung secara komputasi. (Ini benar bahkan jika satu-satunya operasi aritmatika pada variabel adalah, katakanlah, kenaikan dan pengurangan.) Jika whiledigantikan oleh for, membuat loop selalu dibatasi, bahasa kemudian hanya dapat mengekspresikan fungsi rekursif primitif. Baru-baru ini saya menjadi sadar akan kelas fungsi-fungsi dasar , …

8 cc.complexity-theory  computability  pl.programming-languages 

Net (dikenal juga sebagai FreeNet, atau NetWalk) adalah permainan puzzle yang dimainkan di kotak dengan objek-objek berikut:n × nn×nn \times n ada komputer ; setiap komputer menempati satu sel dan memiliki satu kabel tautan;mmm setiap komputer harus terhubung ke unit pusat yang menempati satu sel dan memiliki 1, 2 atau …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

Apakah ada batasan (non-sepele) yang diketahui (sifatnya kombinatorial, berdasarkan pada sifat komputable waktu-pol dari suatu grafik) pada yang ketiga, hingga nilai eigen terkecil dari matriks adjacency (tidak berbobot)? Misalnya kita tahu bahwa nilai eigen terbesar mengakui batasan berikut Apa saja rasa di atas untuk \ lambda_i , i \ ge …

8 graph-theory  co.combinatorics  spectral-graph-theory 

Saya ingin tahu apakah ada algoritma sublinear untuk membuat penghapusan atau kontraksi tepi dalam embedding kombinatorial , katakanlah, grafik planar? Karena dalam penyertaan kombinatorial kita harus mempertahankan simpul G dan G * pada saat yang sama, dengan mempertimbangkan bahwa kontraksi dalam primal adalah penghapusan dalam dual, itu cukup hanya untuk …

8 ds.algorithms  graph-theory  graph-algorithms  planar-graphs  embeddings 

Mari menjadi satu set ukuran k dan B menjadi satu set ukuran ℓ , untuk tetap k dan ℓ , dan sehingga A ∩ B = ∅ . Berapakah (atau a) keluarga Sperner F pada A ∪ B yang F B = { C ∩ B : C ∈ F …

8 reference-request  co.combinatorics 

Misalkan kita memiliki dua bilangan yang difaktorkan ke dalam bilangan prianya, direpresentasikan sebagai daftar (p, d), di mana semua p adalah bilangan prima, dan d adalah kekuatan p. Apakah ada cara untuk membandingkan dua angka seperti itu tanpa mengubahnya menjadi bilangan bulat panjang? Membandingkan dua angka dapat direduksi menjadi membandingkan …

8 ds.algorithms  nt.number-theory 

Thor Johnson, et al, dalam makalah mereka: Sutradara Pohon Lebar , memperkenalkan definisi untuk diarahkan jaringan , dan mereka menduga:JkJkJ_k Untuk setiap bilangan bulat k terdapat bilangan bulat N sehingga setiap digraph dengan pohon-lebar N atau lebih memiliki minor isomorfik ke J k .(5.1)(5.1)(5.1)kkkNNNNNNJkJkJ_k Dan mereka melanjutkan dengan mengatakan: Kami …

8 reference-request  graph-theory  co.combinatorics  graph-minor 

Dalam makalah Savitch 1969, "Hubungan Antara Nondeterministik dan Kompleksitas Pita Deterministik", ia menyatakan bahwa "semua fungsi penyimpanan umum L (n)> = lg n dapat diukur. Khususnya, setiap polinomial dalam n dan lg n dapat diukur." Definisinya yang dapat diukur adalah: "Suatu fungsi L (n) dikatakan dapat diukur jika ada beberapa …

8 cc.complexity-theory  pspace  space-complexity 

Saya memiliki dua domain yang sangat berbeda (apel dan jeruk) dan saya memiliki fungsi yang mengambil satu set objek dari domain pertama dan satu set objek dari domain kedua dan mengembalikan bilangan real.fff memiliki sifat menarik berikut:f( S, T)f(S,T)f(S,T) memperbaiki , itu adalah non-negatif, submodular dan monoton wrt S ;TTTSSS …

8 ds.algorithms  optimization  submodularity 

Fungsi linear dalam satu variabel memiliki dimensi VC = 3 dan saya ingat pernah membaca bahwa VC untuk polinomial derajat adalah .( d 2 + 3 d + 2 ) / 2ddd( d2+ 3 d+ 2 ) / 2(d2+3d+2)/2(d^2 + 3d + 2)/2 Saya mencari ide yang dapat membuktikan klaim …

8 cg.comp-geom  vc-dimension 

Saya membaca tentang Masalah Ketinggian Bintang dan memperhatikan bahwa keluarga Eggan tentang ekspresi reguler mengikuti pola sederhana yang dapat dijelaskan dengan ekspresi reguler. Pertanyaan saya adalah: apakah ada hasil yang menarik tentang ekspresi reguler yang menggambarkan keluarga ekspresi reguler? Bisakah proses ini dilanjutkan lebih lanjut, sehingga Anda memiliki regex yang …

8 fl.formal-languages  regular-language  regular-expressions 

Tidak sulit untuk menunjukkan bahwa mengurutkan array angka sulit untuk . Jika input adalah array dari 1s dan 0s maka pada dasarnya fungsi (diberikan bit, output jumlah 1s dalam biner) karena lengkap untuk dan dimungkinkan untuk mengkonversi angka unary ke angka biner dan (logaritmik) angka biner kecil ke angka unary …

8 cc.complexity-theory  circuit-complexity  sorting 

Bukti Pengetahuan Concurrent Zero bersamaan dengan Logarithmic Round-Complexity Nomor halaman berasal dari kertas itu sendiri, dan bukan pdf. Dari halaman 3, "Sebuah sistem bukti interaktif dikatakan kotak hitam (komputasi) nol pengetahuan jika ada polinomial mesin waktu oracle probabilistik sehingga untuk setiap waktu polinomial probabilistik verifier dan untuk semua , distribusi …

8 cr.crypto-security  concurrency  zero-knowledge 

Saya mencari kertas asli tempat Hoare (atau orang lain saya kira) membahas pemutusan hubungan kerja (Total Correctness). Atau karya awal lainnya tentang terminasi untuk logika "vanilla" Hoare (saya kira maksud saya HL untuk bahasa mainan mirip-C). Saya telah melihat dasar Aksiomatik untuk Program Komputer (PDF) (yang tampaknya pada dasarnya logika …

8 reference-request  lo.logic  pl.programming-languages  program-verification  program-logic 

Ford-Fulkerson dapat menemukan aliran yang jarang dalam waktu linier dalam ukuran aliran dan jumlah node jika tepi memiliki kapasitas unit. Bagaimana saya bisa menggunakan aliran st sparse untuk menemukan st min-cut dalam waktu sebanding dengan ukuran aliran dan jumlah node saya, untuk kasus max-flow volume rendah / volume rendah?

8 graph-algorithms  max-flow  max-flow-min-cut