Ciencias de la Computación

Declaración informal del problema: Dada una cadena, por ejemplo, A CdoA B B A BACCABBABACCABBAB , queremos colorear algunas letras rojas y algunas letras azules (y algunas no en absoluto), de modo que leer solo las letras rojas de izquierda a derecha arroje el mismo resultado que leer solo las …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

He encontrado varias herramientas de programación visual de código abierto como Blockly y sus amigos, y otros proyectos alojados en Github, pero no pude encontrar ninguno que funcione directamente con el árbol de sintaxis abstracta. ¿Porqué es eso? Lo pregunto porque una vez que descubrí que cada compilador tiene una …

25 programming-languages  language-design  syntax-trees 

¿Existe una estructura de datos para mantener una lista ordenada que admita las siguientes operaciones en tiempo amortizado?O ( 1 )O(1)O(1) GetElement (k) : devuelve el elemento de la lista.kkk InsertAfter (x, y) : inserte el nuevo elemento y en la lista inmediatamente después de x. Eliminar (x) : Eliminar …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

Tengo problemas para comprender la prueba de la indecidibilidad del problema de detención. Si devuelve si el programa a se detiene o no en la entrada b , ¿por qué tenemos que pasar el código de P para a y b ?H( a , b )H(a,b)H(a,b)unaaasibbPAGSPPunaaasibb ¿Por qué no podemos …

25 computability  turing-machines 

Es bastante simple entender por qué el problema de detención es indecidible para los programas impuros (es decir, aquellos que tienen E / S y / o estados dependientes del estado global de la máquina); pero intuitivamente, parece que la interrupción de un programa puro en una computadora ideal sería …

25 halting-problem  static-analysis 

Estaba leyendo el libro "La singularidad está cerca", escrito por Kurzweil, y mencionó las puertas reversibles como, por ejemplo, la puerta de Fredkin . La ventaja de usar tales compuertas es que podríamos deshacernos del desperdicio térmico relacionado con la computación donde los bits simplemente desaparecen en calor, y la …

25 computer-architecture 

Un filtro Bloom permite realizar un seguimiento eficiente de si ya se han encontrado varios valores durante el procesamiento. Cuando hay muchos elementos de datos, un filtro Bloom puede generar un ahorro significativo de memoria en una tabla hash. La característica principal de un filtro Bloom, que comparte con una …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

Si el problema de los dos generales no se puede resolver, ¿cómo podemos los seres humanos llegar a un acuerdo sobre las cosas? Quiero decir, nos comunicamos todos los días y tenemos las mismas limitaciones que cualquier problema de comunicación manejado por la informática. ¿Por qué no nos afecta?

25 computer-networks  communication-protocols 

WP tiene una discusión adecuada sobre la paginación , que creo que entiendo. Sin embargo, estoy confundido por el uso repetido de los artículos del término Marco de página . Pensé que los marcos y las páginas eran cosas diferentes. ¿Podría alguien aclarar la diferencia?

25 memory-management 

Me interesa la cuestión de cómo enseñar mejor la completitud de NP a los estudiantes de informática. En particular, ¿deberíamos enseñarlo usando reducciones de Karp o reducciones de Turing? Siento que los conceptos de NP-completitud y reducciones son algo que todo experto en informática debería aprender. Sin embargo, al enseñar …

25 complexity-theory  np-complete  reductions  education  didactics 

¿Existe una referencia clara, con pseudocódigo, sobre cómo implementar un intérprete Prolog en un lenguaje puramente funcional? Lo que he encontrado hasta ahora parece tratar solo con lenguajes imperativos, es simplemente una demostración de Prolog implementado en sí mismo, o no ofrece un algoritmo concreto para usar para la interpretación. …

25 functional-programming  prolog  logic-programming 

Estoy usando un solucionador SAT para codificar un problema, y ​​como parte de la instancia SAT, tengo variables booleanas donde se pretende que exactamente una de estas sea verdadera y el resto debería ser falso (A veces he visto esto descrito como una codificación "única").x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n Quiero codificar la restricción "exactamente …

25 satisfiability  sat-solvers  applied-theory 

He buscado en la red una respuesta a esta pregunta y parece que todos saben implícitamente la respuesta, excepto yo. Presumiblemente esto se debe a que las únicas personas que se preocupan son aquellas que han recibido educación terciaria sobre el tema. Yo, por otro lado, he sido arrojado al …

25 formal-languages  programming-languages  regular-expressions 

Estoy buscando un algoritmo para distribuir valores de una lista para que la lista resultante esté lo más "equilibrada" o "distribuida de manera uniforme" posible (entre comillas porque no estoy seguro de que estas sean las mejores formas de describirla ... más adelante proporcionaré una forma de medir si un …

25 algorithms  optimization  sorting  approximation 

Algún tipo dijo lo siguiente: Cualquiera que intente generar números aleatorios por medios deterministas está, por supuesto, viviendo en un estado de pecado. Eso siempre se entiende que no puede generar números aleatorios verdaderos con solo una computadora. Y dijo que cuando las computadoras tenían el tamaño equivalente de un …

25 randomness  data-compression  entropy  random-number-generator