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

Trong trò chơi cuội trên một dòng có các nút N + 1 có nhãn 0 đến N. Trò chơi bắt đầu bằng một viên sỏi trên nút 0. Nếu có một viên sỏi trên nút i, bạn có thể thêm hoặc xóa một viên sỏi khỏi nút i + …

13 complexity  reversible-computing 

Thuật ngữ đảo ngược chương trình có nhiều sắc thái ý nghĩa, nhưng có lẽ đã bắt đầu với tác phẩm năm 1956 của J. McCarthy The Inversion of Function Defined by Turing Machines trong bối cảnh AI. Cho đến nay, nhiều kết nối giữa đảo ngược chương trình và …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

Câu hỏi của tôi là về các chức năng tính toán hiệu quả tính toán. Không chính thức tôi quan tâm đến: Nếu một mệnh đề có thể tính toán được trong thời gian đa thức, chúng ta có thể tính toán nó bằng một số đa thức của cổng …

10 circuit-complexity  permutations  reversible-computing