Ilmu Komputer Teoritis

Saya bertanya-tanya apa saja kemajuan terbaru dalam teori basis data relasional dan domain terkait? Saya tertarik pada pendekatan baru, bahasa query (alternatif untuk SQL dan / atau ekstensi untuk itu), produk (proprietary dan open source, meskipun saya jauh lebih tertarik pada open source) dan proyek penelitian yang dikembangkan dalam beberapa …

12 db.databases  relational-structures 

SAT unik adalah masalah yang terkenal: diberi rumus CNF , apakah benar F memiliki satu model?FFFFFF Saya tertarik pada masalah «Persis -SAT»: diberikan rumus CNF F dan integer m > 1 , apakah benar F memiliki model m persis ?mmmFFFm > 1m>1m>1FFFmmm Kedua masalah terlihat serupa. Jadi pertanyaan saya adalah: …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

Dalam bab 10 dari HAC (10.4.2) , kita melihat protokol identifikasi Feige-Fiat-Shamir yang terkenal berdasarkan pada bukti nol-pengetahuan menggunakan kesulitan (diduga) mengekstraksi modulo akar persegi modulo komposit yang sulit untuk faktor. Saya akan memberikan skema dengan kata-kata saya sendiri (dan mudah-mudahan bisa beres). Mari kita mulai dengan skema yang lebih …

12 cr.crypto-security  proofs  zero-knowledge 

Biasanya entropi Shannon digunakan untuk membuktikan hasil pengkodean saluran. Bahkan untuk hasil pemisahan sumber-saluran digunakan shannon entropy. Mengingat kesetaraan antara pengertian Shannon (global) vs Kolmogorov (lokal) tentang informasi, apakah telah ada penelitian untuk memanfaatkan kompleksitas Kolmogorov untuk hasil ini (atau setidaknya untuk mengganti bagian pengkodean sumber dalam hasil pemisahan saluran …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

Saya mencari referensi (bukan bukti, yang bisa saya lakukan) untuk perpanjangan Chernoff berikut. Misalkan menjadi variabel acak Boolean, tidak harus independen . Sebagai gantinya, dijamin bahwa untuk setiap dan setiap peristiwa yang hanya bergantung pada .X1,..,XnX1,..,XnX_1,..,X_nPr(Xi=1|C)<pPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Terima kasih sebelumnya!

12 reference-request  pr.probability  chernoff-bound 

Versi cepat Apakah ada model decoherence untuk kuantum berjalan pada baris sehingga kita bisa tune berjalan ke spread sebagai untuk setiap 1 / 2 ≤ k ≤ 1 ?Θ ( tk)Θ(tk)\Theta(t^k)1 / 2 ≤ k ≤ 11/2≤k≤11/2 \leq k \leq 1 Motivasi Jalan acak klasik berguna dalam desain algoritma, dan …

12 quantum-computing  random-walks  quantum-walk 

adalah kelas konstan mendalam sirkuit polinomial-ukuran dengan TIDAK gerbang dan tak terbatas fan-in AND dan gerbang OR, di mana input dan gerbang juga memiliki fanout tak terbatas.AC0AC0AC^0 Sekarang pertimbangkan sebuah kelas baru, sebut saja yang seperti A C 0 tetapi input dan gatesnya paling banyak O ( 1 ) . …

12 cc.complexity-theory  circuit-complexity 

Biarkan menjadi rumus 2CNF dan k bilangan bulat tidak negatif. Hal ini terbukti dalam kertas bahwa masalah memutuskan apakah seseorang dapat menghapus paling k klausul untuk membuat φ satisfable, tetap-parameter penurut, di mana k adalah parameter. Pertanyaan saya adalah apakah ada beberapa pekerjaan yang menggeneralisasi hasil ini ke CSP boolean …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Diberikan urutan angka, dapatkah itu diurutkan dengan perbandingan O ( n ln n ) dan O ( n ) swap / gerakan? Setiap penunjuk ke publikasi tentang hal itu atau tandingan yang menunjukkan batas bawah Ω ( n ln n ) akan membantu.nnnO ( n lnn )O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln …

12 cc.complexity-theory  ds.algorithms 

Kita dapat menganggap kompleksitas Kolmogorov dari sebuah string sebagai panjang dari program terpendek P dan input y sedemikian rupa sehingga x = P ( y ) . Biasanya program-program ini diambil dari beberapa set Turing-complete (seperti P mungkin merupakan deskripsi mesin Turing, atau bisa juga program di LISP atau C). …

12 reference-request  computability  kolmogorov-complexity 

Jika adalah grafik dengan derajat 3 maksimum dan merupakan minor , maka adalah minor topologiH G HGGGHHHGGGHHH . Wikipedia mengutip hasil ini dari "Grafik Theory" Diestel. Itu terdaftar sebagai Prop 1.7.4 di versi terbaru buku. Buku ini tidak memiliki bukti atau kutipan. Apakah keberadaannya diketahui sebagai bukti (asli) dari ini? …

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

Saya mencari logika modal, yang dixiomatiskan oleh serangkaian aksioma terbatas dari modal nesting depth one, dan yang masalah kelayakan / derabilitasnya tidak mungkin terjadi di PSPACE. Tanpa batasan pada modal nesting depth ini bukan masalah, lihat misalnya PDL. Tetapi tampaknya dalam membuktikan misalnya EXPTIME-hardness dengan mereduksi ke beberapa jenis masalah …

12 cc.complexity-theory  lo.logic  modal-logic 

Dalam Algoritma Enkripsi Kecil : Kelipatan yang berbeda dari konstanta sihir digunakan untuk mencegah serangan sederhana berdasarkan simetri putaran. Konstanta ajaib, 2654435769 atau 9E3779B9 16 dipilih menjadi , dengan ϕ adalah rasio emas.232/ϕ232/ϕ2^{32}/ \phi Properti apa yang dimiliki yang membuatnya berguna dalam konteks ini?232/ϕ232/ϕ2^{32}/ \phi

12 cr.crypto-security 

Apakah ada survei (dari makalah, bab buku, tutorial, tautan, ...) tentang semantik dari berbagai fitur bahasa pemrograman? Saya awalnya kewalahan oleh fitur-fitur D di sini http://www.digitalmars.com/d/2.0/comparison.html Saya ingin melihat apa yang mungkin saya dapat dari sini, walaupun saya telah mengajukan pertanyaan serupa tentang stackoverflow dan memahami kedua situs ini memiliki …

12 reference-request  pl.programming-languages  survey 

Ada beberapa gagasan yang saling bersaing tentang "grafik jarang". Misalnya, grafik permukaan-embeddable dapat dianggap jarang. Atau grafik dengan kepadatan tepi terbatas. Atau grafik dengan ketebalan tinggi. Grafik dengan ekspansi besar. Grafik dengan treewidth terikat. (Bahkan di dalam subbidang grafik acak, itu sedikit ambigu untuk apa yang bisa disebut jarang.) Dan …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture