Ilmu Komputer Teoritis

Telah diketahui secara umum bahwa tidak ada protokol dua pihak deterministik yang dapat menyelesaikan masalah disjointness (DISJ) pada input bit tanpa mengirim bit dalam kasus terburuk (lihat, misalnya, buku oleh Kushilevitz dan Nisan). Untuk protokol acak terbatas kesalahan, batas bawah , untuk beberapa konstanta , juga telah ditunjukkan dalam makalah …

14 lower-bounds  communication-complexity 

Ellipsoid Löwner-John dari set cembung adalah ellipsoid volume-minimum (MVE) yang melingkupinya. Ellipsoid dapat dihitung dengan menggunakan metode Khachiyan, dan ada sejumlah perkiraan yang tersedia jika C adalah (cembung lambung) seperangkat poin.CCCCCC Adakah pendekatan cepat (yaitu berbasis metode non-ellipsoid) pada MVE dari polyhedron yang dibatasi yang disajikan hanya dalam hal setengah-bidang …

14 cg.comp-geom  convex-geometry 

Diberikan sebagai input bilangan bulat dan himpunan dari himpunan elemen , apa kompleksitas menemukan himpunan elemen dari sedemikian sehingga memiliki kardinalitas minimal dan tidak termasuk dalam set ?nnnSSS{1,...,n}{1,...,n}\{1, ..., n\}TTT{1,...,n}{1,...,n}\{1, ..., n\}TTTSTTTSSS

14 cc.complexity-theory  ds.algorithms 

Dalam makalah ini, Randomized Primal-Dual analisis RANKING untuk Online Bipartite Matching , sementara membuktikan bahwa algoritma RANKING adalah -competitive, penulis menunjukkan bahwa dual tersebut layak dalam harapan (lihat Lemma 3 di halaman 5). Pertanyaanku adalah:(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) Apakah cukup untuk kendala program linier untuk dipenuhi dalam harapan? Adalah satu hal …

14 linear-programming  randomized-algorithms  online-algorithms  matching  primal-dual 

Permainan populer di pesta liburan di Amerika Utara adalah pertukaran hadiah gajah putih . Secara singkat (mengabaikan variasi) berfungsi sebagai berikut: Ada orang dan n hadiah yang belum dibuka. Pemain dipesan secara sewenang-wenang. Di babak , pemain jugannnnnn isayathsayathi^{\text{th}}iii memilih hadiah yang dibungkus dan membuka bungkusnya sebagai hadiah mereka "mencuri" …

14 gt.game-theory  mechanism-design 

Saya sering bingung dengan hubungan antara konversi dan ekstensionalitas. Sunting: Menurut komentar, sepertinya saya juga bingung tentang hubungan antara ekuivalensi ekstensional dan ekuivalen observasi. Tetapi setidaknya di Agda dengan kesetaraan ekstensional untuk fungsi (sebagai postulat), dan untuk kalkulus lambda yang diketik sederhana (yang memiliki semantik abstrak sepenuhnya, jika saya tidak …

14 pl.programming-languages  lambda-calculus 

Apa kelas kompleksitas yang terkait dengan algoritma pencarian lengkap? (jika ada) Apakah NP atau PSPACE? Apakah ada model komputasi terbatas yang menangkap kelas algoritma pencarian lengkap mirip dengan model untuk pemrograman serakah dan dinamis?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Saya membaca " Rangkaian Bahasa Reguler dan Kompleksitas Deskripsional " oleh Galina Jiraskova, 2009 tentang kompleksitas negara yang dihasilkan dari penggabungan dua bahasa reguler (oleh Galina Jiraskova), tetapi saya tidak dapat memahami apa implikasi praktis kompleksitas negara nantinya . Pikiran sepele pertama yang mengejutkan saya adalah bahwa kompleksitas yang lebih …

14 fl.formal-languages  automata-theory  regular-language 

Masalah GI dan Knot keduanya merupakan masalah dalam menentukan kesetaraan struktural dari objek matematika. Apakah ada hasil yang membuat koneksi di antara mereka? Koneksi bagus masalah simpul ke fisika statistik telah dieksplorasi melalui simpul polinomial , apakah ada hasil yang serupa untuk ?G IGsayaGI Akan sangat membantu untuk mengetahui apakah …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Saya ingat pernah melihat sebuah penelitian atau artikel beberapa waktu yang lalu mengklaim bahwa sebagian besar percepatan yang terlihat dalam program komputer selama beberapa dekade terakhir adalah dari algoritma yang lebih baik daripada perangkat keras yang lebih cepat. Adakah yang tahu pelajaran atau artikelnya?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Pertimbangkan ruang nnn dimensi {0,1}n{0,1}n\{0,1\}^n , dan mari menjadi batasan linear dari bentuk , di mana , dan .ccca1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq kai∈Rai∈Ra_i \in \mathbb{R}xi∈{0,1}xi∈{0,1}x_i \in \{0,1\}k∈Rk∈Rk \in \mathbb{R} Jelas, memiliki efek pemisahan dalam dua himpunan bagian dan …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Saya tertarik pada grafik pada nnn simpul yang dapat diproduksi melalui proses berikut. Mulai dengan grafik arbitrer GGG pada k≤nk≤nk\le n simpul. Labeli semua simpul dalam sebagai tidak digunakan .GGG Menghasilkan grafik baru dengan menambahkan titik baru , yang terhubung ke satu atau lebih yang tidak terpakai simpul di , …

14 ds.algorithms  graph-theory  treewidth 

Hasil 1: Teorema Linial-Mansour-Nisan mengatakan bahwa bobot empat fungsi yang dihitung oleh terkonsentrasi pada subset ukuran kecil dengan probabilitas tinggi.AC0SEBUAHC0\mathsf{AC}^0 Hasil 2: The memiliki bobot lebih dari empat, terkonsentrasi pada efisien derajat .PARITYPSEBUAHRsayaTY\mathsf{PARITY}nnn Pertanyaan: Apakah ada cara untuk membuktikan (jika dapat dibuktikan) tidak dapat dihitung oleh sirkuit melalui / menggunakan …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Bahasa fungsional dapat dilihat sebagai kategori di mana objeknya adalah tipe dan fungsi morfisme di antara mereka. Bagaimana kelas tipe cocok dengan model ini? Saya berasumsi bahwa kita hanya harus mempertimbangkan implementasi yang memenuhi batasan yang dimiliki sebagian besar tipe-kelas, tetapi tidak diungkapkan dalam Haskell. Sebagai contoh, kita hanya harus …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Pertanyaan pertama saya adalah apakah karakterisasi sistem bukti interaktif dikenal untuk semua kelas kompleksitas klasik. Saya akan memanggil P, NP, PSPACE, EXP, NEXP, EXPSPACE, fungsi rekursif dan berulang secara berulang klasik (antara lain). Secara khusus, apakah karakterisasi sistem bukti interaktif dikenal untuk fungsi berulang dan berulang secara berulang? Saya hanya …

14 cc.complexity-theory  big-picture  interactive-proofs