Ilmu Komputer Teoritis

Latar Belakang Kompleksitas sirkuit didefinisikan sebagai himpunan rangkaian keluarga (yaitu rangkaian rangkaian, satu untuk setiap ukuran input) dengan kedalaman terikat dan ukuran polinomial yang dibangun menggunakan kipas-in tanpa batas AND, OR, dan NOT.AC0AC0AC^0 Fungsi paritas dengan input n- bit sama dengan XOR bit dalam input.⊕⊕\oplusnnn Salah satu lowerbound sirkuit pertama …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Saya mencoba menyusun taksonomi algoritma untuk mengubah ekspresi reguler menjadi automata sehingga dapat melakukan beberapa tes empiris dari sifat kompleksitas mereka di domain tertentu. Saya mengetahui beberapa nama 'besar', misalnya, Thompson "Algoritma Pencarian Ekspresi Reguler", Thompson, 1968 Glushkov "Algoritma Quadratic Baru untuk Mengubah Ekspresi Reguler menjadi Automaton", Ponty, et. al, …

10 automata-theory  fl.formal-languages  regular-expressions 

Resolusi adalah skema untuk membuktikan ketidakpuasan CNF. Bukti dalam resolusi adalah deduksi logis dari klausa kosong untuk klausa awal CNF. Khususnya setiap klausa awal dapat disimpulkan, dan dari dua klausa dan klausa A \ lor B dapat disimpulkan juga. Sangkalan adalah urutan pemotongan yang diakhiri dengan klausa kosong.A∨xA∨xA \lor xB∨¬xB∨¬xB …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

Ketika berurusan dengan kategori teori domain (katakanlah CPO dan CPO), saya sering berharap untuk kamus untuk bahasa teori kategori dalam teori domain.ωω\omega Artinya, diberikan konsep, katakan panah monic, saya bisa mencarinya di kamus dan melihat apa karakterisasi yang diketahui dalam kategori domain yang berbeda. Saya menyadari keinginan ini terlalu banyak …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

Harvey Friedman menunjukkan bahwa ada hasil titik tetap rapi yang tidak dapat dibuktikan dalam ZFC (teori himpunan Zermelo-Frankel biasa dengan Aksioma Pilihan). Banyak logika modern dibangun di atas operator titik tetap, jadi saya bertanya-tanya: apakah ada konsekuensi yang diketahui dari teorema Fixed Shift Upper Point untuk ilmu komputer teoretis? Teorema …

10 computability  lo.logic 

Dalam Universal Blind Quantum Computation , autors menggambarkan protokol berbasis pengukuran yang memungkinkan pengguna yang hampir klasik untuk melakukan perhitungan sewenang-wenang pada server kuantum tanpa mengungkapkan hampir apa pun tentang konten perhitungan. Dalam deskripsi protokol, penulis menyebutkan "set ketergantungan" yang terkait dengan setiap qubit, yang seharusnya dihitung dengan beberapa metode …

10 quantum-computing  cr.crypto-security 

Pertama-tama, saya masih tidak yakin apakah cerita ini disesuaikan dengan baik untuk pertanyaan ini, jadi saya tidak akan tersinggung jika orang banyak berpikir itu tidak terjadi ... Dalam pemasaran mesin pencari, beberapa masalah menarik. Desain mekanisme lelang yang adil (dan menguntungkan) dan perhitungan strategi penawaran optimal di bawah sumber daya …

10 reference-request  lg.learning  gt.game-theory 

Adakah yang tahu tentang serangkaian masalah yang bervariasi secara seragam dan menjangkau salah satu hierarki kompleksitas dan komputabilitas yang "menarik"? Yang menarik, maksud saya, misalnya, Hirarki Polinomial, Hirarki Aritmatika, atau Hirarki Analitik. Atau mungkin (N) P, (N) EXP, 2 (N) EXP, ......\ldots 0 , 0′, 0′¯¯¯¯, 0′ ′, 0′ ′¯¯¯¯¯, …

10 cc.complexity-theory  computability 

Pertanyaan : Apakah memprediksi (sebagaimana didefinisikan di bawah) urutan yang dapat dihitung sama sulitnya dengan masalah penghentian? Elaborasi : "Predict" berarti berhasil memprediksi, yang berarti hanya membuat banyak kesalahan pada tugas mencoba untuk memprediksi bit ke-n dari urutan yang diberikan akses ke bit n-1 sebelumnya (mulai dari bit pertama dan …

10 computability 

Biarkan menjadi permutasi. Perhatikan bahwa sementara bertindak pada domain tanpa batas, deskripsinya mungkin terbatas. Menurut deskripsi , maksud saya adalah program yang menjelaskan fungsionalitas . (Seperti dalam kompleksitas Kolmogorov.) Lihat penjelasan di bawah ini. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Misalnya, fungsi NOT adalah salah satu permutasi tersebut: fungsi TIDAK …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Hiroimono adalah puzzle lengkap populer . Saya tertarik pada kompleksitas komputasi dari teka-teki terkait.NPNPNP Masalahnya adalah: Input : Diberikan satu set titik pada pada x kotak persegi dan integernnnnnnkkk Pertanyaan : Apakah ada poligon bujursangkar (sisi-sisinya sejajar dengan atau sumbu) sedemikian sehingga jumlah titik pada sudut poligon setidaknya ?xxxyyykkk Setiap …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Saya memiliki pertanyaan kelayakan yang dapat dibingkai sebagai berikut. Saya diberi titik dalam ruang vektor dimensional, dan saya ingin mencari titik terdekat ke yang memenuhi seperangkat " kendala" dari formulird q p ℓ 0pppdddqqqpppℓ0ℓ0\ell_0 Diberikan himpunan , paling banyak dari dapat berupa nol.{ q j , j ∈ S }S∈[1…d]S∈[1…d]S …

10 ds.algorithms  approximation-algorithms  linear-programming 

Saya memiliki LP berikut: /* Fungsi objektif */ min: 1 w + 2 x + 0,5 y + z; / * Batas variabel * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; Dalam …

10 linear-programming 

Transaksi basis data klasik yang disederhanakan dapat dilihat sebagai: membaca item M. melakukan beberapa perhitungan berdasarkan bacaan tersebut menulis beberapa hasil N berdasarkan perhitungan ini, yang dapat mencakup unsur-unsur yang awalnya dibaca. Saat melakukan transaksi ini (secara bersamaan) properti ACID perlu dipertahankan. Persis persyaratan yang sama (pembaruan N berdasarkan M …

10 ds.algorithms  dc.distributed-comp 

Mengingat digraf G yang sangat terhubung dengan tepi berbobot, saya ingin mengidentifikasi tepian yang terbukti bukan bagian dari subgraph minimal terhubung kuat (MSCS) dari G. Salah satu metode untuk menemukan tepi tersebut adalah algoritma Floyd-Warshall yang dimodifikasi. Dengan menggunakan algoritma Floyd-Warshall, orang dapat mengidentifikasi tepi mana yang tidak pernah merupakan …

10 ds.algorithms  graph-theory  graph-algorithms