Preguntas etiquetadas con cc.complexity-theory

Para poder explicar el problema P vs NP a los no matemáticos, me gustaría tener un ejemplo pedagógico de cuándo se puede evitar la búsqueda de fuerza bruta. Idealmente, el problema debería ser inmediatamente comprensible y el truco no debería ser ni demasiado fácil ni demasiado difícil. Lo mejor que …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Esto está motivado por mi pregunta anterior, Algoritmos de aproximación de tiempo súper polinomial para MAX-3SAT . Para muchos problemas de optimización, para cada uno tenemos una aproximación inferior de aproximación inferior asumiendo alguna conjetura teórica de complejidad ampliamente creída. En otras palabras, no existe un algoritmo de tiempo polinómico …

8 cc.complexity-theory  approximation-algorithms 

Leí el famoso libro de Alon y Spencer sobre el método probabilístico en combinatoria. ¿Hay una encuesta o notas de conferencias sobre avances recientes y relaciones con los siguientes temas teóricos de complejidad de este método más allá de este libro de texto? generadores pseudoaleatorios que engañan a modelos concretos …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Considere cualquier lenguaje . Defina s ( L ) ∈ { 0 , 1 } ω (una secuencia infinita de bits) mediante la fórmula recursivaLLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )norte= χL( s ( L )< n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

¿Cuáles son algunas aplicaciones de la descomposición gráfica modular en TCS / teoría de la complejidad? Estoy especialmente interesado en su uso en pruebas o límites superior / inferior si ocurre. [1] Descomposición gráfica modular , Wikipedia. [2] Referencias para la descomposición modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Mientras estudiaba un problema en la teoría algorítmica de juegos, me interesó la complejidad de la siguiente pregunta de optimización: Problema Dado: conjunto de tierra dado por ,nU= [ n ] = { 1 , ... , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nortenn metromm clasificaciones dadas como órdenes totales donde …

8 cc.complexity-theory  ds.algorithms  np-hardness  optimization 

Espero que esta pregunta no sea demasiado ingenua para este sitio. En matemáticas (topología, geometría, álgebra) es común que uno distinga entre dos objetos creando un invariante algebraico o numérico, y demostrando que los dos objetos tienen valores diferentes. Me pregunto hasta qué punto se ha intentado esto con las …

8 cc.complexity-theory  complexity-classes  algebra 

El lenguaje de los whileprogramas puede expresar las funciones computablemente enumerables. (Esto es cierto incluso si las únicas operaciones aritméticas en variables son, por ejemplo, incremento y decremento). Si whilese reemplaza por forhacer bucles siempre delimitados, el lenguaje solo puede expresar las funciones recursivas primitivas. Recientemente me di cuenta de …

8 cc.complexity-theory  computability  pl.programming-languages 

Net (también conocido como FreeNet o NetWalk) es un juego de rompecabezas que se juega en una cuadrícula con los siguientes objetos:n × nn×nn \times n hay computadoras ; cada computadora ocupa una celda y tiene un cable de enlace;metromm cada computadora debe estar conectada a la unidad central que …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

En el artículo de Savitch de 1969, "Relaciones entre complejidades de cinta no deterministas y deterministas", afirma que "todas las funciones de almacenamiento comunes L (n)> = lg n son medibles. En particular, cualquier polinomio en ny lg n es medible". Su definición de mensurable es: "Se dice que una …

8 cc.complexity-theory  pspace  space-complexity 

No es difícil mostrar que ordenar una matriz de números es difícil para . Si la entrada es una matriz de 1s y 0s, entonces es esencialmente la función C o u n t (dados n bits, genera el número de 1s en binario) ya que C o u n …

8 cc.complexity-theory  circuit-complexity  sorting 

¿Es posible encontrar una reducción de conteo de #SAT a #HornSAT? No he encontrado esta pregunta publicada aquí, así que decidí verificar si alguien tiene alguna respuesta. Permítanme explicar a qué me refiero con contar la reducción. Suponga que son dos problemas de conteo. Por ejemplo, #SAT pregunta cuántas asignaciones …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

¿Se sabe algo sobre lenguajes reconocidos por un autómata determinista bidireccional de múltiples cabezas o un logspace TM con contador (modelo equivalente)? Esta clase se llama Aux2DC en el documento de mi asesor . ¿O sobre tal clase no determinista? He obtenido que la clase de idiomas reconocidos por tales …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

¿El siguiente problema es NP-hard? Dado un conjunto de números reales (objetivos) x 1 , ... , x N y un "tridente" definido por dos distancias a , b desde el centro del tridente, ¿cuál es el número mínimo K de posiciones p 1 , ... , p K del …

8 cc.complexity-theory  np-hardness  set-cover 

Supongamos que queremos encontrar el elemento más pequeño de un conjunto , cuyos elementos están indexados de a . No tenemos acceso a los valores de estos elementos, pero podemos comparar cualquiera de los dos elementos de para ver cuál es más pequeño. Para cualquier índices y , hay un …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms