Ilmu Komputer Teoritis

Ini adalah abstraksi dari masalah pembelajaran / bandit online yang telah saya kerjakan di musim panas. Saya belum pernah melihat masalah seperti ini sebelumnya, dan itu terlihat cukup menarik. Jika Anda tahu ada pekerjaan terkait, saya sangat menghargai referensi. Masalah Pengaturannya adalah bandit multi-bersenjata. Anda memiliki lengan N. Setiap lengan …

19 machine-learning  lg.learning  online-learning 

Untuk konkret pertimbangkan LP untuk menyelesaikan permainan zero-sum dua pemain di mana setiap pemain memiliki tindakan. Misalkan setiap entri dari matriks hasil A paling banyak 1 dalam nilai absolut. Untuk kesederhanaan, jangan membuat asumsi sparsity.nnnAAA Misalkan runtime tersedia untuk memperkirakan nilai game ini.TTT Salah satu teknik untuk mendekati nilai ini …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

Pertanyaan teori permainan baru-baru ini membuat saya berpikir (ini bersinggungan, tentu saja): Apakah mungkin untuk secara efisien mengoptimalkan strategi pribadi untuk memilih pertanyaan penelitian untuk dikerjakan menggunakan teori permainan? Untuk menuju formalisasi pertanyaan, saya akan membuat asumsi berikut (yang dinyatakan secara informal): Saya sama-sama "menikmati" masalah tertentu yang tersedia untuk …

19 soft-question  gt.game-theory 

Misalkan menjadi grafik sederhana pada n simpul ( n > 3 ) tanpa simpul derajat n - 1 . Misalkan untuk setiap dua simpul G , ada simpul unik yang berdekatan dengan keduanya. Ini adalah latihan dari A Course in Combinatorics , van Lint dan Wilson, untuk membuktikan bahwa grafik …

19 graph-theory  co.combinatorics  puzzles 

Saya telah mencari algoritma yang paling efisien (streaming ??) yang memberitahu saya elemen 'k' paling sering terjadi dalam aliran data di setiap titik waktu. Posting ini: "Alur dan taklukkan" algoritma aliran data membuat saya tertarik padanya. Misalnya, anggap ada angka: (4,3,5,1,6,2,4,3,3,8,9,1) dan saya meminta 3 nomor yang paling sering muncul …

19 ds.algorithms  online-algorithms  data-streams 

Bagaimana Anda mendesain gambar untuk menggambarkan dugaan game unik? Ini untuk presentasi "Peristiwa Terkini" pada game-game unik pada Pertemuan Gabungan AMS berikutnya dan untuk buklet yang akan diproduksi. Contoh jenis ilustrasi yang dihasilkan di masa lalu adalah di http://www.ams.org/meetings/lectures/current-events-bulletin dan jika Anda mengklik pada edisi 2006 Anda dapat melihat gambar …

19 cc.complexity-theory  unique-games-conjecture 

Pertimbangkan , fungsi yang mengembalikan 1 iff nol muncul berurutan di . Sekarang seseorang memberi saya bukti bahwa dapat dihitung:n π f ( n )f( n )f(n)f(n)nnnππ\pif( n )f(n)f(n) Baik untuk semua n, muncul di , atau ada st muncul di dan tidak. Untuk kemungkinan pertama ; Untuk yang kedua …

19 computability 

Kebanyakan implementasi modern dari ekspresi reguler, seperti yang ada di perl atau .NET, melampaui definisi ilmu komputer klasik dari REGEX dengan fitur-fitur seperti lookahead dan lookbehind. Apakah fitur-fitur ini membuat mereka menguraikan pernyataan yang tidak dapat dijelaskan dengan otomat terbatas, non-pushdown? Seberapa jauh lebih dekat dengan turing menyelesaikan ini membuat …

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

"Optimasi cembung online" Zinkevich ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) menggeneralisasi "penyesalan minimalisasi" algoritma pembelajaran dari pengaturan linier ke pengaturan cembung dan memberikan "penyesalan eksternal" yang bagus. . Apakah ada generalisasi serupa untuk penyesalan internal? (Aku tidak sepenuhnya yakin apa artinya itu.)

19 lg.learning  online-learning 

Apakah ada survei algoritma untuk menghitung interpolant? Bagaimana dengan makalah pada hanya satu algoritma? Kasus yang paling saya minati adalah A=¬p∧qA=¬p∧qA=\lnot p\land q dan C=qC=qC=q , ditambah kendala bahwa interpolant sekecil mungkin. (Saya tahu makalah McMillan dari 2005 , yang menjelaskan cara mendapatkan interpolant, sambil menghindari pembilang.) Latar belakang: teorema …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

Dalam bagian "Pengantar Bahasa Pemrograman" Anthony Aaby tentang Semantik , ia membuat pengamatan berikut: Banyak pekerjaan dalam semantik bahasa pemrograman termotivasi oleh masalah yang dihadapi dalam mencoba membangun dan memahami program-program penting --- program dengan perintah penugasan. Karena perintah tugas menugaskan nilai ke variabel, tugas dapat memiliki efek yang tak …

19 imperative-programming  semantics  big-picture 

Terkunci . Pertanyaan ini dan jawabannya dikunci karena pertanyaannya di luar topik tetapi memiliki signifikansi historis. Saat ini tidak menerima jawaban atau interaksi baru. Algoritma mana yang paling sering digunakan? Harap tulis satu algoritme per jawaban, usahakan agar jawaban Anda singkat (satu atau dua baris).

19 ds.algorithms  big-list 

Masalah keputusan CNF-SAT dapat digambarkan sebagai berikut: Input: Rumus boolean ϕϕ\phi dalam bentuk normal konjungtif. Pertanyaan: Apakah ada tugas variabel yang memenuhi ?ϕϕ\phi Saya sedang mempertimbangkan beberapa pendekatan berbeda untuk memecahkan CNF-SAT dengan mesin Turing dua-tape non-deterministik . Saya percaya bahwa ada NTM yang memecahkan CNF-SAT dalam langkah .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Saya tertarik pada masalah berikut: diberikan matriks bilangan bulat memutuskan apakah setiap produk tak terbatas dari matriks ini akhirnya sama dengan nol matriks.A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k Ini berarti persis seperti yang Anda pikirkan: kami akan mengatakan serangkaian matriks memiliki properti yang semua produknya akhirnya sama dengan nol jika tidak ada urutan …

19 linear-algebra  decidability 

Apa yang akan menjadi bukti informal / intuitif yang baik untuk 'mencapai titik asal' tentang dualitas LP? Bagaimana cara terbaik untuk menunjukkan bahwa fungsi objektif yang diminimalkan memang minimum dengan cara intuitif memahami batasan? Cara saya diajari Dualitas hanya mengarah pada satu pemahaman yang saya yakini dimiliki oleh BANYAK orang …

19 linear-programming  primal-dual