Ilmu Komputer Teoritis

Pertanyaannya adalah apakah mungkin untuk memodelkan dalam logika linear dua mode akses ke sumber daya. Saya tahu bahwa dua mode sumber daya dimungkinkan, yaitu: r ⊢!r⊢!r⊢!r \vdash r tersedia tanpa batas r hanya sekali tersedia r⊢r⊢r \vdash \quad Tetapi bagaimana jika saya tidak ingin memutuskan apakah r tidak terbatas atau …

8 lo.logic  linear-logic 

Seperti yang kita ketahui, Graph Isomorphism ada dalam NP tetapi tidak diketahui sebagai NP-Complete atau P-Complete. Saya bertanya-tanya apakah ada masalah yang diketahui berada di PSPACE tetapi tidak dikenal sebagai PSPACE-Lengkap dan tidak terletak pada PH?

8 cc.complexity-theory  complexity-classes 

Saya mencari kerja pada sistem yang mirip dengan urutan urutan tinggi K. Dosen ("Sistem Urutan untuk Modal Logika", JSL 50 ). Satu-satunya karya yang saya sadari adalah karya terbaru oleh Iemhoff dan Metcalfe ("Teori bukti aturan yang dapat diterima", Annals of Pure and Applied Logic 159 (1-2), 2009). Apakah ada …

8 reference-request  lo.logic  proof-theory 

Kami diberi tumpukan yang menampung "item" dengan warna berbeda dan sebuah mesin yang dapat memproses banyak item dengan warna yang sama sekaligus. Pada setiap langkah, kita dapat menghapus satu item dari bagian atas setiap tumpukan dan memasukkannya ke dalam mesin kami (sehingga secara efektif mesin dapat memproses paling banyak item …

8 ds.algorithms  reference-request  scheduling 

Saya memahami konsistensi yang ketat dan berurutan secara mandiri dengan cukup baik. Strict C pada dasarnya menegakkan urutan aktual di mana instruksi dijalankan pada jam global. Sequential Consistency pada dasarnya memberlakukan pesanan hanya pada satu prosesor. Saya mengalami kesulitan mengumpulkan beberapa literatur. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html menjelaskan konsistensi sekuensial yang memungkinkan memori 'lag'. …

8 pl.programming-languages  dc.parallel-comp  concurrency 

Apa referensi terbaik untuk belajar mandiri di DATALOG? Saya terutama tertarik pada kekuatan ekspresif, hasil kompleksitas, metode evaluasi, ekstensi DATALOG dengan negasi dll. Apakah ada buku atau makalah yang mencakup semua ini?

8 reference-request  lo.logic  db.databases  logic-programming 

Pertanyaannya adalah: Apakah skema perkiraan waktu-poli selalu ada untuk masalah NP-complete yang memiliki algoritma waktu pseudo-polinomial (seperti misalnya knapsack)?

8 cc.complexity-theory  approximation-algorithms 

The konektivitas aljabar dari graf G adalah nilai eigen kedua terkecil dari matriks Laplacian dari G. eigenvalue ini lebih besar dari 0 jika dan hanya jika G adalah graf terhubung. Besarnya nilai ini mencerminkan seberapa baik grafik keseluruhan terhubung. misalnya, " menambahkan loop otomatis " tidak mengubah nilai eigen laplacian …

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

Terinspirasi oleh pertanyaan ini , saya ingin tahu apakah ada strategi pengurangan untuk kombinator SKI yang tidak dikenal yang dikenal sebagai normalisasi atau abadi. Seperti dijelaskan di sini (Twelfed here ), aturan nondeterminstic dari kalkulus combinator adalah sebagai berikut: sayax → xIx→xIx \rightarrow x Kx y→ xKxy→xKxy \rightarrow x Sx …

8 pl.programming-languages  combinatory-logic 

Lemma berikut tidak sulit untuk dibuktikan. Lemma : Biarkan c1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] dan k∈[n]k∈[n]k \in [n] . Jika adalah bilangan bulat (beberapa di antaranya mungkin negatif) sedemikian sehingga , maka bilangan bulat memuaskan sedemikian sehingga . Di sini berarti untuk beberapa konstanta positifm 1 …

8 reference-request  nt.number-theory 

Dimensi VC adalah ukuran kompleksitas kelas fungsi yang terkait erat dengan kompleksitas sampel. Dimensi penghancuran lemak adalah generalisasi yang cocok untuk domain yang lebih kaya: yaitu . Apakah ada generalisasi standar dimensi-VC yang cocok untuk fungsi dengan domain diskrit dan tidak berurutan? yaitu mana adalah himpunan terbatas tanpa urutan di …

8 reference-request  lg.learning  vc-dimension 

Saya sedang melihat halaman 28 Lovasz "Program semidefinit dan optimasi kombinatorial" dan ini memberikan perkiraan berikut tentang angka kemandirian grafik maxu′Zumaxu′Zu\max u' Z uZ≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in E(G) tr(Z)=1tr(Z)=1tr(Z)=1 Bisakah saya mendapatkan set independen (atau sesuatu yang dekat dengan set independen) langsung dari solusi relaksasi SDP? …

8 ds.algorithms  graph-theory  semidefinite-programming  independent-set 

Saat menulis program Petri Net, saya dihadapkan dengan pilihan tentang struktur data untuk mewakili grafik. Daftar adjacency (yaitu daftar yang menyebutkan busur masuk dan keluar dari masing-masing tempat atau transisi) mudah diimplementasikan, tetapi ketika saya sedang mempelajari teori petri nets, saya dibawa dengan keindahan pendekatan persamaan-persamaan berbasis matriks - yang …

8 ds.data-structures  functional-programming  sparse-matrix 

Diberikan grafik asiklik terarah dengan simpul bagaimana kita dapat menentukan apakah ada jalur antara n pasangan simpul berikut ( 1 → n + 1 ) , … , ( n → n + n ) ? Ada algoritma sederhana dalam O ( n ⋅ ( n + m ) ) …

8 ds.algorithms  graph-algorithms  directed-acyclic-graph 

Dalam konteks perkolasi ikatan pada mana adalah bilangan bulat positif, pertimbangkan masalah perhitungan a -pendekatan dari perkolasi kritis diberi dimensi kisi dan parameter presisi sebagai input. Adakah hasil yang diketahui tentang kerumitan masalah seperti itu? d 2 - k p c d∈ N k∈ NZdZd\mathbb{Z}^dddd2−k2−k2^{-k}pcpcp_cd∈Nd∈Nd\in\mathbb{N}k∈Nk∈Nk\in\mathbb{N}

8 cc.complexity-theory  randomness  percolation