Ciencias de la Computación

Considere el siguiente problema: Sea un subconjunto finito de los números naturales.S= { s1, s2,...sn}S={s1,s2,...snorte}S = \{ s_1, s_2, ... s_n \} Deje | donde es el máximo común divisor de eg c d ( s i , s j ) s i , s j ∈ S , s …

9 algorithms  number-theory 

Esta pregunta es sobre la intersección de la teoría de la probabilidad y la complejidad computacional. Una observación clave es que algunas distribuciones son más fáciles de generar que otras. Por ejemplo, el problema Dado un número nortenn , devuelve un número uniformemente distribuido yoii con 0 ≤ i < …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Estoy mirando el siguiente problema: Dados vectores dimensionales de números naturales v 1 , ... , v my algún vector de entrada u , ¿es u una combinación lineal de v i 's con coeficientes numéricos naturales?nortenortenv1, ... , vmetrov1,...,vmetrov_1, \ldots, v_mtutuututuuvyovyov_i es decir, ¿hay alguna donde u = t …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

Una función booleana es una función .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Se sabe que la base booleana es Turing completa ya que permite que cualquier secuencia se voltee o se deje sin cambios. Lo mismo puede decirse de las puertas .s ∈ { 0 , 1 } X O R(∨,∧)(∨,∧)(\vee,\wedge)s∈{0,1}s∈{0,1}s\in\{0,1\}XORXOR\mathrm{XOR} En este sentido, podemos …

9 turing-machines  turing-completeness  boolean-algebra 

En una pregunta anterior ¿ Qué es exactamente un algoritmo? , Pregunté si tener un "algoritmo" que devuelve el valor de una función basada en una matriz de valores calculados previamente era un algoritmo. Una de las respuestas que me llamó la atención fue esta: El ejemplo factorial se introduce …

9 turing-machines  computation-models 

Como parte de una tarea que cubre la implementación de introsort , me preguntan por qué se usa heapsort en lugar de mergesort (u otros algoritmos para el caso). O ( n log( n ) )O(nlog⁡(n))O(n\log(n)) Introsort es un algoritmo de clasificación híbrido que proporciona un rendimiento promedio rápido y …

9 algorithms  algorithm-analysis  sorting 

La mayoría de los dialectos de Smalltalk implementan actualmente un módulo flotante inexacto ingenuo (fmod / resto). Acabo de cambiar esto para mejorar Squeak / Pharo y, finalmente, otra adhesión de Smalltalk a los estándares (IEEE 754, ISO / IEC 10967), como ya lo hice para otras operaciones de coma …

9 arithmetic  floating-point 

Un lenguaje formal sobre un alfabeto es un subconjunto de , es decir, un conjunto de palabras sobre ese alfabeto. Dos lenguajes formales y son iguales, si los conjuntos correspondientes son extensionalmente iguales como subconjuntos de . Uno puede usar lenguajes en la teoría de la complejidad para formalizar el …

9 complexity-theory  formal-languages  reference-request 

Estoy buscando un algoritmo de inferencia de tipos para un lenguaje que estoy desarrollando, pero no pude encontrar uno que se adapte a mis necesidades porque generalmente son: à la Haskell, con polimorfismo pero sin sobrecarga ad-hoc à la C ++ (auto) en el que tiene una sobrecarga ad-hoc pero …

9 type-theory  type-inference 

Al simular el algoritmo de reemplazo de la página del reloj, cuando aparece una referencia que ya está en la memoria, ¿la manecilla del reloj todavía se incrementa? Aquí hay un ejemplo: Con 4 ranuras, usando el algoritmo de reemplazo de la página del reloj Lista de referencia: 1 2 …

9 algorithms  paging  virtual-memory 

Tengo un subconjunto de las rutas simples en un gráfico. La longitud de los caminos está limitada por .redd ¿Cuál es la forma más compacta (en cuanto a memoria) de representar las rutas de modo que no se representen otras rutas aparte de las seleccionadas? Tenga en cuenta que quiero …

9 graphs  data-structures 

Sobre el problema del Heartbleed, Bruce Schneier escribió en su Crypto-Gram del 15 de abril: "Catastrófico" es la palabra correcta. En la escala del 1 al 10, este es un 11. ' Hace varios años leí que un núcleo de cierto sistema operativo ha sido verificado rigurosamente con un sistema …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

Estoy tratando de reconocer vías fluviales a partir de fotografías aéreas (por ejemplo, de Google Maps). Los gobiernos locales a menudo tienen datos SIG que dicen dónde están las vías fluviales (y carreteras, edificios, etc.), pero los datos del agua en ellos a menudo son algo inexactos, y podríamos mejorarlos …

9 image-processing 

Soy un estudiante universitario que recién comienza a leer sobre informática reversible. Sé que, debido al principio de Landauer, los cálculos irreversibles disipan el calor (y los reversibles no). Lo mencioné con mi profesor, que nunca antes había oído hablar de la computación reversible, y estaba teniendo dificultades para entender …

9 computability  reversible-computing 

Conociendo las frecuencias de cada símbolo, ¿es posible determinar la altura máxima del árbol sin aplicar el algoritmo Huffman? ¿Hay alguna fórmula que le dé altura a este árbol?

9 trees  coding-theory