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

Nó được đề cập trong một bình luận trong một bài đăng khác của cstheorySE rằng tính đầy đủ của PSPACE ngụ ý độ cứng APX. Bất cứ ai có thể vui lòng giải thích / chia sẻ một tài liệu tham khảo cho nó? Đây có phải là "chặt …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Truyền bá niềm tin đã được chứng minh là một phương pháp rất mạnh mẽ thông qua nghiên cứu trong các mô hình đồ họa xác suất. Tuy nhiên, tôi không biết bất cứ điều gì về HA có thể so sánh với các phương pháp MCMC nơi chúng ta …

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics 

Như mọi người đều biết, SAT hoàn thành cho việc giảm nhiều lần một đa thức wrt. Nó vẫn hoàn thành wrt A C 0 nhiều giảm một.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Câu hỏi của tôi là độ sâu tối thiểu cần thiết cho việc giảm là gì? Chính thức hơn, Nhất là gì …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Tôi đang đọc phần phụ lục về giới hạn thấp hơn của ACC cho NEXP trong cuốn sách Tính phức tạp tính toán của Arora và Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Một trong những bổ đề quan trọng là sự chuyển đổi từ A CC0MộtCC0ACC^{0} mạch để đa thức đa tuyến so …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

Tôi đã tra cứu trên internet, nhưng tôi không thể tìm thấy bất kỳ 'danh sách lớn' nào về các biến thể của vấn đề SAT. Ngoài (chung) ĐÃ NGỒI, k-SAT, MAX-kSAT, Nửa SAT, XOR-SAT, NAE-SAT Có những biến thể nào khác không? (cũng sẽ thực sự hữu ích nếu …

14 cc.complexity-theory  sat  big-list 

Trong thời gian dài nhất, tôi đã nghĩ rằng một vấn đề là NP-đầy đủ nếu cả hai (1) NP-hard và (2) nằm trong NP. Tuy nhiên, trong bài báo nổi tiếng "Phương pháp ellipsoid và hậu quả của nó trong tối ưu hóa tổ hợp" , các tác giả …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

Câu hỏi này đã được Jan Pax đặt ra trong danh sách gửi thư của Tổ chức Toán học . Chắc chắn nhưng tôi nghi ngờ từ câu trả lời cho câu hỏi này mà nó không biết liệu ⊕ P ⊆ P P (nếu không, P P sẽ là …

14 cc.complexity-theory  complexity-classes 

Từ các nhận xét về một trong những câu hỏi của tôi về MathOverflow, tôi có cảm giác rằng câu hỏi liên quan đến GCD trong so với giống như câu hỏi liên quan đến số nguyên trong vs. .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} Có cái gì đó giống như "quantumNCNC\mathsf{NC} thuật toán " …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

Được đưa vào làm đầu vào một số nguyên và một tập hợp gồm các phần tử của \ {1, ..., n \} , độ phức tạp của việc tìm một tập hợp T các phần tử của \ {1, ..., n \} sao cho T có cardinality tối thiểu …

14 cc.complexity-theory  ds.algorithms 

Lớp phức tạp liên quan đến các thuật toán tìm kiếm toàn diện là gì? (nếu có một) Là NP hay PSPACE? Có các mô hình tính toán bị hạn chế nắm bắt lớp các thuật toán tìm kiếm toàn diện tương tự như các mô hình cho lập trình …

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Cả hai vấn đề GI và Hôn đều là vấn đề quyết định sự tương đương cấu trúc của các đối tượng toán học. Có bất kỳ kết quả thiết lập kết nối giữa chúng? Các kết nối tốt đẹp của vấn đề nút thắt với vật lý thống kê …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Kết quả 1: Định lý Linial-Mansour-Nisan nói rằng trọng số phạm vi của các hàm được tính toán bởi các mạch AC0AC0\mathsf{AC}^0 tập trung vào các tập con có kích thước nhỏ với xác suất cao. Kết quả 2: PARITYPARITY\mathsf{PARITY} có trọng lượng phạm vi tập trung vào hệ số …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Câu hỏi đầu tiên của tôi là liệu một đặc tính hệ thống bằng chứng tương tác được biết đến với tất cả các lớp phức tạp cổ điển. Tôi sẽ gọi P, NP, PSPACE, EXP, NEXP, EXPSPACE, đệ quy và đệ quy các hàm cổ điển (trong số các …

14 cc.complexity-theory  big-picture  interactive-proofs 

Tôi đang bắt đầu học tiến sĩ vào mùa thu này và tôi đang lên kế hoạch làm việc trong lý thuyết phức tạp cho luận án của mình. Tôi đang biên soạn một danh sách các bài báo quan trọng mà mọi nhà lý thuyết phức tạp nên biết. …

14 cc.complexity-theory  reference-request  big-list