Recordemos el diámetro de un gráfico es la longitud de un camino más largo más corto de G . Dado un gráfico, un algoritmo obvio para calcular diam ( G ) resuelve el problema de la ruta más corta de todos los pares (APSP) y devuelve la longitud de la ruta más larga
Todos los solucionadores de #SAT que conozco, por ejemplo, RelSat, C2D, solo devuelven el número de instancias satisfactorias. Pero quiero saber cada una de esas instancias? ¿Existe tal solucionador #SAT o cómo debo modificar un solucionador #SAT disponible para hacer
Esta puede ser una pregunta muy simple. Pero, ¿cuál es la diferencia entre tipos y géneros? Mi comprensión actual es que usted tiene una teoría de tipo con reglas de tipo que dan una noción de una declaración bien tipada, pero las clases son más básicas, diferenciando símbolos en diferentes tipos...
Tengo algunos millones de valores de 32 bits. Para cada valor, quiero encontrar todos los demás valores dentro de una distancia de 5. En el enfoque ingenuo, esto requiere comparaciones de , que quiero evitar.O(N2)O(N2)O(N^2) Me di cuenta de que si solo trataba estos valores de 32 bits como enteros...
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
¿Se ha estudiado este problema antes? Dado un gráfico métrico no dirigido G (las longitudes de los bordes satisfacen la desigualdad del triángulo), encuentre un conjunto S de vértices tal que MST (G [S]) se maximice, donde MST (G [S]) es el árbol de expansión mínimo del subgráfico inducido por S....
Este reciente artículo de FOCS2013, Strong Backdoors to Bounded Treewidth SAT de Gaspers y Szeider habla sobre el vínculo entre el ancho del árbol del gráfico de la cláusula SAT y la dureza de la instancia. Para instancias 3-SAT aleatorias, es decir, instancias 3-SAT elegidas al azar, ¿cuál es...
Estoy buscando un lenguaje pequeño que ayude a 'convencer' a los estudiantes de que las máquinas de Turing son un modelo informático suficientemente general. Es decir, un lenguaje que se parece a los idiomas a los que están acostumbrados, pero que también es fácil de simular en una máquina de...
He estado aprendiendo algo sobre la implementación de tipos dependientes, como este tutorial , pero la mayoría de ellos está implementando intérpretes. Mi pregunta es, parece que implementar un compilador para el tipo dependiente es mucho más difícil que un compilador, porque realmente puede...
En primer lugar, mi comprensión del teorema de incompletitud de Gödel (y la lógica formal en general) es muy ingenua, también es mi conocimiento en informática teórica (lo que significa que solo tomé un curso de posgrado mientras aún estoy en la universidad), por lo que esta pregunta puede ser Muy...
Estoy buscando un algoritmo eficiente para el problema: Entrada : El entero positivo (almacenado como bits) para algún entero n ≥ 0 .3n3n3^nn≥0n≥0n \geq 0 Salida : el número .nnn Pregunta : ¿Podemos calcular partir de los bits de 3 n en el tiempo O ( n ) ?nnn3n3n3^nO(n)O(n)O(n) Esta es...
Los autómatas pushdown alternos unidireccionales (1APDA) pueden reconocer cualquier idioma en (Alternancia de Chandra, Kozen y Stockmeyer, 1981) . Al reemplazar un almacenamiento pushdown de un 1APDA con un contador, podemos obtener un autómata alternativo unidireccional con un contador (1ACA). Mi...
Entiendo que las siguientes afirmaciones son ciertas: Dos derivaciones distintas de una cadena en un CFG dado a veces pueden atribuir el mismo árbol de análisis a la cadena. Cuando hay derivaciones de alguna cadena en un CFG dado que atribuyen diferentes árboles de análisis, el CFG es...
Tengo dificultades para comprender los últimos pasos del algoritmo AHSP. Deje que sea un grupo abeliano y ser la función que oculta el subgrupo . Deje que representa el grupo dual de .GGGfffHHHG∗G∗G^*GGG Estos son los pasos del algoritmo. Primero prepara el estado,
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,...
Para un problema de búsqueda local polinómica , sabemos que debe existir al menos una solución (óptimo local). Sin embargo, podrían existir muchas más soluciones, ¿qué tan difícil es contar la cantidad de soluciones para un problema PLS completo? Estoy particularmente interesado en el problema de...
Sea un vector de variables booleanas. Sea dos circuitos booleanos en . Digamos que es similar a si:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] es exponencialmente pequeño, cuando xxx se dibuja uniformemente al azar desde...
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...
Suponga que se nos da una matriz A[1..n]A[1..n]A[1..n] contiene enteros no negativos (no necesariamente distintos). BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. La solución obvia es ordenar AAA y luego calcular mmm . Esto proporciona un algoritmo que se ejecuta en el tiempo...
Sean Anderson publicó trucos de bit twiddling que contienen el algoritmo de Eric Cole para encontrar el de un entero de N bits v en operaciones O ( lg ( N ) ) con multiplicación y búsqueda.⌈log2v⌉⌈log2v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg(N))O(\lg(N)) El algoritmo se basa en un número...