Ilmu Komputer Teoritis

Apa alasan kuat untuk meyakini ? L adalah kelas algoritma ruang log dengan pointer ke input.L ≠ PL≠PL\neq P Misalkan L = P untuk saat ini. Seperti apa algoritma ruang-log untuk masalah P-complete dalam garis besarnya?

23 cc.complexity-theory  complexity-classes 

Saya tahu bahwa secara sepintas fungsi OR pada variabel dapat direpresentasikan dengan tepat oleh polinomial seperti: , yang bertingkat .x 1 , ... , x n p ( x 1 , ... , x n ) p ( x 1 , ... , x n ) = 1 - ∏ …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

Dari apa yang saya mengerti (yang sangat sedikit, jadi tolong perbaiki saya di mana saya salah!), Teori bahasa pemrograman sering berkaitan dengan bukti "intuitionistic". Dalam interpretasi saya sendiri, pendekatan itu menuntut kita untuk menganggap serius konsekuensi perhitungan logika dan kemampuan. Bukti tidak dapat ada kecuali ada algoritma yang membangun konsekuensi …

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

Pertimbangkan masalah pengoptimalan dari formulir berikut. Misalkan f(x)f(x)f(x) menjadi fungsi yang dapat dihitung polinomial-waktu yang memetakan string menjadi bilangan rasional. Masalah optimasinya adalah ini: berapakah nilai maksimum atas bit string ?f ( x ) nxxxf(x)f(x)f(x)nnnxxx Mari kita katakan bahwa masalah seperti itu memiliki karakterisasi minimax , jika ada fungsi computable …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Saya memposting ini sebelumnya di MSE, tetapi disarankan bahwa mungkin ada tempat yang lebih baik untuk bertanya. Teorema aproksimasi universal menyatakan bahwa "jaringan umpan-maju multilayer standar dengan satu lapisan tersembunyi, yang berisi jumlah neuron tersembunyi yang terbatas, adalah aproksimator universal di antara fungsi kontinu pada subset ringkas Rn, dengan asumsi …

23 approximation-algorithms  ne.neural-evol  na.numerical-analysis 

Beberapa dari Anda mungkin telah mengikuti pertanyaan ini , yang ditutup karena tidak menjadi level penelitian. Jadi, saya mengekstraksi bagian pertanyaan yang ada di tingkat penelitian. Di luar teknik "sederhana", seperti mengurangi menjadi penyortiran atau masalah lengkap EXPTIME, teknik apa yang telah digunakan untuk membuktikan batas bawah untuk kompleksitas waktu …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Saya mencoba untuk menemukan seberapa dekat dan sebenarnya, ketika dan adalah konstanta yang tidak bergantung pada n (jadi ). Perkiraan saya adalah whp, tetapi saya belum dapat membuktikannya.E [ t w ( G ) ] G ∈ G ( n , p = c / n ) c > 1 …

23 graph-theory  co.combinatorics  treewidth  random-graphs 

Kita tahu bahwa Maximum Independent Set (MIS) sulit diperkirakan dalam faktor untuk setiap kecuali P = NP. Apa sajakah kelas grafik khusus yang dapat diketahui algoritma perkiraannya dengan lebih baik? ϵ > 0n1 - ϵn1−ϵn^{1-\epsilon}ϵ > 0ϵ>0\epsilon > 0 Grafik apa yang diketahui algoritma waktu polinomial? Saya tahu untuk grafik …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

Masalah Berhenti menyatakan bahwa tidak mungkin untuk menulis program yang dapat menentukan apakah program lain berhenti, untuk semua program input yang mungkin . Saya dapat, bagaimanapun, tentu saja menulis sebuah program yang dapat menghitung waktu berjalan dari program seperti: for(i=0; i<N; i++) { x = 1; } dan mengembalikan kompleksitas …

23 computability  time-complexity  formal-methods  se.software-engineering 

Diberikan seperangkat SSS orang yang saya ingin duduk mereka untuk urutan makanan di meja ukuran kkk . (Tentu saja, ada cukup meja untuk duduk semua | S||S||S| untuk setiap makan.) Saya ingin mengatur ini sehingga tidak ada yang berbagi meja dengan orang yang sama dua kali. Nilai tipikal adalah | …

23 graph-theory  co.combinatorics 

Jelas ada pengurangan dari CLIQUE ke k-Color karena keduanya NP-Complete. Bahkan, saya bisa membuat satu dengan menyusun pengurangan dari CLIQUE ke 3-SAT dengan pengurangan dari 3-SAT ke k-Color. Yang saya bertanya-tanya adalah apakah ada pengurangan langsung yang masuk akal antara masalah-masalah ini. Katakanlah, pengurangan yang bisa saya jelaskan kepada seorang …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Diketahui bahwa Siklus Hamiltonian (disingkat Ham) adalah NP-complete dan Planar Ham Cycle adalah NP-Complete. Buktinya untuk Planar Ham Cycle bukan dari Ham Cycle. Apakah ada gadget bagus yang akan, diberi grafik G, mengganti semua penyeberangan dengan beberapa gadget planar sehingga Anda memiliki grafik planar G 'sedemikian rupa sehingga G memiliki …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Baru-baru ini saya telah melihat beberapa artikel tentang arxiv yang merujuk pada sistem bukti yang disebut sum-of-square. Dapatkah seseorang menjelaskan apa yang merupakan bukti jumlah kotak dan mengapa bukti semacam itu penting / menarik? Bagaimana mereka terkait dengan sistem bukti aljabar lainnya? Apakah mereka semacam dualitas bagi Lassere?

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

Saya baru-baru ini mendapatkan makalah saya ditolak dari jurnal (yaitu, TALG) atas dasar tidak memiliki perbedaan yang signifikan antara versi jurnal dan prosiding (yaitu, SODA). Alasan utama saya mengirimkan jurnal adalah proses peninjauannya yang menyeluruh. Selain itu, batas 20 halaman SODA lebih dari cukup untuk semua yang ingin saya katakan. …

23 soft-question  research-practice  conferences  journals 

Terinspirasi oleh pertanyaan ini , apa masalah utama dan solusi yang ada yang perlu perbaikan dalam domain sistem terdistribusi (teoritis). Sesuatu seperti protokol keanggotaan, konsistensi data?

23 big-list  dc.distributed-comp