Πρόβλημα περατότητας

[Νίκος Αδαμόπουλος]

Και ενώ... η γυναίκα μου μού δίνει 2 λεπτά περιθώριο για να πάμε καμιά βόλτα (μέρα που είναι), αλλιώς χωρίζουμε, ανεβάζω μια άσκηση με πρόβλημα περατότητας που σκέφτηκα σε μια έκρηξη έμπνευσης (σπάνια όμως παραδέχομαι!) και που χάρηκα τόσο πολύ που θέλησα να το μοιραστώ μαζί σας...
----

Η παρακάνω αλληλουχία εντολών ικανοποιεί όλα τα αλγοριθμικά κριτήρια και γιατί;

Α<-10
ΑΡΧΗ_ΕΠΑΝΑΛΗΨΗΣ
  ΓΙΑ i ΑΠΟ 1 ΜΕΧΡΙ 5
    ΑΝ i MOD 2 = 0 ΤΟΤΕ
      Α<-Α-6
    ΑΛΛΙΩΣ
      Α<-Α+4
    ΤΕΛΟΣ_ΑΝ
  ΤΕΛΟΣ_ΕΠΑΝΑΛΗΨΗΣ
ΜΕΧΡΙΣ_ΟΤΟΥ Α<>10

[evry]

Το τμήμα κώδικα που έδωσες ισοδυναμεί με το παρακάτω

Α<-10
ΑΡΧΗ_ΕΠΑΝΑΛΗΨΗΣ
  Για ι από 1 μέχρι 5
        Α <- Α - 6 + (i mod 2)*10
  Τέλος_Επανάληψης   
ΜΕΧΡΙΣ_ΟΤΟΥ Α<>10

ή

Α<-10
ΑΡΧΗ_ΕΠΑΝΑΛΗΨΗΣ
  Α <- Α - 2*6 + 3*4      ! ή Α <- Α + 0
ΜΕΧΡΙΣ_ΟΤΟΥ Α<>10

[EleniK]

Ναι αλλά αυτό δύσκολα θα το δουν μαθητές Ευριπίδη (μπορεί κάποιος φοιτητής του μαθηματικού ίσως!!!!).

[Νίκος Αδαμόπουλος]

Ναι αλλά αυτό δύσκολα θα το δουν μαθητές Ευριπίδη (μπορεί κάποιος φοιτητής του μαθηματικού ίσως!!!!).

Δεν νομίζω ο Ευριπίδης (  )  να ζητάει τέτοιες αποδείξεις από τους μαθητές του...

Έτσι, δεν είναι; Υποθέτω όμως ότι αρκεί να εξηγήσει κάποιος, είτε περιγραφικά είτε με πίνακα τιμών, ότι στο τέλος κάθε επανάληψης της Για το Α έχει την τιμή 10... Άρα....κλπ