Preguntas etiquetadas con complexity-classes

Siguiendo la sugerencia de Josh Grochow, estoy convirtiendo mi comentario de una pregunta anterior en una nueva pregunta. ¿Qué evidencia tenemos para ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Aquí, U PUPAG\mathsf{UP} es la clase de lenguajes reconocibles por las máquinas de Turing no deterministas de tiempo polinómico que tienen …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Supongamos que considero la siguiente variante de BPP, que nos permite llamar E (xact) BPP: un lenguaje está en EBPP si hay un TG polinomial aleatorio que acepta cada palabra del idioma con exactamente 3/4 de probabilidad y cada palabra no en el lenguaje con exactamente 1/4 de probabilidad. Obviamente, …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Recientemente, me he encontrado con la siguiente variante de coloración de bordes. Dado un gráfico conectado no dirigido, encuentre una coloración de los bordes que use la cantidad máxima de colores al tiempo que satisface la restricción de que, para cada vértice , los bordes incidentes a usan como máximo …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

En el "último párrafo" de la "primera página" del siguiente documento: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Si NP tiene circuitos de tamaño polinómico, entonces MA = AM", Ciencias de la computación teóricas, 1995. Encontré una afirmación algo contraintuitiva: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 …

17 cc.complexity-theory  complexity-classes 

¿Cuáles son algunos ejemplos de pares de clases de complejidad y B tales queAAABBB no sabemos si , yA=BA=BA=B tampoco conocemos relativizaciones contradictorias (es decir, no conocemos los oráculos y Q de manera que A P = B P y A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q …

16 cc.complexity-theory  complexity-classes  relativization 

Debido a una pregunta que me hizo Greg Kuperberg, me pregunto si hay documentos que definan y estudien clases complejas de idiomas que admitan varios tipos de pruebas de conocimiento . Las clases como SZK y NISZK son extremadamente natural desde un punto de vista la complejidad, incluso si nos …

16 complexity-classes  cr.crypto-security  zero-knowledge 

Necesito una lista de idiomas completos. Hay dos de estos problemas enumerados en el Complejo Zoo , a saber:Σpag2Σ2pag\Sigma_2^p Mínimo equivalente DNF. Dada una fórmula DNF F y un entero k, ¿hay una fórmula DNF equivalente a F con k o menos ocurrencias de literales? El implicante más corto. Dada …

16 complexity-classes  polynomial-hierarchy 

Decimos que NFA MMM es constantemente ambiguo si existe k∈Nk∈Nk\in \mathbb{N} tal que cualquier palabra w∈Σ∗w∈Σ∗w\in \Sigma^* sea ​​aceptada por 000 o (exactamente) caminos.kkk Si el autómata es constantemente ambiguo para , entonces se llama FA inequívoca (UFA).k = 1 MMMMk=1k=1k=1MMM Deje que sea ​​un lenguaje regular.LLL ¿Puede un autómata …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

¿Está NP en DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n}) ?

16 cc.complexity-theory  complexity-classes 

Me interesa si existen buenos artículos o encuestas expositivas a los que me pueda referir cuando escribo sobre operadores de clase de complejidad : operadores que transforman las clases de complejidad haciendo cosas como agregarles cuantificadores. Ejemplos de operadores. Lo siguiente se puede interpretar como una lista mínima mínima de …

16 reference-request  complexity-classes 

Los teoremas de la jerarquía son herramientas fundamentales. Un buen número de ellos se recopiló en una pregunta anterior (consulte ¿Qué jerarquías y / o teoremas de jerarquía conoce? ). Algunas separaciones de clase de complejidad se derivan directamente de los teoremas de jerarquía. Ejemplos de tales separaciones bien conocidas: …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Me preguntaba si los problemas para los cuales existen algoritmos de tiempo sublineal (en el tamaño de entrada) pueden caracterizarse por poseer propiedades específicas. Esto incluye el tiempo sublineal (por ejemplo, pruebas de propiedad, una noción alternativa de aproximación para problemas de decisión), espacio sublinear (por ejemplo, algoritmos de boceto …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

LogCFL es el conjunto de todos los idiomas que son logspace reductibles a un lenguaje sin contexto. Del mismo modo, LogDCFL es el conjunto de todos los lenguajes que son espacio de registro reducible a un lenguaje determinista sin contexto. Vea este artículo de Wikipedia para algunos problemas naturales completos …

16 cc.complexity-theory  complexity-classes 

Pregunta corta ¿Cuál es el poder computacional de los circuitos "cuánticos", si permitimos puertas no unitarias (pero aún invertibles), y requerimos que la salida dé la respuesta correcta con certeza? Esta pregunta es, en cierto sentido, sobre lo que le sucede a la clase cuando permite que los circuitos usen …

15 complexity-classes  quantum-computing 

Se ha realizado un trabajo fantástico en lo Permanente durante las últimas dos décadas. Me he estado preguntando por un tiempo sobre la posibilidad de un algoritmo Smooth P para el Permanente de Matrices No Negativas. Por supuesto, existe el famoso algoritmo JSV, pero este es un fpras. Pensando en …

15 cc.complexity-theory  complexity-classes