Ciencias de la Computación

Hoy, una charla de Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") me enfrentó por primera vez a la teoría de categorías. Ha construido un marco teórico para describir los sistemas de transición probablísticos y su comportamiento de manera general, es decir, con conjuntos de estados infinitamente incontables y diferentes …

18 applied-theory  category-theory 

La combinatoria juega un papel importante en la informática. Con frecuencia utilizamos métodos combinatorios tanto en el análisis como en el diseño de algoritmos. Por ejemplo, un método para encontrar un conjunto de portadas de kkk vértices en un gráfico podría inspeccionar todos los subconjuntos posibles . Mientras que las …

18 algorithms  algorithm-analysis  combinatorics 

¿De las respuestas a (Cuándo) es la búsqueda de tabla hash O (1)? , Deduzco que las tablas hash tienen O ( 1 )O(1)O(1) comportamiento en el peor de los casos, al menos amortizado, cuando los datos satisfacen ciertas condiciones estadísticas, y existen técnicas para ayudar a ampliar estas condiciones. …

18 data-structures  runtime-analysis  hash-tables  dictionaries 

En los lenguajes de programación, los cierres son una característica popular y a menudo deseada. Wikipedia dice (énfasis mío): En informática, un cierre (...) es una función junto con un entorno de referencia para las variables no locales de esa función. Un cierre permite que una función acceda a variables …

18 programming-languages  semantics 

Consideremos un segmento de memoria (cuyo tamaño puede crecer o reducirse, como un archivo, cuando sea necesario) en el que puede realizar dos operaciones básicas de asignación de memoria que involucran bloques de tamaño fijo: asignación de un bloque liberando un bloque previamente asignado que ya no se usa. Además, …

18 time-complexity  memory-allocation  operating-systems 

Sé que las computadoras cuánticas pueden procesar una superposición de todos los estados posibles con un solo paso a través de la lógica. Eso parece ser lo que las personas señalan como lo que hace que las computadoras cuánticas sean especiales o útiles. Sin embargo, después de haber procesado las …

18 computation-models  quantum-computing 

Específicamente: 1) Un caché de mapeo directo con 4096 bloques / líneas en el que cada bloque tiene 8 palabras de 32 bits. ¿Cuántos bits se necesitan para los campos de etiqueta e índice, suponiendo una dirección de 32 bits? 2) ¿La misma pregunta que 1) pero para caché totalmente …

18 computer-architecture  cpu-cache 

Considera la recurrencia T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n para n>2n>2n \gt 2 con alguna constante positiva ccc , y T(2)=1T(2)=1T(2) = 1 . Conozco el teorema del Maestro para resolver las recurrencias, pero no estoy seguro de cómo podríamos resolver esta relación usándola. ¿Cómo aborda el parámetro …

18 asymptotics  recurrence-relation  master-theorem 

¿Cómo se verifica si dos algoritmos (por ejemplo, ordenar por combinación y ordenar por ingenuo) devuelven el mismo resultado para cualquier entrada, cuando el conjunto de todas las entradas es infinito? Actualización: Gracias Ben por describir cómo esto es imposible de hacer algorítmicamente en el caso general. La respuesta de …

18 computability  formal-methods  software-engineering  software-verification 

En muchas implementaciones de búsqueda de profundidad primero que vi (por ejemplo: aquí ), el código distingue entre un vértice gris (descubierto, pero no todos sus vecinos fueron visitados) y un vértice negro (descubierto y todos sus vecinos fueron visitados) . ¿Cuál es el propósito de esta distinción? Parece que …

18 algorithms  graphs  search-algorithms  graph-traversal 

Estoy empezando a leer un libro sobre Complejidad Computacional y Máquinas de Turing. Aquí está la cita: Un algoritmo (es decir, una máquina) puede representarse como una cadena de bits una vez que decidimos sobre una codificación canónica. Esta afirmación se proporciona como un hecho simple, pero no puedo entenderlo. …

17 algorithms  turing-machines  computability  computation-models 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Texto original: Ojos misteriosos vistos cerca del lago Codificado: 0000101100000110011100010101101101001111101011111100011001111110100100101 ¿Por qué no hay necesidad de un separador en la codificación de …

17 coding-theory  encoding-scheme  huffman-coding 

Estaba leyendo sobre algoritmos de compresión de datos y el límite teórico para la compresión de datos. Recientemente encontré un método de compresión llamado "Codificación de entropía combinatoria", la idea principal de este método es codificar el archivo como los caracteres presentados en el archivo, sus frecuencias y el índice …

17 information-theory  data-compression 

¿Cómo diferenciaría la ALU en un microprocesador entre un número con signo, -7 que se denota con 1111 y un número sin signo 15, también con 1111?

17 arithmetic  binary 

El recuadro negro de significa que puedo evaluar el polinomio en cualquier punto.f(x)f(x)f(x)f(x)f(x)f(x) Entrada : Una caja negra de polinomio monico de grado .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Salida: Los coeficientes de polinomio .dddf(x)f(x)f(x) Mi algoritmo: let f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + a_0 Evalúe el polinomio …

17 algorithms  polynomials