Esta pregunta es sobre la intersección de la teoría de la probabilidad y la complejidad computacional. Una observación clave es que algunas distribuciones son más fáciles de generar que otras. Por ejemplo, el problema Dado un número nortenn , devuelve un número uniformemente distribuido yoii con...
Hay múltiples anotaciones , como u etc. Me preguntaba si hay variaciones de las que en realidad son como u , o si son matemáticamente incorrectas.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(logn2)O(\log n^2) ¿O sería correcto decir que es posible mejorar un a un ? Todavía no puedo...
Me preguntaba si este problema tiene un nombre: Dado un gráfico simple cuyos bordes son de color rojo, azul y verde, , ¿hay un color de vértice c : V → { B , R , G } de modo que cada borde tenga un punto final con el mismo color?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to...
Valiant y Vazirani probaron que SAT es reducible a SAT ÚNICO bajo reducciones probabilísticas aleatorias en tiempo polinómico. Calabro y col . demostró que k-SAT ÚNICO es tan difícil como k-SAT. Ahora la pregunta es, si alguien muestra que k-SAT ÚNICO está en P, ¿implica P = NP? Referencias LG...
¿Cómo podemos asegurarnos de que continuamos haciendo declaraciones válidas y válidas sobre las clases de complejidad cuando usamos las máquinas Oracle Turing? Según mi entendimiento (basado en las definiciones dadas en los libros de texto introductorios sobre el tema) las máquinas Oracle Turing...
Considere el siguiente problema: Entrada : enumera de enterosX,YX,YX,Y Objetivo : determinar si existe un número entero que está en ambas listas.xxx Supongamos que ambas listas son de tamaño n . ¿Existe un algoritmo determinista de tiempo lineal para este problema? En otras palabras, ¿puedes...
¿Se invierte una matriz en la clase de complejidad ?PAGSPAGS\text{P} Desde el tiempo de ejecución, diría yes pero la matriz invertida puede contener entradas donde el tamaño no está limitado polinómicamente por la entrada.O
Que yo sepa, no existe un algoritmo de peor caso que resuelva el siguiente problema:O ( n )O(norte)O(n) Dada una secuencia de longitud consiste en enteros finitos, encuentre la permutación donde cada elemento es menor o igual que su sucesor.nortenorten ¿Pero hay una prueba de que no existe, en...
Tengo un conjunto de puntos que se definen en un espacio métrico, por lo que puedo medir una 'distancia' entre puntos, pero nada más. Quiero encontrar el punto más central dentro de este conjunto, que defino como el punto con la suma mínima de distancias a todos los demás puntos. El cálculo métrico...
Publiqué esto en MathUnderflow pero no obtuve respuestas, así que pensé en probarlo aquí, Estoy leyendo el viejo artículo de Rabin y Fischer [publicará un enlace cuando sea posible] donde, entre otras cosas, se prueba la doble complejidad exponencial de la aritmética de Presburger. La prueba se...
Sé que los problemas de la mochila 2D y 3D son NPC, pero ¿hay alguna forma de resolverlos en un tiempo razonable si las instancias no son muy complicadas? ¿Funcionaría la programación dinámica? Por mochila 2D (3D) quiero decir que tengo un cuadrado (cubo) y una lista de objetos, todos los datos...
Digamos FFF es un oráculo para un problema en N PNP\mathbb{NP}, pero no puedo llamar a este oráculo con ninguna instancia de entrada. En cambio, cada vez que llamoFFFMe devuelven una instancia y solución al azar. Por lo tanto, sé queFFF de hecho es capaz de resolver arbitrarias N...
En la teoría de algoritmos distribuidos, hay problemas con límites inferiores, como , que son "grandes" (quiero decir, más grandes que ), y no triviales. Me pregunto si hay problemas con un límite similar en la teoría del algoritmo en serie, me refiero a un orden mucho mayor que...
Estoy interesado en la auto-reducibilidad del problema Graph 3-Coloralibity. Definición del problema del gráfico 3-Coloralibity. Dado un gráfico no dirigido, ¿existe alguna forma de colorear los nodos de rojo, verde y azul para que ningún nodo adyacente tenga el mismo color?solGG Definición de...
El problema de 3 colores puede probarse NP-Complete haciendo uso de la reducción de 3SAT Graph Coloring (de 3SAT) . Como consecuencia, el problema de 4 colores es NP-Completo usando la reducción de 3 colores: Reducción de la instancia de 3 colores: agregando un vértice adicional al gráfico del...
Entonces significa problemas en los que tenemos pequeños testigos verificables para instancias de y para pequeños testigos verificables para instancias de . ¿Cómo funciona esto paraNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} ¿y
Supongamos que ΠΠ\Pi es un problema de decisión decidible. ¿ Π∉NPΠ∉NP\Pi\not \in NP implica ΠΠ\Pi is NPNPNP -Hard? Editar: si suponemos que existe Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP entonces hemos terminado. ¿Podemos refutar el reclamo sin suposiciones...
Estoy tratando de vincular circuitos lógicos combinacionales (computadoras basadas solo en puertas lógicas) con todo lo que aprendí recientemente en Teoría de la Computación. Me preguntaba si los circuitos lógicos combinacionales pueden implementar cálculos de la misma manera que las máquinas de...
Me dan n objetos, y un conjunto de n permutaciones de estos n objetos (de n! Permutaciones totales). Hay una verdadera permutación subyacente, que sé que es una entre el conjunto de n permutaciones, pero no sé cuál. Sin embargo, un oráculo conoce la verdadera permutación. Para encontrar la...
Preguntas: ¿Puede haber un hash (criptográficamente seguro) que conserva la topología de la información de {0,1}∗{0,1}∗\{0,1\}^{*}? ¿Podemos agregar un predicado de cercanía eficientemente computable que dado hk(x)hk(x)h_k(x) y hk(y)hk(y)h_k(y) (o yyy en sí) nos dice si yyyestá muy cerca dexxx...