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

làm thế nào người ta có thể chỉ ra rằng mối quan hệ giữa "phỏng đoán trò chơi độc đáo" và "định lý PCP" là gì? làm thế nào để giải thích "phỏng đoán trò chơi độc đáo" là dạng "định lý PCP" mạnh hơn?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Như đã biết, PARITY không thể được thực hiện trong các mạch có độ sâu không đổi đa kích thước, và trên thực tế, các mạch const-dept yêu cầu số lượng cổng EXP. Còn mạch QUANTUM thì sao? a) PARITY có thể được thực hiện với một mạch lượng tử …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

Trêu chọc Vì vấn đề là lâu dài nên đây là một trường hợp đặc biệt nắm bắt được bản chất của nó. Vấn đề: Đặt A là thuật toán chi tiết cho 3-SAT. Là vấn đề mô phỏng hoàn toàn thuật toán A (trên mọi trường hợp của vấn …

17 cc.complexity-theory  big-picture  structural-complexity 

Tôi đã cố gắng đọc Ngọc trai của thiết kế thuật toán chức năng , và sau đó là Đại số lập trình , và có một sự tương ứng rõ ràng giữa các kiểu dữ liệu được xác định đệ quy (và đa thức), có cùng định nghĩa đệ …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Dễ dàng thấy rằng bất kỳ vấn đề nào có thể quyết định trong logspace xác định ( ) đều chạy trong hầu hết thời gian đa thức ( P ). Nhiều thuật toán logspace đã biết (Ví dụ: kết nối st không định hướng, đẳng cấu đồ thị phẳng) …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Tôi đang tìm hiểu xem có bất kỳ kết quả chung nào về hoặc các ví dụ liên quan đến tính đầy đủ của NP trong vấn đề tìm giải pháp thứ hai cho vấn đề hoàn thành NP hay không. Chính xác hơn, tôi quan tâm đến bất kỳ …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Theo như tôi hiểu, tất cả đều biết các quy tắc trục xác định cho thuật toán đơn giản có các đầu vào cụ thể mà thuật toán yêu cầu thời gian theo cấp số nhân (hoặc ít nhất là không phải đa thức) để tìm ra tối ưu. Chúng …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Tôi đã tìm thấy cuốn sách Pairwise Độc lập và Derandomization về chủ đề này, nhưng nó thiên về nghiên cứu hơn là hướng dẫn. Tôi chưa quen với chủ đề "Derandomization", và như vậy, tôi muốn biết bắt đầu từ tham chiếu nào? Tôi thích một bài thảo luận …

17 cc.complexity-theory  derandomization  randomized-algorithms 

Một phân phối được gọi là -fool một hàm nếu . Và nó được cho là đánh lừa một lớp các hàm nếu nó đánh lừa mọi hàm trong lớp đó. Được biết, các không gian thiên vị đánh lừa lớp chẵn lẻ trên các tập con. (xem Alon-Goldreich-Hastad-Peralta để …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Hãy 0≤p≤10≤p≤10\le p\le 1 và xem xét các vấn đề quyết định Bè lũ p Input: số nguyên s , đồ thị G với t đỉnh và cạnh Câu hỏi: không chứa một bè lũ trên ít nhất đỉnh?pp_p sssGGGttts⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Một thể hiện của CLIQUE chứa tỷ …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Thông thường, các thuật toán hiệu quả có thời gian chạy đa thức và không gian giải pháp lớn theo cấp số nhân. Điều này có nghĩa là vấn đề phải dễ dàng theo hai nghĩa: thứ nhất, vấn đề có thể được giải quyết theo số bước đa thức, …

17 cc.complexity-theory 

Điều nổi tiếng là tập hợp các ngôn ngữ có hệ thống bằng chứng tương tác hai trình duyệt, trong đó trình xác minh chạy trong thời gian đa thức (MIP), là NEXP. Nhưng có giới hạn nào được biết về sức mạnh của bằng chứng tương tác như vậy …

17 cc.complexity-theory  interactive-proofs 

Giả sử bạn được cung cấp một biểu đồ H. đơn giản, không có kết nối. Vấn đề cắt không có H được định nghĩa như sau: Cho một đồ thị G đơn giản, không bị chặn, có một vết cắt (phân vùng các đỉnh thành hai tập không rỗng, …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Trong "đoạn cuối" của "trang đầu tiên" của bài báo sau: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Nếu NP có mạch kích thước đa thức, thì MA = AM," Khoa học máy tính lý thuyết, 1995. Tôi gặp phải một yêu cầu hơi phản …

17 cc.complexity-theory  complexity-classes 

Chúng tôi biết (hiện tại khoảng 40 năm, cảm ơn Adman, Bennet và Gill) rằng sự bao gồm BPP P / poly, và một tổ chức P / poly BPP / poly thậm chí còn mạnh hơn . "/ Poly" có nghĩa là chúng ta làm việc không đồng đều …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization