Ilmu Komputer Teoritis

Ungkapan tepat dari judul adalah karena Anand Kulkarni (yang mengusulkan situs ini dibuat). Pertanyaan ini diajukan sebagai contoh pertanyaan, tetapi saya sangat ingin tahu. Saya tahu sedikit tentang geometri aljabar, dan pada kenyataannya juga hanya memiliki sepintas, pemahaman sarjana tentang hambatan yang dimainkan dalam pertanyaan P / poly versus NP …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

Ini sepanjang garis " Algoritma dari Kitab ". Meskipun reduksi adalah algoritme juga, saya pikir ragu bahwa orang akan memikirkan pengurangan respons terhadap pertanyaan tentang algoritme dari buku ini. Oleh karena itu permintaan yang terpisah! Pengurangan dari semua jenis dipersilahkan. Saya akan mulai dengan pengurangan yang sangat sederhana dari vertex …

22 ds.algorithms  np-hardness  big-list  reductions 

x∈Rnx∈Rnx \in \mathbb{R}^n∥x∥0&lt;k‖x‖0&lt;k\|x\|_0 < kA R nAxAxAxAAARRRnnnR≪nR≪nR \ll nAAAkkk-Sparse dengan sekecil . Saya mungkin tidak memiliki parameter yang paling dikenal tetapi ini adalah ide umum.R O ( k n o ( 1 ) )xxxRRRO(kno(1))O(kno(1))O(k n^{o(1)}) Pertanyaan saya adalah: apakah ada fenomena serupa di pengaturan lain? Yang saya maksud adalah bahwa …

22 ds.algorithms  ds.data-structures  compressed-sensing 

Apakah ada yang tahu tentang program open-source untuk menghitung dekomposisi Tree dari grafik untuk "k" (lebar) yang diperbaiki? Saya tahu bahwa masalah menemukan Tree-Decomposition adalah NP-Hard untuk variabel "k", tetapi instance input saya akan sangat kecil (~ 10 node) dan "k" sudah diperbaiki.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

semua orang tahu ada banyak masalah keputusan yang NP-keras pada grafik umum, tapi saya tertarik pada masalah yang bahkan NP-keras ketika grafik yang mendasari adalah jalan. Jadi, bisakah Anda membantu saya untuk mengumpulkan masalah seperti itu? Saya sudah menemukan pertanyaan terkait tentang masalah NP-hard pada pohon .

22 graph-theory  np-hardness 

Saya membaca " Apakah P Versus NP Secara Independen? " Tetapi saya bingung. Dipercaya secara luas dalam teori kompleksitas bahwa . Pertanyaan saya adalah bagaimana jika ini tidak dapat dibuktikan (katakanlah di ). (Mari kita asumsikan bahwa kita hanya mengetahui bahwa independen dari tetapi tidak ada informasi lebih lanjut tentang …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Saya mencari bahasa yang "mungkin bukan Bebas Konteks" tetapi kami tidak dapat (buktikan) menggunakan teknik standar yang dikenal. Apakah ada survei terbaru pada subjek atau bagian masalah terbuka dari konferensi baru-baru ini? Mungkin tidak banyak bahasa yang tidak dikenal sebagai CF, jadi jika Anda mengetahuinya, Anda juga dapat mempostingnya sebagai …

21 reference-request  big-list  context-free 

Baru-baru ini, saya melalui pengalaman menyenangkan yang menyakitkan dengan menjelaskan secara informal konsep kompleksitas komputasi kepada seorang programmer otodidak berbakat muda, yang tidak pernah mengambil kursus formal dalam algoritma atau kompleksitas sebelumnya. Tidak mengherankan, banyak gagasan yang tampak aneh pada awalnya tetapi masuk akal dengan beberapa contoh (PTIME, tidak bisa …

21 cc.complexity-theory  ds.algorithms  np-hardness 

Saya menulis makalah dalam ilmu komputer teoritis kadang-kadang menjadi penulis tunggal nonanonim. Sebelumnya, saya menggunakan orang pertama jamak dalam makalah tersebut, misalnya: Kami akan menunjukkan bahwa kompleksitas kelas X dan Y bersamaan. Saya bukan penutur bahasa Inggris asli atau sangat pandai berbahasa Inggris. Baru-baru ini, saya mendapat saran dari penutur …

21 soft-question  paper-review  writing 

Diketahui bahwa masalah berikut ini adalah PSPACE-complete: Diberi persamaan reguler , apakah ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Bagaimana dengan menentukan ekivalensi dengan persamaan reguler (tetap) ?αα\alpha Diberi persamaan reguler , apakah ?L ( β ) = L ( α )ββ\betaL ( β) …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Apakah ada masalah alami dalam P yang terikat waktu berjalan paling dikenal adalah dari bentuk , di mana adalah konstanta irasional ?O ( nα)HAI(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Masalah berikut baru-baru ini muncul dalam penelitian saya. Menjadi tidak ahli dalam pertanyaan algoritmik, saya telah mencari Google secara ekstensif dalam mencari masalah yang cocok untuk dikurangi. Saya tidak melihat bagaimana 3SAT akan bekerja, dan meskipun ZOE memiliki semangat yang sama, pengurangannya tidak terlihat jelas. Kemungkinan lain adalah teori eksistensial …

21 cc.complexity-theory 

Mari kita memanggil fungsi superpolinomial jika ditahan untuk setiap c&gt; 0 .f( n )f(n)f(n) c &gt; 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c &gt; 0c&gt;0c>0 Jelaslah bahwa untuk bahasa apa pun L ∈ PL∈PL\in {\mathsf P} ia berpendapat bahwa L ∈ D T I M E ( f( …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Saya menemukan hasil berikut selama penelitian saya. m=ω(√limn → ∞E [ # { | Sebuahsaya- aj| ,1≤i,j≤m}n] =1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1a1,⋯,am[n]m = ω ( n--√)m=ω(n)m=\omega(\sqrt n)Sebuah1, ⋯ , ama1,⋯,ama_1,\cdots,a_m[ n ][n][n] Saya mencari referensi / bukti langsung. Crossposted di MO

21 reference-request  co.combinatorics  pr.probability 

Ketika saya mengajar batas ekor, saya menggunakan progresi yang biasa: Jika rv Anda positif, Anda dapat menerapkan ketimpangan Markov Jika Anda memiliki kemandirian dan juga varian dibatasi, Anda dapat menerapkan ketidaksamaan Chebyshev Jika setiap rv independen juga memiliki semua momen terikat, maka Anda dapat menggunakan ikatan Chernoff. Setelah ini semuanya …

21 reference-request  pr.probability  randomized-algorithms