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

Câu hỏi này có hai phần và chủ yếu hướng đến tham khảo: Có nơi nào mà các trực giác chính để chứng minh định lý đồ thị nhỏ được đưa ra, mà không đi sâu vào chi tiết không? Tôi biết bằng chứng là dài và khó, nhưng chắc …

9 reference-request  graph-theory  graph-minor 

Tôi đang tìm tài liệu tham khảo cho bài toán sau: các số nguyên và k đã cho , liệt kê tất cả các đồ thị phẳng không đẳng hình trên n đỉnh và treewidth ≤ k . Tôi quan tâm đến cả kết quả lý thuyết và thực tế, …

9 reference-request  graph-theory  graph-algorithms  treewidth 

Chúng ta biết từ định lý của Church rằng việc xác định mức độ thỏa mãn của đơn hàng đầu tiên là không thể giải quyết được, nhưng có một số kỹ thuật chúng ta có thể sử dụng để xác định mức độ thỏa mãn của đơn hàng đầu …

9 reference-request  lo.logic  automated-theorem-proving 

Các thuật toán đẳng cấu đồ thị vô hướng nhanh nhất được biết đến là gì?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

Một số nguồn tốt nhất (sách và giấy tờ) để thúc đẩy và tìm hiểu sự phức tạp trong giao tiếp của chính nó và liên quan đến mối quan hệ của nó với lý thuyết phức tạp tính toán là gì?

9 cc.complexity-theory  reference-request  communication-complexity  books 

Đặt xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} cho i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , với lời hứa rằng x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (trong đó tổng là trên ZZ\mathbb{Z} ). Vậy thì độ phức tạp của việc xác định nếu x=1x=1x = 1 gì? ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]}x≡1modmx≡1modmx \equiv 1\bmod{m}x=1x=1x = 1AC0AC0\mathsf{AC}^0

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Tôi biết về công việc của Shannon với entropy, nhưng gần đây tôi đã làm việc trên các cấu trúc dữ liệu cô đọng trong đó entropy theo kinh nghiệm thường được sử dụng như một phần của phân tích lưu trữ. Shannon đã xác định entropy của thông tin …

9 reference-request  shannon-entropy  succinct 

Nash Equilibria nói chung là không thể tính toán được. Một -Nash trạng thái cân bằng là một tập hợp các chiến lược ở đâu, cho chiến lược của đối thủ, mỗi người chơi có được trong vòng của phần thưởng dự kiến tối đa có thể. Tìm một trạng …

9 reference-request  gt.game-theory  ppad 

CÁC THIẾT BỊ DIOPHANTINE LINEAR (cho các số tự nhiên , có các số tự nhiên và sao cho ?) Có thể giải được trong thời gian đa thức.a , b , cmột,b,ca, b, cxxxyyya x + b y+ c = 0mộtx+by+c= =0ax + by + c = 0 THIẾT …

9 reference-request 

Người ta biết rằng sự tồn tại của các hàm một chiều là cần thiết và đủ cho phần lớn mật mã (chữ ký số, trình tạo giả ngẫu nhiên, mã hóa khóa riêng, v.v.). Câu hỏi của tôi là: các hậu quả lý thuyết phức tạp của sự tồn …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

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 

Trong phần giới thiệu của bài viết này Đối tượng chia sẻ tuyến tính hóa cuối cùng (PODC'10) , các tác giả đã trình bày tuyên bố sau mà không cần tham khảo: Tuy nhiên, tính tuyến tính có thể đạt được nếu và chỉ khi có thể giải quyết …

9 reference-request  dc.distributed-comp 

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 

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 

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