Khoa học máy tính lý thuyết

Vấn đề là để tính toán đa thức . Giả sử rằng tất cả các hệ số phù hợp với một từ máy, nghĩa là có thể được thao tác trong đơn vị thời gian.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Bạn có thể thực hiện …

35 ds.algorithms  reference-request  open-problem  polynomials 

Khi chúng ta tuân theo các sách giáo khoa hoặc truyền thống tiêu chuẩn, hầu hết chúng ta đều dạy định nghĩa sau đây về ký hiệu big-Oh trong một vài bài giảng đầu tiên của một lớp thuật toán: Có lẽ chúng tôi thậm chí còn đưa ra toàn …

35 ds.algorithms  soft-question  teaching 

Sở thú phức tạp chỉ ra trong mục trên EXP rằng nếu L = P thì PSPACE = EXP. Vì NPSPACE = PSPACE của Savitch, theo như tôi có thể nói đối số đệm cơ bản mở rộng để hiển thị rằng Chúng ta cũng biết rằng L NL NC …

35 cc.complexity-theory  conditional-results 

Hầu hết các thuật toán nổi tiếng là thứ nhất, theo nghĩa là đầu vào và đầu ra của chúng là dữ liệu "đơn giản". Một số là thứ tự thứ hai theo cách tầm thường, ví dụ như sắp xếp, hàm băm hoặc hàm và bản đồ: chúng được …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

Các kết quả đáng ngạc nhiên nhất trong sự phức tạp là gì? Tôi nghĩ sẽ hữu ích khi có một danh sách các kết quả bất ngờ / đáng ngạc nhiên. Điều này bao gồm cả hai kết quả đáng ngạc nhiên và xuất phát từ hư không và …

35 cc.complexity-theory  big-list 

Một trong những câu hỏi được thảo luận nhiều nhất trên trang web là Điều gì có nghĩa là để bác bỏ Luận án Giáo hội . Điều này một phần là do Dershowitz và Gurevich đã xuất bản một bằng chứng về Luận án Giáo hội là Bản tin …

35 soft-question  lo.logic  church-turing-thesis 

Nhiều người tin rằng . Tuy nhiên, chúng ta chỉ biết rằng ở cấp thứ bậc đa thức thứ hai, tức là . Một bước để hiển thị \ mathsf {BPP} = \ mathsf {P} trước tiên là đưa nó xuống cấp độ đầu tiên của hệ thống phân cấp …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

Người ta thường nghĩ về các giải pháp gần đúng (có bảo đảm) cho các vấn đề NP-hard. Có nghiên cứu nào đang diễn ra trong các vấn đề gần đúng đã được biết đến trong P không? Đây có thể là một ý tưởng tốt cho một số lý …

34 ds.algorithms  approximation-algorithms 

Alan Turing , một trong những người tiên phong của khoa học máy tính (lý thuyết), đã có nhiều đóng góp khoa học cho lĩnh vực của chúng tôi, bao gồm xác định máy Turing, luận án Church-Turing, tính không chắc chắn và thử nghiệm Turing. Tuy nhiên, những khám …

34 soft-question  ho.history-overview 

Bao thanh toán không được biết là NP-đầy đủ. Câu hỏi này yêu cầu hậu quả của Bao thanh toán là NP-đầy đủ. Thật kỳ lạ, không ai hỏi về hậu quả của Bao thanh toán trong P (có thể vì một câu hỏi như vậy là tầm thường). Vì …

34 cc.complexity-theory  cr.crypto-security  conditional-results  factoring 

Có cấu trúc dữ liệu nào có một mảng nnn mục không được sắp xếp , thực hiện quá trình tiền xử lý trong O(n)O(n)O(n) và trả lời các truy vấn: có một số phần tử xxx trong danh sách, mỗi truy vấn trong thời gian xấu nhất O(logn)O(log⁡n)O(\log n) …

34 ds.data-structures  sorting 

Đoán đây không phải là một câu hỏi phổ biến, nhưng tự hỏi liệu có ai đã nhìn thấy tài liệu được làm rõ ràng để giải quyết đối tượng này một cách có ý nghĩa hay không.

34 soft-question  teaching 

Trong sự nghiệp học tập của mình, tôi đã đọc khá nhiều bài báo học thuật về các chủ đề khoa học máy tính khác nhau. Nhiều trong số đó liên quan đến một triển khai và một số đánh giá về việc thực hiện đó, nhưng tôi đã thấy …

34 soft-question  research-practice  paper-review 

Vấn đề, tất nhiên, là tính hai lần. Nó đủ dễ để thực hiện đối với một số lớp DAG nhất định = một cây hoặc thậm chí là một cây song song nối tiếp. Thuật toán duy nhất tôi đã tìm thấy hoạt động trên các DAG chung trong …

34 ds.algorithms  graph-theory  directed-acyclic-graph 

Mark Dominus đã thu thập một vài ví dụ về việc giảm thời gian đa thức từ các vấn đề NP-hard khác nhau sang biểu thức chính quy phù hợp . Hình dung xác minh thời gian đa thức không phải là một bước nhảy vọt. Làm thế nào để …

34 np-hardness  big-list