Preguntas etiquetadas con cc.complexity-theory

En la descripción oficial del problema de Clay para P versus NP se afirma que se seguiría mostrando que "cada lenguaje en E [la clase de idiomas reconocibles en tiempo exponencial con una máquina de Turing determinista] puede ser calculado por una familia de circuitos booleanos < B n > …

18 cc.complexity-theory  circuit-complexity 

Estoy interesado en aprender conexiones entre el "caos" o, más ampliamente, los sistemas dinámicos y la pregunta Aquí hay un ejemplo del tipo de literatura que estoy buscando:PAG= NPAGPAG=nortePAGP{=}NP Ercsey-Ravasz, Mária y Zoltán Toroczkai. "La dureza de la optimización como caos transitorio en un enfoque analógico para satisfacer la restricción". …

18 cc.complexity-theory  p-vs-np 

El problema de detención para las máquinas de Turing es quizás el conjunto canónico indecidible. Sin embargo, demostramos que hay un algoritmo que decide casi todas las instancias del mismo. Por lo tanto, el problema de detención se encuentra entre la creciente colección de quienes exhiben el fenómeno del "agujero …

18 cc.complexity-theory  reference-request  computability  undecidability 

La famosa conjetura del isomorfismo de Berman y Hartmanis dice que todos los lenguajes completos son polinomiales en tiempo isomorfo (p-isomorfo) entre sí. El significado clave de la conjetura es que implica . Fue publicado en 1977, y una evidencia de apoyo fue que todos los completos de conocidos en …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

¿Hay una secuencia de gráficos no dirigidos , donde cada C n tiene exactamente n vértices y el problema{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Dado y un gráfico G , ¿es C n un subgrafo inducido de G ?nnnGGGCnCnC_nGGG se sabe que está en la clase ? (Por ejemplo, cuando C n = …

18 cc.complexity-theory  graph-theory 

La noción de reducciones de tiempo polinomiales (reducciones de Cook) es una abstracción de un concepto muy intuitivo: resolver eficientemente un problema utilizando un algoritmo para un problema diferente. Sin embargo, en la teoría de la completitud de , la noción de dureza de N P se captura mediante reducciones …

18 cc.complexity-theory  np-hardness  soft-question 

Sea la clase de los problemas de decisión que tienen un algoritmo aleatorio de error de dos lados limitado que se ejecuta en el tiempo .O ( f ( n ) )B P T I M E (f( n ) )BPTIME(f(n))\mathsf{BPTIME}(f(n))O ( f( n ) )O(f(n))O(f(n)) ¿Conocemos algún problema tal …

18 cc.complexity-theory  ds.algorithms  randomized-algorithms  derandomization 

La teoría de categorías y el álgebra abstracta tratan la forma en que las funciones se pueden combinar con otras funciones. La teoría de la complejidad trata de cuán difícil es calcular una función. Es extraño para mí que no haya visto a nadie combinar estos campos de estudio, ya …

18 cc.complexity-theory  algebra  algebraic-complexity 

¿Todas las funciones cuyo peso de Fourier se concentra en los conjuntos de tamaño pequeño (o términos con bajo grado) se calculan mediante circuitos ?AC0AC0\mathsf{AC}^0

18 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

¿Se ha trabajado en cómo la complejidad de las instancias aleatorias de # 2-SAT varía con la densidad de la cláusula? Es decir: ¿cómo varía la dificultad de contar soluciones satisfactorias para una instancia de 2-SAT generada aleatoriamente , a medida que varía la densidad de la cláusula? En particular, …

18 cc.complexity-theory  counting-complexity  random-k-sat 

El complejo zoológico no tiene mucho sobre . Estoy buscando un buen problema que se encuentra en los niveles superiores de la jerarquía, es decir, un problema en pero no se sabe que está en .SCSC\mathsf{SC} † D T i m e S p a c e ( n O …

18 cc.complexity-theory  complexity-classes 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Mafia es un popular juego de rol en fiestas, una descripción detallada está disponible en wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Básicamente, funciona de la siguiente manera: Al principio, a cada uno de los jugadores se le asigna un rol en secreto, ya sea alineado con la mafia o con la ciudad. Cada …

18 cc.complexity-theory  gt.game-theory  combinatorial-game-theory 

Como saben, hay muchas anomolias para las máquinas de Turing de cinta única cuando el tiempo es : simulación de TM de cinta múltiple, simulación de alfabeto de cinta más grande con solo , capacidad de construcción de tiempo, teorema de la falta de rigidez del tiempo, ...o(n2)o(n2)o(n^2){0,1,b}{0,1,b}\{0,1,b\} También resulta …

18 cc.complexity-theory  turing-machines 

Creo que sería una buena idea hacer una lista de teoremas que indiquen que P no es igual a NP si y solo si tales y tales salidas, alguna clase de complejidad está contenida en otra clase de complejidad y así sucesivamente.

18 cc.complexity-theory  big-list  p-vs-np