Preguntas etiquetadas con proof-complexity

sistemas de prueba proposicional y teorías aritméticas acotadas correspondientes


2
Si P = NP, ¿podríamos obtener pruebas de la Conjetura de Goldbach, etc.?
Esta es una pregunta ingenua, por mi experiencia; disculpas de antemano. La Conjetura de Goldbach y muchas otras preguntas no resueltas en matemáticas se pueden escribir como fórmulas cortas en cálculo de predicados. Por ejemplo, el artículo de Cook "¿Pueden las computadoras descubrir rutinariamente pruebas matemáticas?" formula esa conjetura como …


6
Clases bien conocidas de fórmulas booleanas que requieren pruebas de resolución exponencialmente largas
A menudo puede encontrar métodos de plano de corte, propagación variable, ramificación y encuadernación, aprendizaje de cláusulas, retroceso inteligente o incluso heurística humana tejida a mano en solucionadores SAT. Sin embargo, durante décadas, los mejores solucionadores de SAT se han basado en gran medida en técnicas de prueba de resolución …




3
Algoritmos constructivamente eficientes sin corrección eficiente y prueba de eficiencia
Estoy buscando ejemplos naturales de algoritmos eficientes (es decir, en tiempo polinómico) st su corrección y eficiencia pueden demostrarse de manera constructiva (p. ej., en o ), peroPAGR APAGRUNPRAHUNHUNHA no se conoce ninguna prueba que utilice solo conceptos eficientes (es decir, no sabemos cómo demostrar su corrección y eficiencia en …



3
Teorías que caracterizan las clases de complejidad computacional.
Al leer el documento " Una teoría aplicativa para FPH " puede encontrar el siguiente pasaje: Considerando las teorías que caracterizan las clases de complejidad computacional, existen tres enfoques diferentes: en uno, las funciones que se pueden definir dentro de la teoría son "automáticamente" dentro de una cierta clase de …





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.