Ilmu Komputer Teoritis

Diberikan himpunan bagian dari .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Periksa apakah ada set dengan . (Jika demikian, cari contoh, jika tidak, katakan saja "tidak")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Solusi sepele untuk masalah ini melewati semua pasangan set dan memeriksa inklusi untuk pasangan dalam waktu , sehingga runtime keseluruhan adalah . Bisakah masalah ini diselesaikan lebih cepat? …

24 ds.algorithms  reference-request 

Dengan basis data besar dari kata-kata yang diizinkan (diurutkan menurut abjad) dan sebuah kata, cari kata dari basis data yang paling dekat dengan kata yang diberikan dalam hal jarak Levenshtein. Pendekatan naif, tentu saja, hanya menghitung jarak levenshtein antara kata yang diberikan dan semua kata dalam kamus (kita bisa melakukan …

24 ds.algorithms  reference-request  string-matching  string-search 

Jelas bahwa setiap masalah yang dapat ditentukan dalam deterministic logspace ( LLL ) berjalan paling banyak waktu polinomial ( PPP ). Ada banyak kelas kompleksitas antara LLL dan PPP . Contohnya termasuk NLNLNL , LogCFLLogCFLLogCFL , NCiNCiNC^i , SACiSACiSAC^i , ACiACiAC^i , SCiSCiSC^i . Hal ini secara luas diyakini bahwa …

24 cc.complexity-theory  lower-bounds  space-bounded 

Algoritma Coppersmith-Winograd adalah algoritma yang diketahui paling cepat secara asimptot untuk mengalikan dua matriks persegi. Waktu berjalan dari algoritma mereka adalah yang merupakan yang paling dikenal sejauh ini. Apa kompleksitas ruang dari algoritma ini? Apakah itu di ?n×nn×nn \times nO(n2.376)O(n2.376)O(n^{2.376})Θ(n2)Θ(n2)\Theta(n^2)

24 ds.algorithms  matrices 

Diketahui bahwa NP-complete untuk menguji apakah siklus Hamilton ada dalam grafik 3-reguler, bahkan jika itu adalah planar (Garey, Johnson, dan Tarjan, SIAM J. Comput. 1976) atau bipartit (Akiyama, Nishizeki, dan Saito, J. Inform. Proc. 1980) atau untuk menguji apakah siklus Hamilton ada dalam grafik 4-reguler, bahkan ketika itu adalah grafik …

24 graph-theory  np-hardness  hamiltonian-paths 

Keterjeratan sering dianggap sebagai unsur utama yang membuat algoritma kuantum dengan baik ... kuantum, dan ini dapat ditelusuri kembali ke status Bell yang menghancurkan gagasan fisika kuantum sebagai model probabilistik keadaan tersembunyi. Dalam teori informasi kuantum (dari pemahaman saya yang agak lemah), keterjeratan juga dapat digunakan sebagai sumber daya konkret …

24 quantum-computing  big-picture 

Saya mencari ekspander yang tidak seimbang yang "baik" dan "hemat ruang". Secara khusus, grafik reguler-kiri bipartit , , , dengan derajat kiri adalah ekspander -pengembang jika untuk setiap ukuran paling banyak , jumlah tetangga di setidaknya. Diketahui bahwa metode probabilistik menghasilkan grafik dengan dan . Namun, kita perlu| A | …

24 graph-theory  derandomization  expanders 

Pertanyaan yang sangat spesifik, saya sadar, dan saya ragu itu akan dijawab oleh siapa pun yang belum terbiasa dengan aturan Sihir. Diposting silang ke Draw3Cards . Berikut adalah aturan komprehensif untuk game Magic: the Gathering . Lihat pertanyaan ini untuk daftar semua Kartu Ajaib. Pertanyaan saya adalah - apakah game …

24 turing-machines  card-games  recreational 

Ada literatur yang kaya dan setidaknya satu buku yang sangat bagus menguraikan kekerasan yang diketahui hasil perkiraan untuk masalah NP-keras dalam konteks kesalahan multiplikasi (misalnya 2-perkiraan untuk penutup vertex optimal dengan asumsi UGC). Ini juga termasuk kelas kompleksitas perkiraan yang dipahami dengan baik seperti APX, PTAS dan sebagainya. Apa yang …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Wikipedia mendefinisikan serangan preimage kedua sebagai: diberi pesan tetap m1, cari pesan berbeda m2 sedemikian sehingga hash (m2) = hash (m1). Wikipedia mendefinisikan serangan tabrakan sebagai: temukan dua pesan berbeda sembarang m1 dan m2 sedemikian sehingga hash (m1) = hash (m2). Satu-satunya perbedaan yang bisa saya lihat adalah bahwa dalam …

24 cr.crypto-security  hash-function 

Apa konsekuensi dari memiliki masalah lengkap dalam ?NP∩ c o NPNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Selain menjadi akademis sepenuhnya dan mendapatkan gelar doktor / post-dok, atau mencari pekerjaan yang lebih atau kurang 'standar' dalam pengembangan perangkat lunak, apa sajakah pilihan karir lain di bidang CS teoritis penuh atau semi teoretis?

24 soft-question  advice-request  career 

Apakah ada analog paralel alami dengan pohon merah-hitam dengan sifat yang sama atau bahkan tidak terlalu buruk untuk pembaruan sementara cukup efisien dalam bekerja? Secara umum, apa yang terbaik yang dapat kita lakukan untuk pencarian paralel dengan pembaruan?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Apakah ada masalah NP-lengkap yang diketahui algoritma yang waktu berjalannya diharapkan polinomial (untuk beberapa distribusi yang masuk akal atas contoh)? Jika tidak, adakah masalah yang keberadaan algoritme seperti itu telah ditetapkan? Atau apakah keberadaan algoritma seperti itu menyiratkan adanya algoritma waktu polinomial deterministik?

24 cc.complexity-theory  np-hardness 

Mari kita lihat masa depan sekitar 30 tahun dari sekarang. Mari kita optimis dan berasumsi bahwa bidang yang terkait dengan pembelajaran mesin terus berkembang secepat apa yang telah kita lihat dalam 10 tahun terakhir. Itu akan bagus, tetapi kemudian apa yang akan menjadi peran algoritma tradisional di masa depan? Di …

23 ds.algorithms  soft-question  machine-learning