De acuerdo con el libro Topological Graph Theory de Gross y Tucker, dada una incrustación celular de un gráfico en una superficie (por 'superficie' me refiero aquí a una esfera con algunos asas, y debajo de refiere a la esfera con exactamente tiradores), se puede definir un multigrafo dual tratando...
Estoy interesado en la pregunta de si NP es igual a coNP o no. Agradecería mucho algunos consejos sobre buenas publicaciones para leer sobre el tema. Para el registro, sé que esta pregunta está íntimamente relacionada con la pregunta de si P es igual a NP o no (de modo que si NP! = CoNP entonces...
Algunos antecedentes: Estoy interesado en encontrar límites inferiores "menos conocidos" (o resultados de dureza) para el problema de Aprendizaje con errores (LWE) y generalizaciones de los mismos como Aprender con errores sobre anillos. Para definiciones específicas, etc., aquí hay una buena...
Un problema abierto muy interesante en el estudio de las medidas de complejidad de la función booleana es la llamada conjetura de sensibilidad frente a sensibilidad de bloque. Para obtener información sobre la sensibilidad frente a la sensibilidad de bloque, puede consultar la siguiente publicación...
¿Es este juego de información perfecto jugado en gráficos conocido / estudiado? Dado un gráfico G=(V,E)G=(V,E)G= (V,E) , dos jugadores se alternan eligiendo un borde o un nodo aislado. Si el jugador elige un borde e=(u,v)e=(u,v)e = (u,v) los dos nodos uuu y vvv se eliminan junto con sus bordes...
Estoy tratando de entender el protocolo bitcoin en el contexto de la seguridad criptográfica computacional. La pregunta es una solicitud de referencia a fundamentos de artículos de criptografía sobre bitcoin. Mi primera pregunta es ¿qué protocolo criptográfico abstracto está intentando...
Parte de la dificultad de obtener más información sobre este problema es que el problema de coincidencia de gráficos es diferente de su primo mucho más famoso, el problema de coincidencia, pero es difícil distinguirlo cuando se utilizan motores de búsqueda. Dados dos gráficos y modo que, la tarea...
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
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,...
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...
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 y el curso de...
¿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 (libro de Downey...
¿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 (
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...
Denote por el grado mínimo de salida en G , y por δ - ( G ) el grado mínimo de entrada.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) En una pregunta relacionada , mencioné la extensión de Ghouila-Houri del teorema de Dirac sobre los ciclos hamiltonianos , que sugiere que si entonces G es...
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...
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...
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 Este...
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...
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 ∑ n k = 1 a k = 1 o ∑ n k = 1 a k ≤ 1 - ε .unanorte≥ ⋯ ≥...