Preguntas etiquetadas con reductions

Una reducción es la transformación de un problema en otro problema. Un ejemplo de uso de una reducción sería mostrar si un problema P es indecidible. Esto se lograría transformando o realizando una reducción de un problema de decisión en un problema indecidible. Si esto se puede lograr, entonces hemos demostrado que este problema P es indecidible. PAGS

2
Número limitado de ocurrencias variables en 1-en-3 SAT
¿Existe un resultado conocido en la clase de complejidad 1-en-3-SAT con un número restringido de ocurrencias variables? Se me ocurrió la siguiente reducción parsimoniosa con Peter Nightingale, pero quiero citar algo si esto se sabe. Aquí está el truco que se nos ocurrió. Esto muestra que 1-en-3-SAT limitado a 3 …
3
Cálculo de construcciones: comprime la expresión a su forma más pequeña
Soy consciente de que el cálculo de construcciones se está normalizando fuertemente, lo que significa que cada expresión tiene una normalidad que no puede ser beta, eta-reducida aún más. De hecho, esta es la expresión más eficiente que calcula el mismo valor que la expresión original. Pero en ciertos casos, …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.