Cada circuito aritmético monótono , es decir, un circuito , calcula algunos polinomios multivariados F ( x 1 , ... , x n ) con coeficientes enteros no negativos. Dado un polinomio f ( x 1 , … , x n ) , el circuito{ + , × }{+,×}\{+,\times\}F( x1, ... , xnorte)F(x1,…,xn)F(x_1,\ldots,x_n)F( x1, ... ,...
¿Qué sucede si definimos P P A D dePPAD{\bf PPAD} tal manera que, en lugar de un circuito de polimerización de Turing-máquina / polisize, una máquina de Turing de espacio de registro o un circuito A C 0AC0{\bf AC^0} codifique el problema? Recientemente dando algoritmos más rápidos para...
Cuando se nos da una descomposición de árbol de un gráfico con ancho w , hay varias formas en que podemos hacer que sea "agradable". En particular, se sabe que es posible transformarlo en una descomposición del árbol donde el árbol es binario y su altura es O ( log n ) . Esto se puede lograr...
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...
Como todos saben, el famoso libro de Garey y Johnson (y muchos otros) proporciona una excelente referencia para la técnica de reducción en el entorno clásico. ¿Hay encuestas o libros sobre el tema de la técnica de reducción en algoritmos parametrizados, digamos la reducción de...
¿Hay un algoritmo de tiempo aleatorio lineal en el lugar? Este es el algoritmo que algunas manos especialmente hábiles son capaces de realizar: dividir uniformemente una matriz de entrada de tamaño par y luego intercalar los elementos de las dos mitades. Mathworld tiene una breve página sobre...
Dada una matriz m×nm×nm \times n (suponiendo que m≥nm≥nm \ge n ), ¿cuál es el algoritmo más rápido para calcular su rango y base de las columnas? Soy consciente de que se puede resolver a través de la intersección matroide lineal, lo que implica un algoritmo determinista de tiempo y un algoritmo...
La complejidad de la información ha sido una herramienta muy útil en la complejidad de la comunicación, utilizada principalmente para reducir la complejidad de la comunicación de los problemas distribuidos. ¿Existe un análogo de la complejidad de la información para la complejidad de la consulta?...
En nuestro trabajo reciente, resolvemos un problema computacional que surgió en un contexto combinatorio, suponiendo que , donde es el -versión de . El único artículo sobre que encontramos fue el artículo de Beigel-Buhrman-Fortnow 1998 que se cita en Complexity Zoo . Entendemos que podemos tomar...
Antecedentes Una fórmula de lectura única sobre un conjunto de compuertas (también llamada base) es una fórmula en la que cada variable de entrada aparece una vez. Las fórmulas de lectura única se estudian comúnmente sobre la base De Morgan (que tiene las compuertas de 2 bits AND y OR, y la...
Me gustaría pedir sugerencias de buenos textos que introduzcan la complejidad del circuito. Cualquier sugerencia sobre avances recientes y problemas abiertos en este campo también sería
Tengo un politopo PPP definido por {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pregunta: Dado un vértice vvv de PPP , ¿existe un algoritmo de tiempo polinómico para muestrear uniformemente de los vecinos de vvv en el gráfico de PPP ? (Polinomio en la dimensión, el número de ecuaciones y...
El problema de mantenimiento de la orden (o "mantener el orden en una lista") es apoyar las operaciones: singleton: crea una lista con un elemento, le devuelve un puntero insertAfter: dado un puntero a un elemento, inserta un nuevo elemento después de él, devolviendo un puntero al nuevo...
Sabemos que los solucionadores de SAT basados en DPLL no responden correctamente en casos insatisfactorios de (principio del agujero de paloma), por ejemplo, "hay un mapeo inyectivo de n + 1 a n ":P H PPAGHPAG\mathrm{PHP}n + 1norte+1n+1nortenorten P H Pn + 1norte: = ⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n...
Esta pregunta trata sobre la lógica proposicional y todos los casos de "resolución" deben leerse como "resolución proposicional". Esta pregunta es algo extremadamente básico, pero me ha estado molestando por un tiempo. Veo personas afirmar que la resolución proposicional está completa, pero...
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...
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 =...
¿Se conocen los resultados que descartan la existencia de estructuras de datos "demasiado buenas para ser verdaderas"? Por ejemplo: ¿se puede agregar la funcionalidad y J o i n a una estructura de datos de mantenimiento de pedidos (ver Dietz y Sleator STOC '87 ) y aún obtener operaciones de...
En su trabajo , Oráculos de distancia aproximada , Thorup y Zwick demostraron que para cualquier gráfico ponderado no dirigido, es posible construir una estructura de datos de tamaño que pueda devolver una distancia aproximada entre cualquier par de vértices en el gráfico.O ( k n1 + 1 /...