Γ είναι ένας πιθανός αριθμός βαμπίρ και Α, Β είναι οι κυνόδοντες του. Όλα τα παρακάτω είναι δεδομένα:
1) Α*Β=Γ
2) Τα Α και Β έχουν ίδιο πλήθος ψηφίων. Το Γ έχει διπλάσιο πλήθος ψηφίων απο το Α.
3) Γ είναι της μορφής 9n ή 9n + 4
4) (Α+Β) mod 9 = (Α*Β) mod 9
5) (Α mod 10) + (B mod 10)
0Θέλουμε να δείξουμε αν ο Γ είναι αριθμός βαμπίρ. Μένει να κάνουμε καταμέτρηση τών ψηφίων των (Α & Β) και τών ψηφίων του Γ, και να τις συγκρίνουμε.
Επείδη και οι δυο πλευρές έχουν ίδιο πλήθος ψηφίων, μπορούμε να επιλέξουμε κάποιο ψηφίο (πχ τα μηδενικά) και να μην τα έλεγξουμε.
Έχω παρατηρήσει πως κατα τον έλεγχο των ψηφίων, αν αγνοήσω τα μηδενικά και ένα ακόμα ψηφίο απο τα {1,2,4,5,7,8}, ο κώδικας μου δεν παράγει σφάλματα στο εύρος [1, 999999999999].
Μπορεί να ισχύει κάτι τέτοιο για όλα τα Α,Β,Γ ή απλά έτυχε;