Preguntas etiquetadas con cc.complexity-theory

Mi pregunta es sobre algoritmos cuánticos para cálculos de QED (electrodinámica cuántica) relacionados con las constantes de estructura fina. Tales cálculos (como se me explicó) equivalen a calcular series similares a Taylor donde α es la constante de estructura fina (alrededor de 1/137) y c k es la contribución de …

10 cc.complexity-theory  quantum-computing  physics 

La hipótesis de Riemann de más de ½ siglo de antigüedad tiene profundas implicaciones en las matemáticas y ahora se prueba condicionalmente un gran edificio de teoría matemática y numerosas variantes. Recientemente encontré una referencia a un resultado condicional en TCS basado en la hipótesis de Riemann. Por lo tanto, …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

¿Hay algún problema que se pueda resolver en el tiempo polinomial solo si P! = NP, y de otra manera se puede resolver en (digamos) tiempo?O(2n)O(2n)O(2^n) Un ejemplo simple sería: Si P! = NP, calcule una prueba de primalidad para un número aleatorio de n bits, de lo contrario, evalúe …

10 cc.complexity-theory  reference-request 

Usando el modelo real-RAM / BSS, tenemos la clase NP , (donde un BSS es el modelo Blum-Shub-Smale de una computadora con operaciones sobre reales). Tenemos problemas completos de NP . Entonces, la pregunta es ¿hay un análogo de la conjetura de Berman Hartmanis para la clase NP ? Por …

10 cc.complexity-theory  computing-over-reals 

En Temas avanzados en tipos y lenguajes de programación se menciona, en el capítulo sobre sistemas de tipos subestructurales, que un cálculo lambda afín "cuidadosamente elaborado" con un combinador de recursión para listas solo puede escribir términos que tienen tiempo de ejecución polinómico (no presentar la prueba debido a la …

10 cc.complexity-theory  type-theory  lambda-calculus 

Llamemos un idioma NP escasamente certificado si y solo si:L∈L∈L \in Existe un polinomio tal que para cada entrada de tamaño , si entonces el conjunto de certificados que verifican que tiene un tamaño polinómico, es decir .p:N→Np:N→Np : \mathbb{N} \rightarrow \mathbb{N}x∈Σ∗x∈Σ∗x \in \Sigma^*nnnx∈Lx∈Lx \in LUxUxU_xuuux∈Lx∈Lx \in L|Ux|≤p(n)|Ux|≤p(n)|U_x| \leq p(n) …

10 cc.complexity-theory  complexity-classes 

Me topé con un problema abierto planteado por David Eppstein y estoy interesado en su estado de complejidad. Conjeturó que es NP-completo. Entrada: por n matriz de 0 y 1, secuencia de n 2 0 y 1nortenortennortenortennorte2norte2n^2 Pregunta: ¿Hay una ruta a través de las entradas de matriz adyacentes, que …

10 cc.complexity-theory  graph-theory 

¿Cuál es la definición estándar de Planar 3-SAT? He visto varias definiciones diferentes. ¿Cuál fue el documento original que lo definió y demostró que era NP completo?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Dado un gráfico dirigido, queremos decidir si contiene un ciclo dirigido de longitud par. Este artículo de 1997 de YUSTER y ZWICK afirma que no se sabe que el problema esté en ni que se sepa que es completo.PAGPAGPnortePAGnortePAGNP ¿Hay algún resultado reciente que resuelva la complejidad del problema del …

10 cc.complexity-theory  reference-request  graph-theory 

Si podemos demostrar que , ¿implica que ?N L = N PL = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Pensé que era el caso, pero no puedo probarlo (también por el contrario).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Tengo el siguiente problema: Entrada: dos conjuntos de intervalos y T (todos los puntos finales son enteros). Consulta: ¿hay una biyección monótona f : S → T ?SSSTTTF: S→ Tf:S→Tf:S \to T La biyección es monótona wrt el conjunto para su inclusión en y T . ∀ X ⊆ Y …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Dado un conjunto de puntos en el espacio euclidiano d dimensional, el problema es determinar si el casco convexo contiene la bola unitaria centrada en el origen.nortenortenrered ¿Es este problema en NP? Está en co-NP, ya que uno puede dar un punto en la pelota fuera del casco convexo como …

10 cc.complexity-theory  cg.comp-geom 

Un árbol de expansión de un gráfico se llama árbol de integridad si el conjunto de sus hojas induce una subgrafía completa en el gráfico de host. Dado un gráfico y un entero k , ¿cuál es la complejidad de decidir si G contiene un árbol de completitud con, como …

10 cc.complexity-theory  graph-theory  graph-algorithms 

¿Es el isomorfismo gráfico (el problema de decisión) en ? Aquí es la clase de problemas de decisión aceptados por una máquina de Turing inequívoca (ver el zoológico de complejidad ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism 

Estaba tratando de entender estas clases pero siempre me confundí ... las preguntas son: ¿Cuál es la relación entre y , en particular, es una pregunta abierta?# PFnortePAGFNPFNP# P#P\#P ¿Cuál es la relación de y ? esta pregunta abierta?N P⊕ P⊕P\oplus PnortePAGNPNP ¿Qué pasa con la relación entre y ? …

10 cc.complexity-theory