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...
Me resulta difícil diferenciar claramente entre multiprogramación y multitarea. Mi fuente principal ha sido Wikipedia , pero el artículo de WP parece estar un poco en desacuerdo con algunas fuentes menos confiables (como mi profesor universitario). Mientras leo WP, la multiprogramación es una...
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...
Pebbling es un juego de solitario jugado en un gráfico no dirigido , donde cada vértice tiene cero o más guijarros. Un solo movimiento consiste en eliminar dos piedras de un vértice y agregar una piedra a un vecino arbitrario de . (Obviamente, el vértice v debe tener al menos dos guijarros antes...
Comenzaré un curso universitario de ciencias de la computación el próximo otoño, pero realmente no puedo entender el cálculo λ en el contexto de la programación funcional. Puedo estar malinterpretando esto por completo, pero según esta definición de la Enciclopedia de Filosofía de Stanford, es solo...
Mi experiencia provino de lenguajes imperativos, principalmente C, C ++ y Python. Recogí Scala, Erlang y un poco de Haskell unos años más tarde y desde entonces me he interesado mucho en la programación funcional y los formalismos detrás de ella. También estoy interesado en la programación...
Dados números modo que hay una asignación de números que es una permutación de tal queA 1 ≤ A 2 ≤ . . . ≤ A k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . . , I 2 k 1 , 2 , . . . , 2 kkkkUN1≤ A2≤ . . . ≤ AkUN1≤UN2≤...≤UNkA_1 \leq A_2 \leq ... \leq A_k∑i =...
O al menos generar un conjunto de cadenas que una NFA acepta, para que pueda alimentarlo a la otra NFA. Si hago una búsqueda en cada ruta de la NFA, ¿funcionará? Aunque eso llevará mucho
Una secuencia binaria de longitud es solo una secuencia ordenada para que cada sea o . Para generar todas esas secuencias binarias, se puede usar la estructura de árbol binario obvia de la siguiente manera: la raíz está "vacía", pero cada hijo izquierdo corresponde a la adición de a la cadena...
Tengo un problema de optimización restringido en la entropía de la matriz (Shannon) (sum(entr(eig(A))))(sum(entr(eig(A))))\mathtt{(sum(entr(eig(A))))} . La matriz AAA se puede escribir como la suma de las matrices de rango 1 de la forma [vivTi][viviT][v_i\,v_i^T] dondeviviv_i es un vector...
Este problema surgió de las pruebas de software. El problema es un poco difícil de explicar. Primero daré un ejemplo, luego trataré de generalizar el problema. Hay 10 elementos para probar, digamos A a J, y una herramienta de prueba que puede probar 3 elementos al mismo tiempo. El orden de los...
Necesito mantener una colección de enteros en el rango de 0 a 65535 para poder hacer rápidamente lo siguiente: Insertar un nuevo entero Insertar un rango de enteros contiguos Eliminar un número entero Eliminar todos los enteros debajo de un entero Prueba si hay un número entero presente Mis...
Muchos sitios ofrecen a los operadores de Sobel la máscara de convolución para suavizar una imagen. Sin embargo, no he encontrado un solo sitio que describa cómo puede derivar los operadores de las primeras derivadas parciales. Si alguien puede explicar la derivación, lo agradecería...
Supongamos que un algoritmo tiene una relación de recurrencia en tiempo de ejecución: T(n)={g(n)+T(n−1)+T(⌊δn⌋)f(n):n≥n0:n<n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n<n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0 \end{array}...
He visto sitios web que pretenden "probar" que HTML5 + CSS es Turing Complete. He visto sitios web que pretenden "probar" que SQL está Turing completo. He visto un montón de sitios web que pretenden "explicar" lo que significa ser Turing completo. ¡Suficiente! ¿Dónde puedo encontrar un libro?...
La notación Big-O oculta factores constantes, por lo que existen algunos algoritmos que no son factibles para cualquier tamaño de entrada razonable porque el coeficiente en el término n es muy grande.O(n)O(norte)O(n)nnorten ¿Hay algún algoritmo conocido cuyo tiempo de ejecución sea pero con algún...
Estoy trabajando en un editor de diagramas. Los diagramas muestran formas 2D ( nodos ) conectadas con conectores ( bordes ). Me gustaría agregar una operación que, dada una selección de nodos, los "desenrede" : los reposiciona para reducir el número de bordes cruzados, si es posible (y está bien...
Soy estudiante de informática. Quiero crear mi propio lenguaje de programación (un lenguaje básico con pocas instrucciones). Sé cómo hacer un analizador sintáctico, ya lo hice en Perl. En un artículo, leí algo sobre el compilador, un compilador se hace en sí mismo. Por ejemplo, el compilador de C...
¿Qué notación se usa para discutir los coeficientes de las funciones en notación big-O? Tengo dos funciones: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Obviamente, ambas funciones son , de hecho , pero eso no permite una comparación más allá de...