Al leer un documento sobre el uso de métodos algebraicos para detectar algunos subgrafos inducidos, parece que el ideal de borde es una herramienta importante que conecta el álgebra conmutativa y la teoría de grafos. Como no estoy familiarizado con los cálculos de objetos algebraicos, ¿hay alguna...
Se sabe que el tamaño mínimo de los U_2 que calculan la función de paridad es exactamente igual a . La prueba de límite inferior se basa en el método de eliminación de puerta.U2U2U_23(n−1)3(n−1)3(n-1) Recientemente, noté que el método de eliminación de compuerta funciona bien también para U_2 no...
Antecedentes Se sabe que existe un oráculo AAA tal que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . Incluso se sabe que la separación es relativa a un oráculo aleatorio. Informalmente, uno puede interpretar que esto significa que hay muchos oráculos para los cuales P S P A C...
La complejidad del circuito de profundidad limitada es una de las principales áreas de investigación dentro de la teoría de la complejidad del circuito. Este tema tiene su origen en resultados como "la función de paridad no está en AC0AC0AC^{0} " y "la función mod no es calculada por ", donde es la...
Version corta. La prueba original de que # 2-SAT es # P- completo muestra, de hecho, que esas instancias de # 2-SAT son monótonas (no implican negaciones de ninguna variable) y bipartitas (el gráfico formado por las cláusulas sobre el variables es un gráfico bipartito) son #P -duro. Por lo tanto,...
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...
Muchos teoremas y "paradojas": la diagonalización de Cantor, la indecidibilidad de la incubación, la indecisión de la complejidad de Kolmogorov, la incompletitud de Gödel, la incompletitud de Chaitin, la paradoja de Russell, etc., tienen esencialmente la misma prueba por diagonalización (tenga en...
Parte del trabajo sobre la sensibilidad frente a la sensibilidad del bloque se ha dirigido a examinar funciones con un espacio lo más amplio posible entre y para resolver la conjetura de que solo es polinomialmente más grande que . ¿Qué pasa con la dirección opuesta? ¿Qué se sabe sobre las...
Como es bien sabido, PARITY no se puede hacer en circuitos de profundidad constante de tamaño polivinílico, y de hecho, los circuitos const-dept requieren un número EXP de compuertas. ¿Qué pasa con los circuitos QUANTUM? a) ¿Se puede hacer PARITY con un circuito cuántico que tiene una profundidad...
¿Qué pasa si se sabe algo sobre la complejidad parametrizada de calcular el número de intersección de un gráfico (el número más pequeño de camarillas necesario para cubrir todos sus bordes)? Desde hace tiempo se sabe que es NP-completo, y obviamente es FPT porque tiene un núcleo: si puede cubrir...
El límite inferior Blum 3n−o(n)3n−o(n)3n-o(n)es el límite inferior del circuito más conocido sobre la base completa de una función explícita f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} , cf. La respuesta de Jukna a esta pregunta para obtener resultados relacionados. ¿Cuáles son los...
Me han dicho que hay algunos buenos algoritmos de tiempo polinomiales para aproximar el número de rutas simples en un gráfico dirigido desde el vértice inicial dado hasta el vértice final dado . ¿Alguien sabe de una buena referencia sobre este tema?sssttt Antecedentes: contar el número exacto de...
Rompecabezas Dado que el problema es largo aquí hay un caso especial que captura su sentido. Problema: Sea A un algoritmo detrminístico para 3-SAT. Es el problema de simular completamente el algoritmo A (en cada instancia del problema). P-Space duro? (Más precisamente, ¿hay razones para creer...
Un circuito booleano no determinista tiene, además de las entradas ordinarias , un conjunto de entradas "no deterministas" y = ( y 1 , ... , y m ) . Un circuito no determinista C acepta la entrada x si existe y tal que la salida del circuito 1 está activada ( x , y ) . Análogo a P / p o l yx = (...
El método negativo del adversario ( ) es un SDP que caracteriza la complejidad de la consulta cuántica. Es una generalización del método adversario ampliamente utilizado ( A D V ) y supera las dos barreras que obstaculizaron el método adversario:ADV±ADV±ADV^\pmADVADVADV La barrera de la prueba de...
La famosa Imagen del mundo de Neil Immerman es la siguiente (haga clic para ampliar): Su clase "Verdaderamente factible" no incluye ninguna otra clase; mi pregunta es entonces: ¿Qué es un problema de AC 0 que se considera poco práctico y por...
Una brecha que siempre supe que realmente no entiendo es entre la complejidad computacional no uniforme y uniforme, donde la complejidad del circuito representa la versión no uniforme y las máquinas de Turing es donde las cosas son uniformes. Supongo que "uniforme" es una forma de restringir la...
Hay muy poca información que puedo encontrar sobre el problema NP-completo de resolver la ecuación lineal de diofantina en enteros no negativos. Es decir, ¿hay una solución en no negativo para la ecuación , donde todas las constantes son positivas? La única mención notable de este problema que...
Una cubierta de borde es un subconjunto de bordes de un gráfico de tal manera que cada vértice del gráfico es adyacente al menos a un borde de la cubierta. Los siguientes dos artículos dicen que las cubiertas de borde de conteo, se #P -Complete: A FPTAS simples para el recuento de cubiertas de...
¿Cuál es el número mínimo de compuertas binarias necesarias para calcular AND y OR de bits de entrada simultáneamente? El límite superior trivial es 2 n - 2 . Creo que esto es óptimo, pero ¿cómo probarlo? La técnica de eliminación de compuerta estándar no funciona aquí, ya que al asignar una...