Αξιώματα Μπλουμ

Στην θεωρία υπολογιστικής πολυπλοκότητας τα αξιώματα Μπλουμ ή αξιώματα πολυπλοκότητας Μπλουμ είναι τα αξιώματα που καθορίζουν επιθυμητές ιδιότητες των μέτρων πολυπλοκότητας για το σύνολο των υπολογίσιμων συναρτήσεων. Τα αξιώματα ορίστηκαν πρώτα από τον Εμάνουελ Μπλουμ , το 1967.

Κυρίως, τα θεωρήματα της Επιτάχυνσης και του Κενού θεωρήματα ισχύουν για οποιοδήποτε μέτρο πολυπλοκότητας που ικανοποιεί τα αξιώματα. Τα πιο γνωστά μέτρα που ικανοποιούν τα αξιώματα είναι εκείνα του χρόνου (δηλαδή, τρέχοντος χρόνου) και του χώρου (δηλαδή, τη χρήση της μνήμης).

Ορισμοί 
Ένα μέτρο πολυπλοκότητας Μπλουμ  είναι μια πλειάδα  με  μία Γκέντελ αρίθμηση των επιμέρους υπολογίσιμη συναρτήσεων  και μία υπολογίσιμη συνάρτηση
 
η οποία πληροί τα ακόλουθα αξιώματα Μπλουμ. Γράφουμε  για την i-οστή μερική υπολογίσιμη συνάρτηση στο πλαίσιο της   αρίθμησης Γκέντελ, και  για τη μερική υπολογίσιμη συνάρτηση .
 τα πεδία ορισμού των  και  να είναι πανομοιότυπα.
 το σύνολο  να είναι αναδρομικό.

Παραδείγματα 
   είναι ένα μέτρο πολυπλοκότητας, αν  είναι είτε ο χρόνος ή η μνήμη (ή κάποιος κατάλληλος συνδυασμός τους) που απαιτείται για τον υπολογισμό που κωδικοποιείται από το i.
   δεν είναι ένα μέτρο πολυπλοκότητας, δεδομένου ότι αποτυγχάνει το δεύτερο αξίωμα.

Σημειώσεις 
Ένα μέτρο  πολυπλοκότητας Μπλουμ ορίζεται χρησιμοποιώντας υπολογίσιμες συναρτήσεις χωρίς καμία αναφορά σε συγκεκριμένο υπολογιστικό μοντέλο. Προκειμένου να γίνει ο ορισμός πιο προσιτός θα επαναδιατυπώσουμε τα αξιώματα Μπλουμ σε όρους μηχανών Τιούρινγκ: 

Ένα μέτρο πολυπλοκότητας Μπλουμ είναι μια συνάρτηση  από ζεύγη (μηχανή Τιούρινγκ , εισαγωγή  για ) για τους φυσικούς αριθμούς σε ένωση με το άπειρο. Επιπλέον, η  θα πρέπει να ικανοποιεί τα ακόλουθα αξιώματα:
  είναι πεπερασμένη αν και μόνο αν  τερματίζει
 Υπάρχει ένας αλγόριθμος που, για εισαγωγή  αποφασίζει αν 
Για παράδειγμα, ας υποθέσουμε ότι η  δίνει τον αριθμό των χρονικών βημάτων που η μηχανή M τρέχει για είσοδο x πριν την ανάσχεση. Το πρώτο αξίωμα είναι σαφές, το δεύτερο ακολουθεί, διότι μια καθολική μηχανή Τιούρινγκ μπορεί να προσομοιώσει M στο x , ενώ μετράει τα βήματά της. Αν η M υπερβαίνει τα n βήματα, μπορεί να τερματίσει και να απορρίψει, έτσι δεν υπάρχει καμία ανάγκη να προσδιοριστεί αν η M σταματά στο x.

Κλάσεις πολυπλοκότητας 
Για μια ολική υπολογίσιμη συνάρτηση  κλάσεων πολυπλοκότητας των υπολογίσιμων συναρτήσεων μπορεί να οριστεί ως
 
 
 είναι το σύνολο όλων των υπολογίσιμων συναρτήσεων με μια πολυπλοκότητα μικρότερη από την .  είναι το σύνολο όλων των Μπούλιαν-αποτιμώμενων συναρτήσεων με μια πολυπλοκότητα μικρότερη από την . Αν λάβουμε υπόψη αυτές τις συναρτήσεις ως δείκτες συναρτήσεων στα σύνολα,  μπορεί να θεωρηθεί ως μια κλάση πολυπλοκότητας των συνόλων.

Παραπομπές 

Θεωρία υπολογισμού