Ciencias de la Computación

Un recolector de basura generacional típico mantiene los datos asignados recientemente en una región de memoria separada. En los programas típicos, una gran cantidad de datos es de corta duración, por lo que recolectar basura joven (un ciclo menor de GC) con frecuencia y recolectar basura vieja con poca frecuencia …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection 

¿Por qué una empresa como Twitter estaría interesada en conceptos algebraicos como grupos, monoides y anillos? Vea su repositorio en github: twitter / algebird . Todo lo que pude encontrar es: Implementaciones de monoides para algoritmos de aproximación interesantes, como el filtro Bloom , HyperLogLog y CountMinSketch . Estos le …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Assume a computer has a precise clock which is not initialized. That is, the time on the computer's clock is the real time plus some constant offset. The computer has a network connection and we want to use that connection to determine the constant offset BBB. El método simple es …

38 clocks  distributed-systems  computer-networks 

La complejidad del algoritmo está diseñada para ser independiente de los detalles de nivel inferior, pero se basa en un modelo imperativo, por ejemplo, el acceso a la matriz y la modificación de un nodo en un árbol toman O (1) tiempo. Este no es el caso en lenguajes funcionales …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

Supongamos que un programa se escribió en dos idiomas distintos, que sean el lenguaje X y el idioma Y, si sus compiladores generan el mismo código de bytes, ¿por qué debería usar el lenguaje X en lugar del idioma Y? ¿Qué define que un idioma es más rápido que otro? …

38 programming-languages  compilers 

Sé cómo codificar factoriales usando tanto iterativo como recursivo (por ejemplo, n * factorial(n-1)por ejemplo). Leí en un libro de texto (sin más explicaciones) que hay una forma aún más eficiente de codificar los factoriales dividiéndolos por la mitad de forma recursiva. Entiendo por qué ese puede ser el caso. …

38 algorithms  efficiency  arithmetic 

Resumen: Según el teorema de Rice, todo es imposible. ¡Y sin embargo, hago cosas supuestamente imposibles todo el tiempo! Por supuesto, el teorema de Rice no dice simplemente "todo es imposible". Dice algo más específico: "Cada propiedad de un programa de computadora no es computable". (Si desea dividir pelos, cada …

37 terminology  computability  undecidability  rice-theorem 

Actualmente estoy leyendo un libro (y mucha wikipedia) sobre física cuántica y todavía tengo que entender cómo una computadora cuántica puede ser más rápida que las computadoras que tenemos hoy. ¿Cómo puede una computadora cuántica resolver un problema en tiempo sub-exponencial que una computadora clásica solo puede resolver en tiempo …

37 quantum-computing 

Llamemos a un lenguaje determinista sin contexto si y solo si puede ser aceptado por un autómata determinista de empuje hacia abajo, y no determinista de lo contrario. Llamemos a un lenguaje libre de contexto inherentemente ambiguo si y solo si todas las gramáticas libres de contexto que generan el …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Leí en muchos lugares que algunos problemas son difíciles de aproximar (es NP-difícil aproximarlos ). Pero la aproximación no es un problema de decisión: la respuesta es un número real y no Sí o No. Además, para cada factor de aproximación deseado, hay muchas respuestas correctas y muchas incorrectas, ¡y …

36 complexity-theory  time-complexity  np-hard  approximation 

Podría haber una disculpa por hacer otra pregunta sobre los requisitos previos, pero estaba confundido acerca de los puntos de partida. Me he encontrado con varios términos como "Lógica modal", "Lógica temporal", "Lógica de primer orden", "Lógica de segundo orden" y "Lógica de orden superior". ¿Qué significa exactamente "Lógica" en …

36 logic  mathematical-foundations 

¿Cuál sería la mejor introducción a las ideas de Per Martin-Löfs sobre la teoría de tipos? He visto algunas conferencias de la escuela de verano de Oregon PL, pero todavía me sorprende la siguiente pregunta: ¿Qué es un tipo? Sé lo que es un conjunto, ya que puedes definirlos mediante …

36 logic  type-theory 

He estado investigando las matemáticas detrás de la conversión de cualquier base a cualquier base. Esto se trata más de confirmar mis resultados que de nada. Encontré lo que parece ser mi respuesta en mathforum.org pero todavía no estoy seguro de tener la respuesta correcta. La conversión de una base …

36 algorithms  arithmetic  number-formats 

Supongamos que tengo una lista de funciones, por ejemplo nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots ¿Cómo los ordeno asintóticamente, es decir, después de la relación definida por f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , suponiendo que sean comparables por pares (ver también aquí )? …

35 asymptotics  landau-notation  reference-question 

Entiendo que la "estructura" de los datos depende totalmente del álgebra booleana, pero: ¿Por qué se considera que los datos son una entidad matemática discreta en lugar de una entidad continua? Relacionado con esto: ¿Cuáles son los inconvenientes, o invariantes, que se violan al estructurar los datos como una entidad …

35 data-structures  mathematical-foundations