proof

5El calor

1Respuesta

Estoy tratando de utilizar la igualdad heterogéneo para probar las declaraciones que implican este tipo de datos indexada: data Counter : ℕ → Set where cut : (i j : ℕ) → Counter (suc i + j) yo

12El calor

4Respuesta

Buscar subconjunto con los elementos que están más separados unos de otros

Tengo una pregunta de entrevista que no puedo entender. Dada una matriz de tamaño N, encuentre el subconjunto de tamaño k tal que los elementos en el subconjunto estén lo más alejados entre sí. En otr

14El calor

4Respuesta

Prueba de que el algoritmo de asignación de dinero de Fowler es correcto

Martin Fowler has a Money class que tiene una rutina de asignación de dinero. Esta rutina asigna dinero de acuerdo con una lista dada de razones sin perder ningún valor a través del redondeo. Se propa

10El calor

3Respuesta

Estrategias generales de prueba para mostrar la corrección de las funciones recursivas?

Me pregunto si existe alguna regla/esquema de proceder con la corrección del algoritmo de prueba? Por ejemplo, tenemos una función $ F $ definido en los números naturales y se define a continuación: f

6El calor

2Respuesta

Prueba general de equivalencia de dos FSM en tiempo finito?

¿Existe una prueba general para la equivalencia de dos máquinas de estado finito (determinísticas) que siempre toma tiempo finito? Es decir, dado dos FSM, ¿puede probar que, dadas las mismas entradas,

9El calor

3Respuesta

Pruebas de leyes aplicables para las instancias de haskell

¿Se ha demostrado que todas las instancias de Haskell de la clase de tipo aplicativo que obtenemos con la plataforma Haskell satisfacen todas las leyes aplicables? En caso afirmativo, ¿dónde encontram

7El calor

4Respuesta

probar n = Big-O (1) usando la inducción

Sé que la relación n = Big-O (1) es falsa. Pero si usamos la inducción que involucra a Big-O, puede probarse. Pero la falacia es que no podemos inducir a Big-O. Pero mi pregunta es cómo podemos refuta

8El calor

3Respuesta

¿Cómo se determina la altura de un árbol de recursión a partir de una relación de recurrencia?

¿Cómo se puede determinar la altura de un árbol de recursión, construido cuando se trata de recurrencia de tiempos de ejecución? ¿Cómo difiere de la determinación de la altura de un árbol regular? alt

13El calor

9Respuesta

¿Cuál es la prueba de (N-1) + (N-2) + (N-3) + ... + 1 = N * (N-1)/2

Obtuve esta fórmula a partir de una estructura de datos reservar en el algoritmo de clasificación de burbujas. Sé que somos (n-1) * (n veces), pero ¿por qué la división por 2? ¿Puede alguien explicarm

9El calor

6Respuesta

Escribiendo una prueba para un algoritmo

Hola chicos, estoy tratando de comparar 2 algoritmos y pensé que podría intentar y escribir una prueba para ellos. (Mis matemáticas chupa así que por lo tanto, la pregunta) Normalmente en nuestra lecc