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

Tôi biết rằng không thể xác định được liệu một bộ gạch có thể xếp máy bay hay không, kết quả của việc Berger sử dụng gạch Wang . Câu hỏi của tôi là liệu nó cũng được biết đến là undecidable để xác định xem một single cho gạch …

24 reference-request  co.combinatorics  decidability  undecidability 

Người ta biết rằng vấn đề tương đương là không thể giải quyết được đối với các ngôn ngữ không có ngữ cảnh chung. Tuy nhiên, tất cả các bằng chứng về thực tế này mà tôi biết dường như liên quan đến một số ngữ pháp không ngữ cảnh …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Vấn đề tạm dừng cho các máy Turing có lẽ là tập hợp không thể giải quyết được. Tuy nhiên, chúng tôi chứng minh rằng có một thuật toán quyết định gần như tất cả các trường hợp của nó. Do đó, vấn đề tạm dừng là một trong những …

18 cc.complexity-theory  reference-request  computability  undecidability 

Trả lời: không biết. Các câu hỏi được hỏi là tự nhiên, cởi mở và có vẻ khó khăn; câu hỏi bây giờ là một wiki cộng đồng. Tổng quat Câu hỏi tìm cách phân chia các ngôn ngữ thuộc lớp phức tạp - cùng với các máy Turing quyết …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Người ta biết rằng nhiều vấn đề logic (ví dụ như các vấn đề thỏa mãn của một số logic phương thức) không thể quyết định được. Ngoài ra còn có nhiều vấn đề không thể giải quyết được trong lý thuyết thuật toán, ví dụ như trong tối ưu …

13 lo.logic  approximation-algorithms  undecidability 

Mô hình tính toán đơn giản nhất mà vấn đề trống rỗng là không thể giải quyết được là gì? Vấn đề trống rỗng cho một mô hình tính toán (ví dụ: máy tự động trạng thái hữu hạn, máy tự động đẩy xuống xen kẽ, máy tự động lượng …

12 computability  decidability  undecidability  unary-languages 

"Tên trò chơi số lớn nhất" yêu cầu hai người chơi viết ra một số bí mật và người chiến thắng là người đã viết ra số lớn hơn. Trò chơi thường cho phép người chơi viết ra các chức năng được đánh giá tại một điểm, vì vậy cũng …

11 computability  undecidability 

Có những vấn đề có thể quyết định được, có một số vấn đề không thể giải quyết được, có khả năng bán được, v.v. Trong trường hợp này, tôi tự hỏi liệu một vấn đề có thể là siêu không thể giải quyết được. Điều này có nghĩa (ít …

9 computability  decidability  undecidability