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

O ( log c n ) O ( n k ) c k n c 2 n k kN CNC\mathsf{NC} nắm bắt ý tưởng về khả năng song song hiệu quả và một cách giải thích về nó là các vấn đề có thể giải quyết được trong thời gian …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

Tôi tò mò theo nghĩa rộng về những gì đã biết về các thuật toán song song trong P. Tôi đã tìm thấy bài viết wikipedia sau đây về chủ đề này: http://en.wikipedia.org/wiki/NC_%28complexity%29 Bài viết chứa câu sau: Không rõ liệu NC = P, nhưng hầu hết các nhà nghiên …

21 cc.complexity-theory  complexity-classes  big-picture 

Mối quan hệ giữa các thuật toán DNA và các lớp phức tạp được xác định bằng máy Turing là gì? Các biện pháp phức tạp như thời gian và không gian tương ứng với các thuật toán DNA là gì? Chúng có thể được sử dụng để giải quyết …

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

Lời nói đầu Các hệ thống bằng chứng tương tác và các giao thức Arthur-Merlin đã được Goldwasser, Micali và Rackoff và Babai giới thiệu vào năm 1985. Lúc đầu, người ta cho rằng cái trước mạnh hơn cái sau, nhưng Goldwasser và Sipser cho thấy chúng có cùng sức …

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

Chúng tôi biết rất nhiều về những hạn chế của (kích thước đa thức) mạch độ sâu không đổi. Do các công thức độ sâu không đổi (kích thước đa thức) là một mô hình tính toán bị hạn chế hơn nữa, nên tất cả các vấn đề được biết …

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

Một bằng chứng tách lớp phức tạp sử dụng tính đồng nhất của các lớp phức tạp về cơ bản nếu bằng chứng không chứng minh được kết quả cho phiên bản không định dạng, ví dụ bằng chứng dựa trên đường chéo (như các định lý phân cấp không …

21 cc.complexity-theory 

. giới hạn.) Giả sử chúng ta có đồng tiền giống hệt nhau với bias . Mục đích là để mô phỏng một lần tung đồng xu duy nhất trong khi giảm thiểu sai lệch.δ = P [ H e a d ] - P [ T a i l …

21 cc.complexity-theory  circuit-complexity  pr.probability 

Được thúc đẩy bởi câu trả lời của Shor liên quan đến các khái niệm khác nhau về tính đầy đủ của NP, tôi đang tìm kiếm một vấn đề hoàn thành NP theo mức giảm P nhưng không được biết là hoàn thành NP theo mức giảm Logspace (tốt …

21 cc.complexity-theory  np-hardness 

László Babai gần đây đã chứng minh rằng vấn đề Đồng phân đồ thị là trong thời gian quasipolynomial . Xem thêm bài nói chuyện của anh ấy tại Đại học Chicago, ghi chú từ các cuộc nói chuyện của Jeremy Kun GLL bài 1 , GLL bài 2 , …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Nhắc lại π(n)π(n)\pi(n) số lượng các số nguyên tố ≤n≤n\le n là hàm đếm số nguyên tố . Theo "PRIMES in P", tính toán π(n)π(n)\pi(n) nằm trong #P. Là vấn đề # P-đầy đủ? Hoặc, có lẽ, có một lý do phức tạp để tin rằng vấn đề này không …

20 cc.complexity-theory  counting-complexity  nt.number-theory  comp-number-theory  primes 

Hãy để chúng tôi nói rằng một ngôn ngữ LLL là P -d mật độ gần nếu có một thuật toán thời gian đa thức quyết định chính xác trên hầu hết tất cả các đầu vào.LLL Nói cách khác, có một P , sao cho đang biến mất, có …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

Sự khai thác dường như vô nghĩa của việc khai thác tiền điện tử đã đặt ra câu hỏi về các lựa chọn thay thế hữu ích, hãy xem những câu hỏi này trên Bitcoin , CST , MO . Tôi tự hỏi liệu có tồn tại một thuật toán …

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

Người ta biết rằng palindromes có thể được nhận ra theo thời gian tuyến tính trên máy Turing -tape, nhưng không phải trên máy Turing băng đơn (trong trường hợp thời gian cần thiết là bậc hai). Thuật toán thời gian tuyến tính sử dụng một bản sao của đầu …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Làm thế nào nhanh chóng một thuật toán không xác định cho một vấn đề hoàn thành EXPTIME phải được ngụ ý ? Một thuật toán không xác định thời gian đa thức sẽ ngay lập tức ngụ ý điều này bởi vì nhưng không ai tin . Nếu tôi …

20 cc.complexity-theory 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 6 năm trước . (Câu hỏi này là một chút của "khảo sát".) …

20 cc.complexity-theory  reference-request  np-hardness