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

Câu hỏi này xuất phát từ sự tò mò thuần túy (nó xuất hiện trong khi suy nghĩ về việc xáo trộn một chuỗi , nhưng tôi không chắc liệu nó có thực sự liên quan hay không) vì vậy tôi hy vọng nó phù hợp. Có nhiều sản phẩm …

25 cc.complexity-theory  graph-algorithms 

Gần đây, Ryan Willams đã chứng minh rằng Cấu trúc trong Bằng chứng tự nhiên là không thể tránh khỏi để rút ra sự phân tách các lớp phức tạp: NEXPNEXP\mathsf{NEXP} và TC0TC0\mathsf{TC}^{0} . Cấu trúc trong Bằng chứng tự nhiên là điều kiện mà tất cả các bằng chứng …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Cho một đồ thị vô hướng và không có trọng số G=(V,E)G=(V,E)G=(V,E) và một số nguyên chẵn kkk, độ phức tạp tính toán của các tập hợp các đỉnh S⊆VS⊆VS\subseteq V sao cho |S|=k|S|=k|S|=k và sơ đồ con của GGG bị giới hạn ở tập đỉnh SSS thừa nhận một …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Câu trả lời này cho các vấn đề lớn chưa được giải quyết trong khoa học máy tính lý thuyết? câu hỏi nói rằng nó mở nếu một vấn đề cụ thể trong NP yêu cầu thời gian Ω(n2)Ω(n2)\Omega(n^2) . Nhìn vào các ý kiến ​​dưới câu trả lời làm …

25 cc.complexity-theory  np  p-vs-np 

Tôi đã đọc trong một số bài báo rằng sự tồn tại của các chức năng một chiều được tin tưởng rộng rãi. Ai đó có thể làm sáng tỏ tại sao đây là trường hợp? Chúng ta có những lập luận nào để hỗ trợ sự tồn tại của …

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

Câu hỏi: Kích thước công thức được biết đến tốt nhất giới hạn dưới cho một hàm rõ ràng trong AC 0 là gì? Có một chức năng rõ ràng với một thấp hơn bị ràng buộc?Ω(n2)Ω(n2)\Omega(n^2) Lý lịch: Giống như hầu hết các giới hạn dưới, kích thước giới …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

Là một thuật toán đa thức thời gian xác định được biết cho vấn đề sau: Đầu vào: một số tự nhiên (trong mã hóa nhị phân)nnn Đầu ra: một số nguyên tố .p>np>np > n (Theo danh sách các vấn đề mở của Leonard Adeld, vấn đề đã được …

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

Giả sử chúng ta có một lớp các đối tượng (giả sử biểu đồ, chuỗi) và mối quan hệ tương đương trên các đối tượng này. Đối với đồ thị, đây có thể là đồ thị đẳng cấu. Đối với các chuỗi, chúng ta có thể khai báo hai chuỗi …

25 cc.complexity-theory 

Hey Guys, tôi hiểu rằng các trick đệm cho phép chúng tôi để dịch các lớp phức tạp trở lên - ví dụ . Đệm hoạt động bằng cách "thổi phồng" đầu vào, chạy chuyển đổi (giả sử từ N P sang P ), tạo ra thuật toán "ma thuật" …

25 cc.complexity-theory  complexity-classes  padding 

Xin lỗi vì đã hỏi một câu hỏi chắc chắn phải có nhiều tài liệu tham khảo tiêu chuẩn. Tôi tò mò về chính xác câu hỏi trong tiêu đề, đặc biệt tôi đang nghĩ về các mạch Boolean, không bị ràng buộc về chiều sâu. Tôi đặt "nhỏ nhất" …

25 cc.complexity-theory  circuit-complexity 

Có bất kỳ tài liệu tham khảo bao gồm điều này?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Trước kết quả gần đây của Arora, Barak và Steurer, Thuật toán phụ cho các trò chơi độc đáo và các vấn đề liên quan , tôi quan tâm đến các vấn đề đồ thị có thuật toán thời gian phụ nhưng được cho là không thể giải quyết được …

25 cc.complexity-theory  reference-request 

Người ta biết rằng bất kỳ bằng chứng nào giải quyết câu hỏi P vs NP đều phải vượt qua quá trình tương đối hóa , bằng chứng tự nhiên và các rào cản đối kháng . Sơ đồ sau phân vùng "không gian bằng chứng" thành các vùng khác …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

Hãy xem xét vấn đề sau: đưa ra một công thức CNF và một bài tập thỏa mãn công thức này, có một bài tập thỏa mãn nào khác cho công thức này không? Sự phức tạp của vấn đề này là gì? (Nó chắc chắn là trong NP, nhưng …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

RP là loại vấn đề có thể quyết định bởi một máy Turing không xác định chấm dứt trong thời gian đa thức, nhưng điều đó cũng được cho phép là lỗi một phía. P là loại vấn đề thông thường có thể quyết định bằng máy Turing xác định …

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms