Pertanyaan yang diberi tag «open-problem»

Bab 1 buku Metode Probabilistik, oleh Alon dan Spencer menyebutkan masalah berikut: Diberikan grafik , putuskan apakah konektivitas tepinya setidaknya n / 2 atau tidak.GGGn/2n/2n/2 Penulis menyebutkan adanya sebuah algoritma oleh Matula dan meningkatkan ke O ( n 8 / 3 log n ) .O(n3)O(n3)O(n^3)O(n8/3logn)O(n8/3log⁡n)O(n^{8/3}\log n) Pertanyaan saya adalah, apa …

13 ds.algorithms  open-problem  graph-algorithms 

Teori kompiler tampaknya menjadi subjek yang cukup diperiksa. Apa saja masalah terbuka atau penelitian terkini yang terjadi di lapangan?

13 soft-question  big-list  open-problem  compilers 

Diketahui bahwa menentukan apakah triangulasi 3-manifold yang diberikan adalah 3-bola di NP, melalui kerja oleh Saul Schleimer pada tahun 2004: "Pengenalan bola terletak pada NP" arXiv: math / 0407047v1 [math.GT] . Saya bertanya-tanya apakah ini telah ditetapkan untuk melengkapi NP dalam lima atau enam tahun terakhir? Masalah analog, seperti masalah …

13 cc.complexity-theory  reference-request  open-problem  topology 

Greibach terkenal didefinisikan bahasa , yang disebut versi non-deterministik dari D 2 , sehingga setiap CFL adalah gambar morphic kebalikan dari H . Apakah ada pernyataan serupa dengan DCFL, mungkin dengan pembatasan morfisme diizinkan?HHHD2D2D_2HHH (Lihat, misalnya, M. Autebert, J. Berstel, dan L. Boasson. Bahasa bebas konteks dan automata pushdown. Dalam …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Saya mencari daftar tentang kompleksitas yang diketahui atau tidak diketahui dari berbagai masalah teori / aljabar. Sebagai contoh, GCD di terbuka,NC1NC1NC^1 anjak piutang dalam terbuka,PPP komputasi berkas cohomology yaitu -Hard# P#P\#P , Arora dan Barak menyatakan bahwa varian anjak piutang adalah lengkap (meskipun ini tidak jelas berdasarkan diskusi di An …

12 cc.complexity-theory  big-list  algebra  open-problem 

Apa masalah dengan properti berikut: 1) mereka adalah pembatasan (mungkin diketahui) masalah yang PSPACE-complete; 2) versi terbatasnya ada di PSPACE, tetapi ini merupakan masalah terbuka jika mereka PSPACE-complete (atau bahkan jika mereka NP-hard). Empat contoh dari "puzzle & C.": Kompleksitas 1x1 Rush Hour [1] (PSPACE-complete untuk blok ukuran 2x1); [ …

12 big-list  open-problem 

Oleh http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Jika adalah bahasa PSPACE-lengkap, P A = N P A .AAAPA=NPAPA=NPAP^{A}=NP^{A} Jika adalah oracle waktu polinomial deterministik, P B ≠ N P B (dengan asumsi P ≠ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP adalah kelas masalah keputusan analog untuk # P dan P ⊆ P P ⊆ P S …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Dalam proyek-proyek Polymath, sebuah kelompok besar mengerjakan masalah terbuka. Masalah apa yang tampaknya paling berhasil dalam kerangka kerja ini? Apakah ada kandidat yang baik untuk proyek polymath dalam ilmu komputer teoretis? Adakah kendala yang membuat proyek Polymath lebih kecil kemungkinannya untuk berhasil dalam ilmu komputer teoretis dibandingkan dengan bidang matematika …

10 soft-question  open-problem  research-practice 

Dalam kompleksitas komunikasi, dugaan log-rank menyatakan hal itu cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Di mana adalah kompleksitas komunikasi M ( x , y ) dan r k ( M ) adalah pangkat M (sebagai matriks) atas real.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Namun, bila Anda hanya menggunakan rank-metode untuk menurunkan terikat Anda dapat menggunakan r k …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

Saya menemukan sebuah artikel yang diterbitkan di Science "Memcomputing masalah NP-lengkap dalam waktu polinomial menggunakan sumber daya polinomial dan negara kolektif" , yang membuat beberapa klaim yang cukup mencengangkan. Memcomputing adalah paradigma komputasi non-Turing baru yang menggunakan sel memori yang berinteraksi (memprocessors) untuk menyimpan dan memproses informasi pada platform fisik …

9 np-complete  open-problem 

Kita tahu bahwa . Dari Teorema Savitch, , dan, dari Space Hierarchy Teorem, . Jadi, karena kita tidak tahu apakah , kita tidak tahu apakah , atau kita tahu itu ? Adakah yang mencoba membuktikan bahwa \ mathcal L ^ 2 \ subseteq \ mathcal P ? Apa hasil terbaru, …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Background––––––––––––––Background_\underline{\bf Background} Pada tahun 2005, Regev [1] memperkenalkan masalah Learning with Errors (LWE), generalisasi dari Learning Parity with Error error. Asumsi kekerasan masalah ini untuk pilihan parameter tertentu sekarang mendasari bukti keamanan untuk sejumlah kriptografi pasca-kuantum di bidang kriptografi berbasis kisi. Versi "kanonik" LWE dijelaskan di bawah ini. Persiapan: Misalkan …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

The Cerny dugaan adalah pernyataan bahwa setiap sinkronisasi otomat dengan negara memiliki kata sinkronisasi panjang paling . Batas atas saat ini terbaik untuk panjang kata sinkronisasi adalah . Katakanlah dua negara digabung oleh sebuah kata jika kata itu membawa kedua negara ke kondisi yang sama. Argumen tipe lemma pemompaan menunjukkan …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization