Khoa học máy tính lý thuyết

2

Tất nhiên, lập trình tuyến tính ngày nay được hiểu rất rõ. Chúng tôi có rất nhiều công việc đặc trưng cho cấu trúc của các giải pháp khả thi và cấu trúc của các giải pháp tối ưu. Chúng tôi có tính hai mặt mạnh mẽ, thuật toán đa …

12 cc.complexity-theory ds.algorithms reference-request linear-programming optimization

2

Mối quan hệ giữa QMA và AM là gì?

Tôi đọc trong SP Jordan, D. Gosset, PJ Love " vấn đề -complete cho Hamilton stoquastic và ma trận MarkovQ MMộtQMMộtQMA " mà nó không chắc rằng .Q MMột ⊆ A MQMMột⊆MộtMQMA \subseteq AM Tôi đã ngạc nhiên về khẳng định này. Vậy mối quan hệ đúng đắn giữa và …

12 cc.complexity-theory complexity-classes quantum-computing interactive-proofs qma

1

Các đồ thị bên ngoài giới hạn có phải là treewidth không?

Đặt và biểu thị bằng tập hợp tất cả các biểu đồ có thể được nhúng trên một bề mặt của chi k sao cho tất cả các đỉnh nằm ở mặt ngoài . Chẳng hạn, G_0 là tập hợp các biểu đồ ngoài cùng. Treewidth của đồ thị trong …

12 graph-theory co.combinatorics parameterized-complexity graph-classes

1

Độ cứng điển hình của sự phân hủy cây?

Phân hủy cây rất khó trong trường hợp xấu nhất nhưng phương pháp tham lam dường như gần như tối ưu trên các mạng thực tế nhỏ. Có bất cứ điều gì được biết về độ cứng của sự phân hủy cây của một trường hợp "điển hình" của một …

12 ds.algorithms graph-theory graph-algorithms treewidth

2

Độ phức tạp của việc đếm tất cả các sơ đồ con được kết nối

Đặt G là đồ thị được kết nối. Độ phức tạp của việc đếm tất cả các sơ đồ con được kết nối nếu G thuộc các loại sau? G là chung. G là mặt phẳng. G là lưỡng cực. Tôi không quan tâm đến bất kỳ cấu trúc nào …

12 cc.complexity-theory graph-theory counting-complexity

3

Các vấn đề với tỷ lệ xấp xỉ tốt nhất đạt được bằng thuật toán trả về giải pháp ngẫu nhiên thống nhất là gì?

Các vấn đề với tỷ lệ xấp xỉ được biết đến tốt nhất đạt được bằng một thuật toán trả về một giải pháp ngẫu nhiên thống nhất là gì? Tôi biết một ví dụ cho vấn đề hoán vị cửa hàng dòng : trong giấy " Bounds Tight cho …

12 ds.algorithms reference-request approximation-algorithms

10

Tài nguyên để tìm hiểu về vấn đề P so với NP

Gần đây tôi đã được nhắc nhở về vấn đề so với N P như được giải thích bởi Stephen A. Cook trên Viện Toán học Clay.PP\mathsf{P}NPNP\mathsf{NP} Nó đã khơi gợi sự quan tâm của tôi và tôi muốn tìm hiểu thêm về nó. Bước đầu tiên sẽ có được …

12 cc.complexity-theory reference-request survey books p-vs-np

2

Điều gì xảy ra nếu chúng ta cố gắng trích xuất một nhân chứng nhưng nó thực sự không tồn tại từ một thuật ngữ thuộc loại tồn tại?

Đưa ra một thuật ngữ t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))trong lý thuyết loại của Martin-Lof, giá trị của w(t(0)), đâu wlà toán tử trích xuất sự chứng kiến của một thuật ngữ của loại tồn tại?

12 lo.logic type-theory proof-theory

3

Một vấn đề đa cắt

Tôi đang tìm kiếm một tên hoặc bất kỳ tài liệu tham khảo cho vấn đề này. Cho một đồ thị có trọng số tìm một phân vùng của các đỉnh thành tối đa n = | V | bộ S 1 , ... , S n để tối đa …

12 ds.algorithms reference-request approximation-algorithms max-cut

1

Đa thức rõ ràng trong 1 biến với độ phức tạp mạch siêu giới hạn?

Bằng cách đếm các đối số, người ta có thể chỉ ra rằng tồn tại đa thức bậc n trong 1 biến (nghĩa là có dạng có độ phức tạp mạch n. Ngoài ra, người ta có thể chỉ ra rằng một đa thức như x n yêu cầu ít …

12 cc.complexity-theory circuit-complexity polynomials algebraic-complexity

1

Hoạt động lượng tử nhóm Clifford và tính toán cổ điển

Các nhóm Clifford các nhà khai thác lượng tử được tạo ra bởi các hoạt động học lượng tử: Kiểm soát-Z , Hadamard , và Giai đoạn ( ).= | 0 ⟩ ⟨ 0 | + tôi | 1 ⟩ ⟨ 1 |= =|0⟩⟨0|+Tôi|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Một mạch …

12 quantum-computing

1

Kết quả tương đối hóa có thể được sử dụng để chứng minh câu độc lập chính thức?

Có thể chứng minh rằng một câu phải độc lập chính thức dựa trên thực tế là nó không tương đối? Nói cách khác, có những ví dụ về câu trong lý thuyết tính toán / độ phức tạp trong đó có thể chứng minh cả a) rằng tất cả …

12 lo.logic relativization

1

Điều kiện cho khả năng di chuyển của 3SAT-Hài lòng

Điều tôi đặc biệt thắc mắc là liệu có một điều kiện thú vị về tỷ lệ phần trăm bài tập thỏa mãn công thức 3SAT để đảm bảo rằng các vấn đề đó có thể xử lý được. Giả sử ví dụ lớp các bài toán 3SAT mà của …

12 cc.complexity-theory ds.algorithms sat np

2

Các vấn đề có thể quyết định nhưng không thể được xác minh trong thời gian đa thức

Trong khi thực hiện một dự án có liên quan đến Suresh, gần đây tôi đã tình cờ thấy một số công việc được thực hiện bởi Page và Opper về các hệ thống có thể kết hợp với người dùng và một phần công việc của họ đã thảo …

12 cc.complexity-theory complexity-classes

2

Liệu sự tồn tại của các vấn đề PH-hoàn toàn tương đối?

Kết quả Baker-Gill-Solovay cho thấy câu hỏi P = NP không tương đối hóa, theo nghĩa là không có bằng chứng tương đối hóa (không nhạy cảm với sự hiện diện của một nhà tiên tri) có thể giải quyết câu hỏi P = NP. Câu hỏi của tôi là: …

12 cc.complexity-theory complexity-classes