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

3

Liệu một automata hữu hạn không vô căn (NDFA) có thể được chuyển đổi một cách hiệu quả thành một automata hữu hạn xác định (DFA) trong không gian / thời gian phụ?

Hai mươi năm trước, tôi đã xây dựng một gói biểu thức chính quy bao gồm các chuyển đổi từ biểu thức chính quy sang máy trạng thái hữu hạn (DFA) và hỗ trợ một loạt các hoạt động biểu thức chính quy kín (sao Kleene, nối, đảo ngược, đặt …

16 dfa regular-expressions bounds

3

Một kiến trúc phi von Neumann thực tế là gì?

Có ứng dụng thực tế nào cho các mô hình lập trình không von Neumann không? Các ngôn ngữ lập trình không von Neumann được chấp nhận rộng rãi nhất là gì?

16 universal-computation logic-programming

3

Chúng ta có thể chứng minh sự chuẩn hóa yếu cho Hệ thống F bằng cách cảm ứng trên một thứ tự vô hạn

Chuẩn hóa yếu cho phép tính lambda gõ đơn giản có thể được chứng minh (Turing) bằng cách cảm ứng trên . Một phép tính lambda mở rộng với các đệ quy trên các số tự nhiên (Gentzen) có chiến lược chuẩn hóa yếu bằng cách cảm ứng trên ϵ …

16 lo.logic type-theory lambda-calculus proof-theory normalization

2

Trường hợp cứng để kiểm tra đẳng cấu đồ thị

Là trường hợp của đồ thị thường xuyên mạnh mẽ là khó nhất cho thử nghiệm GI? trong đó "khó nhất" được sử dụng theo nghĩa "thông thường" hay "trung bình", có thể nói như vậy. Wolfram MathWorld đề cập đến một số "đồ thị cứng bệnh lý". Họ là …

16 ds.algorithms graph-isomorphism

1

Sự cố hoàn thành LogDCFL

LogCFL là tập hợp tất cả các ngôn ngữ có thể thu nhỏ logspace thành ngôn ngữ không ngữ cảnh. Tương tự, LogDCFL là tập hợp tất cả các ngôn ngữ có thể rút ngắn logspace thành ngôn ngữ không có ngữ cảnh xác định. Xem bài viết trên wikipedia …

16 cc.complexity-theory complexity-classes

2

Tổng ngôn ngữ mà chỉ một ngôn ngữ hoàn chỉnh Turing có thể diễn giải

Bất kỳ ngôn ngữ nào không hoàn thành Turing đều không thể tự viết trình thông dịch. Tôi không biết tôi đã đọc nó ở đâu nhưng tôi đã thấy nó được sử dụng nhiều lần. Có vẻ như điều này làm phát sinh một loại ngôn ngữ hoàn chỉnh …

16 computability turing-machines

1

Đọc lên

Tôi nên đọc gì để hiểu vấn đề này? Sức mạnh của các mạch lượng tử độ sâu nhỏ. Là ? Nói cách khác, phần "lượng tử" của bất kỳ thuật toán lượng tử nào có thể được nén thành độ sâu polylog (n), miễn là chúng ta sẵn sàng …

16 cc.complexity-theory reference-request quantum-computing

6

Khi chúng tôi đã tìm thấy giới hạn tốt hơn cho các thuật toán được biết đến?

Có các trường hợp thú vị của các thuật toán đã được xuất bản với các giới hạn đã được chứng minh, và các giới hạn tốt hơn sau đó đã được xuất bản không? Không phải là thuật toán tốt hơn với giới hạn tốt hơn - rõ ràng …

16 ho.history-overview analysis-of-algorithms

1

Xây dựng Oracle cho thuật toán Grover

Trong "Thông tin lượng tử và thông tin lượng tử" của Mike và Ike, thuật toán của Grover được giải thích rất chi tiết. Tuy nhiên, trong cuốn sách và trong tất cả các giải thích tôi đã tìm thấy trực tuyến về thuật toán của Grover, dường như không …

16 quantum-computing quantum-information oracles search-problem black-box

1

Làm thế nào mạnh mẽ là chính xác điện toán lượng tử chính xác nếu bạn đình chỉ tính phi quân sự?

Câu hỏi ngắn. Sức mạnh tính toán của các mạch "lượng tử" là gì, nếu chúng ta cho phép các cổng không đơn nhất (nhưng vẫn không thể đảo ngược) và yêu cầu đầu ra đưa ra câu trả lời chính xác một cách chắc chắn? Câu hỏi này có …

15 complexity-classes quantum-computing

1

Định lý tự nhiên chỉ chứng minh được với mức xác suất cao?

Có rất nhiều tình huống trong đó một "bằng chứng" ngẫu nhiên dễ dàng hơn nhiều so với một bằng chứng xác định, ví dụ điển hình là kiểm tra nhận dạng đa thức. Câu hỏi : Có bất kỳ "định lý" toán học tự nhiên nào trong đó một …

15 lo.logic randomness randomized-algorithms proofs

1

Biểu thức chiều rộng Clique với độ sâu logarit

Khi chúng ta được cung cấp một phân tách cây của đồ thị với chiều rộng w , có một số cách mà chúng ta có thể làm cho nó "đẹp". Cụ thể, người ta biết rằng có thể biến nó thành một phân rã cây trong đó cây là …

15 treewidth parameterized-complexity fixed-parameter-tractable cliquewidth

6

Có bằng chứng chính thức nào cho thấy điện toán lượng tử đang hoặc sẽ nhanh hơn điện toán cổ điển không?

Thay vì bằng chứng thực nghiệm, bằng những nguyên tắc chính thức nào chúng ta đã chứng minh rằng điện toán lượng tử sẽ nhanh hơn điện toán truyền thống / cổ điển?

15 quantum-computing

1

Sự tương đương của kiểm tra tính khả thi và tối ưu hóa cho các hệ thống tuyến tính

Một cách để chỉ ra rằng việc kiểm tra tính khả thi của một hệ bất đẳng thức tuyến tính cũng khó như lập trình tuyến tính thông qua việc giảm được đưa ra bởi phương pháp ellipsoid. Một cách thậm chí còn dễ dàng hơn là đoán giải pháp …

15 ds.algorithms linear-programming

2

Có phải mọi ngôn ngữ đệ quy được công nhận bởi một máy Turing không?

Chúng tôi nói rằng Turing Machine là trọng số nếu M tạm dừng cho mọi cấu hình bắt đầu (đặc biệt, nội dung băng và trạng thái ban đầu có thể tùy ý). Có phải mọi ngôn ngữ đệ quy được công nhận bởi một máy Turing không? (tức là …

15 computability