| Περίληψη: | Η Υπολογιστική Γεωμετρία έχει υιοθετήσει το μοντέλο της ακριβής αριθμητικής σε πραγματικούς αριθμούς. Αυτή η προσέγγιση όμως έχει μειονεκτήματα κατά την επίλυση των αλγορίθμων στις υπολογιστικές μηχανές μιας και αυτές λειτουργούν με πεπερασμένη ακρίβεια, κάτι που επηρεάζει όχι μόνο τα αποτελέσματα των αλγορίθμων αλλά την ορθότητα του προβλήματος, εξαιτίας των στρογγυλοποιήσεων που πραγματοποιούνται κατά τη διάρκεια εκτέλεσης του αλγορίθμου. Το πρόβλημα της επίλυσης γεωμετρικών αλγορίθμων με μοντέλο real-RAM αποτυγχάνει επειδή δεν μπορούν να γίνουν με ακρίβεια ή έστω μέσα σε συγκεκριμένο σφάλμα όλοι οι υπολογισμοί. Προσπαθώντας να επιλυθεί το πρόβλημα αυτό έχει εισαχθεί η έννοια των εύρωστων γεωμετρικών αλγόριθμων, δηλαδή αλγορίθμων οι οποίοι δίνουν αποδεκτά αποτελέσματα για όλες τις νόμιμες εισόδους του προβλήματος.
Προκειμένου να επιλυθεί το πρόβλημα που ανακύπτει κατά την μεταφορά του αλγορίθμου σε μια υπολογιστική μηχανή, έχουν προταθεί δύο διαφορετικές προσεγγίσεις η καθεμία από τις οποίες ακολουθεί διαφορετική μεθοδολογία. Η μία ομάδα τεχνικών ονομάζεται perturbing και περιλαμβάνει μεθόδους οι οποίες μετατρέπουν το πρόβλημα έτσι ώστε να αποφευχθούν οι ασάφειες και τα λάθη. Η άλλη ομάδα ονομάζεται non perturbing και περιλαμβάνει μεθόδους που αντιμετωπίζουν το πρόβλημα με ακριβή αριθμητική.
|
|---|
