Tengo un gráfico no dirigido con aproximadamente 100 nodos y aproximadamente 200 bordes. Un nodo está etiquetado como "inicio", otro es "final" y hay alrededor de una docena con la etiqueta "debe pasar". Necesito encontrar la ruta más corta a través de este gráfico que comienza en 'inicio',...
Vi esta pregunta y sentí curiosidad por saber cuál era el lema de bombeo ( Wikipedia no ayudó mucho). Entiendo que es básicamente una prueba teórica que debe ser cierta para que un idioma esté en una determinada clase, pero más allá de eso, realmente no lo entiendo. ¿Alguien quiere tratar de...
¿Qué es O (log * N) y en qué se diferencia de O (log N)?
El punto de la corrección constante es poder proporcionar una vista de una instancia que el usuario no puede alterar ni eliminar. El compilador admite esto al señalar cuando se rompe la constness desde dentro de una función const, o se intenta usar una función no const de un objeto const....
Como State mónada se puede factorizar en Producto (Izquierda - Functor) y Lector (Derecha - Representable). ¿Hay alguna manera de factorizar la Mónada de Continuación? El siguiente código es mi intento, que no escribirá cheque -- To form a -> (a -> k) -> k {-# LANGUAGE...
Estoy buscando una manera de definir automáticamente los barrios de las ciudades como polígonos en un gráfico. Mi definición de vecindario tiene dos partes: Un bloque : un área cerrada entre varias calles, donde la cantidad de calles (bordes) e intersecciones (nodos) es un mínimo de tres (un...
La Applicativeclase de tipos representa functores monoidales laxos que preservan la estructura monoidal cartesiana en la categoría de funciones escritas. En otras palabras, dados los testigos de isomorfismos canónicos que (,)forman una estructura monoidal: -- Implementations left to the motivated...
Aquí está la publicación SO a la que me referiré . Además, voy a usar los mismos fragmentos que el OP en esa pregunta para no separar los materiales . Es ampliamente conocido que una ArrowApplyinstancia produce una mónada y viceversa: newtype ArrowMonad a b = ArrowMonad (a () b) instance Arrow a...
La categoría de conjuntos es tanto monoidal cartesiana como monoidal cocartesiana. Los tipos de isomorfismos canónicos que presencian estas dos estructuras monoidales se enumeran a continuación: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> b, bwd :: b -> a...
El estándar dice: Un deque es un contenedor de secuencia que admite iteradores de acceso aleatorio (27.2.7). Además, admite operaciones de inserción y borrado de tiempo constante al principio o al final; insertar y borrar en el medio toma tiempo lineal. Sin embargo, también dice en la misma...
Se sabe que las transformaciones naturales con firma de tipo a -> adeben ser funciones de identidad. Esto se desprende del lema de Yoneda, pero también se puede derivar directamente. Esta pregunta pide la misma propiedad pero morfismos de mónada en lugar de transformaciones naturales. Considere...