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

Q & A cho các nhà khoa học và nhà nghiên cứu máy tính lý thuyết trong các lĩnh vực liên quan

3
Các lớp phức tạp P / Poly vs thống nhất
Người ta không biết liệu NEXP có trong P / poly hay không. Thật vậy, việc chứng minh rằng NEXP không có trong P / poly sẽ có một số ứng dụng trong việc khử cộng đồng. Lớp C thống nhất nhỏ nhất mà người ta có thể chứng minh …
1
Khi nào một biểu đồ thừa nhận một định hướng trong đó có nhiều nhất một bước đi?
Hãy xem xét vấn đề sau: Đầu vào: một đồ thị đơn giản (không bị chặn) .G=(V,E)G=(V,E)G=(V,E) Câu hỏi: Có định hướng thỏa mãn tính chất mà với mọi có nhiều nhất một (hướng) - đi bộ không?GGGs,t∈Vs,t∈Vs,t \in Vsssttt Điều này có thể được phrased tương đương như: Đầu …
1
Là sự phức tạp của vấn đề bao trùm này được biết đến?
Đặt là đồ thị. Một tập đỉnh được gọi là quan trọng nếu và không có đỉnh trong là tiếp giáp với đúng một đỉnh trong . Vấn đề là tìm một bộ đỉnh có kích thước tối thiểu sao cho cho mọi bộ quan trọng .G=(V,E)G=(V,E)G=(V,E)X⊆VX⊆VX\subseteq VX≠∅X≠∅X\neq\emptysetV∖XV∖XV\setminus XXXXS⊆VS⊆VS\subseteq VS∩X≠∅S∩X≠∅S\cap …
2
Có ngữ pháp thế hệ cao hơn?
Tôi quan tâm đến âm nhạc máy tính, nơi có các cách tiếp cận để coi các bản nhạc là câu trong ngữ pháp tổng quát hoặc hệ thống L. Thay vì sáng tác, người ta có thể chỉ định một ngữ pháp và để máy tính tạo nhạc. Ví …
9 grammars 
2
Bằng chứng về độ phức tạp Kolmogorov là không thể tính được bằng cách sử dụng các mức giảm
Tôi đang tìm kiếm một bằng chứng cho thấy sự phức tạp của Kolmogorov là không thể tính toán được bằng cách sử dụng một giảm từ một vấn đề không thể giải quyết khác. Bằng chứng phổ biến là sự chính thức hóa nghịch lý của Berry chứ không …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.