Προβλήματα ικανοποίησης περιορισμών.
  • Προβλήματα ικανοποίησης περιορισμών (CSP)
  • Προβλήματα αναζήτησης
  • Γράφοι περιορισμών (Constraint Graphs)
  • Κρυπταριθμητική - Τυπικός ορισμός
  • Είδη περιορισμών σε πραγματικές εφαρμογές
  • Άλλα παραδείγματα CSP
  • Τεχνολογία CSP
  • Μια ταξινόμηση των CSP
  • Δυαδικοί - Μη δυαδικοί περιορισμοί
  • Αλγόριθμοι αναζήτησης για CSP
  • Αλγόριθμοι υπαναχώρησης, αλγόριθμος BT
  • Ευρετικοί μηχανισμοί επιλογής μεταβλητών
  • Διάδοση περιορισμών
  • Πρώιμος έλεγχος (FC)
  • Συνέπεια ακμής
  • Αλγόριθμος AC-3
  • Άλλες και ισχυρότερες έννοιες συνέπειας, k-συνέπεια
  • Ευφυής υπαναχώρηση
  • Αδιέξοδο - σύνολο συγκρούσεων
  • Υβριδικοί αλγόριθμοι
  • Αξιολόγηση αλγόριθμων υπαναχώρησης
  • Αλγόριθμοι τοπικής αναζήτησης για CSP
  • O ευρετικός μηχανισμός των ελάχιστων συγκρούσεων
  • Προβλήματα χρονοπρογραμματισμού
  • On-line περιβάλλοντα
  • Η δομή ενός CSP

Βιντεοδιαλέξεις

csp1spp.pdf

Διαφάνειες

Προβλήματα ικανοποίησης περιορισμών. Μέρος Α΄

Το πρόβλημα ήχου διορθώνεται μετά το 00:35:40. - Προβλήματα ικανοποίησης περιορισμών (CSP) - Προβλήματα αναζήτησης - Γράφοι περιορισμών (Constraint Graphs) - Κρυπταριθμητική - Τυπικός ορισμός - Είδη περιορισμών σε πραγματικές εφαρμογές - Άλλα παραδείγματα CSP - Τεχνολογία CSP - Μια ταξινόμηση των CSP ???Δυαδικοί - Μη δυαδικοί περιορισμοί Παρουσίαση: csp1spp.pdf.pdf. Διαφάνειες: 1 - 18.

Προβλήματα ικανοποίησης περιορισμών. Μέρος Β΄.

- Δυαδικοί - Μη δυαδικοί περιορισμοί - Αλγόριθμοι αναζήτησης για CSP - Αλγόριθμοι υπαναχώρησης, αλγόριθμος BT - Ευρετικοί μηχανισμοί επιλογής μεταβλητών Παρουσίαση: csp1spp.pdf.pdf. Διαφάνειες: 19 - 34.

Προβλήματα ικανοποίησης περιορισμών. Μέρος Γ΄.

- Ευρετικοί μηχανισμοί επιλογής μεταβλητών - Διάδοση περιορισμών - Πρώιμος έλεγχος (FC) - Συνέπεια ακμής Παρουσίαση: csp1spp.pdf.pdf. Διαφάνειες: 35 - 49.

Προβλήματα ικανοποίησης περιορισμών. Μέρος Δ΄

- Αλγόριθμοι υπαναχώρησης, αλγόριθμος BT - Ευρετικοί μηχανισμοί επιλογής μεταβλητών - Διάδοση περιορισμών - Πρώιμος έλεγχος (FC) - Συνέπεια ακμής - Αλγόριθμος AC-3 - Άλλες και ισχυρότερες έννοιες συνέπειας, k-συνέπεια - Ευφυής υπαναχώρηση Παρουσίαση: csp1spp.pdf. Διαφάνειες: 35 - 49.

Προβλήματα ικανοποίησης περιορισμών. Μέρος Ε΄

- Ευφυής υπαναχώρηση - Αδιέξοδο - σύνολο συγκρούσεων - Υβριδικοί αλγόριθμοι - Αξιολόγηση αλγόριθμων υπαναχώρησης Παρουσίαση: csp1spp.pdf .

Προβλήματα ικανοποίησης περιορισμών. Μέρος ΣΤ΄

- Αλγόριθμοι τοπικής αναζήτησης για CSP - O ευρετικός μηχανισμός των ελάχιστων συγκρούσεων - Προβλήματα χρονοπρογραμματισμού - On-line περιβάλλοντα - Η δομή ενός CSP Παρουσίαση: csp1spp.pdf .