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

Giả sử chúng ta có một thuộc tính đồ thị có thể được kiểm tra trong thời gian đa thức không xác định và bằng chứng trong một hệ thống chính thức yếu (giả sử là 0 ) rằng tài sản bị đóng nhỏ. Chúng ta có thể nói bất …

13 cc.complexity-theory  lo.logic 

Với một giới hạn (xác định hoặc không xác định, tôi không nghĩ rằng điều này có nhiều tầm quan trọng) automaton A và ngưỡng n , A có chấp nhận một từ có chứa nhiều nhất n chữ cái không? (Theo k chữ cái khác nhau, ý tôi là …

13 cc.complexity-theory  np-hardness  automata-theory 

Adman đã chỉ ra vào năm 1978 rằng : nếu một hàm boolean của biến có thể được tính bằng một mạch boolean có xác suất có kích thước , thì cũng có thể được tính bởi một xác định mạch boolean có kích thước đa thức tính bằng và …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

Lance Fortnow gần đây đã tuyên bố rằng việc chứng minh L! = NP nên dễ dàng hơn việc chứng minh P! = NP : Tách NP khỏi không gian logarit. Tôi đã đưa ra bốn cách tiếp cận trong một cuộc khảo sát trước blog năm 2001 về đường …

13 cc.complexity-theory  reductions  relativization 

Tôi đang tìm kiếm: Michael O. Rabin, "Mức độ khó của việc tính toán một hàm và sắp xếp một phần các tập đệ quy", Đại học Do Thái, Jerusalem, 1960 Tóm lược: Chúng tôi cố gắng đo lượng công việc vốn có trong nhiệm vụ tính toán một hàm …

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

Khi chúng tôi muốn chứng minh rằng một là -complete, sau đó cách tiếp cận giữa các ý kiến để triển lãm trong một thời gian đa thức tính toán giảm nhiều-một trong những nổi tiếng vấn đề -complete để . Trong bối cảnh này, chúng tôi không cần ràng …

13 cc.complexity-theory  reductions  np-complete 

P / poly là lớp các vấn đề quyết định có thể giải quyết được bởi một họ các mạch Boolean có kích thước đa thức. Ngoài ra, nó có thể được định nghĩa là một máy Turing đa thời gian nhận chuỗi tư vấn có kích thước đa thức …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Hãy xem xét vấn đề mà chúng ta được đưa ra làm đầu vào một đồ thị chu kỳ có hướngG=(V,E)G=(V,E)G = (V, E), a labeling function λλ\lambda from VVV to some set LLL with a total order &lt;L&lt;L<_L (e.g., the integers), and where we are asked to compute the …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Có bất cứ điều gì được biết về - -cut nhỏ thứ hai trong mạng lưu lượng không? Hay nói chung hơn về vấn đề này:sssttt Đầu vào: Một mạng và một số , tất cả đều ở dạng nhị phân. Output: Một thứ nhỏ nhất - cắt.NNNkkkkkksssttt Một thứ …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

Trong khi viết một bài đăng nhỏ về sự phức tạp của các trò chơi điện tử Nibbler và Snake ; Tôi thấy rằng cả hai đều có thể được mô hình hóa như các vấn đề cấu hình lại trên đồ thị phẳng; và dường như các vấn đề …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Cho một nhóm GGG hoán vị trên [n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\} và hai vectơ trong đó là một bảng chữ cái hữu hạn không hoàn toàn phù hợp ở đây, câu hỏi là liệu có tồn tại một số sao cho trong đó có nghĩa là áp dụng hoán vị trên …

13 cc.complexity-theory  graph-isomorphism  permutations 

Các -hierarchy là một hệ thống các lớp phức tạp về độ phức tạp tham số, xem Zoo phức tạp cho các định nghĩa. Một định nghĩa thay thế định nghĩa bằng cách sử dụng định nghĩa Fagin có trọng số cho thức của logic thứ nhất, xem sách giáo …

13 cc.complexity-theory  parameterized-complexity 

Trong vấn đề mở rộng, chúng tôi được cung cấp một phần của giải pháp và chúng tôi muốn quyết định xem chúng tôi có thể mở rộng nó thành một giải pháp hoàn chỉnh hay không. Một số vấn đề về khả năng mở rộng có thể giải quyết …

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

Lý lịch: Độ phức tạp của cây quyết định hoặc độ phức tạp của truy vấn là một mô hình tính toán đơn giản được xác định như sau. Đặt là hàm Boolean. Độ phức tạp truy vấn xác định của , ký hiệu là , là số bit tối …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

Với một thuật toán chạy trong thời gian , chúng ta có thể chuyển đổi nó thành một nhóm mạch thống nhất "tầm thường" cho cùng một vấn đề về kích thước nhiều nhất là .≈ t ( n ) log t ( n )t ( n )t(n)t(n)≈ t ( …

13 cc.complexity-theory  circuit-complexity  uniformity