Preguntas etiquetadas con cc.complexity-theory

¿Cómo se ve un problema y la razón por la que es probable NP-Intermedio en lugar de NP-Completo? A menudo es bastante simple observar un problema y determinar si es probable que esté NP-Completo o no, pero me parece mucho más difícil saber si un problema es NP-Intermedio ya que …

11 cc.complexity-theory  complexity-classes  np-intermediate 

En 1975, Miller mostró cómo reducir la factorización del número entero para encontrar el período r de una función f ( x ) = a xNNNrrr tal que f ( x + r ) = f ( x ) con algunos elegidos al azar a < N . Es bien …

11 cc.complexity-theory  cr.crypto-security  factoring 

La integridad y solidez en los sistemas de prueba interactivos se definen informalmente como: Integridad: si una afirmación es verdadera, el probador honesto puede convencer al verificador honesto de este hecho whp . Solidez: si una declaración es falsa, el probador de trampa no puede convencer al verificador honesto (de …

11 cc.complexity-theory  interactive-proofs 

No recuerdo haber visto una separación de clases no basada en resultados de diagonalización y relativización. La diagonalización aún podría usarse para separar las clases conocidas restantes, porque los argumentos no relativizantes aún podrían usarse en la conclusión de diagonalización, o en la construcción diagonalizada de la máquina de Turing. …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Tengo un problema que está en NEXP NP y también se puede resolver con una TM alterna usando tiempo exponencial y solo una alternancia (comenzando en un estado existencial).notario públicoNP^{\text{NP}} ¿Se sabe algo sobre NEXP NP ? ¿Es igual a NEXP o alguna otra clase? ¿Hay problemas completos además del …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Estoy tratando de encontrar problemas cuya complejidad de espacio de casos promedio ha sido analizada. Más específicamente, estoy interesado en saber si hay algún problema con un límite inferior de complejidad espacial comprobada que sea superlineal, y especialmente si hay alguno con un análisis de caso promedio (por ejemplo, el …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Nurikabe es un rompecabezas de relleno de cuadrícula basado en restricciones, más o menos similar al Buscaminas / Nonogramas; los números se colocan en una cuadrícula que se debe llenar con valores de activación / desactivación para cada celda, con cada número que indica una región de celdas conectadas 'encendidas' …

11 cc.complexity-theory  np-hardness  puzzles 

Merlín, que tiene recursos computacionales ilimitados, quiere convencer a Arthur de que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k para (N,m,k)(N,m,k)(N,m,k) con k=O(logN)k=O(log⁡N)k=O(\log N) y m=O(N).m=O(N).m=O(N). Calcular esta suma de forma directa (exponenciación modular y suma) lleva tiempo N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} con multiplicación basada en FFT. * Pero Arthur solo …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Esta pregunta fue motivada por una pregunta hecha en stackoverflow . Supongamos que se le da un árbol enraizado (es decir, hay una raíz y los nodos tienen hijos, etc.) en n nodos (etiquetados 1 , 2 , ... , n ).TTTnortenn1 , 2 , ... , n1,2,…,n1, 2, \dots, …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Dado que 2 problemas completos de NP son, por definición, reducibles entre sí, por lo que se puede obtener una solución a uno de ellos mediante el uso de una caja negra que resuelve el otro, ¿por qué no tienen relaciones de aproximación similares (refiriéndose a sus contrapartes de optimización …

11 cc.complexity-theory  approximation-algorithms  reductions 

Estaba leyendo un artículo titulado Random Oracles with (out) Programmability . El último párrafo de la sección 2.3 dice: [Utilizando nuestro enfoque novedoso] no hay necesidad de aplicar técnicas de desrandomización asintóticas clásicas (y uniformes) bien conocidas basadas en el lema de Borel-Cantelli . Hasta donde sabemos, este enfoque es …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory 

En la complejidad parametrizada, las personas utilizan la reducción de parámetros fijos manejables (FPT) para demostrar la dureza W [t]. Teóricamente, una reducción de FPT no es una reducción de tiempo polinomial, ya que puede ejecutarse exponencialmente en el parámetro k. Pero en la práctica, todas las reducciones de FPT …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Los juegos de dos rondas y una ronda (2P1R) son una herramienta esencial para la dureza de la aproximación. Específicamente, la repetición paralela de juegos de una ronda de dos probadores ofrece una forma de aumentar el tamaño de una brecha en la versión de decisión de un problema de …

11 cc.complexity-theory  approximation-hardness 

Esta es una continuación de mi pregunta anterior sobre límites inferiores de comunicación para funciones booleanas parciales . ¿Alguien puede sugerir alguna referencia en los límites inferiores para la comunicación multipartidista no determinista? He estado examinando los documentos en el campo, pero todo el mundo parece mostrar separaciones del siguiente …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

Lo que sigue puede parecer estúpido (y eso probablemente refleja mi pobre comprensión, así que tengan paciencia conmigo) Tenía una consulta sobre el teorema de PCP. Sabemos que después de los primeros tres pasos a saber. Reducción de grados, expansión y amplificación de huecos , tenemos un gráfico de restricción …

11 cc.complexity-theory  pcp