El problema #SAT es el problema canónico # P-complete. Es un problema funcional más que un problema de decisión. Pregunta, dada una fórmula booleana en lógica proposicional, cuántas asignaciones satisfactorias tiene¿Cuáles son los mejores límites inferiores en
¿Hay alguna forma de codificar una instancia de Subset Sum o el problema de partición numérica para que una solución (pequeña) a una relación entera produzca una respuesta? Si no es definitivamente, ¿en algún sentido probabilístico? Sé que LLL (y quizás PSLQ) se han utilizado con éxito moderado en...
Objetivo : resolver la conjetura de que no existe un plano proyectivo de orden 12. En 1989, utilizando la búsqueda por computadora en un Cray, Lam demostró que no existe un plano proyectivo de orden 10. Ahora que el Número de Dios para el Cubo de Rubik se ha determinado después de solo unas pocas...
Muchos criptosistemas de clave pública tienen algún tipo de seguridad demostrable. Por ejemplo, el criptosistema Rabin es probablemente tan difícil como factorizar. Me pregunto si existe ese tipo de seguridad comprobable para los criptosistemas de clave secreta, como AES. Si no es así, ¿cuál es la...
SACiSUNCyoSAC^i es la clase de problemas de decisión que puede resolver una familia de circuitos de profundidad con compuertas OR sin límites y con compuertas AND con límites. Las negaciones solo están permitidas en el nivel de entrada. Se sabe que S A C i para i ≥ 1 está cerrado bajo el...
¿Qué tipo de conjeturas y principales problemas abiertos son los más importantes en la teoría algorítmica de juegos (o la teoría de juegos en general en lo que se refiere a CS)? Por ejemplo, la resolución de NASH como PPAD completo, creo, habría sido la más grande hasta que se resolvió. (Agregado:...
Considere la lista humildemente vinculada en un entorno puramente funcional. Sus alabanzas se han cantado desde las cimas de las montañas y se seguirán cantando. Aquí abordaré uno de sus muchos puntos fuertes y la cuestión de cómo se puede extender a la clase más amplia de secuencias puramente...
¿Cómo puedo convencer a Coq de que la función recursiva dada a continuación termina? La función toma dos argumentos inductivos. Intuitivamente, la recursión termina porque cualquiera de los argumentos se descompone. Específicamente, la función toma dos árboles como entrada. Inductive Tree := |...
Estoy revisando un modelo criptográfico. Para mostrar su insuficiencia, he diseñado un protocolo artificial basado en el isomorfismo gráfico. Es "común" (¡pero controvertido!) Asumir la existencia de algoritmos BPP capaces de generar "instancias difíciles del problema del isomorfismo gráfico"....
Escribí una implementación del algoritmo Kuhn-Munkres para el problema de coincidencia perfecta bipartita de peso mínimo basado en las notas de clase que encontré aquí y allá en la web. Funciona muy bien, incluso en miles de vértices. Y estoy de acuerdo en que la teoría detrás de esto es realmente...
Dados dos CNF, si tienen el mismo número de asignaciones para hacerlos verdaderos, responda "Sí", de lo contrario responda "No". Es fácil ver que está en , ya que si conocemos el número exacto de soluciones para estos dos CNF, simplemente hacemos campaña y respondemos "Sí" o...
Sabemos que el algoritmo de mincut de Karger se puede usar para demostrar (de manera no constructiva) que el número máximo de mincuts posibles que puede tener un gráfico es .(n2)(n2)n \choose 2 Me preguntaba si podríamos de alguna manera probar esta identidad al dar una prueba biyectiva (más bien...
1) ¿Es posible tener una reducción parsimoniosa de un problema # P completo #A a un problema de conteo #B cuando (la versión de decisión) A es NP-completa y B está en P? Por ejemplo, ¿puede haber una reducción parsimoniosa de #SAT a #B, cuando B está en P? 2) Si B está en P, ¿cuáles son las...
¿Alguien me dirige a un artículo que detalla un teorema de eliminación de cortes para la lógica intuicionista proposicional, que incluye un tipo de datos inductivo como los números naturales (las listas o los árboles también estarían bien)? Un ejemplo del tipo de sistema que me interesa es la T de...
El algoritmo húngaro es un algoritmo de optimización combinatoria que resuelve el problema de coincidencia bipartita de peso máximo en tiempo polinómico y anticipa el desarrollo posterior del importante método primal-dual . El algoritmo fue desarrollado y publicado por Harold Kuhn en 1955, quien...
Digamos que tengo un gran bloque de código que ya he lexed y analizado. Supongamos que solo un personaje cambia; Me gustaría actualizar mi análisis, pero dado que la modificación es muy pequeña en comparación con todo, me gustaría saber si es posible no analizar todo nuevamente, pero si hay...
Ese es un nombre que he inventado para este problema. No lo he visto descrito en ninguna parte antes. Todavía no he podido encontrar una prueba de integridad de NP ni un algoritmo de tiempo polinómico para este problema. No es un problema de tarea, está relacionado con un problema que he encontrado...
La complejidad computacional implica grandes cantidades de combinatoria y teoría de números, algunas ingrididades del estocástico y una cantidad emergente de álgebra. Sin embargo, al ser un analista, me pregunto si hay aplicaciones de análisis en este campo, o tal vez ideas inspiradas en el...
Estoy explorando la idea de escribir un DBMS de manera puramente funcional. La estructura de datos tradicional utilizada para la indexación es B-Tree. Me gustaría conocer un equivalente puramente funcional de B-Tree que se optimizaría para minimizar el acceso al disco.
Considere un lenguaje LLL tal que: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) y asi que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) En otras palabras, la máquina más...