Preguntas que piden o sobre pruebas de corrección de algoritmos.
Me he dado cuenta de que me resulta mucho más fácil escribir pruebas matemáticas sin cometer errores, que escribir un programa de computadora sin errores. Parece que esto es algo más extendido que solo mi experiencia. La mayoría de las personas cometen errores de software todo el tiempo en su...
Para intentar probar si un algoritmo para algún problema es correcto, el punto de partida habitual es intentar ejecutar el algoritmo a mano en una serie de casos de prueba simples; pruébelo en algunos ejemplos de problemas, incluidos algunos "casos de esquina" simples ". Esta es una gran...
Tengo un algoritmo codicioso que sospecho que podría ser correcto, pero no estoy seguro. ¿Cómo verifico si es correcto? ¿Cuáles son las técnicas a utilizar para probar que un algoritmo codicioso es correcto? ¿Existen patrones o técnicas comunes? Espero que esto se convierta en una pregunta de...
Tengo dos formas de producir una lista de artículos en un orden aleatorio y me gustaría determinar si son igualmente justos (imparciales). El primer método que utilizo es construir la lista completa de elementos y luego barajarla (digamos barajar Fisher-Yates). El segundo método es más un método...
Como agujeros negros en informática. Solo podemos saber que existen, pero cuando tengamos uno de ellos, nunca sabremos que es uno de
Tenemos la lógica de Hoare. ¿Por qué todavía es posible que un algoritmo sea correcto pero no hay pruebas de que sea correcto? Supongamos que el algoritmo se expresa en C. Luego, podemos argumentar paso a paso que está haciendo lo que se supone que debe hacer. Entonces mi pregunta es: Dame un...
Supongamos que se nos dan dos números y y que queremos encontrar para l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r El algoritmo ingenuo simplemente verifica todos los pares posibles; por ejemplo en ruby tendríamos: def max_xor(l, r) max = 0...
Originalmente en matemáticas . SE pero sin respuesta allí. Considere el siguiente algoritmo. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while donde u, v y n son números enteros y la operación de división...
En Wikipedia , se proporciona una implementación para el esquema de programación dinámica ascendente para la distancia de edición. No sigue la definición completamente; Las células internas se calculan así: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] :=...
Esta prueba es una prueba por inducción, y es la siguiente: P (n) es la afirmación de que "Quicksort ordena correctamente cada matriz de entrada de longitud n". Caso base: cada matriz de entrada de longitud 1 ya está ordenada (P (1) se mantiene) Paso inductivo: arreglo n => 2. Arregle alguna...
Dado un programa que consta de variables e instrucciones que modifican estas variables, y una primitiva de sincronización (un monitor, mutex, Java sincronizado o bloqueo de C #), ¿es posible demostrar que dicho programa es seguro para subprocesos? ¿Existe incluso un modelo formal para describir...
Sobre el problema del Heartbleed, Bruce Schneier escribió en su Crypto-Gram del 15 de abril: "Catastrófico" es la palabra correcta. En la escala del 1 al 10, este es un 11. ' Hace varios años leí que un núcleo de cierto sistema operativo ha sido verificado rigurosamente con un sistema moderno de...
Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente...