Câu hỏi được gắn thẻ «decidability»

Có phải mọi ngôn ngữ không thể nhận dạng Turing đều có một tập hợp con hoàn chỉnh NP không? Câu hỏi có thể được coi là một phiên bản mạnh mẽ hơn của thực tế là mọi ngôn ngữ có thể nhận biết Turing vô hạn đều có một …

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Nếu bạn có hai hàm thực hiện một thuật toán sắp xếp khác nhau, thì có thể suy ra bằng mã nguồn mà cả hai đều có cùng thuộc tính bên ngoài không? Có nghĩa là cả hai sẽ có một chuỗi chưa được sắp xếp có thể là đầu …

9 pl.programming-languages  decidability  formal-methods  extensionality 

Vấn đề: Xem xét số lượng trạng thái điều khiển hữu hạn (bao gồm trạng thái "ban đầu" và trạng thái "xấu"), số lượng biến số hữu hạn và đối với mỗi cặp trạng thái được sắp xếp một mối quan hệ chuyển tiếp được biểu thị trong số học …

8 lo.logic  pl.programming-languages  decidability 

Câu trả lời được chấp nhận Câu trả lời của Scott Aaronson đã được "chấp nhận" (chủ yếu vì đó là câu trả lời duy nhất !) Tóm tắt một câu của câu trả lời Các khái quát tự nhiên hợp lý của câu hỏi P so với NP rõ …

8 cc.complexity-theory  decidability