Un sistema de adición de vectores (VAS) es un conjunto finito de acciones A⊂ZdA⊂ZdA \subset \mathbb{Z}^d . NdNd\mathbb{N}^d es el conjunto de marcas . Una carrera es una palabra no vacía de marcas m0m1…mnm0m1…mnm_0 m_1\dots m_n st ∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0,...
Me encontré con el siguiente problema en mi antiguo libro de texto de algoritmo checo, lamentablemente no tuve pistas ni solución. "Definimos las palabras de Fibonacci como , F 1 = b , F n + 2 = F n F n + 1 , donde a y b son letras generales. Cómo en una cadena dada (sobre un alfabeto...
¿Cuál es la diferencia entre el marco lógico y la teoría de tipos? Ambos tienen tipos, términos y se basan en cálculos lambda tipificados de forma dependiente. Tenemos Edinburg LF que se basa en el cálculo lambda-pi, sin embargo, me parece que hay alguna diferencia sutil
Estaba pensando a qué clase pertenece este lenguaje: es un gráfico, es un número natural es el número cromático deL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Pensé en como (1) "no hay coloración de k-1 colores" y (2) "hay coloración de colores". Ahora, (1) es coNP y (2)...
La función inversa de Ackermann ocurre a menudo al analizar algoritmos. Una excelente presentación está aquí: http://www.gabrielnivasch.org/fun/inverse-ackermann . y [Notación: [x] significa que redondeamos x al entero más cercano, mientras que log ∗ es la función de registro iterada discutida...
La mayoría de las teorías de tipos que conozco son predicativas, lo que quiero decir que Void : Prop Void = (x : Prop) -> x no está bien tipado en la mayoría de los probadores de teoremas ya que este tipo pi pertenece al mismo universo Propy no es el caso Prop : Prop. Esto los convierte en...
Cuando miro el análisis de Earley, se ve muy elegante, y me pregunto por qué las técnicas GLR se vuelven populares. ¿Alguien sabe qué estaba mal con Earley al analizar que Tomita creó GLR? ¿Actuación? Cualquier publicación sobre estas discusiones es muy
Soy un estudiante graduado en informática teórica, y en particular, algoritmos de aproximación. Ahora encuentro que estoy más interesado en las matemáticas puras (puedo decir esto porque parece que he disfrutado más los cursos de matemáticas que los cursos de CS). Me gustaría preguntar si hay áreas...
Hay teoría algorítmica de grafos / teoría de números / combinatoria / teoría de la información / teoría de juegos. ¿Existe un análisis matemático algorítmico? Según wiki, el análisis matemático incluye las teorías de diferenciación, integración, medida, límites, series infinitas y funciones...
Dado un conjunto de hiperplanos determinados por los vectores normales , sus tipos de células (o vectores de signos) son todos los vectores t ∈ { + , - } m para los que existe un vector v ∈ R d de modo que ⟨ v , h i ⟩ ≠ 0 y t i = signo ( ⟨ v , h i ⟩ )h1, ... , hmetro∈ Rreh1,…,hm∈Rdh_1,\dots,h_m \in...
Me preguntaba cuál es la lista de problemas computacionales naturales actuales para los que no existe una ventaja de complejidad conocida en el uso de una computadora cuántica. Para empezar, creo que el cálculo de la distancia de edición es uno para el cual el algoritmo cuántico más rápido...
¿Es la teoría de tipo Martin-Löf básicamente el cálculo predicativo de construcciones inductivas sin impredicative ?PropProp\mathtt{Prop} Si están estrechamente relacionados pero con más diferencias que solo , ¿cuáles son esas
¿Existe un resultado conocido en la clase de complejidad 1-en-3-SAT con un número restringido de ocurrencias variables? Se me ocurrió la siguiente reducción parsimoniosa con Peter Nightingale, pero quiero citar algo si esto se sabe. Aquí está el truco que se nos ocurrió. Esto muestra que...
En resumen, la pregunta es: en qué medida, la capacidad computacional para tareas difíciles realmente lo ayuda a resolver tareas fáciles. (Podría haber varias formas de hacer esta pregunta interesante y no trivial, y aquí hay uno de esos intentos). Pregunta 1: Considere un circuito para resolver...
Dado un DAG (gráfico acíclico dirigido) , con fuentes de S y se hunde T . Encuentre un DAG D ′ , con fuentes S y sumideros T , con un número mínimo de aristas tales que:DDDSSSTTTD′D′D'SSSTTT Para todos los pares hay una ruta de u a v en D si y solo si hay una ruta de u a v en D ′ .u∈S,v∈Tu∈S,v∈Tu...
Dado modo que los coeficientes de están delimitados por , hace ¿sostener?p , q B p ≡ qp(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q El lema de Schwartz-Zippel se aplica aquí, ya que es válido...
Recientemente me encontré con un artículo de Coudron y Yuen sobre la expansión de la aleatoriedad utilizando dispositivos cuánticos. El principal resultado del trabajo es que es posible generar aleatoriedad "infinita" a partir de un número constante de fuentes (es decir, el número de bits...
Estoy experimentando con sistemas de tipo puro en el cubo lambda de Barendregt, específicamente con el más poderoso, el cálculo de construcciones. Este sistema tiene géneros *y BOX. Solo para el registro, a continuación estoy usando la sintaxis concreta de la Morteherramienta...
En una fórmula CNF de lectura dos veces opuesta, cada variable aparece dos veces, una vez positiva y otra negativa. Estoy interesado en el problema , que consiste en calcular la paridad del número de asignaciones satisfactorias de una fórmula CNF de lectura dos veces
Una de las consecuencias más prácticas de la correspondencia "Curry-Howard-Lambek" es que la sintaxis de muchas lambda-calucli / lógicas puede usarse para realizar construcciones en una categoría suficientemente estructurada. Por ejemplo, la Geometría diferencial sintética tiene modelos en topoi...