Запитання з тегом «reversible-computing»

1
Паралельна галькова гра на лінії
У грі з галькою на лінії розміщено N + 1 вузлів, позначених від 0 до N. Гра починається з камінчика на вузлі 0. Якщо на вузолі i є галька, ви можете додати або вийняти гальку з вузла i + 1. Мета - розмістити камінчик на вузлі N, не розміщуючи багато …

1
Алгоритми інверсії програм для програм вищого порядку
Термін "інверсія програми" має декілька відтінків значення, але, ймовірно, розпочався з роботи Дж. Маккарті 1956 р . Інверсія функцій, визначених машинами Тьюрінга в контексті ШІ. На сьогоднішній день виявлено багато зв'язків між інверсією програми та іншими сферами, наприклад, оборотне програмування (фізичне та логічне), часткове оцінювання, перевірка, двонаправлене програмування, логічне програмування …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.