Preguntas etiquetadas con cc.complexity-theory

Hay varias pruebas del límite inferior loglineal para el problema de unicidad / distinción del elemento (basado en árboles de cálculo algebraico o argumentos adversos), pero estoy buscando uno que sea lo suficientemente simple como para usar en un primer curso en el análisis y diseño de algoritmos. El mismo …

13 cc.complexity-theory  lower-bounds  proofs 

Una fórmula Monotone-2CNF es una fórmula CNF donde cada cláusula está compuesta por exactamente 2 literales positivos. Ahora, tengo una fórmula Monótono-2CNF . Sea S el conjunto de las tareas satisfactorias de F. También tengo un oráculo O que puede dar la siguiente información:FFFSSSFFFOOO La cardinalidad del conjunto (es decir, …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Supongamos que tenemos un conjunto S de gráficos (gráficos finitos, pero un número infinito de ellos) y un grupo P de permutaciones que actúa sobre S. Instancia: una permutación p en P. Pregunta: ¿Existe un gráfico g en S que admite el automorfismo p? ¿Es este problema NP completo para …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

En un artículo titulado "Sobre la negabilidad en la cadena de referencia común y el modelo aleatorio de Oracle", Rafael Pass escribe: Observamos que al probar la seguridad de acuerdo con la definición estándar de conocimiento cero en el modelo RO [Random Oracle], el simulador tiene dos ventajas sobre un …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Después de la discusión sobre los límites inferiores para 3SAT [ 1 ], me pregunto cuáles son los principales resultados del límite inferior formulados como compensaciones espacio-tiempo. Estoy excluyendo resultados como, por ejemplo, el teorema de Savitch; una buena entrada se centraría en un solo problema y sus límites. Un …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

En pocas palabras: ¿cuál es la correspondencia entre las máquinas de Turing con oráculos y las familias de circuitos uniformes con oráculos? ¿Cómo se definen estos últimos para obtener el mismo modelo computacional, para una máquina de Oracle Turing dada? Esta puede ser una pregunta elemental, pero no es obvio …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Gracias a Immerman y Szelepcsényi, se sabe que if (incluso para funciones construibles que no son espaciales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) En el mismo documento, Immerman declara que la jerarquía alterna del espacio de registro se colapsa, esto significa que (la definición de la máquina de turing alterna delimitada y de qué …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

La complejidad de clase PPAD fue inventado por Christos Papadimitriou en su seminal 1994 de papel . La clase está diseñada para capturar la complejidad de los problemas de búsqueda en los que la existencia de una solución está garantizada por el "argumento de paridad en gráficos dirigidos": si hay …

13 cc.complexity-theory  reductions  search-problem  ppad 

Para ser honesto, no sé mucho acerca de cómo se generan los números aleatorios (¡los comentarios son bienvenidos!), Pero supongamos el siguiente modelo teórico: podemos obtener enteros uniformemente aleatorios de y nuestro objetivo es genera un entero uniformemente aleatorio de [1,3].[1,2n][1,2n][1,2^n] Una solución simple cuyo tiempo de ejecución esperado es …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Suponga P NP.≠≠\ne El teorema de Ladner dice que hay problemas NP intermedios (problemas en NP que no están en P ni en NP-Complete). Encontré algunas referencias veladas en línea que sugieren (creo) que hay muchos "niveles" de lenguajes mutuamente reducibles dentro de NPI que definitivamente no todos colapsan en …

13 cc.complexity-theory  np  np-intermediate 

Según tengo entendido, una prueba de que P = NP o P ≠ NP debería ser no relativizable (como en los oráculos de la teoría de la recursión). Sin embargo, prácticamente todas las pruebas parecen ser relativizables. ¿Cuáles son buenos ejemplos de pruebas no relativizables, del tipo que una prueba …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

¿Se sabe si el problema del conjunto de vértices de retroalimentación en gráficos planos no dirigidos de grado acotado es -hard?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

La clase de complejidad PPAD generalmente se define al indicar que Fin de línea está completa con PPAD. El fin de la línea es un problema de búsqueda. La entrada consiste en un gráfico dirigido en el que cada nodo tiene un grado de entrada y salida como máximo 1. …

13 cc.complexity-theory  complexity-classes  ppad 

Considere el siguiente juego en un gráfico ponderado dirigido con una ficha en algún nodo.GGG Todos los nodos de están marcados por A o B.GGG Hay dos jugadores, Alice y Bob. El objetivo de Alice (Bob) es cambiar el chip a un nodo marcado por A (B). Inicialmente, Alice y …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

Hay investigadores que muestran que el bit de borrado tiene que consumir energía, ¿hay alguna investigación sobre el consumo promedio de energía del algoritmo con complejidad computacional ? Supongo que la complejidad computacional está correlacionada con el consumo promedio de energía, espero poder obtener alguna respuesta aquí.F(n)F(n)F(n)F(n)F(n)F(n)

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics