Resultados de la búsqueda a petición "proof"
¿Pueden dos árboles de expansión mínima para el mismo gráfico tener pesos de borde diferentes?
Un gráfico puede tener muchos árboles de expansión mínima (MST) diferentes, pero ¿pueden los diferentes MST tener diferentes conjuntos de pesos de borde? Por ejemplo, si un MST usa pesos de borde {2,3,4,5}, ¿todos los demás MST deben tener pesos ...
¿Cómo demostrar que la declaración C -x, ~ x + 1 y ~ (x-1) producen los mismos resultados?
Quiero saber la lógica detrás de esta declaración, la prueba. La expresión C -x, ~ x + 1 y ~ (x-1) producen todos los mismos resultados para cualquier x. Puedo mostrar que esto es cierto para ejemplos específicos. Creo que la forma de demostrar ...
No puedo probar (n - 0) = n con Idris
Estoy tratando de demostrar que, en mi opinión, es un teorema razonable: theorem1 : (n : Nat) -> (m : Nat) -> (n + (m - n)) = mLa prueba por inducción llega al punto donde necesito probar esto: lemma1 : (n : Nat) -> (n - 0) = nEsto es lo que ...
Número de árboles de búsqueda binarios sobre n elementos distintos
¿Cuántos árboles de búsqueda binarios se pueden construir a partir de n elementos distintos? ¿Y cómo podemos encontrar una fórmula matemáticamente probada pa...
¿Qué biblioteca de vectores usar en coq?
Me pregunto, ¿hay una biblioteca comúnmente utilizada para vectores en coq, es decir? listas indexadas por su longitud en su tipo. Algunos tutoriales hacen referencia a Bvector, pero no se encuentra cuando intento importarlo. Hay ...
¿Cómo determinar la altura de un árbol de recursión a partir de una relación de recurrencia?
¿Cómo se hace para determinar la altura de un árbol de recursión, construido cuando se trata de tiempos de ejecución recurrentes? ¿En qué se diferencia de de...
¿Ejemplo concreto que muestre que las mónadas no están cerradas bajo la composición (con prueba)?
Es bien sabido que los funtores aplicativos están cerrados bajo la composición, pero las mónadas no lo están. Sin embargo, he tenido problemas para encontrar...
¿Por qué no se pueden probar los programas?
¿Por qué no se puede probar un programa de computadora como lo hace una declaración matemática? Una prueba matemática se construye sobre otras pruebas, que se construyen a partir de más pruebas y hasta axiomas, esas verdades verdades que ...
Probar la eficiencia de las repetidas llamadas al sucesor () en árboles binarios?
Necesito una pista para este ejercicio del libro de Algoritmos CLRS: Probar que no importa en qué nodo comencemos en un árbol de búsqueda binario de altura-h,k llamadas sucesivas a Tree-Successor takeO (k + h) hora
Pruebas de nivel de tipo abierto en Haskell / Idris
En Idris / Haskell, uno puede probar las propiedades de los datos anotando los tipos y utilizando constructores GADT, como con Vect, sin embargo, esto requiere codificar la propiedad en el tipo (por ejemplo, un Vect debe ser un tipo separado de ...
Página 1 de 2