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

Hệ thống bằng chứng xác suất thường được gọi là hạn chế của , trong đó Arthur chỉ có thể sử dụngPCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n) các bit ngẫu nhiên và chỉ có thể kiểm tra bit của chứng chỉ bằng chứng được gửi bởi Merlin (xem, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).g(n)g(n)g(n) Tuy nhiên, vào năm 1990 …

15 cc.complexity-theory  pcp  interactive-proofs 

Lý lịch Công thức đọc một lần trên một tập hợp các cổng (còn được gọi là cơ sở) là một công thức trong đó mỗi biến đầu vào xuất hiện một lần. Các công thức đọc một lần thường được nghiên cứu trên cơ sở De Morgan (có cổng …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Hãy xem xét một tập hợp các tập hợp F = { F 1 , F 2 , Mạnh , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} trên một bộ cơ sở U = { e 1 , e 2 , Lỗi , e n }U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} trong đó | F i | |Fi||F_i| ≪ …

15 cc.complexity-theory  np-hardness  set-cover  packing 

Độ phức tạp tính toán của vấn đề sau là gì: đã cho hai ma trận phức và kiểm tra xem có ma trận hoán vị sao cho: n×nn×nn\times nAAABBBPPPB=PAPT.B=PAPT.B = P A P^T. Nếu nó giúp, người ta có thể cho rằng vàAAA là ẩn sĩ (hoặc thậm chí …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Chúng tôi biết rằng các bộ giải SAT dựa trên DPLL không trả lời đúng trong các trường hợp không thỏa mãn của (nguyên tắc lỗ chim bồ câu), ví dụ: "có ánh xạ tiêm từ n + 1 đến n ":P H PPHP\mathrm{PHP}n + 1n+1n+1nnn P H Pn + …

15 cc.complexity-theory  lo.logic  proof-complexity 

Xem xét vấn đề sau: Đưa ra biểu đồ truy vấn và biểu đồ tham chiếu , chúng tôi muốn tìm ánh xạ tiêm truyền f: V \ rightarrow V' để giảm thiểu số lượng các cạnh (v_1, v_2) \ trong E sao cho (f (v_1), f (v_2)) \ notin …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Các thuật toán Weisfeiler-Lehman 1-dim (WL) thường được gọi là nhãn kinh điển hay thuật toán tinh màu. Nó hoạt động như sau: Màu ban đầu là đồng nhất, cho tất cả các đỉnh .C0C0C_0C0( v ) = 1C0(v)= =1C_0(v) = 1v ∈ V( G ) ∪ V( H)v∈V(G)∪V(H)v \in …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Lời mở đầu. Lớp phức tạp AM là những vấn đề có thể được giải quyết bằng hệ thống chứng minh tương tác hai vòng giữa một người hoạt ngôn "Merlin" và người xác minh "Arthur". Một vấn đề - kiểm tra một số thuộc tính của đối tượng X …

15 cc.complexity-theory  interactive-proofs  unique-solution 

Hãy xem xét vấn đề sau: Input : a siêu phẳng H = { y ∈ R n : một T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , được đưa ra bởi một vector một ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n và b ∈ Zb∈Zb …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Một số vấn đề không tầm thường mà chúng ta biết thuật toán hiện tại chúng ta có là một vấn đề tối ưu không có triệu chứng? (Đối với máy turing) Và điều này được chứng minh như thế nào?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Câu hỏi này liên quan chặt chẽ đến một bài khác: Chuyển pha trong các vấn đề khó khăn của NP nhưng nó hơi khác một chút. Trong khi câu hỏi đó là về độ cứng của các trường hợp cụ thể của các vấn đề NP, thì đây là …

15 cc.complexity-theory  np-hardness  sat 

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Tập hợp gia đình là tập hợp con của sao cho cho . Vấn đề để tìm một tập hợp tối thiểu của một gia đình nhất định nói chung là NP-hard, vì nó khái quát hóa vấn đề che đỉnh. Bây giờ câu hỏi của tôi là:H ⋃ n …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Như mọi người đều biết, cuốn sách nổi tiếng của Garey và Johnson (và nhiều cuốn khác) cung cấp một tài liệu tham khảo tuyệt vời cho kỹ thuật giảm thiểu trong bối cảnh cổ điển. Có bất kỳ khảo sát hoặc sách về chủ đề kỹ thuật giảm trong …

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Khi đọc bài báo " Một lý thuyết áp dụng cho FPH ", bạn có thể bắt gặp đoạn văn sau: Xem xét các lý thuyết đặc trưng cho các lớp phức tạp tính toán, có ba cách tiếp cận khác nhau: trong một, các chức năng có thể được …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity