Me pregunto si hay duros que son "polinomiales" en el caso promedio. ¿Creo que hay dos formas de interpretar esto?NPNPNP Si , ¿puede haber un algoritmo que resuelva un problema duro con tiempo de ejecución amortizado (caso promedio) de para una constante ?N P O ( n k ) kP≠NPP≠NPP \neq...
¿Será necesario cambiar las definiciones de seguridad si tenemos computadoras cuánticas? ¿Qué construcciones criptográficas se romperán? ¿Conoces una encuesta o un artículo que explique qué se necesitará para
Debido a la naturaleza de la pregunta, tengo que incluir mucha información de fondo (porque mi pregunta es: ¿cómo puedo reducir esto?) Dicho esto, se puede resumir (según mi leal saber y entender) como: ¿Qué métodos existen para encontrar óptimos locales en espacios de búsqueda combinatoria...
El algoritmo de Brzozowski se puede extender a los autómatas de Moore, pero su complejidad temporal es exponencial en general. ¿Hay algún otro algoritmo para minimizar los autómatas de Moore? ¿Cuáles son los tiempos de ejecución de estos algoritmos si los
No sé la terminología correcta para hacer esta pregunta, así que la describiré con muchas palabras, tengan paciencia conmigo. Antecedentes , solo para estar en la misma página: los programas a menudo contienen cachés, una compensación de tiempo / memoria. El error de un programador común es...
No estoy seguro si esta pregunta pertenece aquí y me disculpo si no. Lo que estoy buscando hacer es desarrollar una forma programática en la que pueda determinar probabilísticamente si una cadena dada "pertenece" en una bolsa de cadenas. Por ejemplo, si tengo una bolsa de 10,000 nombres de ciudades...
Estoy buscando un algoritmo rápido de coincidencia de cadenas k-incompatibilidad. Dada una cadena de patrón P de longitud m, y una cadena de texto T de longitud n, necesito un algoritmo rápido (tiempo lineal) para encontrar todas las posiciones donde P coincida con una subcadena de T con a lo sumo...
¿Existen lenguajes de programación (o lógica) que puedan implementar (o expresar) una función si y solo si es una función biyectiva computable? ff:N→Nf:N→Nf:\mathbb{N}\to
Procedente del punto de vista de alguien que está pensando en obtener un doctorado en informática. Tengo problemas para decidir en qué enfocaría mi investigación cuando vaya a hacer mi doctorado. Ver también esta pregunta en academia.SE . Así que estoy pensando que leer / mantenerse al día sobre...
Hay una variedad vertiginosa de símbolos que a veces se utilizan en documentos de matemáticas y CS. Sin embargo, muchos suponen una familiaridad básica que parece raramente enseñada en un solo lugar. Estoy buscando un diccionario similar al siguiente, especialmente desde una perspectiva...
Estoy buscando recursos para comenzar con el análisis de programas . El único libro que he encontrado sobre el tema es el libro de Nielson & Nielson . Aparte de eso, parece que solo hay libros de "compilación" donde el "análisis de programa" sería un capítulo, o algo por el estilo. ¿La...
En la programación de tipo dependiente, hay dos formas principales de descomponer datos y realizar recursividad: Dependencia de patrones dependientes : las definiciones de funciones se dan como múltiples cláusulas. La unificación asegura que todos los casos omitidos son imposibles, y un...
Estoy interesado en los procedimientos para una división equitativa de la tierra (es decir, una división libre de envidia, o al menos una división proporcional). A diferencia del problema bien estudiado de la división de la torta, la división de la tierra es bidimensional, es decir, las...
Un gráfico es cordal si no tiene ciclos inducidos de longitud o más. Un árbol clique de es un árbol en el que los vértices del árbol son la máxima camarillas de . Un borde en corresponde a un separador mínimo. El número de árboles de camarilla distintos puede ser exponencial en el número de...
Me pregunto, ¿hay algún método para el análisis automático de tiempo de ejecución que funcione al menos en un subconjunto relevante de algoritmos (algoritmos que se pueden analizar)? Busqué en Google "Análisis de algoritmo automático" que me dio esto, pero es demasiado complicado. Solo quiero un...
Considere los programas lineales. Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq...
Hemos tenido varias preguntas sobre la relación de las reducciones de Cook y Karp . Está claro que las reducciones de Cook (reducciones de Turing de tiempo polinómico) no definen la misma noción de integridad de NP que las reducciones de Karp (reducciones de tiempo múltiple polinomiales), que...
La pregunta está más o menos en el título. ¿Hay algún momento en que un lenguaje puede ser aceptado por un DFA mínimo con estados, pero , la reversión de , puede ser aceptado por un DFA con estados,
Quiero proporcionar pruebas de partes de un programa de Haskell que estoy escribiendo como parte de mi tesis. Hasta ahora, sin embargo, no pude encontrar un buen trabajo de referencia. El libro introductorio de Graham Hutton Programming in Haskell ( Google Books ), que leí mientras aprendía...
Describo un enfoque para el isomorfismo gráfico que probablemente tiene falsos positivos, y tengo curiosidad por saber si hay literatura que indique que no funciona. Dadas dos matrices de adyacencia , un método ciertamente ingenuo para verificar el isomorfismo es verificar si para cada fila u de G...