Resultados teóricos y técnicas aplicadas en entornos prácticos.
Parece que donde quiera que mire, las estructuras de datos se están implementando utilizando árboles rojo-negros ( std::seten C ++, SortedDictionaryen C #, etc.) Después de haber cubierto los árboles (a, b), rojo-negro y AVL en mi clase de algoritmos, esto es lo que obtuve (también de preguntar a...
¿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 ,...
Al ver que en la Jerarquía de Chomsky, los lenguajes Tipo 3 pueden ser reconocidos por una máquina de estado sin memoria externa (es decir, un autómata finito), el Tipo 2 por una máquina de estado con una sola pila (es decir, un autómata pushdown) y el Tipo 0 una máquina de estados con dos pilas...
Me asignaron un ejercicio en mi universidad. Me lo llevé a casa e intenté programar un algoritmo para resolverlo, supongo que era algo relacionado con gráficos, encontrar componentes conectados. Luego hice lo más trivial que se me ocurrió y luego se lo mostré a mi profesor. Después de una breve...
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
Un autómata es un modelo abstracto de una computadora digital. Las computadoras digitales son completamente deterministas; su estado en cualquier momento es únicamente predecible a partir de la entrada y el estado inicial. Cuando intentamos modelar sistemas reales, ¿por qué incluir el no...
La clasificación por radix es teóricamente muy rápida cuando se sabe que las claves están en un cierto rango limitado, digamos valores en el rango por ejemplo. Si simplemente convierte los valores a base que lleva tiempo , realice una clasificación de base radix y luego vuelva a convertir a su base...
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...
Una familia HHH de funciones hash h : U→ { 0 , ... , M- 1 }h:U→{0 0,...,METRO-1}h: U \rightarrow \{0,\ldots,M-1\} es universal si ∀ x , y∈ U, x ≠ y⇒ Prh ∈ H[ h ( x ) = h ( y) ] ≤ 1METRO∀X,y∈U,X≠y⇒Prh∈H[h(X)=h(y)]≤1METRO\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq...
Existe ese problema popular [1] [2] en la informática que consiste en encontrar un número mínimo de líneas rectas que cubren un conjunto dado de puntos en 2D. Aunque he escaneado muchos documentos, ninguno de ellos tiene una motivación clara para el problema. ¿De qué sirve resolver este problema?...
¿Se utiliza el algoritmo de Dijkstra en los sistemas modernos de búsqueda de rutas, como los mapas de Google o el satélite en su automóvil? Si no, entonces ¿qué
Quiero entender la teoría de tipos, pero primero tengo que saber cómo puedo aplicarla. ¿Podría haber más aplicaciones no obvias de la teoría de tipos aparte de los sistemas de tipos en programación? ¿Podría haber otras aplicaciones, digamos en el perfil de personalidad y los...
He leído muchos documentos y libros sobre ontologías y estoy tratando de entender cómo se usan en un proyecto real. Por ejemplo, ¿cómo se puede definir y utilizar la ontología para un robot jugador de fútbol con una arquitectura cognitiva para que sea inteligente? ¿Son las ontologías relaciones...
¿Existen aplicaciones del mundo real del Steiner Tree Problem (STP)? Entiendo que el diseño del chip VSLI es una buena aplicación del STP. ¿Hay otros ejemplos de problemas del mundo real que la gente pueda sugerir que podrían formularse en términos del STP? Antecedentes: estoy comenzando mi...