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

Hãy xem xét vấn đề này: Cho một danh sách các bộ hữu hạn, tìm một trật tự s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots giảm thiểu |s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots . Có các thuật toán được biết đến cho điều này? Sự phức …

17 cc.complexity-theory  ds.algorithms  optimization 

Tôi đang làm một số tài liệu đánh giá về vấn đề đẳng cấu đồ thị. Hầu hết các bài báo mà tôi đang đọc đều được viết bởi EM Luks và Laszlo Babai. Các bài viết này sử dụng kiến ​​thức cấp cao về lý thuyết nhóm và lý …

17 cc.complexity-theory  graph-isomorphism 

Giả sử tôi xem xét biến thể sau của BPP, chúng ta gọi E (xact) BPP: Một ngôn ngữ nằm trong EBPP nếu có một TG ngẫu nhiên thời gian đa thức chấp nhận mọi từ của ngôn ngữ với xác suất chính xác 3/4 và mọi từ không có …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Trong khi tìm kiếm Hệ thống thông tin về Các lớp biểu đồ và Bao gồm của chúng , tôi đã tìm thấy một số lớp biểu đồ có vấn đề về chu trình Hamilton là NP hoàn chỉnh trong khi sự phức tạp của các vấn đề về đường …

17 cc.complexity-theory  graph-theory 

Hãy xem xét vấn đềQQQ sau : Chúng tôi được cung cấp một số nguyên và khoảng với . Chúng tôi cũng được cấp số nguyên . Nhiệm vụ là chọn số lượng khoảng tối thiểu sao cho cứ mỗi , ít nhất là các khoảng chứa số nguyên được …

17 cc.complexity-theory  np-hardness 

Một điều mà máy tính lượng tử có thể làm (thậm chí có thể chỉ với các mạch lượng tử có độ sâu log log của BPP) là lấy mẫu gần đúng biến đổi Fourier của hàm Boolean giá trị trong P.± 1±1\pm 1 Ở đây và bên dưới khi …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

Gần đây, tôi đã gặp các biến thể của màu cạnh. Đưa ra một đồ thị vô hướng được kết nối, tìm màu của các cạnh sử dụng số lượng màu tối đa trong khi cũng thỏa mãn các ràng buộc mà đối với mỗi đỉnh , sự cố các …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

Tôi đang tìm kiếm các ví dụ tự nhiên về các thuật toán hiệu quả (tức là trong thời gian đa thức) st tính đúng đắn và hiệu quả của chúng có thể được chứng minh một cách xây dựng (ví dụ trong PRAPRAPRA hoặc HAHAHA ), nhưng không có …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

Khi cố gắng thuyết phục các nhà kinh tế về sự liên quan của lý thuyết phức tạp trong in ấn, liệu có một tài liệu tham khảo tiêu chuẩn để trích dẫn? Tôi quen thuộc với bài đăng trên blog của Noam Nisan , khảo sát của Tim Roughgarden …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1. Tuy nhiên, việc thu được kết quả giới hạn cụ thể trên các mạch độ sâu đa giác dường như nằm ngoài tầm với bằng cách sử dụng các phương pháp cổ điển như hạn chế đầu vào và xấp xỉ đa thức trên các trường hữu hạn. Tôi …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

Phiên bản ngắn. Bằng chứng ban đầu rằng # 2-SAT là #P -complete cho thấy, trên thực tế, những trường hợp của # 2-SAT là cả hai đơn điệu (không liên quan đến phủ định của bất kỳ biến nào) và bipartite (biểu đồ được tạo bởi các mệnh đề …

17 cc.complexity-theory  sat  counting-complexity 

Tôi dạy cận dưới ngày hôm nay, và một trong những sinh viên được hỏi về lý do cho tên Một C . Giải thích chính thức là "A" là viết tắt của "Alternation".AC0AC0AC^0ACACAC Tôi mơ hồ nhớ được nói nhiều năm trước rằng Nick Pippenger Steve Cook đã đặt …

17 cc.complexity-theory  reference-request  ho.history-overview 

Đồ thị phẳng có chi bằng không. Đồ thị có thể nhúng trên một hình xuyến có nhiều nhất 1. Câu hỏi của tôi rất đơn giản: Có bất kỳ vấn đề nào có thể giải quyết đa thức trên đồ thị phẳng nhưng NP-hard trên đồ thị của chi …

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

Phương pháp đối nghịch phủ định ( ) là một SDP đặc trưng cho độ phức tạp của truy vấn lượng tử. Đó là một khái quát của phương pháp đối nghịch được sử dụng rộng rãi ( ) và vượt qua hai rào cản cản trở phương pháp đối …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Gần đây tôi đã đọc một bằng chứng có ý định chỉ ra rằng một vấn đề là NP-hard mạnh, chỉ đơn giản bằng cách giảm nó (trong thời gian đa thức) từ một vấn đề NP-hard mạnh. Điều này không có ý nghĩa gì với tôi. Tôi đã nghĩ …

17 cc.complexity-theory  np-hardness  reductions