Preguntas etiquetadas con reference-request

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 estructura profunda de este …

9 reference-request  logic  parallel-computing 

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 basa en la …

9 complexity-theory  reference-request  logic 

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 borde. Se sabe que el …

9 reference-request  computational-geometry 

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 explicación (2). Me sentiría …

9 terminology  reference-request  history 

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 …

9 reference-request  compilers  type-inference  program-optimization 

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 0 ≤ i < …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

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, ¿hay alguna donde u = t …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

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 formalizar el …

9 complexity-theory  formal-languages  reference-request 

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 iniciales y …

9 formal-languages  reference-request  finite-automata 

¿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 …

9 complexity-theory  reference-request  decision-problem 

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 de primer orden con temporal? ¿Utiliza demostradores …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

¿Hay algún buen recurso web de aprendizaje discreto de matemáticas con conjuntos de problemas?

9 reference-request  education  discrete-mathematics 

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 …

9 reference-request  security 

¿Qué algoritmos de aprendizaje automático (además de SVM) utilizan el principio de minimización de riesgos estructurales ?

9 reference-request  machine-learning 

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 sugerencia?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity