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...
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...
Dada una triangulación (sin puntos Steiner) de un polígono simple , uno puede considerar el doble de esta triangulación, que se define de la siguiente manera. Creamos un vértice para cada triángulo en nuestra triangulación, y conectamos dos vértices si los triángulos correspondientes comparten un...
¿Qué algoritmos de aprendizaje automático (además de SVM) utilizan el principio de minimización de riesgos estructurales
Es un ejercicio trivial en autómatas finitos para demostrar que no existe un algoritmo que pueda detectar todos los virus, sin embargo, hay muchas compañías de software que venden software antivirus. ¿Hay alguna parte de CS que se ocupe de Virus y Anti Virus? PD: No estoy preguntando sobre la...
¿Hay algún buen recurso web de aprendizaje discreto de matemáticas con conjuntos de
Estoy trabajando en un problema relacionado con los cuadrados latinos, y quiero un método para lo que esencialmente se reduce al problema de decisión: Entrada : Un gráfico simple finito G. Salida : YESsi G tiene un automorfismo no trivial, de lo NOcontrario. Por lo tanto... Pregunta : ¿Existe...
Estoy tratando de enseñarme diferentes enfoques para la verificación de software. He leido algunos articulos. Hasta donde aprendí, la lógica proposicional con temporal generalmente usa la verificación de modelos con solucionadores SAT (en sistemas reactivos en curso), pero ¿qué pasa con la lógica...
En las Pruebas y Tipos de Girard podemos leer: Desde un punto de vista algorítmico, el cálculo posterior no tiene isomorfismo de Curry-Howard, debido a la multitud de formas de escribir la misma prueba. Esto nos impide usarlo como un cálculo λλ\lambda tipificado, aunque vislumbramos alguna...
¿Es esta variante del problema de suma de subconjuntos fácil / conocida? Dado un entero , y un conjunto de enteros positivos tal que cada tiene como máximo bits establecidos en ( ); ¿hay un subconjunto tal que la suma de sus elementos sea igual a ?A = { x 1 , x 2 , . . . , x n } x i k = 2 1 x i =...
Recientemente, hice una pregunta sobre Math SE. Ninguna respuesta todavia. Esta pregunta está relacionada con esa pregunta, pero más detalles técnicos hacia la informática. Dados dos DFA y donde el conjunto de estados, el alfabeto de entrada y la función de transición de y son iguales, los estados...
Publiqué esto en MathUnderflow pero no obtuve respuestas, así que pensé en probarlo aquí, Estoy leyendo el viejo artículo de Rabin y Fischer [publicará un enlace cuando sea posible] donde, entre otras cosas, se prueba la doble complejidad exponencial de la aritmética de Presburger. La prueba se...
Estoy buscando un documento fácil e introductorio sobre la prueba del Teorema de Courcelle . También estoy interesado en su conexión con la complejidad parametrizada con respecto al ancho del árbol . Solo soy un principiante en este campo. ¿Alguna
Un lenguaje formal sobre un alfabeto es un subconjunto de , es decir, un conjunto de palabras sobre ese alfabeto. Dos lenguajes formales y son iguales, si los conjuntos correspondientes son extensionalmente iguales como subconjuntos de . Uno puede usar lenguajes en la teoría de la complejidad para...
Estoy mirando el siguiente problema: Dados vectores dimensionales de números naturales v 1 , ... , v my algún vector de entrada u , ¿es u una combinación lineal de v i 's con coeficientes numéricos naturales?nortenortenv1, ... , vmetrov1,...,vmetrov_1, \ldots, v_mtutuututuuvyovyov_i es decir,...
Esta pregunta es sobre la intersección de la teoría de la probabilidad y la complejidad computacional. Una observación clave es que algunas distribuciones son más fáciles de generar que otras. Por ejemplo, el problema Dado un número nortenn , devuelve un número uniformemente distribuido yoii con...
La respuesta de @ Babou a una pregunta reciente me recuerda que en un momento creo que leí un artículo sobre la equivalencia (en términos de los hechos que se pueden inferir o probar y la complejidad del tiempo de ejecutar el algoritmo de inferencia) del análisis de flujo de datos , interpretación...
Escuché varias explicaciones posibles, así que me gustaría una referencia confiable. Actualización 05.19: Estoy interesado en la pregunta porque uno de mis estudiantes escribió en su tesis que el nombre proviene de la explicación a continuación (1). Hasta ahora pensé / escuché que proviene de la...
La clase de Nick (NC) es la clase de problemas que se pueden decidir en el tiempo de poli-log utilizando un número polinómico de procesadores. Quiero saber sobre el análogo exponencial, que cubriría los problemas que se pueden decidir en el tiempo polinómico usando un número exponencial de...