Câu hỏi được gắn thẻ «open-problem»

Chương 1 của cuốn sách Phương pháp xác suất, của Alon và Spencer đề cập đến vấn đề sau: Đưa ra biểu đồ , quyết định xem kết nối cạnh của nó có ít nhất là hay không.GGGn/2n/2n/2 Tác giả đã đề cập đến sự tồn tại của thuật toán …

13 ds.algorithms  open-problem  graph-algorithms 

Lý thuyết trình biên dịch dường như là một chủ đề khá hiệu lực. Một số vấn đề mở hoặc nghiên cứu hiện tại đang xảy ra trong lĩnh vực này là gì?

13 soft-question  big-list  open-problem  compilers 

Được biết, việc xác định có hay không một hình 3 cạnh tam giác đã cho là hình cầu 3 trong NP, thông qua công việc của Saul Schleimer năm 2004: "Nhận dạng hình cầu nằm trong NP" arXiv: math / 0407047v1 [math.GT] . Tôi tự hỏi nếu điều này …

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

Greibach nổi tiếng được xác định một ngôn ngữ , cái gọi là phiên bản không xác định của , chẳng hạn rằng bất kỳ CFL là một hình ảnh hình thái nghịch đảo của . Có tồn tại một tuyên bố tương tự với DCFL, có thể với một …

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

Tôi đang tìm kiếm một danh sách về sự phức tạp đã biết hoặc chưa biết của các vấn đề lý thuyết / đại số số khác nhau. Ví dụ, GCD trong đang mở,NC1NC1NC^1 bao thanh toán trong là mở,PPP cohomology điện toán sheaf là -hard#P#P\#P , Arora và Barak …

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

Vấn đề với các thuộc tính sau là gì: 1) chúng là hạn chế của các vấn đề (có thể được biết đến) đã hoàn tất PSPACE; 2) các phiên bản bị hạn chế nằm trong PSPACE, nhưng đó là một vấn đề mở nếu chúng hoàn thành PSPACE (hoặc …

12 big-list  open-problem 

Bởi http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Nếu là ngôn ngữ hoàn chỉnh PSPACE, .AAAPA=NPAPA=NPAP^{A}=NP^{A} Nếu là một nhà tiên tri thời gian đa thức xác định, (giả sử ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP PPPPPP là lớp các vấn đề quyết định tương tự cho và ,#P#P\#PP⊆PP⊆PSPACEP⊆PP⊆PSPACEP\subseteq PP\subseteq PSPACE nhưng không biết hay . Nhưng có thật …

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

Trong các dự án Polymath, một nhóm lớn làm việc về một vấn đề mở. Những loại vấn đề dường như làm việc tốt nhất trong khuôn khổ này? Có bất kỳ ứng cử viên tốt cho một dự án polymath trong khoa học máy tính lý thuyết? Có bất …

10 soft-question  open-problem  research-practice 

Trong sự phức tạp trong giao tiếp, phỏng đoán thứ hạng log nói rằng cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Trong đó là độ phức tạp giao tiếp của và là thứ hạng của (dưới dạng ma trận) so với thực tế.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Tuy nhiên, khi bạn chỉ sử dụng phương thức xếp …

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

Tôi tình cờ thấy một bài báo được đăng trên Science "Memcomputing NP - hoàn thành các vấn đề trong thời gian đa thức sử dụng tài nguyên đa thức và các trạng thái tập thể" , điều này đưa ra một số tuyên bố khá đáng kinh ngạc. Memcomputing …

9 np-complete  open-problem 

Chúng ta biết rằng L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Từ định lý Savitch,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal PL2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P Hơn nữa, có tồn tại hay không một vấn đề không phải là -complete là một câu hỏi mở và sự tồn tại như vậy sẽ ám chỉ , như mọi …

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

Background––––––––––––––Background_\underline{\bf Background} Năm 2005, Regev [1] đã giới thiệu vấn đề Học với Lỗi (Lwe), một khái quát về Bài toán tương đương với Lỗi. Giả định về độ cứng của vấn đề này đối với các lựa chọn tham số nhất định hiện làm cơ sở cho bằng chứng …

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

Các Cerny phỏng đoán là tuyên bố rằng bất kỳ automaton đồng bộ hóa với bang có một từ đồng bộ hóa có độ dài tối đa là . Giới hạn trên tốt nhất hiện tại cho độ dài của từ đồng bộ hóa là . Giả sử hai trạng …

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