¿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...
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...
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...
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...
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...
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...
Sea una fórmula CNF con n variables y m cláusulas. Supongamos que t ∈ { 0 , 1 } n representa una asignación variable y f φ ( t ) ∈ { 0 , ... , m } cuenta el número de cláusulas satisfechas por una asignación variable a φ . Luego defina Median-SAT como el problema de calcular el valor mediano de f φ...
Considere el problema # P-completo de contar el número de cubiertas de vértices de un gráfico dado G=(V,E)G=(V,E)G = (V, E) . Me gustaría saber si hay algún resultado que muestre cómo la dureza de dicho problema varía con algún parámetro de (por ejemplo, ).GGGd=|E||V|d=|E||V|d =...
Dos partes de TCS son algoritmos y complejidad. Voy simplista decir que los algoritmos es el estudio de los límites superiores, lo que demuestra que se puede hacer algo (con recursos restringidos, dados), y la complejidad se trata de demostrar que usted no puede hacerlo sin algunos recursos...
Se sabe desde hace mucho tiempo que, dado cualquier grado de re Turing, existe un grupo finitamente presentado cuyo problema de palabras está en ese grado. Mi pregunta es si lo mismo es cierto para los grados de Turing de tiempo polinómico arbitrario . Específicamente, dado un conjunto decidible, ,...
Existen varios problemas en la teoría de representación combinatoria y la geometría algebraica para los cuales no se conoce una fórmula positiva. Estoy pensando en varios ejemplos, pero permítanme tomar los coeficientes de cálculo de Kronecker como mi ejemplo. Por lo general, la noción de "fórmula...
Beigi, Shor y Watrous tienen un muy buen artículo sobre el poder de las pruebas cuánticas interactivas con mensajes cortos. Consideran tres variantes de 'mensajes cortos', y la específica que me interesa es su segunda variante donde se puede enviar cualquier número de mensajes, pero la longitud...
La forma más común en que ocurren los oráculos en la teoría de la complejidad es la siguiente: se pone a disposición un oráculo fijo , por ejemplo, para una máquina de Turing con ciertos recursos limitados, y uno estudia cómo el oráculo aumenta el poder computacional de la máquina. Sin embargo, a...
Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera. Huck respondió por completo. Gracias
Sé que (logarítmicamente muchas llamadas al oráculo NP) es equivalente a P N P | El | (número polinómico de consultas paralelas al oráculo NP). Me preguntaba si la versión de "función" de estas clases también es equivalente, es decir, siPAGN P [logn ]PAGnortePAG[Iniciar
Esta pregunta está relacionada con una de mis preguntas anteriores, problemas NP-hard en los árboles . Estoy buscando problemas que sean P-completos en los
¿Habría alguna consecuencia importante si SAT tuviera a lo sumo pruebas subexponenciales no firmes o, aún más fuerte, SAT tuviera algoritmos de tiempo
El problema del ancho de banda del gráfico se define de la siguiente manera. Dado un gráfico , un diseño de es un mapeo uno a uno de los vértices de en los enteros . El ancho de banda de se define comoG = ( V, E)sol=(V,mi)G=(V,E) G G { 1 , … , | V | } fFFfsolsolGsolsolG{ 1 , ... , | VEl |...
Pregunta. En su artículo, Simulación mejorada de circuitos estabilizadores , Aaronson y Gottesman afirman que simular un circuito CNOT es ⊕L -completo (bajo reducciones de espacio de registro). Está claro que está contenido en ⊕L ; ¿Cómo se mantiene el resultado de la dureza? Equivalente: ¿hay...