Khoa học máy tính lý thuyết cc.complexity-theory

1

Trong độ phức tạp của cây quyết định của hàm boolean, một phương thức ràng buộc thấp hơn rất rõ là tìm một đa thức (gần đúng) đại diện cho hàm. Paturi đã đưa ra một đặc tính cho các hàm boolean đối xứng (một phần và toàn bộ) theo …

9 cc.complexity-theory quantum-computing lower-bounds boolean-functions query-complexity

1

Phân loại phức tạp của lý thuyết danh mục đầu tư trong kinh tế tài chính là gì?

Như tất cả các bạn sẽ biết, đang có sự sụp đổ liên tục từ cuộc khủng hoảng tài chính năm 2008. Tôi đã suy nghĩ về lý thuyết phức tạp phù hợp với tất cả những điều này như thế nào, khi tôi nhận ra tôi không biết các …

9 cc.complexity-theory gt.game-theory ce.computational-finance

3

Lợi ích cho các lớp cú pháp và ngữ nghĩa

Đây là một bài viết tách biệt với Kết quả của UP bằng NP , và cũng là một câu hỏi tiếp theo cho các lớp phức tạp ngữ nghĩa và ngữ nghĩa . Trong bài viết trên, chúng tôi đã tìm hiểu về các lớp ngữ nghĩa và cú …

9 cc.complexity-theory complexity-classes big-picture

3

Bằng chứng tương tác qua Postselection?

Xác định mô hình tính toán MPostBQP giống hệt với PostBQP ngoại trừ chúng tôi cho phép nhiều phép đo qubit trước khi chọn sau và phép đo cuối cùng. Chúng tôi có thể đưa ra bất kỳ bằng chứng nào cho thấy MPostBQP mạnh hơn PostBQP không? Xác định …

9 cc.complexity-theory complexity-classes quantum-computing interactive-proofs

1

NP-Độ cứng của một trường hợp đặc biệt của vấn đề đóng gói trực giao

Đặt là tập hợp các hình chữ nhật -chiều. Với và , w_d (v) \ in \ mathbb {Q} ^ {+} mô tả độ dài của v trong thứ nguyên d . Các ký hiệu tương tự được sử dụng cho các container C . Các D chiều vuông góc …

9 cc.complexity-theory reference-request np-hardness packing

1

Là vấn đề sao lưu NP-đầy đủ?

Là vấn đề quyết định sau NP-đầy đủ: Đặt là đồ thị vô hướng và b ≤ c hai số nguyên. Có thể chọn cho mọi đỉnh của G chính xác b hàng xóm khác nhau sao cho không có nút nào được chọn nhiều hơn c lần.GGGb≤cb≤cb \le cGGGbbbccc …

9 cc.complexity-theory np-hardness graph-algorithms

1

Có một mối quan hệ giữa lý thuyết phức tạp tính toán và lý thuyết hệ thống phức tạp?

Lý thuyết phức tạp tính toán phân loại các vấn đề theo độ khó vốn có của chúng. Lý thuyết hệ thống phức tạp giải quyết các hệ thống thể hiện các hành vi không rõ ràng phát sinh từ các thuộc tính của các bộ phận riêng lẻ của …

9 cc.complexity-theory soft-question big-picture

1

Độ phức tạp bit thực của phép nhân ma trận là

Phép nhân ma trận bằng cách sử dụng kỹ thuật thông thường (hàng - cột bên trong) lấy phép nhân và phép cộng . Tuy nhiên, giả sử các mục có kích thước bằng nhau (số bit trong mỗi mục nhập của cả hai ma trận được nhân) với kích …

9 cc.complexity-theory algebraic-complexity

1

thuộc tính đóng của IP (2pfa) và AM (2pfa)

IP (2pfa) và AM (2pfa) là các lớp ngôn ngữ được nhận biết có lỗi giới hạn bởi các phiên bản đồng xu riêng và công khai, tương ứng, của các hệ thống bằng chứng tương tác với các trình xác minh là tự động hữu hạn xác suất có …

9 cc.complexity-theory interactive-proofs

5

Kết quả cho thấy sự tồn tại / không tồn tại của đồ thị hữu hạn với các thuộc tính tính toán cụ thể ngụ ý các kết quả phức tạp nhất định

Có bất kỳ kết quả đã biết nào cho thấy sự tồn tại (hoặc không tồn tại) của đồ thị hữu hạn với các thuộc tính tính toán cụ thể ngụ ý các kết quả phức tạp nhất định (như P = NP) không? Đây là một kết quả hoàn …

9 cc.complexity-theory

1

Đồ thị phẳng 3 màu trong

Tôi đã tự hỏi nếu nhiệm vụ tìm kiếm 3 màu phẳng được biết là phức tạp hay thấp hơn? Cảm giác này giống như là một hệ quả trực quan dựa trên các kết quả phân tách phẳng, nhưng trong wikipedia , nó chỉ đề cập đến các tập …

9 cc.complexity-theory graph-algorithms planar-graphs graph-colouring

1

Giảm độ sâu cho mạch Boolean

Đây quả bởi Tavenas, Koiran và những người khác chứng minh rằng mọi đa thức tính bằng một mạch kích thước Sss được tính bằng độ sâu-4 mạch đồng nhất kích thước Sd√sds^{\sqrt{d}} . Có bất kỳ kết quả tương tự cho các mạch Boolean hay chúng ta có biết …

9 cc.complexity-theory circuit-complexity arithmetic-circuits

3

Tại sao chính xác các nhà lý thuyết phức tạp quan tâm đến các đường cong thời gian đóng?

Bối cảnh : Có một số bài nghiên cứu về ý nghĩa của các đường cong thời gian đóng (CTC) đối với độ phức tạp lượng tử. Năm 2008, Aaronson và Watrous đã xuất bản bài báo nổi tiếng của họ về chủ đề này cho thấy rằng một số …

9 cc.complexity-theory quantum-computing big-picture

1

Hậu quả của thuật toán chưng cất cho PSPACE

Khái niệm sau đây về thuật toán chưng cất xuất phát từ "Về các vấn đề không có hạt nhân đa thức". Hãy để một ngôn ngữ được đưa ra. Một thuật toán chưng cất cho có một danh sách nhất định của chuỗi đầu vào và tính ra một …

9 cc.complexity-theory np-hardness parameterized-complexity polynomial-hierarchy pspace

1

Độ phức tạp của k-clique cho siêu dữ liệu

Vấn đề kinh điển: Cho một số được cho. Các vấn đề -clique là như sau.kkkkkk Cho đồ thị , có tồn tại tập con của đỉnh sao cho hai đỉnh của liền kề nhau không?GGGSSSkkkSSS Vấn đề siêu dữ liệu: Cho số và được cho. Vấn đề -hyperclique như …

9 cc.complexity-theory graph-theory matrices clique fixed-parameter-tractable

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