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

Có một tài liệu phong phú và ít nhất một cuốn sách rất hay đưa ra độ cứng đã biết của các kết quả gần đúng đối với các vấn đề NP-hard trong bối cảnh lỗi nhân (ví dụ: xấp xỉ 2 cho bìa đỉnh là giả định tối ưu …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Lý thuyết phức tạp, thông qua các khái niệm như tính đầy đủ NP, phân biệt giữa các vấn đề tính toán có giải pháp tương đối hiệu quả và các vấn đề khó hiểu. Độ phức tạp "hạt mịn" nhằm mục đích tinh chỉnh sự khác biệt định tính …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Xem xét các vấn đề tối ưu hóa của các hình thức sau đây. Đặt là hàm tính toán thời gian đa thức, ánh xạ một chuỗi thành một số hữu tỷ. Vấn đề tối ưu hóa là đây: giá trị tối đa của so với chuỗi -bit bao nhiêu?f(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Các lý do thuyết phục để tin gì? L là lớp các thuật toán không gian log với các con trỏ tới đầu vào.L ≠ PL≠PL\neq P Giả sử L = P trong lúc này. Thuật toán không gian log cho một vấn đề hoàn chỉnh P trông như thế …

23 cc.complexity-theory  complexity-classes 

Trong chủ đề này , bằng chứng đã cố gắng của Norbet Blum bị từ chối một cách ngắn gọn bằng cách lưu ý rằng hàm Tardos là một ví dụ cho Định lý 6.P≠NPP≠NPP \neq NP Định lý 6 : Đặt là bất kỳ hàm Boolean đơn điệu nào. …

22 cc.complexity-theory  np-hardness  complexity-classes 

Đây là một loại câu hỏi mở - mà tôi xin lỗi trước. Có ví dụ nào về các câu lệnh (dường như) không liên quan gì đến độ phức tạp hoặc máy Turing không nhưng câu trả lời trong đó có nghĩa là ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Trong khi đọc câu trả lời của Peter Shor và một câu hỏi trước đó của Adam Crume, tôi nhận ra rằng tôi có một số hiểu lầm về ý nghĩa của nó là -hard.PP\mathsf{P} Một vấn đề là -hard nếu có bất kỳ vấn đề nào trong có thể …

22 cc.complexity-theory  complexity-classes 

Tôi tự hỏi liệu có bất kỳ lý do nào để tin rằng hoặc tin rằng không?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Được biết, . Các tài liệu về derandomization của là khá thuyết phục rằng . Có ai biết về một số bài viết hoặc ý tưởng thuyết phục rằng không?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

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 

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 

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 

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 

BQP có bằng với BPP với quyền truy cập vào một nhà tiên tri ẩn nhóm Abelian không?

21 complexity-classes  quantum-computing