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

2
Có một thuật toán thời gian đa thức để xác định xem khoảng của một tập hợp ma trận có chứa ma trận hoán vị không?
Tôi muốn tìm một thuật toán thời gian đa thức xác định xem khoảng của một ma trận đã cho có chứa ma trận hoán vị hay không. Nếu bất kỳ ai biết nếu vấn đề này thuộc một lớp phức tạp khác, thì điều đó cũng hữu ích. EDIT: …
2
Phân cấp trong NP (theo giả định rằng P! = NP)
Giả sử rằng P! = NP, tôi tin rằng đã có chứng minh rằng có những vấn đề không nằm trong P và không phải NP-Complete. Đồ thị đẳng cấu được phỏng đoán là một vấn đề như vậy. Có bằng chứng nào về nhiều 'lớp' như vậy trong NP …
2
Là {
Là ngôn ngữ { } bối cảnh miễn phí hay không?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Tôi nhận ra rằng tôi đã gặp phải hầu hết các biến thể của câu hỏi này với các điều kiện khác nhau về mối …
7
Chúng ta có nên coi
Nhiều chuyên gia tin rằng phỏng đoán là đúng và sử dụng nó trong kết quả của họ. Mối quan tâm của tôi là sự phức tạp phụ thuộc mạnh mẽ vào phỏng đoán P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Vì vậy, câu hỏi của tôi là: Chừ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.