Ilmu Komputer Teoritis

Sebagian besar makalah sekarang ditulis secara kolaboratif, dan kolaborator sering berada di tempat yang berbeda. Saya selalu menggunakan sistem kontrol versi untuk dokumen dan kode saya, dan juga menemukan kontrol versi penting untuk proyek perangkat lunak kolaboratif, tetapi tampaknya banyak peneliti dalam teori menghindari penggunaannya untuk menulis makalah bersama. Untuk …

20 soft-question  research-practice  software  writing 

Dalam kelas kompleksitas , ada beberapa masalah yang diduga TIDAK berada di kelas , yaitu masalah dengan algoritma paralel deterministik. Masalah Arus Maksimum adalah salah satu contohnya. Dan ada masalah PERCAYA berada di , tetapi bukti belum ditemukan.N C N CPP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Matching sempurna masalah adalah salah satu masalah mendasar yang …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Saya menggunakan Jung ( http://jung.sourceforge.net/ ) untuk memvisualisasikan peringkat halaman dan merasa agak lambat dan sulit untuk menskalakannya melebihi 100 node. Saya ingin tahu alat apa yang digunakan orang untuk analisis dan visualisasi jaringan / jejaring sosial.

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

Dalam makalah "A Compendium of Problem Complete for P" oleh Greenlaw, Hoover dan Ruzzo (PS) (PDF) , ada daftar masalah dalam P yang tidak diketahui berada di NC dan tidak diketahui juga P-complete. . (Daftar ini merangkum semua masalah terbuka dalam survei yang sangat baik oleh Karp dan Ramachandran .) …

20 cc.complexity-theory  open-problem  circuit-complexity 

Misalkan kita memiliki matriks n oleh n. Apakah mungkin untuk menyusun ulang baris dan kolomnya sehingga kita mendapatkan matriks segitiga-atas? Pertanyaan ini dimotivasi oleh masalah ini: Urutan topologis positif Masalah keputusan awal setidaknya sekeras yang ini, jadi hasil NP-kelengkapan akan menyelesaikannya juga. Sunting: Laszlo Vegh dan Andras Frank meminta perhatian …

20 ds.algorithms  np-hardness  open-problem  matrices 

Bahasa daun adalah cara yang indah untuk secara seragam mendefinisikan banyak kelas kompleksitas. Sebagian besar kelas kompleksitas biasanya ditentukan oleh model perhitungan (misalnya, deterministik / acak TM), dan sumber daya terikat (waktu log, ruang poli, dll.). Namun dalam formulasi bahasa daun, hanya ada satu model perhitungan, dan kelas ditentukan dengan …

20 cc.complexity-theory  complexity-classes 

Membaca beberapa utas baru-baru ini tentang komputasi kuantum (di sini , di sini , dan di sini ), membuat saya ingat pertanyaan menarik tentang kekuatan beberapa jenis mesin pelestarian .ℓhalℓp\ell_p Bagi orang yang bekerja dalam teori kompleksitas menuju kompleksitas kuantum, teks pengantar yang bagus adalah makalah Fortnow yang tautannya diposting …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

Biarkan menjadi fungsi. Kami ingin memperkirakan rata-rata ; yaitu: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f: { 0 , 1 }n→ ( 2- n, 1 ]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n …

20 ds.algorithms  randomized-algorithms  black-box 

Ada literatur besar tentang "pengujian properti" - masalah membuat sejumlah kecil permintaan kotak hitam ke fungsi untuk membedakan antara dua kasus:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff adalah anggota dari beberapa kelas fungsiCC\mathcal{C} fff adalah -far dari setiap fungsi di kelas .εε\varepsilonCC\mathcal{C} Rentang fungsi kadang-kadang Boolean: , tetapi tidak selalu.RRRR={0,1}R={0,1}R = \{0,1\} Di …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Sebuah rantai Selain merupakan urutan bilangan bulat positif di mana dan masing-masing indeks , kita memiliki untuk beberapa indeks . The panjang rantai Selain adalah ; yang sasaran dari rantai samping adalah .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j …

20 reference-request  np-hardness 

Secara umum, query-tape untuk oracle diperhitungkan dalam kompleksitas ruang TM. Namun, tampaknya masuk akal untuk memungkinkan rekaman-saja oracle-tape (seperti yang digunakan dalam pengurangan ruang-L). Apakah konstruksi seperti itu bermanfaat? Apakah itu menghasilkan hasil yang sangat tidak masuk akal?

20 cc.complexity-theory  space-bounded  oracles 

Referensi-diri dari masalah P / NP kadang-kadang telah disorot sebagai penghalang untuk penyelesaiannya, lihat, misalnya, makalah Scott Aaronson, apakah P vs. NP independen secara formal ? Salah satu dari banyak resolusi yang dapat dipikirkan untuk P / NP akan menjadi sebuah demonstrasi bahwa masalahnya secara formal independen dari ZFC atau …

20 cc.complexity-theory  lo.logic 

Kompleksitas kelas PPAD (misalnya, menghitung berbagai kesetimbangan Nash) dapat didefinisikan sebagai sekumpulan masalah pencarian total yang dapat direduksi menjadi polytime menjadi END OF THE LINE : END OF THE LINE : Sirkuit yang diberikan S dan P dengan n bit input dan n bit output sedemikian sehingga P (0 n …

20 reference-request  combinatory-logic  graph-theory  ppad 

[Catatan: Saya yakin pertanyaan ini sama sekali tidak bergantung pada benar atau tidaknya makalah Deolalikar.] Di blog Scott Aaronson, Shtetl Optimized , dalam diskusi tentang upaya Deolalikar baru-baru ini pada P vs NP, Leonid Gurvits membuat komentar berikut : Saya mencoba memahami / merumuskan kembali pendekatan, dan inilah usaha saya, …

20 cc.complexity-theory  lower-bounds  tensor-rank 

Dengan beberapa algoritma acak Anda dapat derandomisasi algoritma, menghilangkan (dengan biaya yang mungkin dalam waktu berjalan) penggunaan bit acak dan memaksimalkan beberapa batas bawah pada tujuan (biasanya dihitung menggunakan fakta bahwa teorema adalah tentang kinerja yang diharapkan dari acak algoritma). Apakah ada persamaan untuk algoritma kuantum? Apakah ada hasil "dequantisasi" …

20 derandomization  quantum-computing