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

Cuốn sách của Arora và Barak trình bày bao thanh toán là vấn đề sau: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Họ nói thêm, trong Chương 2, việc loại bỏ …

45 cc.complexity-theory  np-hardness  factoring 

Giả sử tôi có một đồ thị chu kỳ có hướng với trọng số thực trên các đỉnh của nó. Tôi muốn tìm một thứ tự tôpô của DAG, trong đó, với mỗi tiền tố của thứ tự tôpô, tổng các trọng số là không âm. Hoặc nếu bạn thích …

45 ds.algorithms  directed-acyclic-graph  partial-order 

Định lý của Ladner nói rằng nếu P ≠ NP, thì có một hệ thống phân cấp vô hạn của các lớp phức tạp chứa đúng P và được chứa trong NP. Bằng chứng sử dụng tính đầy đủ của SAT theo NP giảm nhiều. Hệ thống phân cấp chứa …

45 cc.complexity-theory  reference-request  np-intermediate 

Trên một chủ đề khác , Andrej Bauer đã định nghĩa ngữ nghĩa học biểu thị là: ý nghĩa của một chương trình là một chức năng của ý nghĩa của các bộ phận của nó. Điều làm tôi băn khoăn về định nghĩa này là nó dường như không …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Hệ thống phân cấp Chomsky (mậtSchützenberger) được sử dụng trong sách giáo khoa khoa học máy tính lý thuyết, nhưng rõ ràng nó chỉ bao gồm một phần rất nhỏ các ngôn ngữ chính thức (REG, CFL, CSL, RE) so với Sơ đồ sở thú phức tạp đầy đủ . …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

Tôi đang tìm kiếm những phỏng đoán về các thuật toán và độ phức tạp được nhiều người xem là đáng tin cậy tại một số thời điểm, nhưng sau đó chúng hoặc bị từ chối, hoặc ít nhất là không tin, do gắn bằng chứng phản bác. Đây là …

44 cc.complexity-theory  ds.algorithms 

Được biết, TSP số liệu có thể được xấp xỉ trong vòng và không thể xấp xỉ tốt hơn trong thời gian đa thức. Có bất cứ điều gì được biết về việc tìm các giải pháp gần đúng trong thời gian theo cấp số nhân (ví dụ: dưới bước …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

Câu hỏi: Làm thế nào để "chiến thuật" hoạt động trong các trợ lý chứng minh? Chúng dường như là những cách chỉ định cách viết lại một thuật ngữ thành một thuật ngữ tương đương (đối với một số định nghĩa về 'tương đương'). Có lẽ có những quy …

44 lo.logic  type-theory  proof-assistants 

Hôm nay Ryan Williams đã đăng một bài viết trên arXiv (trước đây đã xuất hiện trên SIGACT News) có chứa một phiên bản ít kỹ thuật hơn về kỹ thuật ràng buộc thấp hơn ACC gần đây của anh ấy . Câu hỏi của tôi không phải là về …

44 soft-question  big-list 

Theo hiểu biết của tôi, mô hình của Turing đã trở thành "tiêu chuẩn" khi mô tả tính toán. Tôi muốn biết lý do tại sao lại như vậy - đó là lý do tại sao mô hình TM trở nên được sử dụng rộng rãi hơn so với các …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Nói một cách không chính thức, độ phức tạp Kolmogorov của chuỗi là độ dài của chương trình ngắn nhất tạo ra x . Chúng ta có thể định nghĩa một khái niệm 'chuỗi ngẫu nhiên' bằng cách sử dụng nó ( x là ngẫu nhiên nếu K ( x …

44 cc.complexity-theory  big-list  co.combinatorics  it.information-theory 

Tôi luôn gặp khó khăn trong việc hiểu tầm quan trọng của Khoảng cách Tích phân (IG) và giới hạn về nó. IG là tỷ lệ (chất lượng) của một câu trả lời nguyên tối ưu cho (chất lượng) một giải pháp thực tế tối ưu cho sự thư giãn …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Nếu bạn có thể đổi tên chương trình động, bạn sẽ gọi nó là gì?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Ai đó có thể cung cấp một lời giải thích ngắn gọn về cách tiếp cận GCT của Mulmuley có thể hiểu được bởi những người không phải là chuyên gia? Một lời giải thích phù hợp với trang Wikipedia về chủ đề này (hiện vẫn còn sơ khai). Động …

43 cc.complexity-theory  gct 

Có bất kỳ lợi ích nào khi tính toán độ phức tạp thời gian của một thuật toán bằng phép tính lambda không? Hoặc có một hệ thống khác được thiết kế cho mục đích này? Bất kỳ tài liệu tham khảo sẽ được đánh giá cao.

43 lambda-calculus  pl.programming-languages  time-complexity