Mientras lee el artículo "¿Es hora de declarar la victoria en el conteo de la complejidad?" en el blog "La carta perdida de Godel y P = NP" , mencionaron la dicotomía para los CSP. Después de seguir algunos enlaces, buscar en Google y escribir en wikipedia, me encontré con el teorema de Ladner :...
(Lo siento si esto es bien conocido). Me gustaría darle algún artículo a uno de los agentes, para que el agente obtenga el artículo con probabilidad . ¿Existe una herramienta criptográfica (u otra) para que cada agente (e incluso cada observador) pueda convencerse de que el sorteo al azar fue...
Supongamos que es un gráfico con el número de colorante . Considere el siguiente juego entre Alice y Bob. En cada ronda, Alice elige un vértice y Bob responde con un color en para este vértice. El juego termina cuando se descubre un borde monocromático. Deje que sea la duración máxima del juego...
Quisiera preguntar sobre un caso especial de la pregunta " Decidir si un circuito NC 0 determinado calcula una permutación " por QiCheng que no se ha respondido. Un circuito booleano se denomina circuito NC 0 k si cada puerta de salida depende sintácticamente de, como máximo, k puertas de entrada....
En la complejidad computacional, existe una distinción importante entre los cálculos monótonos y generales, y un famoso teorema de Razborov afirma que 3-SAT e incluso MATCHING no son polinomiales en el modelo de circuitos booleanos monótonos. Mi pregunta es simple: ¿hay un análogo cuántico para...
Editar: elijo la respuesta con la puntuación más alta antes del 06 de diciembre de 2012. Esta es una pregunta suave. El concepto de algoritmos (deterministas) se remonta a BC. ¿Qué pasa con los algoritmos probabilísticos? En esta entrada de la wiki , el algoritmo de Rabin para el problema de par...
El estudio de la ecología y la evolución se está volviendo cada vez más matemático, pero la mayoría de las herramientas teóricas parecen provenir de la física. Sin embargo, en muchos casos los problemas tienen una naturaleza muy discreta (véase, por ejemplo, SLBS00 ) y podrían beneficiarse desde...
Hace poco estuve leyendo Las dos dualidades de la computación: tipos negativos y fraccionarios . El documento se expande sobre tipos de suma y tipos de producto, dando semántica a los tipos a - by a/b. A diferencia de la suma y la multiplicación, no hay uno sino dos inversos de exponenciación,...
Esta pregunta se migró de Computer Science Stack Exchange porque se puede responder en Teorematic Computer Science Stack Exchange. Migrado hace 6 años . Parece que muchas personas creen que , en parte porque creen que la factorización no es solucionable por tiempo
Dada una matriz binaria por (las entradas son o ), el problema es determinar si existen dos vectores binarios modo que (todas las operaciones se realizan sobre ). ¿Es este problema NP-hard?mmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Está claramente en NP, ya que puede...
¿Hay un ejemplo de un idioma que está en , pero donde no podemos probar este hecho directamente al mostrar que existe un testigo polinómico para la membresía en este idioma?NPNPNP En cambio, el hecho de que el idioma está en se probaría reduciéndolo a otro idioma en , donde el vínculo entre los...
Grothendieck ha fallecido . Tuvo un impacto masivo en las matemáticas del siglo XX que continuaron hasta el siglo XXI. Esta pregunta se hace algo en el estilo / espíritu, por ejemplo, de las Contribuciones de Alan Turing a la informática . ¿Cuáles son las principales influencias de Grothendieck...
¿Qué problemas se sabe que pertenecen a pero que no se sabe que pertenecen a P ?BPPBPP\mathsf{BPP}PP\mathsf P Más precisamente, estoy interesado en problemas independientes , es decir, cuyas desviaciones aleatorias no son equivalentes. Por ejemplo, se sabe que desrandomizar PIT y factorización...
Los problemas clásicos -queens preguntan, dado un número entero positivo n , si hay una matriz Q [ 1 .. n ] de números enteros que satisfacen las siguientes condiciones:nnortennnortenQ[1..n]Q[1 ..norte]Q[1..n] para todo i1≤Q[i]≤n1≤Q[yo]≤norte1\le Q[i] \le niyoi para todo i ≠...
En mi educación en ciencias de la computación, noto cada vez más que la mayoría de los problemas discretos son NP completos (al menos), mientras que la optimización de problemas continuos es casi siempre fácil de lograr, generalmente a través de técnicas de gradiente. ¿Hay excepciones a...
Este artículo me pareció muy interesante. Para resumir: analiza por qué en la práctica rara vez se encuentra el peor de los casos de un problema de NP completo. La idea en el artículo es que las instancias generalmente están muy poco o muy restringidas, las cuales son relativamente fáciles de...
Estoy tratando de entender cuáles son las diferencias reales entre el modelo de concurrencia del actor y el modelo de concurrencia de procesos secuenciales de comunicación (CSP). Hasta ahora, lo mejor que he podido encontrar es que el Modelo de actor permite que el número y el diseño de los nodos...
Considere el problema de cobertura de conjunto mínimo con las siguientes restricciones: cada conjunto contiene como máximo kkk elementos y cada elemento del universo se produce en la mayoría de los conjuntos fff . Ejemplo: el caso k = 4k=4k = 4 y F= 2f=2f = 2 es equivalente al problema cobertura...
¿Es posible traducir una fórmula booleana B en una conjunción equivalente de cláusulas Horn? El artículo de Wikipedia sobre HornSAT parece implicar que lo es, pero no he podido perseguir ninguna referencia. Tenga en cuenta que no me refiero a "en tiempo polinómico", sino más bien "en...
Actualmente estoy leyendo " Cálculo Lambda y Combinadores " de Hindley y Seldin. No soy un experto, pero siempre me ha interesado el cálculo lambda debido a su participación en la programación funcional (comenzando con Lisp y SICP, y ahora con R y Haskell). En " Cálculo binario lambda y lógica...