Saya mencari beberapa saran dan umpan balik. Latar Belakang: Saya seorang mahasiswa matematika sarjana, dengan minat dalam ilmu komputer teoretis (kompleksitas komputasi, teori grafik, kombinatorik). Saya ingin mengejar gelar PhD dalam Ilmu Komputer dan fokus pada teori. Latar belakang saya dalam...
Saya tertarik pada kompleksitas masalah set mendominasi (DSP) di beberapa kelas grafik tertentu yang merupakan subkelas dari grafik chordal . Grafik adalah grafik lintasan yang tidak diarahkan jika itu adalah grafik persimpangan-simpul dari keluarga lintasan di beberapa pohon yang tidak diarahkan....
Mengingat grafik planar, satu kaleng menanamkan dalam waktu linier menyeberang bebas ke dalam jaringan. Saya tertarik apakah ada algoritma yang efisien diketahui garis lurus menanamkan grafik planar menyeberang bebas ke dalam n c × n c grid, untuk beberapa c kecil , sehingga sudut minimum antara...
Salah satu teman saya bertanya kepada saya masalah penjadwalan berikut di pohon. Saya menemukan ini sangat bersih dan menarik. Apakah ada referensi untuk itu? Masalah: Ada pohon , setiap sisi memiliki biaya perjalanan simetris 1 . Untuk setiap simpul v i , ada tugas yang harus dilakukan sebelum...
Pada tahun 1973 Weiner memberikan pembangunan pohon akhiran linear pertama kali. Algoritma disederhanakan pada tahun 1976 oleh McCreight, dan pada tahun 1995 oleh Ukkonen. Namun demikian, saya menemukan algoritma Ukkonen relatif terlibat secara konseptual. Apakah ada penyederhanaan pada algoritma...
Saya memiliki masalah aljabar yang berhubungan dengan vektor di bidang GF (2). Misalkan menjadi (0,1) -vektor dimensi n , dan m = n O ( 1 ) . Cari algoritma waktu polinomial yang menemukan (0,1) -vector u dari dimensi yang sama seperti yang u bukanlah jumlah dari setiap ( log n ) O ( 1 ) vektor...
Apakah ada bukti bahwa emulasi mesin Turing pada mesin Turing yang terlupa tidak dapat dilakukan dalam waktu kurang dari O(mlogm)O(mlogm)\mathcal{O}\left(m\log m\right) mana mmm adalah jumlah langkah yang digunakan mesin Turing? Atau ini hanya batas atas? Dalam makalah Paul Vitányi tentang...
Saya ingin tahu tentang sejarah dua istilah ini: " efisien ", " layak ". Siapa yang menggunakannya tentang perhitungan / algoritma pertama kali? (dalam pengertian modern istilah ini, yaitu abad ke-20). Bagaimana mereka menjadi arus utama? Bagaimana kedua istilah ini mulai digunakan sebagai...
Adakah yang meresmikan hubungan antara teknik parsing pengurangan-pengurangan dan kelanjutan yang dibatasi? Ketika membuat parser bottom-up (mis., Parser LR), kami mengambil tata bahasa dan kemudian menyatakan status parse sebagai set item : produksi augmented dari bentuk , di mana α dan β adalah...
Apakah diketahui apakah umpan balik mengatur masalah pada grafik planar tidak berarah dengan derajat terikat adalah
Fungsi-set adalah submodular monoton jika untuk semua , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BSEBUAH,BA,Bf( A ) + f( B ) ≥ f( A ∪ B ) + f( A ∩ B ) .f(SEBUAH)+f(B)≥f(SEBUAH∪B)+f(SEBUAH∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Properti yang lebih kuat adalah f( A ) +...
Adakah yang bisa daftar beberapa masalah terkenal yang memenuhi kondisi berikut: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
Saya ditugaskan siswa saya masalah menemukan sebuah segitiga yang konsisten dengan koleksi poin di R 2 , diberi label dengan ± 1 . (A segitiga T adalah konsisten dengan sampel berlabel jika T berisi semua positif dan tidak ada poin negatif, oleh asumsi, mengakui sampel minimal 1 segitiga...
Saya punya pertanyaan tentang polinomial derajat rendah dan probabilitas: Apa (perilaku asiptotik dari) probabilitas yang polinomial * acak, , lebih dari GF (2), dengan derajat dan n variabel memiliki .halhalp≤ d≤d\le db i a s ( p ) ≜ | Prx ∈ { 0 , 1 }n( p ( x ) = 0 ) - Prx ∈ { 0 , 1 }n( p ( x ) =...
Untuk merayakan ulang tahun ke-100 Alan Turing, saya ingin menonton film dokumenter tentang hidupnya. Namun, ada beberapa film dokumenter untuk dipilih. Film dokumenter apa tentang Alan Turing yang menjadi favorit Anda? Harap sertakan hanya satu film dokumenter per
Ada beberapa terkenal hasil ukuran sirkuit yang lebih rendah-bound berdasarkan pembatasan acak dan Switching Lemma .AC0AC0\mathsf{AC^0} Bisakah kita mengembangkan hasil Lema Switching untuk membuktikan ukuran yang lebih rendah terikat untuk sirkuit (mirip dengan bukti yang lebih rendah-bound untuk...
Dalam makalah seminal mereka, algoritma Group-theoretic untuk perkalian matriks , Cohn, Kleinberg, Szegedy dan Umans memperkenalkan konsep puzzle yang dapat dipecahkan secara unik (didefinisikan di bawah) dan kapasitas USP. Mereka mengklaim bahwa Coppersmith dan Winograd, di sendiri kertas...
Eliminasi gaussian menentukan determinan matrik polinomial-waktu. Pengurangan kompleksitas dalam menghitung determinan, yang merupakan penjumlahan dari istilah eksponensial, adalah karena adanya tanda-tanda negatif alternatif (kurangnya yang membuat komputasi permanen adalah mis. Lebih sulit...
Rumus terkecil yang diketahui untuk determinan memiliki ukuran menurut cerita rakyat (atau Ran Raz dalam makalahnya Formula Multi-Linier untuk Permanen dan Penentu memiliki Ukuran Super-Polinomial ).nO (logn )nHAI(catatann)n^{\mathcal O(\log n)} Apakah Anda punya referensi untuk ini? Secara...
Teori komputasi cluster-state sudah mapan saat ini, menunjukkan bahwa setiap sirkuit BQP dapat dimodifikasi sehingga hanya menggunakan gerbang kuantum qubit tunggal, mungkin dikontrol secara klasik, menyediakan banyak pasokan kondisi yang dikenal sebagai "negara cluster" - yang adalah sederhana...