Αρχές Προγραμματισμού με Περιορισμούς

Περιορισμός προγραμματισμού είναι μια εναλλακτική προσέγγιση στον προγραμματισμό υπολογιστών που περιλαμβάνει έναν συνδυασμό της πληροφορικής και της λογικής , ή αιτιολογία , τεχνικές . Η βασική αρχή του περιορισμού του προγραμματισμού είναι να καθορίσετε τα προβλήματα με απρόβλεπτες , ελλιπείς πληροφορίες και να λύσει αυτά τα προβλήματα , δηλώνοντας συνθήκες ή ιδιότητες - αλλιώς γνωστή ως περιορισμοί - ικανοποιημένοι από τη λύση . Περιορισμούς
Η

Περιορισμών προγραμματισμού βασίζεται στην ιδέα ενός περιορισμού : μια σχέση , συχνά ισότητας ή της ανισότητας σχέση μεταξύ των τιμών των δύο μαθηματικές μεταβλητές . Με άλλα λόγια , ένας περιορισμός μπορεί να θεωρηθεί ως απαίτηση που δείχνει ποιοι συνδυασμοί των τιμών από το εύρος των πιθανών τιμών για κάθε μεταβλητή είναι παραδεκτή ? "X > 3 ", για παράδειγμα , είναι ένα εμπόδιο για "x ".
εικόνων περιορισμούς σύστημα
Η

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

Η Περιορισμούς Ικανοποίηση
Η

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

. μια λύτης περιορισμός υλοποιεί ένα μαθηματικό τύπο ή αλγόριθμο , που συλλέγει περιορισμούς από ένα ή περισσότερα προγράμματα που εκτελούνται , τις απλοποιεί και , αν είναι δυνατόν , τα λύνει . Το τελικό αποτέλεσμα είναι γνωστό ως περιορισμός απάντηση .
Εικόνων Εφαρμογές
Η

προβλήματα επιλύονται με τη χρήση προγραμματισμού με περιορισμούς διαμορφώνονται τυπικά όσον αφορά τις απαιτήσεις , τις ιδιότητες ή τους νόμους . Τέτοιου είδους προβλήματα εμφανίζονται συχνά στη βιομηχανία και το εμπόριο , συμπεριλαμβανομένης της ανάλυσης , σχεδιασμού, προγραμματισμού , την κατανομή των πόρων και τη μεταφορά . Περιορισμούς προγραμματισμός εφαρμόζεται με επιτυχία σε πολλούς άλλους τομείς , συμπεριλαμβανομένης της ηλεκτρολογίας, της μοριακής βιολογίας και της επιχειρησιακής έρευνας .
Η
εικόνων