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

Cho một đồ thị, , tôi muốn tìm một tối ưu r -domination cho G . Đó là, tôi muốn có một tập con S của V sao cho tất cả các đỉnh trong G là ở khoảng cách tối đa là r từ một số đỉnh trong S , …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

Máy có thể có hai bộ đếm ( ) tiêu chuẩn với các hướng dẫn sau:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT quyết định ngôn ngữ sau: …

14 fl.formal-languages  counter-automata 

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 

Xuất thân từ Vật lý, tôi đã được đào tạo để xem xét rất nhiều vấn đề từ quan điểm hình học. Ví dụ, hình học vi phân của đa tạp trong các hệ động lực, v.v. Khi tôi đọc các nền tảng của khoa học máy tính, tôi luôn …

14 reference-request  computability  big-picture 

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 

Bối cảnh : Tôi sắp kết thúc bằng thạc sĩ toán học và sẽ bắt đầu học tiến sĩ logic vào tháng 8. Càng nghiên cứu nhiều logic, tôi càng tiếp xúc với khoa học máy tính lý thuyết, ví dụ lý thuyết đệ quy, phép tính lambda, nhưng CS …

14 reference-request  soft-question 

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 

Alice và Bob có chuỗi n-bit và muốn tìm hiểu xem chúng có bằng nhau không khi thực hiện giao tiếp nhỏ. Giải pháp ngẫu nhiên tiêu chuẩn là coi các chuỗi n bit là đa thức bậc và sau đó đánh giá các đa thức qua một vài phần …

14 communication-complexity  property-testing 

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 

Nó cũng được biết rằng không có giao thức hai bên xác định có thể giải quyết vấn đề disjointness (DISJ) trên đầu vào -bit mà không gửi bit trong trường hợp xấu nhất (xem, ví dụ, cuốn sách bằng Kushilevitz và Nisan). Đối với các giao thức ngẫu nhiên …

14 lower-bounds  communication-complexity 

Trong bài báo của họ xấp xỉ Khỏang cách Oracles , Thorup và Zwick đã chỉ ra rằng đối với bất kỳ đồ thị vô hướng có trọng số, chúng ta có thể xây dựng một cấu trúc dữ liệu kích thước có thể trả về một ( 2 k …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Ellipsoid Löwner-John của tập lồi là ellipsoid thể tích tối thiểu (MVE) bao quanh nó. Ellipsoid có thể được tính bằng phương pháp của Khachiyan và có một số phép tính gần đúng nếu là (thân lồi của) một tập hợp các điểm.CCCCCC Có các xấp xỉ nhanh (tức là …

14 cg.comp-geom  convex-geometry