Preguntas etiquetadas con cc.complexity-theory

La seguridad basada en simulación proporciona una definición de seguridad más natural y poderosa que la seguridad basada en juegos. He visto que los enfoques basados ​​en simulación usan las pruebas basadas en juegos en parte para demostrar la seguridad de algunas partes del protocolo. Por ejemplo, para evaluar la …

8 cc.complexity-theory  cr.crypto-security 

(Estoy en el medio de mi primer curso cs teórico, así que me disculpo de antemano por lo que probablemente sea una pregunta estúpida). Entonces, decimos que algún lenguaje L está en P, lo que significa que se puede construir una máquina de Turing que genera un 1 si x …

8 cc.complexity-theory 

En el artículo Relativizaciones de la P =? Pregunta NP , Baker et al. demostró que existen mundos relativizados en los que se mantiene P = NP o P ≠ NP. Todos los oráculos en su configuración eran conjuntos recursivos. En otro artículo relativo a un Oráculo aleatorio , P …

8 cc.complexity-theory  computability  oracles  relativization 

¿Se sabe si SPACE (n) (la clase de lenguajes reconocidos por TM deterministas con espacio lineal) es un subconjunto apropiado de E (la clase de lenguajes reconocidos por TM deterministas en el tiempo 2 ^ O (n))?

8 cc.complexity-theory  complexity-classes 

Esta pregunta surge de una respuesta que Joe Fitzsimons dio a una pregunta diferente . La mayoría de las clases de complejidad natural tienen una "descripción intuitiva" de una línea que ayuda a caracterizar los problemas centrales de esa clase. NP es "verificación eficiente", #P se trata de "enumerar soluciones", …

8 cc.complexity-theory  quantum-computing  big-picture  qma 

He estado leyendo un artículo de un químico matemático. Propone algunos índices para medir la complejidad de las moléculas. De aquí en adelante, en lugar de moléculas, piense en gráficos conectados no dirigidos: un vértice es un átomo y un borde es un enlace entre los átomos. Es posible considerar …

8 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Se sabe que el problema # MONOTONE-2SAT es # P-completo. Esto significa que #SAT se puede reducir a eso. Mi pregunta es: dada una instancia #SAT , ¿cuál es la transformación que convierte F en su correspondiente instancia # MONOTONE-2SAT F ' ?FFFFFFF′F′F' Una segunda pregunta es: que es el …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat 

Problema de cláusulas independientes máximas parametrizadas : Entrada: Una fórmula F de r-CNFSAT que tiene n variables y cláusulas m , k Ques: ¿Existe al menos k cláusulas tales que sean mutuamente independientes, es decir, no se produce ninguna variable más de una vez en todas estas cláusulas combinadas. Parámetro: …

8 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Se sabe que si PAGS= NPAGSP=NPP=NP entonces Co NPAGS= PCPAGS[ O ( l o g( n ) ) , O ( 1 ) ]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Además, se sabe que nortemiXPAGS= PCPAGS[ p o l y( n ) , p o l y( n ) ]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Parece que el PCP …

8 cc.complexity-theory  pcp  proof-complexity 

Supongamos que tienes hombres y mujeres. Cada persona tiene atributos. Cada persona indica un conjunto de atributos que debe tener un posible candidato. Una coincidencia es un conjunto de pares. Cada par une a un macho con una hembra. La satisfacción de una coincidencia es el número de atributos satisfechos …

8 cc.complexity-theory  np-hardness  matching 

Hubo recientemente un reivindicado prueba de que PAGS≠ NPAGSPAGS≠nortePAGSP \ne NP . No mucho después de su publicación, surgieron algunos problemas con esta prueba. Entonces ... ¿la prueba es correcta o no? (Responda esto solo si tiene evidencia ... esta pregunta puede tomar un tiempo hasta que se responda)

8 np-hardness  cc.complexity-theory