Perguntas com a marcação «reversible-computing»

Algoritmos de inversão de programa para programas de ordem superior

O termo inversão de programa tem várias tonalidades de significado, mas provavelmente começou com o trabalho de J. McCarthy, de 1956, The Inversion of Functions Defined by Turing Machines no contexto da IA. Até agora, muitas conexões entre inversão de programa e outros campos foram descobertas,...

Circuito polinomial reversível iff circuito reversível polinomial?

Minha pergunta é sobre funções bijetivas eficientemente computáveis. Informalmente, estou interessado em: Se uma bijeção é computável em tempo polinomial, podemos calculá-la por um número polinomial de portas bijetivas? Verifiquei a lista de perguntas relevantes e não localizei essa. Minha...