Preguntas etiquetadas con reference-request

¿Existe un resultado conocido en la clase de complejidad 1-en-3-SAT con un número restringido de ocurrencias variables? Se me ocurrió la siguiente reducción parsimoniosa con Peter Nightingale, pero quiero citar algo si esto se sabe. Aquí está el truco que se nos ocurrió. Esto muestra que 1-en-3-SAT limitado a 3 …

11 reference-request  sat  reductions 

Hay teoría algorítmica de grafos / teoría de números / combinatoria / teoría de la información / teoría de juegos. ¿Existe un análisis matemático algorítmico? Según wiki, el análisis matemático incluye las teorías de diferenciación, integración, medida, límites, series infinitas y funciones analíticas. Está bien centrarse en el análisis real …

11 cc.complexity-theory  reference-request  soft-question  computability 

Soy un estudiante graduado en informática teórica, y en particular, algoritmos de aproximación. Ahora encuentro que estoy más interesado en las matemáticas puras (puedo decir esto porque parece que he disfrutado más los cursos de matemáticas que los cursos de CS). Me gustaría preguntar si hay áreas en informática teórica …

11 reference-request  soft-question 

Me gustaría saber (en relación con esta otra pregunta ) si se conocen límites inferiores para el siguiente problema de prueba: a uno se le da acceso de consulta a una secuencia de números no negativos y ε ∈ ( 0 , 1 ) , con la promesa de que …

11 reference-request  randomized-algorithms  property-testing 

Considere el siguiente problema: Dadas dos cadenas x, y, decida si existe un homomorfismo de cadena f tal que f (x) = y. Es fácil demostrar que este problema está en . ¿Hay otras cosas que podamos decir sobre este problema? por ejemplo, ¿está en , o incluso en ?NPNPNPcoNPcoNPcoNPPPP …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Como sabemos, la definición de la complejidad computacional del algoritmo es casi sin controversia, pero la definición de la complejidad computacional de los reales o los modelos de cálculo sobre los reales no es en tal caso. Conocemos el modelo y modelo de Blum y Smales en el libro Análisis …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Hay una muy buena construcción por Conway de números surrealistas. Son "números" que contienen números reales y ordinales, están totalmente ordenados y tienen todas las propiedades de un campo (excepto que no forman un conjunto sino una clase). Vea, por ejemplo, este pdf o Wikipedia para una introducción. Se pueden …

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Digo que una subgrafía de (con el mismo conjunto de vértices) es sp-equivalente a si . En otras palabras, quitar bordes para ir de a no cambia la longitud de los caminos más cortos; los bordes eliminados no son necesarios para ninguna ruta más corta.G′G′G'GGGGGGMG=MG′MG=MG′M_G = M_{G'}GGGG′G′G' En …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

En teoremas gratis! , Wadler dice que la caracterización de la parametricidad se puede volver a expresar en términos de transformaciones naturales laxas y este será el tema de otro artículo. ¿A qué papel se refiere? El enfoque categórico de la paramtericidad que conozco utiliza transformaciones dinaturales como en el …

11 reference-request  ct.category-theory  parametricity 

¿Conoces problemas que son W [1] -duros incluso para gráficos de grados acotados? La dimensión métrica es difícil en gráficos con un grado máximo de 3, pero es W [2] -duro. Red-Blue Nonblocker solía ser W [1] duro en gráficos de grados limitados, pero hubo un error en la prueba …

11 reference-request  parameterized-complexity 

¿Se conoce el siguiente reclamo? Reclamación : Para cualquier gráfico con n vértices existe una coloración de G tal que cada conjunto independiente está coloreado como máximo por O ( √solGGnortennsolGGcolores.O ( n--√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

Estoy leyendo el famoso documento Impagliazzo y Wigderson en 1997. Como soy nuevo en este campo y el documento es una versión concisa de la conferencia, tengo dificultades para seguir sus pruebas. En particular, algunos de sus nuevos teoremas carecen de pruebas. Que yo sepa, no se ha publicado una …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Estoy buscando recursos (preferiblemente un manual) sobre temas avanzados en algoritmos (temas más allá de lo que se cubre en los libros de texto de algoritmos como CLRS y DPV). El tipo de material que se puede usar para enseñar un tema en un curso de algoritmos como Erik Demaine …

11 ds.algorithms  reference-request  survey  books 

Estoy interesado en estudiar los problemas completos del isomorfismo gráfico (IG). En el documento "Problemas polinomialmente equivalentes al isomorfismo gráfico" de Kellogg S. Booth, (1979), demostró que muchos problemas básicos se completan GI mediante el uso de técnicas de reemplazo de bordes, técnicas de composición, etc. Me gustaría aprender algunas …

11 cc.complexity-theory  reference-request  graph-isomorphism 

En este momento hay montañas de resultados en separadores en gráficos, desde separador plano, separador de árbol, gráficos de ancho de árbol acotado, gráficos de género acotados, etc., etc. ¿Hay alguna encuesta actualizada sobre esto y sus aplicaciones?

11 reference-request  graph-algorithms  survey