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

No jogo de pedras em uma linha, há N + 1 nós rotulados de 0 a N. O jogo começa com uma pedra no nó 0. Se houver uma pedra no nó i, você poderá adicionar ou remover uma pedra do nó i + 1. O objetivo é colocar uma …

13 complexity  reversible-computing 

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, por exemplo, programação reversível …

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

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 configuração precisa pode ou não ser ortodoxa, por isso incluo …

10 circuit-complexity  permutations  reversible-computing