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

Vấn đề sau đây gần đây đã xuất hiện trong nghiên cứu của tôi. Không phải là chuyên gia về các câu hỏi thuật toán, tôi đã tìm hiểu rất nhiều về các vấn đề phù hợp để giảm bớt. Tôi không thấy 3SAT sẽ hoạt động như thế nào …

21 cc.complexity-theory 

f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 Rõ ràng rằng với bất kỳ ngôn ngữ nào nó giữ cho mọi thời gian siêu chính thức bị ràng buộc . Tôi tự hỏi, thời điểm ngược lại của tuyên bố này cũng đúng? Đó là, nếu chúng ta biết cho mọi thời gian siêu đa …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Tôi biết rằng độ phức tạp của hầu hết các loại tính toán lambda được gõ mà không có nguyên hàm tổ hợp Y bị giới hạn, nghĩa là chỉ có thể biểu thị các hàm phức tạp giới hạn, với giới hạn trở nên lớn hơn khi tính biểu …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

Đó là một kết quả kinh điển mà mỗi mạch trong 2 AND-OR-NOT tính toán PARITY từ các biến đầu vào có kích thước ít nhất là và điều này là sắc nét. (Chúng tôi xác định kích thước là số lượng cổng AND và OR.) Bằng chứng là bằng …

21 cc.complexity-theory  circuit-complexity  parity 

Shor tuyên bố, trong bình luận của mình cho câu trả lời của con nai vô danh cho câu hỏi này Bạn có thể xác định tổng của hai hoán vị trong thời gian đa thức không? , đó là -complete để xác định sự khác biệt của hai hoán …

21 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Giới hạn trên tốt nhất được biết về độ phức tạp thời gian của phép nhân là ràng buộc của Martin Fürer , nhiều hơn độ phức tạp thời gian tuyến tính của phép cộng. Chúng ta có một bằng chứng rằng sự bổ sung vốn dễ dàng hơn phép …

21 cc.complexity-theory  time-complexity 

Nhiều kết quả quan trọng trong lý thuyết phức tạp tính toán, và đặc biệt là lý thuyết phức tạp "cấu trúc", có đặc tính thú vị mà chúng có thể được hiểu là theo cơ bản (như tôi thấy ...) từ các kết quả thuật toán đưa ra một …

21 cc.complexity-theory  structural-complexity 

Sử dụng thuật toán carry look front chúng ta có thể tính toán bổ sung bằng cách sử dụng một mạch có kích thước đa thức độ sâu 5 (hoặc 4?) . Có thể giảm độ sâu? Chúng ta có thể tính toán việc cộng hai số nhị phân bằng …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

Có một ví dụ về một vấn đề tự nhiên xảy ra trong BPP nhưng không được biết là ở RP hoặc co-RP?

21 cc.complexity-theory  complexity-classes  randomness 

Hãy xem xét các lý do sau đây: Gọi biểu thị độ phức tạp Kolmogorov của chuỗi x . Định lý bất toàn Chaitin nói rằngK(x)K(x)K(x)xxx cho bất kỳ hệ thống chính thức phù hợp và đủ mạnh mẽ , có tồn tại một hằng số T (chỉ phụ thuộc …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Cổng AND & OR là một cổng được đưa ra hai đầu vào và trả về AND và OR của chúng. Có phải các mạch chỉ được tạo ra từ cổng AND & OR, không có quạt, có khả năng tính toán tùy ý không? Chính xác hơn, logspace tính …

21 cc.complexity-theory  circuit-complexity 

Như chúng ta đã biết, hàm -clique C L I Q U E ( n , k ) lấy một sơ đồ con ( bao trùm ) G ⊆ K n của một đồ thị n -vertex hoàn chỉnh K n và xuất ra 1 iff G chứa một k …

21 cc.complexity-theory  optimization  circuit-complexity 

Có bất kỳ giả thuyết phức tạp / mật mã hợp lý nào có thể loại trừ khả năng các mạch kích thước đa thức có kích thước phụ (ví dụ với ) giới hạn độ sâu ( ) mạch? ϵ < 1 d = O ( 1 )2Ô ( …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

Lấy cảm hứng từ câu hỏi là bao thanh toán được gọi là P-hard , tôi tự hỏi trạng thái kiến ​​thức tương tự hiện nay là gì về độ cứng của đẳng cấu đồ thị. Tôi chắc chắn rằng hiện tại không biết GI có ở P không, nhưng: …

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

Luca Trevisan cho thấy có bao nhiêu công trình của các trình tạo giả ngẫu nhiên trên thực tế có thể được coi là các công trình trích xuất: http: //www.cs.ber siêu.edu/~luca/pub/extractor-full.pdf Có một cuộc trò chuyện có ý nghĩa? Tức là, các cấu trúc "tự nhiên" của các trình …

21 cc.complexity-theory  pseudorandomness  pseudorandom-generators  extractors