Ciencias de la Computación

Esta puede ser una pregunta ridícula, pero ¿es posible tener un problema que en realidad se vuelve más fácil a medida que las entradas crecen en tamaño? Dudo que algún problema práctico sea así, pero tal vez podamos inventar un problema degenerado que tenga esta propiedad. Por ejemplo, tal vez …

62 algorithms  asymptotics 

A menudo escucho a personas hablando de computación paralela y computación distribuida , pero tengo la impresión de que no hay un límite claro entre los 2, y las personas tienden a confundirlo con bastante facilidad, aunque creo que es muy diferente: La computación paralela está más estrechamente acoplada a …

61 terminology  distributed-systems  parallel-computing 

Hay muchas aplicaciones donde se usa un generador de números pseudoaleatorios. Entonces, las personas implementan uno que piensan que es genial solo para descubrir más tarde que es defectuoso. Algo así sucedió recientemente con el generador de números aleatorios de Javascript. RandU mucho antes también. También hay problemas de siembra …

60 pseudo-random-generators  random-number-generator 

Sabemos que el problema de detención (en máquinas de Turing) es indecidible para las máquinas de Turing. ¿Hay alguna investigación sobre qué tan bien la mente humana puede manejar este problema, posiblemente ayudado por las máquinas de Turing o las computadoras de uso general? Nota : Obviamente, en el sentido …

60 computability  turing-machines  halting-problem  human-computing 

Estoy tratando de escribir un script que genere gráficos aleatorios y necesito saber si un borde en un gráfico ponderado puede tener el valor 0. en realidad tiene sentido que 0 pueda usarse como el peso de una arista, pero he estado trabajando con gráficos en los últimos días y …

60 algorithms  graph-theory  graphs  weighted-graphs 

Creo que tengo una comprensión razonable de complejidades como O(1)O(1)\mathcal{O}(1) , Θ(n)Θ(n)\Theta(n) y Θ(n2)Θ(n2)\Theta(n^2) . En términos de una lista, O(1)O(1)\mathcal{O}(1) es una búsqueda constante, por lo que solo está encabezando la lista. Θ(n)Θ(n)\Theta(n) es donde recorrería toda la lista, y Θ(n2)Θ(n2)\Theta(n^2) recorre la lista una vez para cada elemento …

60 algorithms  complexity-theory  time-complexity  intuition 

Tengo un programa lineal entero (ILP) con algunas variables que están destinadas a representar valores booleanos. Las están restringidas a ser enteros y a contener 0 o 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Quiero expresar operaciones booleanas en estas variables con valor …

58 linear-programming  integer-programming 

¿Alguien podría explicar la diferencia entre los tipos dependientes y los tipos de refinamiento? Según tengo entendido, un tipo de refinamiento contiene todos los valores de un tipo que cumple un predicado. ¿Existe una característica de los tipos dependientes que los distingue? Si ayuda, me encontré con tipos refinados a …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Si tengo una lista de valores clave del 1 al 100 y quiero organizarlos en una matriz de 11 cubos, me han enseñado a formar una función mod H=kmod 11H=kmod 11 H = k \bmod \ 11 Ahora todos los valores se colocarán uno tras otro en 9 filas. Por …

58 data-structures  hash  hash-tables  primes 

Leí en este tutorial de programación de ensamblaje que 8 bits se usan para datos mientras que 1 bit es para paridad, que luego se usa para detectar errores de paridad (causados ​​por fallas de hardware o perturbaciones eléctricas). ¿Es esto cierto?

56 computer-architecture  numeral-representations 

Tengo una comprensión de alto nivel del problema y entiendo que si se "probara" absolutamente que es cierto con una solución provista, se abriría la puerta para resolver numerosos problemas dentro del ámbito de la informática.P=NPP=NPP=NP Mi pregunta es, si alguien publicara una prueba indiscutible y constructiva de , ¿cuáles …

56 complexity-theory  p-vs-np 

Muchos parecen creer que , pero muchos también creen que es muy poco probable que esto se pruebe. ¿No hay alguna inconsistencia en esto? Si sostiene que tal prueba es improbable, entonces también debe creer que faltan argumentos sólidos para P ≠ N P. ¿O hay buenos argumentos para que …

55 complexity-theory  p-vs-np 

¿Existe un conjunto de construcciones de lenguaje de programación en un lenguaje de programación para que pueda considerarse Turing Complete? Por lo que puedo decir de Wikipedia , el lenguaje debe admitir la recursividad o, al parecer, debe poder ejecutarse sin detenerse. ¿Es esto todo lo que hay que hacer?

55 computability  programming-languages  turing-machines  turing-completeness 

Me he encontrado con muchos algoritmos de clasificación durante mis estudios de secundaria. Sin embargo, nunca sé cuál es el más rápido (para una matriz aleatoria de enteros). Entonces mis preguntas son: ¿Cuál es el algoritmo de clasificación más rápido conocido actualmente? Teóricamente, ¿es posible que haya incluso más rápidos? …

55 algorithms  time-complexity  optimization  sorting 

Estoy interesado en la complejidad temporal de un compilador. Claramente esta es una pregunta muy complicada ya que hay muchos compiladores, opciones de compilador y variables a considerar. Específicamente, estoy interesado en LLVM pero estaría interesado en cualquier pensamiento que las personas tuvieran o lugares para comenzar la investigación. Un …

54 compilers