search

IIC1253 / IIC1253-2023-2

98 stars 2 forks source link

Sol_ayudantia_10 #101

Open Mardones567 opened 1 year ago

Mardones567 commented 1 year ago

image No logro entender bien, como se calculo el invariante.

franco-anfossi commented 12 months ago

Por lo que yo entiendo es ver un patrón en las variables al momento de iterar en el loop. Lo que yo hice para encontrarlo fue elegir datos arbitrarios de a y b 2 veces y ver que patrón seguía en cada iteración del loop y ahí puedes ver que se cumple, no sé si es la mejor manera, pero por lo menos a mí me sirvió.

FranCaprile commented 12 months ago

Hola! Si, esa es la idea.

El invariante es una condición que se cumple en cada iteración del algoritmo (no varia).
Para demostrar la correctitud, queremos encontrar un invariante que contenga las variables a y b. A partir de ello, vamos jugando con las otras variables hasta encontrar una formula que sea siempre verdadera.

Ojo que existen muchos invariantes de un mismo algoritmo, puede que tu hayas encontrado uno distinto al de la pauta y, mientras que demuestres bien la correctitud, está correcto.