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

1

Lý lịch Cây quyết định nhị phân là cây gốc, trong đó mỗi nút bên trong (và gốc) được gắn nhãn bởi một chỉ mục sao cho không có đường dẫn nào từ gốc đến lá lặp lại một chỉ mục, các lá được gắn nhãn bởi các đầu ra …

16 ds.algorithms query-complexity decision-trees

6

Khi nào thì hai thuật toán được cho là giống nhau của Wap?

Tôi không làm việc trên lý thuyết, nhưng công việc của tôi đòi hỏi phải đọc (và hiểu) các bài lý thuyết mỗi lần. Khi tôi hiểu (một bộ) kết quả, tôi sẽ thảo luận về những kết quả này với những người tôi làm việc cùng, hầu hết những …

16 ds.algorithms graph-algorithms

1

Kết hợp hiệu quả DFAs?

Có bằng chứng lý thuyết cho thấy việc xây dựng sản phẩm cartesian ngây thơ cho giao điểm của DFA là "điều tốt nhất chúng ta có thể làm". Điều gì về sự kết hợp của hai DFA? Cấu trúc tầm thường bao gồm chuyển đổi từng DFA thành NFA, …

16 cc.complexity-theory fl.formal-languages automata-theory dfa

4

Khi nào có nhiều ấn phẩm ít hơn?

Có những trường hợp mà các ấn phẩm thêm có thể làm tổn thương hồ sơ của bạn? Điều này là tránh các trường hợp rõ ràng khi bạn công bố kết quả không chính xác hoặc gây tranh cãi. Ngoài ra, tránh trường hợp thời gian hữu hạn: bạn …

16 soft-question advice-request career

2

Mô hình cho phân tích phức tạp của các thuật toán

Phân tích trường hợp xấu nhất và trung bình là các biện pháp nổi tiếng về độ phức tạp của thuật toán. Phân tích trơn tru gần đây đã xuất hiện như một mô hình khác để giải thích tại sao một số thuật toán theo cấp số nhân trong …

16 cc.complexity-theory average-case-complexity smoothed-analysis

1

Bạn có thể quyết định tính tương đương cho các biểu thức Boolean đơn điệu không chứa phủ định trong PTIME không?

Là vấn đề sau trong PTIME, hay coNP-hard: Cho hai biểu thức Boolean và trong các biến , không có phủ định (nghĩa là các biểu thức được xây dựng hoàn toàn thông qua và ). Quyết định xem , nghĩa là chúng có cùng giá trị cho tất cả …

16 cc.complexity-theory time-complexity boolean-functions monotone

1

Tên của loại vấn đề đồ thị theo hướng này là gì?

Lấy đồ thị có hướng trong đó các cạnh được trang trí bằng số tự nhiên. Chúng tôi muốn tập hợp tất cả các đường dẫn P nằm giữa hai đỉnh v 1 và v 2 sao cho mỗi cạnh liên tiếp trong đường dẫn được trang trí với một …

16 ds.algorithms reference-request graph-algorithms terminology

1

Tìm kiếm giấy LCF ban đầu của Scott

Là bản thảo sau đây có sẵn công khai? Dana Scott, 1969, Một lý thuyết về các chức năng tính toán của loại cao hơn . Ghi chú hội thảo chưa được công bố, 7 trang, Đại học Oxford. Có một cuộc thảo luận về bài viết này trong phần …

16 reference-request lo.logic type-theory domain-theory

2

Phỏng đoán Collatz & Ngữ pháp / Automata

Tôi đã tự hỏi nếu có một thư mục tốt về các nỗ lực để điều tra phỏng đoán Collatz là một ngữ pháp chính thức? (hoặc bất kỳ nỗ lực nào khác trong cộng đồng CS để đối phó với loại hiện tượng chung chung này & các thuộc …

16 fl.formal-languages nt.number-theory halting-problem

3

Vai trò của tính dự báo trong định nghĩa quy nạp trong lý thuyết loại là gì?

Chúng ta thường muốn xác định một đối tượng theo một số quy tắc suy luận. Những quy tắc biểu thị một hàm tạo mà, khi nó là đơn điệu, mang lại một điểm cố định ít nhất . Chúng tôi lấy là "định nghĩa quy nạp" của . Hơn …

16 lo.logic pl.programming-languages type-theory proof-assistants coq

1

Tautology / mâu thuẫn trường hợp trung bình, vượt ra ngoài mô hình k-CNF ngẫu nhiên

Người ta biết rằng các công thức -CNF ngẫu nhiên trên biến có mệnh đề là không thỏa mãn (nghĩa là chúng mâu thuẫn) với xác suất cao, cho hằng số đủ lớn . Do đó, các công thức -CNF ngẫu nhiên (đối với đủ lớn) tạo thành một phân …

16 cc.complexity-theory reference-request lo.logic sat random-k-sat

3

Có lý thuyết ngôn ngữ lập trình nào mô tả các giao diện chức năng nước ngoài (FFI) và nhiều ràng buộc ngôn ngữ không?

Có lý thuyết ngôn ngữ lập trình nào mô tả các giao diện chức năng nước ngoài (FFI) và nhiều ràng buộc ngôn ngữ không? Tôi đã hỏi một số vấn đề triển khai trên stackoverflow , không phù hợp ở đây. Nhưng tôi muốn hỏi từ quan điểm của …

16 pl.programming-languages semantics

3

Có tồn tại x sao cho K (xx) <K (x), trong đó K là độ phức tạp Kolmogorov.

Gọi biểu thị độ phức tạp Kolmogorov của một chuỗi x . Có tồn tại một chuỗi sao cho K ( x x ) < K ( x ) . (Ở đây x x là phép nối của x với chính nó). Một câu hỏi tương tự nhưng khác nhau …

16 cc.complexity-theory kolmogorov-complexity

3

Có một cái tên cho những thứ vật lý trong đó người ta có thể xây dựng một máy Turing không?

Một trong những điều tuyệt vời về khoa học máy tính là việc triển khai vật lý theo một nghĩa nào đó "không liên quan". Mọi người đã chế tạo thành công máy tính từ nhiều chất nền khác nhau - rơle, ống chân không, bóng bán dẫn rời rạc, …

16 computability turing-machines terminology physics natural-computing

2

Độ phức tạp thời gian của thuật toán Bellman-Held-Karp cho TSP, mất 2

Một câu hỏi gần đây đã thảo luận về thuật toán lập trình động hiện đại cho TSP, do độc lập với Bellman và Held-Karp . Thuật toán được báo cáo phổ biến để chạy trong thời gian . Tuy nhiên, như một trong những học sinh của tôi gần …

16 ds.algorithms machine-models computing-over-reals