Preguntas etiquetadas con applied-theory

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 los …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

¿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 

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 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

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 …

30 algorithms  algorithm-analysis  education  applied-theory 

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 

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 determinismo en la teoría de Autómatas?

23 automata  nondeterminism  applied-theory 

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 …

20 algorithms  sorting  applied-theory  radix-sort 

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 de estados infinitamente incontables y diferentes …

18 applied-theory  category-theory 

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 …

14 data-structures  education  hash-tables  applied-theory 

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? ¿Hay …

12 reference-request  computational-geometry  applied-theory 

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 gustos?

10 type-theory  applied-theory 

¿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é es?

10 algorithms  graphs  shortest-path  applied-theory 

¿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 investigación de doctorado …

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

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 entre los …

8 artificial-intelligence  applied-theory  knowledge-representation  ontologies  robotics 

Cuando escuché por primera vez de estas cosas, quedé muy fascinado ya que pensé que realmente establece un límite para las matemáticas y la ciencia en general. Pero, ¿qué tan relevantes son estas cosas? Para el problema de detención: ¿Hay más de algunos casos construidos artificialmente, donde uno no puede …

8 computability  logic  halting-problem  applied-theory