Hari ini di New York dan di seluruh dunia Ulang tahun Christos Papadimitriou dirayakan. Ini adalah kesempatan yang baik untuk bertanya tentang hubungan antara PPAD kelas kompleksitas Christos (dan kelas terkait lainnya) dan komputer kuantum. Dalam makalahnya yang dirayakan tahun 1994, Papadimitriou...
"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...
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....
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...
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 seperti itu...
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,
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...
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
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:
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 iff ,...
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...
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...
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...
Paritas dan seperti kembar yang tidak terpisahkan. Atau begitulah tampaknya selama 30 tahun terakhir. Mengingat hasil Ryan, akan ada minat baru di kelas-kelas kecil.AC0AC0AC^0 Furst Saxe Sipser ke Yao ke Hastad semuanya adalah pembatasan paritas dan acak. Razborov / Smolensky adalah perkiraan...
DFA memiliki kata sinkronisasi jika ada string yang mengirim keadaan DFA ke satu keadaan. Dalam 'The Cerny Conjecture for Aperiodic Automata ”oleh AN Trahtman (Matematika Diskrit dan Ilmu Komputer Teoritis vol. 9: 2, 2007, hal.3-10), ia menulis, Cerny menduga pada tahun 1964 bahwa setiap N-state...
Saya mencari cara untuk mempertahankan pohon rentang yang relatif seimbang dari grafik, karena saya menambahkan node / tepi baru ke grafik. Saya memiliki grafik tidak terarah yang dimulai sebagai satu simpul, "root". Pada setiap langkah, saya menambahkan grafik baik simpul baru dan tepi yang...
EDIT di 2011/02/08: Setelah beberapa referensi menemukan dan membaca, saya memutuskan untuk memisahkan pertanyaan asli menjadi dua yang terpisah. Inilah bagian tentang UP vs NP, untuk bagian kelas sintaksis dan semantik silakan lihat Manfaat untuk kelas sintaksis dan semantik . U PUP\mathsf{UP}...
Saya bertanya-tanya apakah spesifikasi JSON mendefinisikan bahasa biasa. Tampaknya cukup sederhana, tetapi saya tidak yakin bagaimana membuktikannya sendiri. Alasan saya bertanya, adalah karena saya bertanya-tanya apakah seseorang dapat menggunakan ekspresi reguler untuk mengurai JSON secara...
Saya pernah membaca di suatu tempat bahwa mesin Turing tidak dapat menghitung ini dan karena itu tidak dapat diputuskan tetapi mengapa? Mengapa secara komputasi mustahil bagi mesin untuk menghasilkan pohon parse dan membuat keputusan? Mungkin saya salah dan itu bisa
Teorema favorit saya dalam teori kompleksitas adalah teorema hierarki waktu. Namun, ini dilakukan pada tahun 1965. Saya ingin tahu kalau ada sesuatu yang serupa dengan Quantum Computing. Juga, jika bukan apa yang orang / kelompok bekerja di arah