Deje que sea un conjunto finito de caracteres de tamaño fijo. Deje que sea una cadena sobre . Decimos que una subcadena no vacía de es una repetición if para alguna cadena .α Σ β αΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaγβ= γγβ=γγ\beta = \gamma \gammaγγ\gamma Ahora, mi pregunta es si se cumple...
Estoy aprendiendo la prueba de teorema automatizado / solucionadores SMT / asistentes de prueba por mi cuenta y publico una serie de preguntas sobre el proceso, comenzando aquí . ¿Cuáles son los probadores de teoremas automatizados relevantes? Encontré una revisión de los probadores de...
Me encontré con las siguientes dudas sobre la complejidad de Towers of Hanoi , sobre las cuales quisiera sus comentarios. ¿Está en NP? Intento de respuesta: supongamos que Peggy (probador) resuelve el problema y lo envía a Victor (verificador). Víctor puede ver fácilmente que el estado final de...
Me pregunto cómo encontrar la circunferencia de un gráfico escaso no dirigido. Por disperso quiero decir . Por óptimo me refiero a la menor complejidad de tiempo.El | miEl | =O( | VEl | )|E|=O(|V|)|E|=O(|V|) Pensé en alguna modificación en el algoritmo de Tarjan para gráficos no dirigidos, pero no...
WalkSAT y GSAT son algoritmos de búsqueda locales bien conocidos y simples para resolver el problema de satisfacción booleana. El pseudocódigo para el algoritmo GSAT se copia de la pregunta Implementación del algoritmo GSAT: ¿cómo seleccionar qué literal voltear? y presentado a...
Permítanme comenzar señalando que este es un problema de tarea, por favor brinden solo consejos y observaciones relacionadas, NO RESPUESTAS DIRECTAS por favor . Dicho esto, aquí está el problema que estoy viendo: Deje HALF-CLIQUE = { | es un gráfico no dirigido que tiene una subgrafía completa...
Me gustaría escribir un programa simple que acepte un conjunto de ventanas (ancho + alto) y la resolución de la pantalla y genere una disposición de esas ventanas en la pantalla de modo que las ventanas ocupen más espacio. Por lo tanto, es posible cambiar el tamaño de una ventana, mientras se...
Recientemente encontré en un artículo [1] una versión simétrica especial de SAT llamada 2/2/4-SAT . Pero hay muchas variantes completas de , por ejemplo: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...notario públicoNP\text{NP} Algunas otras variantes son manejables: - SAT , Planar-NAE- SAT ,...
En el famoso ensayo de Richard Gabriel The Rise of Worse is Better , contrasta las versiones caricaturizadas de las filosofías de diseño del MIT / Stanford (Lisp) y Nueva Jersey (C / Unix) a lo largo de los ejes de simplicidad, corrección, coherencia e integridad. Da el ejemplo del "problema de...
Supongamos que tenemos un cuadro negro fff que podemos consultar y restablecer. Cuando reiniciamos fff , el estado fSfSf_S de fff se establece en un elemento elegido de manera uniforme al azar a partir del conjunto {0,1,...,n−1}{0,1,...,n−1}\{0, 1, ..., n - 1\} donde nnn es fijo y se conoce por...
¿Conoces algún algoritmo que calcule el factorial después del módulo de manera eficiente? Por ejemplo, quiero programar: for(i=0; i<5; i++) sum += factorial(p-i) % p; Pero, pes un gran número (primo) para aplicar factorial directamente .(p≤108)(p≤108)(p \leq 10^ 8) En Python, esta tarea es...
He tenido problemas para aceptar la visión teórica de la complejidad de "eficientemente resuelto por algoritmo paralelo" que es dada por la clase NC : NC es la clase de problemas que puede resolver un algoritmo paralelo en el tiempo O(logcn)O(logcn)O(\log^cn) en procesadores con...
Wikipedia tiene la siguiente definición del lema de bombeo para idiomas regulares ... Deje que sea un lenguaje regular. Entonces existe un número entero ≥ 1 que depende solo de modo que cada cadena en de longitud al menos ( se llama "longitud de bombeo") se puede escribir como = (es decir, se...
Te dan n enteros todos entre y . Debajo de cada número entero , debe escribir un número entero entre y con el requisito de que los formen una secuencia no decreciente. Defina la desviación de dicha secuencia como . Diseñe un algoritmo que encuentre las b_i 's con la desviación mínima en tiempo de...
¿Hay algún problema en que tenga algoritmos aleatorios que superen los límites inferiores en algoritmos deterministas? Más concretamente, ¿conocemos alguna para la cual \ mathsf {DTIME} (n ^ k) \ subsetneq \ mathsf {PTIME} (n ^ k) ? Aquí \ mathsf {PTIME} (f (n)) significa el conjunto de idiomas que...
Antes de leer El arte de la programación de computadoras (TAOCP) , no he considerado estas preguntas profundamente. Usaría pseudocódigo para describir algoritmos, comprenderlos y estimar el tiempo de ejecución solo sobre órdenes de crecimiento. El TAOCP cambia completamente de opinión. TAOCP usa...
Supongamos que tenemos un grafo dirigido y dos nodos y . Me gustaría saber si ya hay algoritmos para calcular el siguiente problema de decisión:G=(V,E)G=(V,E)G=(V,E)AAABBB ¿Hay al menos dos caminos entre y de la misma longitud?AAABBB ¿Qué tal la complejidad? ¿Puedo resolverlo en tiempo...
El logaritmo discreto es lo mismo que encontrar en , dada una , c , y N .bbbab=cmodNab=cmodNa^b=c \bmod NaaacccNNN Me pregunto en qué grupos de complejidad (por ejemplo, para computadoras clásicas y cuánticas) se encuentra, y qué enfoques (es decir, algoritmos) son los mejores para realizar esta...
Últimamente he estado leyendo un poco de literatura y he encontrado algunas estructuras de datos bastante interesantes. He investigado varios métodos diferentes para reducir el tiempo de actualización a peor tiempo de actualización [1-7].O ( 1 )O(1)\mathcal{O}(1) Recientemente comencé a buscar...
Un comercial de pizza afirma que puede combinar sus ingredientes en 34 millones de combinaciones diferentes. No lo creía, así que desempolvé mis oxidadas habilidades combinatorias e intenté resolverlo. Esto es lo que tengo hasta ahora: desde el sitio de pedidos en línea obtuve las...