Solo quiero conocer algunos ejemplos de las funciones que pueden calcularse con el cálculo lambda sin tipo pero no con los cálculos lambda con tipo. Como soy un principiante, agradecería cierta reiteración de la información de fondo. Gracias. Editar: por cálculos lambda mecanografiados, tenía la...
Digamos que uno tiene un idioma L ⊆ Σ∗L⊆Σ∗L \subseteq \Sigma^* , pero uno no sabe qué cadenas son realmente parte del idioma. Todo lo que uno tiene es una vista finita del lenguaje: un conjunto finito de cadenas A ⊆ LA⊆LA \subseteq L que se sabe que están en el idioma, y un conjunto finito de...
Estoy buscando un algoritmo rápido para calcular el flujo máximo en gráficos dinámicos. es decir, considerando un gráfico y s , t ∈ V tenemos máximo flujo F en G de s a la t . Entonces nuevo / viejo nodo u añadido / borrado con sus correspondientes bordes para formar un gráfico G 1 . ¿Qué es un...
Dado un filtro de floración de tamaño N-bits y K funciones hash, de las cuales se establecen M-bits (donde M <= N) del filtro. ¿Es posible aproximar el número de elementos insertados en el filtro de floración? Ejemplo simple He estado reflexionando sobre el siguiente ejemplo, suponiendo un BF...
¿Hay problemas decidibles de tal manera que para ningún algoritmo que resuelva el problema podamos dar un límite de tiempo en función de la longitud n de la instancia de entrada? Llegué a esta pregunta porque estaba pensando en lo siguiente: Supongamos que tenemos un problema recursivamente...
Existe un algoritmo de tiempo lineal para dividir el texto de manera uniforme en líneas de ancho máximo. Utiliza SMAWK (o Knuth & Plass) y "uniformemente" significa: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness ¿Existe un algoritmo o una función de costo cóncava para el algoritmo...
Espero que alguien sepa algo sobre esto, así que no tengo que leer la literatura ... Considere una secuencia de números . Piense en la secuencia como n - 1 intervalos [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] . Claramente, la secuencia original es bitónica si algún punto en la línea...
Arora y Barak muestran que puede expresarse como B P ⋅ N P, es decir, el conjunto de idiomas que tienen reducciones aleatorias a 3SAT. M A también es una generalización aleatoria natural de N P en la que reemplaza el verificador determinista por uno aleatorio.A MAM\mathsf{AM}B P ⋅ N...
El libro A = B de Petkovsek, Wilf y Zeilberger describe algoritmos para calcular diferentes sumas de binomios. AFAIK, estos algoritmos todavía están siendo mejorados por diferentes autores. ¿Sabes dónde podemos encontrar las implementaciones más actualizadas de estos algoritmos? ¿Y sabe si existen...
Un MPA (autómata multipebble) es un 2DFA (autómata finito determinista bidireccional) que puede usar un número arbitrario de guijarros (en realidad, como máximo guijarros en una entrada dada - la entrada está escrita en la cinta entre dos extremos -marcadores como ). Durante el cálculo, un MPA...
Soy más un tipo de óptica cuántica que un tipo de información cuántica, y trato principalmente en ecuaciones maestras. Estoy interesado en la forma de suma de operador, y me gustaría derivar los errores en esta forma para un pequeño sistema cuántico que estoy simulando. El problema: el sistema...
Si le dan una colección de órdenes parciales, la clasificación topológica le dirá si hay una extensión de la colección a una orden total (una extensión en este caso es una orden total consistente con cada una de las órdenes parciales). Me he encontrado con una variación: Fijar un conjunto . Te...
Definir un "problema" a ser un algoritmo aceptar un número natural y devolver 0 o 1 que devuelve 1 en al menos un n ∈ N . Cualquiera de tales n se llama una "solución" a AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Defina un "solucionador de problemas universal" como un algoritmo acepta un problema y...
Dado un gráfico dirigido con n nodos de modo que cada vértice tenga exactamente dos bordes salientes, y un número natural N codificado en binario, dos vértices syt, Quiero contar el número de rutas (no necesariamente simples) de sa t en N pasos. ¿Es este un problema difícil de # P? O, en...
Sabemos, por ejemplo, por Koutis-Miller-Peng (basado en el trabajo de Spielman y Teng), que podemos resolver muy rápidamente los sistemas lineales Ax=bAx=bA x = b para las matrices AAA que son la matriz de Laplacia de gráficos para algunos gráficos dispersos con pesos de borde no negativos . Ahora...
Ahora se sabe que el adversario general de límite inferior caracteriza la complejidad de la consulta cuántica debido al trabajo innovador de Reichardt et al. La misma línea de trabajo también establece conexiones con el marco del programa span para diseñar algoritmos cuánticos. Muchos algoritmos...
Digamos que tenemos una función f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} , de modo que ∑x∈Zn2f(x)2=1∑x∈Z2nf(x)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1 (por lo que podemos pensar en como una distribución). Es natural definir la entropía de dicha función de la siguiente...
Si nos dan dos cadenas de tamaño y n 2 , la Levenshtein cálculo de distancia de edición estándar es mediante un algoritmo dinámico con el tiempo complejidad O ( n 1 n 2 ) y el espacio complejidad O ( n 1 n 2 ) . (Se pueden hacer algunas mejoras en función de la distancia de edición d , pero no...
Estoy en busca de una cota en la entropía de la suma de dos variables aleatorias discretas independientes X y Y . Naturalmente, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( ∗ ) Sin embargo, aplicado a la suma de n variables aleatorias independientes de Bernoulli Z 1 , ... , Z n , esto da H ( Z 1 +H( X+...
Aquí: http://www.planarity.org/Klein_elementary_graph_theory.pdf (en incrustaciones de capítulos) se le da la definición de incrustación combinatoria de un gráfico plano. (con definición de caras, etc.) Aunque podría usarse fácilmente para cualquier gráfico, definen el gráfico plano como el...