Sucesión de antecesores y sucesores

Definir la lista

cuyos elementos son

donde cada una de las listas se obtiene de la anterior sustituyendo cada elemento por su antecesor y su sucesor; es decir, el 1 por el 0 y el 2, el 0 por el -1 y el 1, el 2 por el 1 y el 3, etc. Por ejemplo,

Comprobar con Quickcheck que la suma de los elementos de la lista n-ésima de antecesoresYsucesores es 2^n.

Nota. Limitar la búsqueda a ejemplos pequeños usando

Soluciones

6 Comentarios

  1. Definimos el término n-ésimo de la sucesión en coq:

    También definimos la suma de listas de enteros y un lema auxiliar:

    Y con todo ello probamos la propiedad de la sucesión:

Leave a Reply to albcarcas1Cancel reply