Câu hỏi được gắn thẻ «cc.complexity-theory»

Hãy để là một gia đình của tập con -element về một vũ trụ hữu hạn của các đối tượng. Một họ gồm các tập con của , với , là một - tập hợp của nếu với mỗi tồn tại ít nhất một tập như vậy rằng .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

Tôi đang tìm kiếm sự phức tạp của satisfiability của một công thức hoặc của một công thức ∃ x 1 , ... , x m ∀ y 1 , ... , y n , φ nơi φ là công thức có dạng: φ : = φ ∧ φ | …

9 cc.complexity-theory  reference-request  lo.logic 

Giả sử chúng ta hoạt động trong một lĩnh vực hữu hạn. Chúng tôi được cung cấp một đa thức cố định lớn p (x) (của, giả sử, độ 1000) trong lĩnh vực này. Đa thức này được biết trước và chúng tôi được phép thực hiện tính toán bằng …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

Hãy xem xét một công thức 3CNF Monotone có cả hai hạn chế bổ sung sau: Mỗi biến xuất hiện trong đúng mệnh đề.222 Cho mệnh đề bất kỳ , chúng chia sẻ tối đa biến.222111 Tôi muốn biết làm thế nào là khó khăn để đếm các bài tập …

9 cc.complexity-theory  sat  counting-complexity 

Phần lớn các tài liệu điện toán lượng tử tập trung vào mô hình mạch. Điện toán lượng tử đáng tin cậy không dựa trên việc áp dụng một chuỗi các toán tử đơn nhất, mà là thay đổi một Hamiltonian phụ thuộc vào thời gian. Tôi đang tìm kiếm …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Đặt là lớp ngôn ngữ được quyết định bằng cách xen kẽ các máy Turing tạm dừng trong thời gian f ( n ) bằng cách sử dụng khoảng trắng g ( n ) . Đặt A A L T S P ( f ( n ) , g ( …

9 cc.complexity-theory  complexity-classes  structural-complexity 

Đã đóng cửa. Câu hỏi này không đúng chủ đề . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó thuộc chủ đề cho Trao đổi ngăn xếp khoa học máy tính lý thuyết. Đóng cửa 7 năm …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

Trong bài báo từ Adi Shamir [1] từ năm 1979, ông cho thấy, bao thanh toán có thể được thực hiện trong một số lượng lớn các bước số học . Thực tế này đã được trình bày lại, và do đó tôi đã chú ý, trong bài báo gần …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

Có phải mọi ngôn ngữ không thể nhận dạng Turing đều có một tập hợp con hoàn chỉnh NP không? Câu hỏi có thể được coi là một phiên bản mạnh mẽ hơn của thực tế là mọi ngôn ngữ có thể nhận biết Turing vô hạn đều có một …

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Điều sau đây đối với tôi giống như một định nghĩa tự nhiên và tôi tự hỏi liệu nó có được nghiên cứu ở đâu đó không Hãy xem xét một bộ ngôn ngữ. Sau đó, được gọi là " thông tin có thể xác minh" khi có stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset …

9 cc.complexity-theory  reference-request 

Nó nổi tiếng rằng lỗi bị chặn phức tạp query lượng tử của hàm là Θ ( √OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Bây giờ câu hỏi là gì nếu chúng ta muốn thuật toán lượng tử của chúng tôi để thành công cho mỗi đầu vào với xác suất1-εchứ không phải là bình …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

Bị thu hút bởi câu hỏi thú vị của Chris Pressey về các hàm đệ quy sơ cấp , tôi đã khám phá nhiều hơn và không thể tìm thấy câu trả lời cho câu hỏi này trên web. Các chức năng đệ quy tiểu tương ứng độc đáo cho …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Cuốn sách của Arora và Barak có trong các ghi chú của chương về PCP Chúng tôi lưu ý rằng chiến lược chung của Dinur phần nào gợi nhớ đến việc xây dựng các đồ thị mở rộng ngoằn ngoèo và thuật toán không gian xác định của Reingold cho …

9 cc.complexity-theory  pcp 

Câu hỏi của tôi là về lý thuyết mô hình hữu hạn / độ phức tạp mô tả, do đó, sẽ có nghĩa là "thứ tự đầu tiên trên các từ nhị phân hữu hạn, sử dụng các biến vị ngữ R và một vị từ P đơn vị đúng …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

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