Preguntas etiquetadas con reversible-computing

En el juego de guijarros en una línea hay N + 1 nodos etiquetados de 0 a N. El juego comienza con un guijarro en el nodo 0. Si hay un guijarro en el nodo i, puede agregar o quitar un guijarro del nodo i + 1. El objetivo es …

13 complexity  reversible-computing 

El término inversión de programa tiene múltiples matices de significado, pero probablemente comenzó con el trabajo de J. McCarthy de 1956 La inversión de las funciones definidas por las máquinas de Turing en el contexto de la IA. Hasta ahora se han descubierto muchas conexiones entre la inversión del programa …

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

Mi pregunta es acerca de las funciones biyectivas computables de manera eficiente. Informalmente estoy interesado en: Si una biyección es computable en tiempo polinómico, ¿podemos calcularla por un número polinómico de puertas biyectivas? Revisé la lista de preguntas relevantes y no vi esta. Mi configuración precisa puede o no ser …

10 circuit-complexity  permutations  reversible-computing