Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Τεχνητή Νοημοσύνη
|
|
- Ἀμήνὄφις Αγγελίδου
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Τεχνητή Νοημοσύνη Ενότητα 4: Προβλήματα Ικανοποίησης Περιορισμών Αν. καθηγητής Στεργίου Κωνσταντίνος Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
2 Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ρητώς. 2
3 Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ψηφιακά Μαθήματα στο Πανεπιστήμιο Δυτικής Μακεδονίας» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 3
4 Προγραμματισμός με Περιορισμούς (1/2) x 1 x 2 x 6 x 3 x 5 x 4 4
5 Προβλήματα Ικανοποίησης Περιορισμών (1/3) Το Πρόβλημα Ικανοποίησης Περιορισμών (Constraint Satisfaction Problem CSP) είναι μια σημαντική υποκατηγορία της Τεχνητής Νοημοσύνης. Ένα CSP είναι ένα πρόβλημα αναζήτησης με ιδιαίτερα χαρακτηριστικά που το διαφοροποιούν από τα γενικά προβλήματα αναζήτησης. Ο χώρος αναζήτησης είναι πεπερασμένος, το δέντρο αναζήτησης είναι πεπερασμένο, το ζητούμενο είναι να αναθέσουμε τιμές σε ένα σύνολο μεταβλητών ώστε να ικανοποιούνται κάποιοι περιορισμοί. Π.χ. n-queens, χρωματισμός γράφων, χρονοπρογραμματισμός, κ.α. Δε μας ενδιαφέρει το μονοπάτι προς τη λύση. Όπως θα δούμε η βασική τεχνική επίλυσης βασίζεται σε αναζήτηση κατά βάθος! 5
6 Περιορισμοί υπάρχουν Παντού! Η Αίθουσα Α είναι κατειλημμένη από 16:00 ως 18:00. Κίνηση στο Δίκτυο < 100 Gbytes/sec. Μισθός < 25k Ευρώ. Το τραίνο για Πάτρα πρέπει να φύγει το λιγότερο 20 λεπτά πριν καταφτάσει το τραίνο από Θεσσαλονίκη. Δε μπορούμε να τοποθετήσουμε δύο βασίλισσες με τέτοιο τρόπο ώστε να επιτίθεται η μια στην άλλη 6
7 Προγραμματισμός με Περιορισμούς (2/2) Η ανάπτυξη τεχνικών και συστημάτων επίλυσης CSPs οδήγησε στη δημιουργία ενός νέου είδους προγραμματισμού. Ο προγραμματισμός με περιορισμούς (constraint programming) είναι μια μορφή δηλωτικού προγραμματισμού (declarative programming): Δηλώστε το πρόβλημα (μεταβλητές και περιορισμούς). Η μηχανή επίλυσης θα βρει μια λύση. Η αναπαράσταση με περιορισμούς είναι το ενδεδειγμένο μοντέλο σε πολλά δύσκολα συνδυαστικά προβλήματα: Χρονοπρογραμματισμός. Δρομολόγηση οχημάτων. Ανάθεση πόρων... 7
8 Προβλήματα Ικανοποίησης Περιορισμών (2/3) Ένα πρόβλημα ικανοποίησης περιορισμών (constraint satisfaction problem CSP) ορίζεται από: Ένα σύνολο μεταβλητών (variables) X 1,,X n : Κάθε μεταβλητή Χ i έχει ένα πεδίο ορισμού (domain) D i με τις πιθανές της τιμές (values). Συνήθως τα πεδία ορισμού είναι πεπερασμένα. Ένα σύνολο περιορισμών (constraints) C 1,,C m : Κάθε περιορισμός περιλαμβάνει ένα υποσύνολο των μεταβλητών και προσδιορίζει τους επιτρεπτούς συνδυασμούς τιμών για αυτό το υποσύνολο. Ένας n-αδικός (n-ary) περιορισμός C σε ένα σύνολο μεταβλητών X 1,,X k είναι ένα υποσύνολο του καρτεσιανού γινομένου D 1 x x D k. 8
9 Προβλήματα Ικανοποίησης Περιορισμών (3/3) Λύση προβλήματος ικανοποίησης περιορισμών: Ανάθεση μιας τιμής σε κάθε μεταβλητή έτσι ώστε να μην παραβιάζεται κανένας περιορισμός. Στόχοι: Εύρεση μιας λύσης. Εύρεση όλων των λύσεων. Εύρεση λύσης που μεγιστοποιεί (ελαχιστοποιεί) κάποια ποσότητα. Εύρεση μιας προσεγγιστικής λύσης. Δυαδικά (binary) προβλήματα: περιορισμοί ανάμεσα σε το πολύ δύο μεταβλητές. Μη-δυαδικά (non-binary) ή n-αδικά (n-ary) προβλήματα: περιορισμοί ανάμεσα σε οσεσδήποτε μεταβλητές. 9
10 Γράφοι και Υπεργράφοι Περιορισμών (Constraint Graphs & Hypergraphs) x 1 x 2 x 1 x 2 x 6 x 3 x 6 x 4 x 3 x 5 x 4 x 5 μεταβλητές κόμβοι μεταβλητές κόμβοι δυαδικοί περιορισμοί ακμές n-αδικοί περιορισμοί υπερακμές 10
11 Απλό Παράδειγμα Χρωματισμός Χαρτών (1/2) Θέλουμε να χρωματίσουμε κάθε περιοχή στο χάρτη με διαφορετικό χρώμα. Έχουμε τρία χρώματα red, green, blue 11
12 Απλό Παράδειγμα Χρωματισμός Χαρτών (2/2) Επίσημος Ορισμός: Μεταβλητές: WA, NT, SA, Q, NSW, V, T Πεδίο Ορισμού (ίδιο για όλες τις μεταβλητές): {red, green, blue} Περιορισμοί: C(WA,NT) = {(red,green), (red,blue), (green,red), (green,blue), (blue, red), (blue,green)} C(WA,SA) = 12
13 Γράφος Περιορισμών WA NT Q Δύο ασύνδετα τμήματα SA NSW Όλοι οι περιορισμοί είναι δυαδικοί V T 13
14 Απλό Παράδειγμα 8 Queens problem (1/3) Θέλουμε να τοποθετήσουμε 8 βασίλισσες στη σκακιέρα ώστε καμία να μην επιτίθεται σε άλλη 14
15 Απλό Παράδειγμα 8 Queens problem (2/3) Επίσημος Ορισμός: Μεταβλητές Η τιμή κάθε μεταβλητής X i (i=1,,8) αντιπροσωπεύει τη στήλη στην οποία βρίσκεται η i-th βασίλισσα στην i-th σειρά. Πεδίο Ορισμού Αν οι στήλες αντιπροσωπεύονται με νούμερα από το 1 ως το 8 τότε το πεδίο ορισμού κάθε μεταβλητής X i είναι D i = {1,2,,8}. 15
16 Απλό Παράδειγμα 8 Queens problem (3/3) Περιορισμοί: Υπάρχει ένας δυαδικός περιορισμός C(X i, X j ) για κάθε ζευγάρι μεταβλητών. Αυτοί οι περιορισμοί μπορούν να οριστούν ως εξής: Για όλες τις μεταβλητές X i και X j, X i X j. Για όλες τις μεταβλητές X i και X j, με i>j, αν X i = a και X j = b τότε i j a b και i j b a. 16
17 Απλό Παράδειγμα Κρυπταριθμητική (1/2) T W O + T W O F O U R F T U W R O X 3 X 2 X 1 17
18 Απλό Παράδειγμα Κρυπταριθμητική (2/2) Επίσημος Ορισμός: Μεταβλητές και Πεδία Ορισμού: F, T, U, W, R, O {0,1,2,3,4,5,6,7,8,9}. X 1, X 2, X 3 {0,1}. Περιορισμοί: alldifferent(f, T, U, W, R, O) O + O = R + 10 X 1 X 1 + W + W = U + 10 X 2 X 2 + T + T = O + 10 X 3 X 3 = F 18
19 Προβλήματα Περιορισμών Χρονική Συλλογιστική (Temporal Reasoning). Timetabling. Scheduling. job-shop, aircrew. Δρομολόγηση Οχημάτων (Vehicle Routing). Κατανομή Πόρων (Resource allocation). Σχεδιασμός Ενεργειών (Planning). Κατανομή Συχνοτήτων (Frequency Assignment). Χωρική Συλλογιστική (Spatial Reasoning). Ακέραιος, γραμμικός και μη-γραμμικός προγραμματισμός (integer, linear and non-linear programming). 19
20 CSP Tεχνολογία: Πρακτική & Επιτυχημένη Η τεχνολογία ικανοποίησης περιορισμών είναι ένα από τα πιο επιτυχημένα παραδείγματα πρακτικής χρήσης ΤΝ. Υπάρχουν πολλές εταιρίες που κατασκευάζουν και εμπορεύονται συστήματα επίλυσης CSPs. ILOG. Cosytec. Parc Technologies. Sictus. 20
21 Περιορισμοί και Βάσεις Δεδομένων Υπάρχουν στενές συνδέσεις μεταξύ CSPs and σχεσιακής θεωρίας βάσεων δεδομένων. 21
22 Περιορισμοί και Βάσεις Δεδομένων Παράδειγμα (1/2) Consider the following CSP: A set of variables X = {x 0,,x 9 }. All variables have the domain D = {0,1,2}. There are constraints with the following allowed tuples: c 1 = {x 0,x 1,x 3 } {(0,0,0), (0,1,0), (1,0,1), (1,1,1), (0,1,2)}. c 2 = {x 1,x 2,x 3 } {(0,0,0), (0,0,1), (1,1,0), (1,0,1), (0,1,2)}. c 3 = {x 1,x 4 } {(0,0), (1,1)}. c 4 = {x 3,x 6 } {(0,0), (1,1), (1,0), (2,0)}. c 5 = {x 4,x 5,x 6 } {(0,0,0), (0,0,1), (1,1,1), (1,0,2)}. c 6 = {x 4,x 7 } {(0,1), (1,0)}. c 7 = {x 5,x 8 } {(0,1), (1,0), (1,1)}. c 8 = {x 6,x 9 } {(0,0), (1,1)}. 22
23 Περιορισμοί και Βάσεις Δεδομένων Παράδειγμα (2/2) The constraints as a relational database c 1 c 2 c 3 c 4 c 5 c 6 c 7 c 8 x 0 x 1 x 3 x 1 x 2 x 3 x 1 x 4 x 3 x 6 x 4 x 5 x 6 x 4 x 7 x 5 x 8 x 6 x e t c
24 Σύνθετο Παράδειγμα - Job-shop scheduling problem (JSSP) (1/2) Ένα JSSP απαιτεί το χρονοπρογραμματισμό ενός συνόλου διεργασιών J={ j 1,..., j n } με χρήση ενός συνόλου φυσικών πόρων RES={R 1,...,R m }. Κάθε διεργασία j αποτελείται από ένα σύνολο λειτουργιών O ={O 1,...,O n } που πρέπει να προγραμματιστούν με βάση ένα πλάνο που προσδιορίζει μια μερική διάταξη ανάμεσα σε αυτές τις λειτουργίες (π.χ. O i BEFORE O j ). O 1 O 4 O 6 O 2 O 5 O 7 O 1 O 2 O 3 O 3 O 8 Διεργασία 1 Διεργασία 2 24
25 Σύνθετο Παράδειγμα - Job-shop scheduling problem (JSSP) (2/2) Κάθε διεργασία j έχει μια χρονική στιγμή εκκίνησης rd j και μια χρονική στιγμή προθεσμίας ολοκλήρωσης dd j ανάμεσα στις οποίες όλες οι λειτουργίες της πρέπει να έχουν ολοκληρωθεί. Κάθε λειτουργία O i έχει συγκεκριμένη διάρκεια du i και μια στιγμή εκκίνησης st i της οποίας την τιμή πρέπει να προσδιορίσουμε. Το πεδίο ορισμού των πιθανών στιγμών εκκίνησης για κάθε λειτουργία αρχικά περιορίζεται από τη χρονική στιγμή εκκίνησης και τη χρονική στιγμή προθεσμίας ολοκλήρωσης της διεργασίας στην οποία ανήκει η λειτουργία. Για να εκτελεστεί επιτυχώς, κάθε λειτουργία O i απαιτεί p i διαφορετικούς πόρους (π.χ. μηχανές) R ij (1 j p i ). 25
26 Το JSSP ως CSP (1/2) Μεταβλητές: Ένα σύνολο μεταβλητών για κάθε λειτουργία, O i, που αποτελείται από: Περιορισμοί: τη χρονική στιγμή εκκίνησης, st i, τις απαιτήσεις πόρων, R ij. Περιορισμοί διάταξης που ορίζονται από το πλάνο κάθε διεργασίας μεταφρασμένοι σε γραμμικές ανισότητες του τύπου: st i +du i st j (δηλ. O i BEFORE O j ). Περιορισμοί χωρητικότητας που περιορίζουν τη χρήση καθενός πόρου σε μια λειτουργία κάθε χρονική στιγμή μεταφρασμένοι σε διαζευκτικούς περιορισμούς του τύπου: ("p"q R ip ¹R jq ) st i +du i st j Ú st j +du j st i. Αυτοί οι περιορισμοί απλά εκφράζουν το ότι αν δύο λειτουργίες O i και O j χρησιμοποιούν τον ίδιο πόρο τότε δε μπορούν να επικαλύπτονται χρονικά. 26
27 Το JSSP ως CSP (2/2) Ένα job shop πρόβλημα με 4 διεργασίες. Κάθε κόμβος αντιστοιχεί σε μια λειτουργία που απαιτεί έναν πόρο. Κάθε λειτουργία απαιτεί τη χρήση μόνο ενός συγκεκριμένου πόρου. Οι στιγμές εκκίνησης των λειτουργιών είναι οι μόνες μεταβλητές. 27
28 Σύνθετο Παράδειγμα Car Sequencing (1/2) Στην παραγωγή αυτοκινήτων, τα αυτοκίνητα τοποθετούνται σε conveyor belts οι οποίες μετακινούνται σε διάφορες περιοχές στο χώρο εργασίας. Μια γραμμή παραγωγής συνήθως πρέπει να παράγει αυτοκίνητα διαφορετικών μοντέλων. Το πλήθος των αυτοκινήτων που απαιτούνται για κάθε μοντέλο ονομάζεται απαίτηση παραγωγής. Κάθε περιοχή εργασίας περιορίζεται από έναν Περιορισμό Χωρητικότητας. Μεταβλητές οι θέσεις στην εφοδιαστική ταινία που θα καταληφθούν από αυτοκίνητα (π.χ. Αν υπάρχουν n αυτοκίνητα, έχουμε n μεταβλητές). Πεδία τιμών το σύνολο των μοντέλων, π.χ. «από μοντέλο A ως D». Στόχος να δοθεί μια τιμή (ένα μοντέλο) σε κάθε μεταβλητή (θέση στη conveyor belt), έτσι ώστε να ικανοποιούνται οι απαιτήσεις παραγωγής και οι περιορισμοί χωρητικότητας. 28
29 Σύνθετο Παράδειγμα Car Sequencing (2/2) 29
30 Επίλυση Προβλημάτων Περιορισμών Υποθέτοντας ότι έχουμε αναπαραστήσει ένα πρόβλημα ως CSP: πως μπορούμε να βρούμε μια λύση (αν υπάρχει); πως μπορούμε να βρούμε όλες τις λύσεις; πως μπορούμε να παράγουμε καινούργια γνώση; π.χ. καινούργιους περιορισμούς. Τεχνικές που μπορούν να χρησιμοποιηθούν: Παρήγαγε κι εξέτασε (generate and test). Αλγόριθμοι οπισθοδρόμησης (backtracking search algorithms). Αλγόριθμοι τοπικής αναζήτησης (local search algorithms). Αλγόριθμοι διάδοσης περιορισμών (constraint propagation algorithms). 30
31 Generate & Test Η πιο γενική μέθοδος Αλγόριθμος: δώσε από μια τιμή σε όλες τις μεταβλητές έλεγξε αν είναι λύση. Μειονεκτήματα: Βελτιώσεις: Τυφλή γεννήτρια αναθέσεων τιμών έξυπνη γεννήτρια, τοπική αναζήτηση, Αργή ανακάλυψη έλεγχος περιορισμών κατά τη ασυνεπειών διάρκεια της ανάθεσης, αναζήτηση οπισθοδρόμησης. 31
32 Αλγόριθμοι Αναζήτησης για CSPs (1/3) Γενικός Αλγόριθμος Αναζήτησης για CSPs: Αρχική Κατάσταση: Δεν έχει ανατεθεί τιμή σε καμία μεταβλητή. Ενέργειες: Δώσε σε μια μεταβλητή X i (που δεν έχει τιμή) μια τιμή από το D i. Τεστ Στόχου: Έχει γίνει ανάθεση τιμών σε όλες τις μεταβλητές και όλοι οι περιορισμοί ικανοποιούνται. Η σειρά εκτέλεσης των ενεργειών δεν έχει σημασία Μπορούμε να το εκμεταλλευτούμε αυτό! 32
33 Ο Χώρος Αναζήτησης των CSPs Το μέγεθος του χώρου αναζήτησης είναι πεπερασμένο. Το βάθος του δέντρου αναζήτησης είναι συγκεκριμένο: Ίσο με το πλήθος των μεταβλητών. Οι λύσεις βρίσκονται πάντα στα φύλλα του δέντρου αναζήτησης. Φύλλα 33
34 Αλγόριθμοι Αναζήτησης για CSPs (2/3) Ποιος αλγόριθμος αναζήτησης φαίνεται να ταιριάζει σε CSPs; Breadth-First Search; Όχι! Η BFS δε θα είναι αποτελεσματική γιατί οι λύσεις βρίσκονται στα φύλλα. Depth-First Search; Καλύτερη από την BFS. Αλλά συχνά θα σπαταλάει χρόνο αναζητώντας ενώ έχουν ήδη παραβιαστεί περιορισμοί. Hill Climbing; Ναι όταν μας ενδιαφέρει κυρίως η ταχύτητα. 34
35 Αλγόριθμοι Αναζήτησης για CSPs (3/3) Θα μελετήσουμε παραλλαγές του DFS ειδικά για CSPs. Οι αλγόριθμοι αυτοί βασίζονται στην ιδέα της αναζήτησης με οπισθοδρόμηση (backtracking search). Simple or Chronological Backtracking (BT). Backjumping (BJ). Forward Checking (FC). Maintaining Arc Consistency (MAC). Επίσης μια παραλλαγή του hill climbing Min-conflicts 35
36 Chronological Backtracking (ΒΤ) (1/4) Η βασική ιδέα σε όλους τους αλγόριθμους οπισθοδρόμησης είναι να ξεκινάμε με μια μερική λύση (δηλ. μερική ανάθεση μεταβλητών) και να συνεχίζουμε τις αναθέσεις μέχρι να φτάσουμε σε πλήρη λύση. Ο ΒΤ ακολουθεί αυτή την τεχνική: Αν φτάσει σε αδιέξοδο (dead end) οπισθοδρομεί στην αμέσως προηγούμενη επιλογή του. Αδιέξοδο έχουμε όταν δε μπορούμε να κάνουμε ανάθεση τιμής σε μεταβλητή χωρίς να παραβιαστεί κάποιος περιορισμός, και δοκιμάζει μια άλλη τιμή για τη συγκεκριμένη μεταβλητή. 36
37 Chronological Backtracking (ΒΤ) (2/4) προηγούμενες μεταβλητές { μεταβλητή 0 μεταβλητή 1 a a b a b b { μεταβλητή 2 (τρέχουσα μεταβλητή) μεταβλητή 3 μεταβλητή 4 a a b a b λύση b a b a b a τρέχουσα ανάθεση b μελλοντικές μεταβλητές 37
38 Chronological Backtracking (ΒΤ) (3/4) procedure CHRONOLOGICAL_BACKTRACKING (vars,doms,cons) solution BT (vars,ø,doms,cons) function BT (unlabelled,compound_label,doms,cons) returns a solution or NIL if unlabelled = Ø then return compound_label else pick a variable x from unlabelled repeat pick a value v from D x ; delete v from D x if compound_label + {(x,v)} violates no constraints then result BT(unlabelled - {x}, compound_label + {(x,v)}, doms,cons) if result NIL then return result end until D x = Ø return NIL end 38
39 Chronological Backtracking (σε δράση) WA = red WA = green WA = blue WA = red NT = red WA = red NT = green WA = red NT = blue WA = red NT = green Q = red WA = red NT = green Q = green WA = red NT = green Q = blue 39
40 Chronological Αξιολόγηση: Πλήρης; Ναι. Χρόνος: Ο(δ n e) Backtracking (ΒΤ) (4/4) Οπου δ το μέγιστο μέγεθος πεδίου ορισμού, n το πλήθος των μεταβλητών, και e το πλήθος των περιορισμών. Χώρος: Ο(nδ) Ο χώρος που απαιτείται για την αποθήκευση των πεδίων ορισμού όλων των μεταβλητών. Οι πολυπλοκότητες ισχύουν υποθέτοντας ότι οι περιορισμοί αποθηκεύονται σε σταθερή ποσότητα χώρου και οι έλεγχοι περιορισμών γίνονται σε σταθερό χρόνο. 40
41 GT & BT Παράδειγμα 1 Πρόβλημα: X::{1,2}, Y::{1,2}, Z::{1,2} X = Y, X Z, Y > Z generate & test X Y Z test fail fail fail fail fail fail passed backtracking X Y Z test fail 2 fail 2 fail 2 1 fail 2 1 passed 41
42 GT & BT 4-queen πρόβλημα Q 1 Q 2 Q 3 Q 4 Place 4 queens so that no two queens are in attack. Q i : line number of queen in column i, for 1 i 4 Q 1, Q 2, Q 3, Q 4 Q 1 Q 2, Q 1 Q 3, Q 1 Q 4, Q 2 Q 3, Q 2 Q 4, Q 3 Q 4, Q 1 Q 2-1, Q 1 Q 2 +1, Q 1 Q 3-2, Q 1 Q 3 +2, Q 1 Q 4-3, Q 1 Q 4 +3, Q 2 Q 3-1, Q 2 Q 3 +1, Q 2 Q 4-2, Q 2 Q 4 +2, Q 3 Q 4-1, Q 3 Q
43 4-queen πρόβλημα Q 1 Q 2 Q 3 Q 4 Υπάρχουν συνολικά 256 δυνατές αναθέσεις τιμών Ο GT αλγόριθμος θα παράγει 64 αναθέσεις με Q 1 =1; + 48 αναθέσεις με Q 1 =2, 1 Q 2 3; + 3 αναθέσεις με Q 1 =2, Q 2 =4, Q 3 =1; = 115 αναθέσεις μέχρι να βρει την πρώτη λύση 43
44 4-queen πρόβλημα, BT αλγόριθμος Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q 4 44
45 Έξυπνο Backtracking O ΒΤ υποφέρει από το φαινόμενο του thrashing: Επισκέπτεται ξανά και ξανά παρόμοιες περιοχές του δέντρου αναζήτησης επειδή έχει πολύ τοπική εικόνα του προβλήματος. Ένας τρόπος απαλοιφής του προβλήματος είναι οι αλγόριθμοι έξυπνης οπισθοδρόμησης (intelligent backtracking). BJ, CBJ, DB, Graph-based BJ, Learning. Ο backjumping (BJ) διαφέρει από τον ΒΤ στο εξής: Όταν φτάνει σε αδιέξοδο, ο BJ δεν οπισθοδρομεί στην αμέσως προηγούμενη μεταβλητή. Αλλά οπισθοδρομεί στην πιο βαθιά μεταβλητή στο δέντρο αναζήτησης που είναι σε σύγκρουση με την τρέχουσα μεταβλητή. 45
46 BJ vs. BT (1/3) We want to color each area in the map with a different color We have three colors red, green, blue 46
47 BJ vs. BT (2/3) Ας σκεφτούμε τι κάνει ο ΒΤ στο πρόβλημα χρωματισμού χάρτη: Υποθέτουμε ότι η ανάθεση μεταβλητών γίνεται με τη σειρά Q, NSW, V, T, SA, WA, NT. Ας υποθέσουμε ότι έχουμε φτάσει στη μερική ανάθεση τιμών Q = red, NSW = green, V = blue, T = red. Όταν δοκιμάσουμε να δώσουμε τιμή στην επόμενη μεταβλητή SA, βλέπουμε ότι όλες οι τιμές παραβιάζουν κάποιον περιορισμό: Αδιέξοδο! Ο ΒΤ μας λέει τώρα να οπισθοδρομήσουμε και να δοκιμάσουμε μια νέα τιμή για την Τ! Not a good idea! 47
48 BJ vs. BT (3/3) O BJ έχει μια πιο έξυπνη προσέγγιση στην οπισθοδρόμηση: Μας λέει να γυρίσουμε πίσω σε μια από τις μεταβλητές που είναι υπεύθυνες για το αδιέξοδο. Το σύνολο αυτό μεταβλητών ονομάζεται σύνολο συγκρούσεων (conflict set). Το conflict set για την SA είναι {Q, NSW, V} O BJ οπισθοδρομεί στην πιο βαθιά μεταβλητή του conflict set της μεταβλητής όπου συναντήσαμε αδιέξοδο: πιο βαθιά = αυτή που επισκεφτήκαμε πιο πρόσφατα. O BJ ανήκει στην οικογένεια αλγορίθμων οπισθοδρόμησης που ονομάζονται lookback αλγόριθμοι. CBJ, DB, Graph-based BJ, Learning. 48
49 Forward Checking (1/4) O Forward Checking (FC) ανήκει στην οικογένεια αλγορίθμων οπισθοδρόμησης που ονομάζονται lookahead αλγόριθμοι. Η βασική ιδέα του lookahead είναι ότι μόλις ανατεθεί μια τιμή σε μια μεταβλητή το μέγεθος του προβλήματος ελαττώνεται μέσω της διάδοσης περιορισμών (constraint propagation). Η διάδοση περιορισμών ορίζεται διαφορετικά για κάθε lookahead αλγόριθμο. O FC κάνει το εξής: Μόλις μια μεταβλητή x πάρει μια τιμή v, για κάθε μελλοντική μεταβλητή y που εμφανίζεται σε περιορισμό μαζί με τη x αφαιρούνται από το D y όλες οι τιμές που δεν είναι συμβατές με τη v. 49
50 Forward Checking (2/4) Αν το πεδίο ορισμού κάποιας μεταβλητής μείνει άδειο τότε απορρίπτεται η τιμή v για τη x και δοκιμάζουμε την επόμενη. Η λειτουργία του FC έχει ως αποτέλεσμα να ισχύει το εξής σε κάθε βήμα της αναζήτησης: Όλες οι τιμές κάθε μελλοντικής μεταβλητής (future variable) είναι συμβατές με όλες τις τιμές που έχουν ανατεθεί σε προηγούμενες μεταβλητές (past variables). O FC διατηρεί μια περιορισμένη μορφή συνέπειας τόξου (arc consistency). 50
51 Forward Checking (3/4) procedure FORWARD_CHECKING (vars,doms,cons) solution FC (vars,ø,doms,cons) function FC (unlabelled,compound_label,doms,cons) returns a solution or NIL if unlabelled = Ø then return compound_label else pick a variable x from unlabelled repeat pick a value v from D x ; delete v from D x {(x,v)}) end doms UPDATE(unlabelled-{x},doms,cons,compound_label + if no domain in doms is empty then result FC(unlabelled - {x}, compound_label + {(x,v)}, doms,cons) if result NIL then return result end until D x = Ø return NIL 51
52 Forward Checking (4/4) function UPDATE (unlab_vars,doms,cons,compound_label) returns an updated set of domains for each variable y in unlab_vars do for each value v in D y do if (y,v) is incompatible with compound_label with respect to the constraints between y and the variables of compound_label then D y D y {v} end end return doms 52
53 O FC σε λειτουργία WA NT Q NSW V SA T Αρχικά πεδία τιμών Μετά από WA=R Μετά από Q=G Μετά από V=B R G B R G B R G B R G B R G B R G B R G B R G B R G B R G B R G B G B R G B R B G R B R G B B R G B R B G R B R G B 53
54 Consistency Techniques (Τεχνικές Συνέπειας) Διαγράφουν μη-συνεπείς τιμές από τα πεδία ορισμού των μεταβλητών. Μπορούν να εφαρμοστούν πριν ή κατά τη διάρκεια της αναζήτησης. Για δυαδικά CSPs: Συνέπεια κόμβου (node consistency - NC). Συνέπεια τόξου (arc consistency - AC). Συνέπεια μονοπατιού (path consistency - PC). k-συνέπεια (k-consistency). A B B A B=C A>5 A<C C 54
55 Συνέπεια Κόμβου (Node Consistency) Μια μεταβλητή X είναι node consistent αν κάθε τιμή a της Χ είναι συνεπής με κάθε μοναδιαίο (unary) περιορισμό στη Χ. Π.χ. D(X) = {0,1,2,3,4} X > 1 X 4 Η εφαρμογή του node consistency θα δώσει D(X)= {2,3}. Αυτή η τεχνική μπορεί να εφαρμοστεί μια για πάντα πριν ξεκινήσει η αναζήτηση (ως βήμα προεπεξεργασίας). 55
56 Συνέπεια Τόξου (Arc Consistency) Μια μεταβλητή X είναι arc consistent αν για κάθε άλλη μεταβλητή Y ισχύει το εξής: Για κάθε τιμή a της Χ υπάρχει τουλάχιστον μια τιμή b της Υ τέτοια ώστε η a και b να είναι συμβατές. Τότε λέμε ότι η a υποστηρίζει (supports) την b. Ένας αλγόριθμος που εφαρμόζει arc consistency σβήνει τιμές από το πεδίο ορισμού μιας μεταβλητής όταν αυτές δεν υποστηρίζονται από καμία τιμή σε μια άλλη μεταβλητή. 56
57 Arc Consistency - Παράδειγμα WA NT SA Q NSW {R,B} Δεν είναι arc consistent (B δεν έχει υποστήριξη στη SA) {B} V T 57
58 AC Παράδειγμα (1/2) Πρόβλημα: X::{1,2}, Y::{1,2}, Z::{1,2} X = Y, X Z, Y > Z 1 2 X 1 2 X 1 2 Y 1 2 Z Y 1 2 Z
59 AC Παράδειγμα (2/2) Πρόβλημα: X::{1,2}, Y::{1,2}, Z::{1,2} X = Y, X Z, Y > Z X Y Z action result 1 labelling {1} {} AC propagation fail 2 labelling {2} {1} AC propagation solution generate & test - 7 steps backtracking - 5 steps AC propagation - 2 steps 59
60 Είναι το AC αρκετό για πληρότητα; Πρόβλημα: X::{1,2}, Y::{1,2}, Z::{1,2} X Y, X Z, Y Z X 1 2 ΟΧΙ! Y Z 60
61 Διάδοση Περιορισμών Απλή συστηματική αναζήτηση μη αποδοτική. Απλή εφαρμογή τεχνικών συνέπειας μη πλήρης. Συνδυασμός αναζήτησης (οπισθοδρόμησης) με τεχνικές συνέπειας. Μέθοδοι: look back (αντίδραση σε συγκρούσεις). look ahead (αποτροπή συγκρούσεων). look back look ahead Σειρά μεταβλητών 61
62 Arc Consistency Arc consistency εφαρμόζουμε: Ως προ-επεξεργαστικό (preprocessing) βήμα πριν ξεκινήσει η αναζήτηση. μειώνεται το μέγεθος του δέντρου αναζήτησης. Κατά τη διάρκεια της αναζήτησης μετά από κάθε ανάθεση τιμής σε μεταβλητή. constraint propagation γρήγορη ανακάλυψη αδιεξόδων. Ο αλγόριθμος αναζήτησης που εφαρμόζει arc consistency μετά από κάθε ανάθεση τιμής σε μεταβλητή ονομάζεται MAC (maintaining arc consistency). 62
63 MAC procedure Maintaining Arc Consistency (vars,doms,cons) solution MAC (vars,ø,doms,cons) function MAC (unlabelled,compound_label,doms,cons) returns a solution or NIL if unlabelled = Ø then return compound_label else pick a variable x from unlabelled repeat pick a value v from D x ; delete v from D x {(x,v)}) end doms AC(unlabelled-{x},doms,cons,compound_label + if no domain in doms is empty then result ΜΑC(unlabelled - {x}, compound_label + {(x,v)}, doms,cons) if result NIL then return result end until D x = Ø return NIL 63
64 Αλγόριθμοι για Arc Consistency Arc consistency μπορεί να εφαρμοστεί με Ο(eδ 2 ) χρονική πολυπλοκότητα: AC-4, AC-6, AC-7, AC AC-3: μη-βέλτιστος χρονικά, αλλά απλός AC αλγόριθμος. Οι AC-3 και AC-2001 χρησιμοποιούν: μια ουρά όπου μπαίνουν οι μεταβλητές που ελέγχονται για arc consistency, μια ρουτίνα Revise που σβήνει τιμές που δεν υποστηρίζονται. Οι AC-4, AC-6, AC-7 χρησιμοποιούν πολύπλοκες δομές δεδομένων. 64
65 Ισχυρότερα Επίπεδα Συνέπειας Πέρα από το arc consistency υπάρχουν και άλλα επίπεδα συνέπειας: path consistency. singleton arc consistency. neighborhood inverse consistency. Αυτά είναι πιο ισχυρά από arc consistency (δηλ. σβήνουν πιο πολλές τιμές όταν εφαρμόζονται): Αλλά είναι και πιο ακριβά (μεγαλύτερη χρονική πολυπλοκότητα). 65
66 4-queen problem Q 1 Q 2 Q 3 Q 4 Place 4 queens so that no two queens are in attack. Q i : line number of queen in column i, for 1 i 4 Q 1, Q 2, Q 3, Q 4 Q 1 Q 2, Q 1 Q 3, Q 1 Q 4, Q 2 Q 3, Q 2 Q 4, Q 3 Q 4, Q 1 Q 2-1, Q 1 Q 2 +1, Q 1 Q 3-2, Q 1 Q 3 +2, Q 1 Q 4-3, Q 1 Q 4 +3, Q 2 Q 3-1, Q 2 Q 3 +1, Q 2 Q 4-2, Q 2 Q 4 +2, Q 3 Q 4-1, Q 3 Q
67 4-queen problem first solution Q 1 Q 2 Q 3 Q 4 There is a total of 256 valuations GT algorithm will generate 64 valuations with Q 1 =1; + 48 valuations with Q 1 =2, 1 Q 2 3; + 3 valuations with Q 1 =2, Q 2 =4, Q 3 =1; = 115 valuations to find first solution 67
68 4-queen problem, BT algorithm Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q 4 68
69 4-queen problem, FC algorithm Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q 4 69
70 4-queen problem, MAC algorithm Q 1 Q 2 Q 3 Q x x x Value 3 of Q 2 is unsupported in Q 3, Value 4 of Q 3 is unsupported in Q 2, Value 2 of Q 3 is unsupported in Q 4, Q 1 Q 2 Q 3 Q Q 1 Q 2 Q 3 Q 4 Q 1 Q 2 Q 3 Q
71 Υβριδικοί Αλγόριθμοι Μπορούμε να συνδυάσουμε τις λειτουργίες διαφορετικών αλγορίθμων οπισθοδρόμησης και να πάρουμε υβριδικούς αλγόριθμους (hybrid algorithms). Π.χ. Μπορούμε να συνδυάσουμε τη lookahead λειτουργία του forward checking και τη lookback λειτουργία του BJ: FC-BJ FC-CBJ MAC-BJ MAC-CBJ 71
72 Conflict-based Backjumping (CBJ) To Conflict-based Backjumping ανήκει στην κατηγορία των lookback αλγορίθμων που κάνουν έξυπνη οπισθοδρόμηση από αδιέξοδα. Σε αντίθεση με το από BJ που κάνει backjumps μόνο από αδιέξοδα σε φύλλα, το CBJ μπορεί να κάνει backjumps και από αδιέξοδα σε εσωτερικούς κόμβους: για κάθε μεταβλητή x έχουμε ένα σύνολο συγκρούσεων (conflict set), όταν μια ανάθεση (x,a) αποτύχει λόγω παραβίασης περιορισμού με μια προηγούμενη μεταβλητή y, η y προστίθεται στο conflict set της x, αν δεν υπάρχουν άλλες τιμές στο domain της τρέχουσας μεταβλητής x, ο CBJ οπισθοδρομεί στην πιο βαθιά μεταβλητή w στο conflict set της x. και το conflict set της x προστίθεται στο conflict set της w, μετά μπορεί να γίνει περαιτέρω backjump από την w. 72
73 FC-CBJ Forward Checking με Conflict-based Backjumping: Ο FC-CBJ συνδυάζει το look-ahead του FC με το έξυπνο backjumping του CBJ, για κάθε μεταβλητή έχουμε ένα σύνολο συγκρούσεων (conflict set), όταν το forward checking μιας ανάθεσης (x,a) έχει ως αποτέλεσμα τη διαγραφή τιμής από το domain μιας μεταβλητής y, το x προστίθεται στο conflict set του y, αν μετά το forward checking μιας ανάθεσης (x,a) το domain μιας μεταβλητής y μείνει κενό, τότε οι μεταβλητές στο conflict set του y προστίθενται στο conflict set του x. γιατί γίνεται αυτό; αν δεν υπάρχουν άλλες τιμές στο domain της τρέχουσας μεταβλητής x, ο FC- CBJ οπισθοδρομεί στην πιο βαθιά μεταβλητή w στο conflict set του x, και το conflict set της x προστίθεται στο conflict set της w. 73
74 Αξιολόγηση Αλγορίθμων Οπισθοδρόμησης (1/2) Πως μπορούμε να συγκρίνουμε αλγόριθμους οπισθοδρόμησης για CSPs; Χρονική / Χωρική Πολυπλοκότητα. όχι και πολύ χρήσιμη. Όλοι είναι εκθετικοί! Χρόνοι cpu. Πλήθος κόμβων που επισκέπτονται στο δέντρο αναζήτησης. Πλήθος ελέγχων περιορισμών (consistency checks) που εκτελούν. Πόσες φορές οπισθοδρομούν. 74
75 Αξιολόγηση Αλγορίθμων Οπισθοδρόμησης (2/2) Μερικά θεωρητικά αποτελέσματα: Κόμβοι στο δέντρο αναζήτησης: FC-CBJ FC-BJ FC BJ BT CBJ BJ Πλήθος ελέγχων περιορισμών: CBJ BJ ΒΤ FC-CBJ FC-BJ FC CPU χρόνοι; 75
76 Ευριστικές Μέθοδοι για CSPs (1/2) Οι αλγόριθμοι αναζήτησης πρέπει να παίρνουν αποφάσεις: 1) Ποια θα είναι η επόμενη μεταβλητή; 2) Ποια τιμή να της δώσω; 3) Ποιόν περιορισμό να εξετάσω; Οι αποφάσεις που παίρνει ο αλγόριθμος κάθε φορά επηρεάζουν δραστικά το μέγεθος του χώρου αναζήτησης (και την απόδοση του αλγορίθμου). Ειδικά η (1). Ευριστικές μέθοδοι βοηθούν τους αλγόριθμους να παίρνουν σωστές αποφάσεις. 76
77 Ευριστικές Μέθοδοι για CSPs (2/2) Ευριστικές μέθοδοι διάταξης μεταβλητών (variable ordering heuristics). στατικά heuristics: MaxDegree, Bandwidth, δυναμικά heuristics: MRV, Brelaz, dom/deg, Ευριστικές μέθοδοι διάταξης τιμών (value ordering heuristics). Geelen s promise, least-constraining Ευριστικές μέθοδοι διάταξης περιορισμών. ; 77
78 Heuristics Δυναμικής Διάταξης Μεταβλητών Ελάχιστες Εναπομείναντες Τιμές (MRV) ή Μικρότερο Πεδίο Ορισμού (SD) Σε κάθε βήμα της αναζήτησης διάλεξε τη μεταβλητή με το μικρότερο πεδίο ορισμού. Γιατί; (Fail-First Principle). Αν υπάρχουν πολλές; Διάλεξε μια στην τύχη. Διάλεξε τη μεταβλητή με το μεγαλύτερο βαθμό στον αρχικό γράφο περιορισμών. Διάλεξε τη μεταβλητή με το μεγαλύτερο μελλοντικό βαθμό (δηλ. αυτή που εμπλέκεται στους περισσότερους περιορισμούς με μελλοντικές μεταβλητές). Brelaz heuristic. Πολλές παραλλαγές έχουν προταθεί: dom/deg. 78
79 Heuristics Διάταξης Τιμών Min-Conflicts: Συσχέτισε με κάθε τιμή a το συνολικό πλήθος τιμών σε μελλοντικές μεταβλητές που είναι ασύμβατες με την a. Διάλεξε την τιμή με το μικρότερο τέτοιο πλήθος. Εναλλακτικά: Διαίρεσε το πλήθος των ασύμβατων τιμών κάθε μελλοντικής μεταβλητής x με το μέγεθος του πεδίου ορισμού της x. Geelen s Promise: Για κάθε τιμή a μέτρησε το συνολικό πλήθος τιμών σε μελλοντικές μεταβλητές που είναι συμβατές με την a. Υπολόγισε το γινόμενο αυτών. Αυτό ονομάζεται η υπόσχεση (promise) της τιμής a. Διάλεξε την τιμή με τη μεγαλύτερη υπόσχεση. 79
80 Μέθοδοι Τοπικής Αναζήτησης Τοπική αναζήτηση: Hill climbing: γειτονιά = αλλαγή τιμής σε μια μεταβλητή. min-conflicts: γειτονιά = αλλαγή τιμής σε μια μεταβλητή από αυτές που συμμετέχουν σε παραβίαση περιορισμού. Αποφυγή τοπικών βέλτιστων => heuristics random-walk. μερικές φορές διάλεξε μια τοπική κίνηση στην τύχη. tabu search απέφυγε πρόσφατες κινήσεις που έχεις δοκιμάσει και οδήγησαν σε τοπικό βέλτιστο Δεν εγγυώνται πληρότητα. 80
81 Min-Conflicts Αλγόριθμος Ξεκίνα με μια τυχαία ανάθεση τιμών σε μεταβλητές: ή μια που φαίνεται να είναι καλή με βάση κάποιο heuristic κάποιοι περιορισμοί θα παραβιάζονται. Προσπάθησε να επιδιορθώσεις την αρχική ανάθεση: άλλαξε την ανάθεση τιμής σε μεταβλητή που κάνει να ικανοποιούνται όσο το δυνατόν περισσότεροι περιορισμοί, τοπικά βέλτιστα. Random restarts. Simulated annealing. Tabu search. 81
82 Min-Conflicts (version 1) procedure Min_Conflicts(P, maxtries, maxchanges) for i :=1 to maxtries do A := initial complete assignment of the variables in P for j:=1 to maxchanges do if A satisfies P then return (A) else x := randomly chosen variable whose assignment is in conflict (x,a) := alternative assignment of x which satisfies the maximum number of constraints under the current assignment A if by making assignment (x,a) you get a cost current cost then make the assignment endif endfor endfor return ( No solution found ) 82
83 Min-Conflicts (version 2) procedure Min_Conflicts(P, maxtries, maxchanges) for i :=1 to maxtries do A := initial complete assignment of the variables in P for j:=1 to maxchanges do if A satisfies P then return (A) else (x,a) := the alternative assignment of a variable x which minimizes the number of constraint violations under the current assignment A if by making assignment (x,a) you get a cost current cost then make the assignment else break endif endfor endfor return ( No solution found ) 83
84 Min-Conflicts με Random Walk Πως μπορούμε να ξεφύγουμε από τοπικά βέλτιστα χωρίς επανεκκινήσεις; (δηλ. με τοπικά βήματα); Προσθέτοντας θόρυβο στον αλγόριθμο! Random walk (τυχαίος περίπατος): η γειτονική κατάσταση πάντα επιλέγεται τυχαία μια τέτοια τεχνική είναι σχεδόν αδύνατο να βρει λύση άρα χρειάζεται κάποια καθοδήγηση Το random walk μπορεί να συνδυαστεί με το heuristic που καθοδηγεί την αναζήτηση χρησιμοποιώντας μια πιθανοτική κατανομή: p πιθανότητα χρήσης του random walk. (1-p) πιθανότητα χρήσης του heuristic. 84
85 Min-Conflicts with Random Walk (version 1) procedure Min_Conflicts(P, maxchanges,p) A := initial complete assignment of the variables in P for j:=1 to maxchanges do if A satisfies P then return (A) else if probability p verified x := randomly chosen variable whose assignment is in conflict (x,a) := randomly chosen alternative assignment of x else (x,a) := the alternative assignment of a variable x which minimizes the number of constraint violations under the current assignment A make the assignment (x,a) endif endfor return ( No solution found ) 85
86 Min-Conflicts with Random Walk (version 2) procedure Min_Conflicts(P, maxchanges,p) A := initial complete assignment of the variables in P for j:=1 to maxchanges do if A satisfies P then return (A) else x := randomly chosen variable whose assignment is in conflict if probability p verified (x,a) := randomly chosen alternative assignment of x else (x,a) := the alternative assignment of x which satisfies the maximum number of constraints under the current assignment A make the assignment (x,a) endif endfor return ( No solution found ) 86
87 Useful Links On-line guide to Constraint Programming: kti.ms.mff.cuni.cz/%7ebartak/constraints/ Constraints Archive: cs.unh.edu/ccc/archive/ CSPLib : a problem library for constraints: 4c.ucc.ie/~tw/csplib/ Course on Theory and Practice of Constraint Satisfaction: cse.unl.edu/~choueiry/csce990-05/schedule.htm 87
88 Τέλος Ενότητας 88
89 Σημείωμα Αναφοράς Copyright, Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών, Στεργίου Κωνσταντίνος. «Τεχνητή Νοημοσύνη». Έκδοση: 1.0. Κοζάνη Διαθέσιμο από τη δικτυακή διεύθυνση: https: //eclass.uowm.gr/courses/icte103/ 89
90 Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά, Όχι Παράγωγα Έργα Μη Εμπορική Χρήση 4.0 [1] ή μεταγενέστερη, Διεθνής Έκδοση. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». [1] h t t p ://creativecommons.org/licenses/by-nc-nd/4.0/ Ως Μη Εμπορική ορίζεται η χρήση: που δεν περιλαμβάνει άμεσο ή έμμεσο οικονομικό όφελος από την χρήση του έργου για το διανομέα του έργου και αδειοδόχο που δεν περιλαμβάνει οικονομική συναλλαγή ως προϋπόθεση για τη χρήση ή πρόσβαση στο έργο που δεν προσπορίζει στο διανομέα του έργου και αδειοδόχο έμμεσο οικονομικό 90
91 Διατήρηση Σημειωμάτων Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει: το Σημείωμα Αναφοράς το Σημείωμα Αδειοδότησης τη δήλωση Διατήρησης Σημειωμάτων το Σημείωμα Χρήσης Έργων Τρίτων (εφόσον υπάρχει) μαζί με τους συνοδευόμενους υπερσυνδέσμους. 91
92 Σημείωμα Χρήσης Έργων Τρίτων Το Έργο αυτό κάνει χρήση των ακόλουθων έργων: Εικόνες/Σχήματα/Διαγράμματα/Φωτογραφίες Τεχνητή Νοημοσύνη, Μια σύγχρονη προσέγγιση, S. Russel, P. Norvig, Εκδόσεις Κλειδάριθμος 92
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Ικανοποίηση Περιορισμών Κατηγορία προβλημάτων στα οποία είναι γνωστές μερικές
Διαβάστε περισσότεραΕισαγωγή στον δομημένο προγραμματισμό
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Εισαγωγή στον δομημένο προγραμματισμό Ενότητα 5 η : Πίνακες (Προχωρημένα Θέματα) Αν. καθηγητής Στεργίου Κώστας e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 6: Προβλήματα ικανοποίησης περιορισμών. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 6: Προβλήματα ικανοποίησης περιορισμών Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται
Διαβάστε περισσότεραΑΛΓΟΡΙΘΜΟΙ. Ενότητα 12: Αντιμετώπιση Περιορισμών Αλγοριθμικής Ισχύος
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΛΓΟΡΙΘΜΟΙ Ενότητα 12: Αντιμετώπιση Περιορισμών Αλγοριθμικής Ισχύος Ιωάννης Μανωλόπουλος, Καθηγητής Αναστάσιος Γούναρης, Επίκουρος Καθηγητής
Διαβάστε περισσότεραΚεφάλαιο 6. Ικανοποίηση Περιορισµών. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η.
Κεφάλαιο 6 Ικανοποίηση Περιορισµών Τεχνητή Νοηµοσύνη - Β' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Ικανοποίηση Περιορισµών Ένα πρόβληµα ικανοποίησης περιορισµών (constraint
Διαβάστε περισσότεραΕπίλυση Προβλημάτων 1
Επίλυση Προβλημάτων 1 Επίλυση Προβλημάτων Περιγραφή Προβλημάτων Αλγόριθμοι αναζήτησης Αλγόριθμοι τυφλής αναζήτησης Αναζήτηση πρώτα σε βάθος Αναζήτηση πρώτα σε πλάτος (ΒFS) Αλγόριθμοι ευρετικής αναζήτησης
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 4: Εισαγωγή / Σύνολα Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους
Εισαγωγή στους Αλγορίθμους Ενότητα 5 η Άσκηση Συγχώνευση & απαρίθμηση Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους
Εισαγωγή στους Αλγορίθμους Ενότητα 6 η Άσκηση - DFS δένδρα Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Ενότητα 11η Άσκηση - Σταθμισμένος Χρονοπρογραμματισμός Διαστημάτων
Εισαγωγή στους Αλγορίθμους Ενότητα η Άσκηση - Σταθμισμένος Χρονοπρογραμματισμός Διαστημάτων Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους
Εισαγωγή στους Αλγορίθμους Ενότητα 5 η Άσκηση - Συγχώνευση Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΛογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2)
Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2) Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Φροντιστήριο 6
Εισαγωγή στους Αλγορίθμους Φροντιστήριο 6 Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΑρχιτεκτονική Υπολογιστών
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Αρχιτεκτονική Υπολογιστών Ενότητα 10: Ιεραρχία Μνήμης. Δρ. Μηνάς Δασυγένης mdasyg@ieee.org Εργαστήριο Ψηφιακών Συστημάτων και Αρχιτεκτονικής Υπολογιστών http://arch.icte.uowm.gr/mdasyg
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΔΥΤΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΔΥΤΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ: Μελέτη παραλλαγών του αλγόριθμου minconflicts για προβλήματα ικανοποίησης περιορισμών ΒΑΡΚΑΣ ΙΩΑΝΝΗΣ,
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Φροντιστήριο 10
Εισαγωγή στους Αλγορίθμους Φροντιστήριο 10 Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότερα(50 μον.) πάντοτε Διατυπώστε
ΑΣΚΗΣΗ 1 Α. (50 μον.) Σας δίνεται ο ακόλουθος γράφος, το οποίο πρέπει να χρωματίσετε χρησιμοποιώντας 3 χρώματα (R,G,B), ώστε δύο γειτονικές κορυφές να μην έχουν το ίδιο χρώμα. Θεωρείστε ότι ο χρωματισμός
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Ενότητα 10η Άσκηση Αλγόριθμος Dijkstra
Εισαγωγή στους Αλγορίθμους Ενότητα 1η Άσκηση Αλγόριθμος Dijkra Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upara.gr Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΙΚΑΝΟΠΟΙΗΣΗ ΠΕΡΙΟΡΙΣΜΩΝ
ΙΚΑΝΟΠΟΙΗΣΗ ΠΕΡΙΟΡΙΣΜΩΝ (ΜΕ ΒΑΣΗ ΤΟ ΚΕΦ. 6 ΤΟΥ ΒΙΒΛΙΟΥ «ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ» ΤΩΝ ΒΛΑΧΑΒΑ, ΚΕΦΑΛΑ, ΒΑΣΙΛΕΙΑ Η, ΚΟΚΚΟΡΑ & ΣΑΚΕΛΛΑΡΙΟΥ) Ι. ΧΑΤΖΗΛΥΓΕΡΟΥ ΗΣ ΠΡΟΒΛΗΜΑΤΑ ΙΚΑΝΟΠΟΙΗΣΗΣ ΠΕΡΙΟΡΙΣΜΩΝ Είναι γνωστές µερικές
Διαβάστε περισσότεραΔομές Δεδομένων Ενότητα 1
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 1: Εισαγωγή Απόστολος Παπαδόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για
Διαβάστε περισσότεραΜεταβλητες: Q, NSW, V, T, SA, WA, NT. Πεδίο Ορισμού: Για κάθε μεταβλητη το ίδιο. D i ={R, G, B} όπου i= Q, NSW,., NT.
1. Στην άσκηση μας, μας έχει δωθεί ένας γράφος, ο οποίος αντιπροσωπεύει ένα χάρτη και μάλιστα αυτόν της Αυστραλίας. Στον γράφο αυτό υπάρχουν και κόμβοι, οι οποίοι αφορούν με τη σειρά τους τις διάφορες
Διαβάστε περισσότερα4 η Διάλεξη. Ενδεικτικές λύσεις ασκήσεων
4 η Διάλεξη Ενδεικτικές λύσεις ασκήσεων 1 Περιεχόμενα 1 η Άσκηση... 3 2 η Άσκηση... 3 3 η Άσκηση... 4 4 η Άσκηση... 5 5 η Άσκηση... 6 6 η Άσκηση... 7 Χρηματοδότηση... 8 Σημείωμα Αναφοράς... 9 Σημείωμα
Διαβάστε περισσότεραΑναστασία Παπαρρίζου. Επιβλέπων Καθηγητής: Κώστας Στεργίου Τριμελής Επιτροπή: Κώστας Στεργίου, Νικόλαος Σαμαράς, Μανώλης Κουμπαράκης
Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Δυτικής Μακεδονίας Αναστασία Παπαρρίζου Επιβλέπων Καθηγητής: Κώστας Στεργίου Τριμελής Επιτροπή: Κώστας Στεργίου, Νικόλαος Σαμαράς, Μανώλης
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Prim
Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Prim Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Emil: zro@ei.uptrs.r Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΔιοικητική Λογιστική
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διοικητική Λογιστική Ενότητα 10: Προσφορά και κόστος Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά
Διαβάστε περισσότεραΔιοίκηση Επιχειρήσεων
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 5: Η λήψη των αποφάσεων Ευγενία Πετρίδου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΠρογραμματισμός Η/Υ. Βασικές Προγραμματιστικές Δομές. ΤΕΙ Ιονίων Νήσων Τμήμα Τεχνολόγων Περιβάλλοντος Κατεύθυνση Τεχνολογιών Φυσικού Περιβάλλοντος
Προγραμματισμός Η/Υ Βασικές Προγραμματιστικές Δομές ΤΕΙ Ιονίων Νήσων Τμήμα Τεχνολόγων Περιβάλλοντος Κατεύθυνση Τεχνολογιών Φυσικού Περιβάλλοντος Δομή Ελέγχου Ροής (IF) Η εντολή IF χρησιμοποιείται όταν
Διαβάστε περισσότεραΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών
Διαβάστε περισσότεραΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών
Διαβάστε περισσότεραΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών
Διαβάστε περισσότεραΨηφιακή Επεξεργασία Εικόνων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Ψηφιακή Επεξεργασία Εικόνων Ενότητα # 14: Τμηματοποίηση με χρήση τυχαίων πεδίων Markov Καθηγητής Γιώργος Τζιρίτας Τμήμα Επιστήμης Υπολογιστών Τμηματοποίηση εικόνων
Διαβάστε περισσότεραΕισαγωγή στον δομημένο προγραμματισμό
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Εισαγωγή στον δομημένο προγραμματισμό Ενότητα 12 η : Δυναμική Ανάθεση Θέσης Αν. καθηγητής Στεργίου Κώστας e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραΒάσεις Περιβαλλοντικών Δεδομένων
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Βάσεις Περιβαλλοντικών Δεδομένων Ενότητα 2: Εισαγωγή Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά
Διαβάστε περισσότεραΕ ανάληψη. Πληροφορηµένη αναζήτηση µε εριορισµό µνήµης. Ευρετικές συναρτήσεις. Το ική αναζήτηση
ΠΛΗ 405 Τεχνητή Νοηµοσύνη Ικανο οίηση Περιορισµών Constraint Satisfaction Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Πληροφορηµένη αναζήτηση µε εριορισµό µνήµης
Διαβάστε περισσότεραΑλγόριθμοι και πολυπλοκότητα Δυναμικός Προγραμματισμός
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αλγόριθμοι και πολυπλοκότητα Δυναμικός Προγραμματισμός Ιωάννης Τόλλης Τμήμα Επιστήμης Υπολογιστών Δυναμικός Προγραμματισμός Δυναμικός Προγραμματισμός 1 Περίληψη
Διαβάστε περισσότεραΟΡΟΛΟΓΙΑ -ΞΕΝΗ ΓΛΩΣΣΑ
ΟΡΟΛΟΓΙΑ -ΞΕΝΗ ΓΛΩΣΣΑ Ενότητα 8: Time Clauses Σταυρούλα Ταβουλτζίδου ΜΗΧ/ΚΩΝ ΠΕΡΙΒΑΛ.&ΜΗΧ/ΚΩΝ ΑΝΤΙΡ.ΤΕ-ΜΗΧ/ΚΩΝ ΑΝΤΙΡΡΥΠΑΝΣΗΣ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative
Διαβάστε περισσότεραΜαθηματική Ανάλυση Ι
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Μαθηματική Ανάλυση Ι Ενότητα 6: Παράγωγοι Επίκ. Καθηγητής Θ. Ζυγκιρίδης e-mail: tzygiridis@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 7: Σχέσεις και Συναρτήσεις
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 7: Σχέσεις και Συναρτήσεις Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Φροντιστήριο 5
Εισαγωγή στους Αλγορίθμους Φροντιστήριο 5 Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Βιοπληροφορική. Ενότητα 11: Κατασκευή φυλογενετικών δέντρων part II
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Βιοπληροφορική Ενότητα 11: Κατασκευή φυλογενετικών δέντρων part II Αν. καθηγητής Αγγελίδης Παντελής e-mail: paggelidis@uowm.gr ΕΕΔΙΠ Μπέλλου Σοφία e-mail:
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Ενότητα 8η
Εισαγωγή στους Αλγορίθμους Ενότητα 8η Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΑΛΓΟΡΙΘΜΟΙ Ενότητα 10
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΛΓΟΡΙΘΜΟΙ Ενότητα 10: Επαναληπτική Βελτίωση Ιωάννης Μανωλόπουλος, Καθηγητής Αναστάσιος Γούναρης, Επίκουρος Καθηγητής Άδειες Χρήσης Το
Διαβάστε περισσότεραΤεχνολογία & Καινοτομία - Αρχές Βιομηχανικής Επιστήμης
Πανεπιστήμιο Δυτικής Μακεδονίας Τμήμα Μηχανολόγων Μηχανικών Τεχνολογία & Καινοτομία - Αρχές Βιομηχανικής Επιστήμης Ενότητα: Εισαγωγή Αν. Καθηγητής Μπακούρος Ιωάννης Τηλ.: 24610 56660, e-mail: ylb@uowm.gr,
Διαβάστε περισσότεραΝέες Τεχνολογίες και Καλλιτεχνική Δημιουργία
Παιδαγωγικό Τμήμα Νηπιαγωγών Νέες Τεχνολογίες και Καλλιτεχνική Δημιουργία Ενότητα # 9: Ψηφιακός Ήχος - Audacity Θαρρενός Μπράτιτσης Παιδαγωγικό Τμήμα Νηπιαγωγών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΣυστήματα Παράλληλης & Κατανεμημένης Επεξεργασίας
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Συστήματα Παράλληλης & Κατανεμημένης Επεξεργασίας Ενότητα 3: MPI_Get_count, non blocking send/recv, εμφάνιση και αποφυγή αδιεξόδων Δρ. Μηνάς Δασυγένης mdasyg@ieee.org
Διαβάστε περισσότεραΕισαγωγή στην Διοίκηση Επιχειρήσεων
Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 7: ΑΣΚΗΣΕΙΣ ΜΕΓΕΘΟΥΣ ΕΠΙΧΕΙΡΗΣΗΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης
Διαβάστε περισσότεραΕνδεικτικές λύσεις ασκήσεων διαχείρισης έργου υπό συνθήκες αβεβαιότητας
Ενδεικτικές λύσεις ασκήσεων διαχείρισης έργου υπό συνθήκες αβεβαιότητας 1 Περιεχόμενα 1 η Άσκηση... 4 2 η Άσκηση... 7 3 η Άσκηση... 10 Χρηματοδότηση... 12 Σημείωμα Αναφοράς... 13 Σημείωμα Αδειοδότησης...
Διαβάστε περισσότεραΕισαγωγή στην πληροφορική
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Εισαγωγή στην πληροφορική Ενότητα 4: Ψηφιακή Λογική, Άλγεβρα Boole, Πίνακες Αλήθειας (Μέρος Α) Αγγελίδης Παντελής Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Διαβάστε περισσότεραΕισαγωγή στην Διοίκηση Επιχειρήσεων
Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 6: ΜΕΓΕΘΟΣ ΕΠΙΧΕΙΡΗΣΗΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative
Διαβάστε περισσότεραΣχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 10: ΤΕΧΝΙΚΕΣ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΑΝΑΛΥΣΗΣ ΑΛΓΟΡΙΘΜΩΝ ΓΙΑ ΠΡΟΒΛΗΜΑΤΑ ΜΕ ΑΠΑΓΟΡΕΥΤΙΚΟ ΑΡΙΘΜΟ ΠΕΡΙΠΤΩΣΕΩΝ
Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 10: ΤΕΧΝΙΚΕΣ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΑΝΑΛΥΣΗΣ ΑΛΓΟΡΙΘΜΩΝ ΓΙΑ ΠΡΟΒΛΗΜΑΤΑ ΜΕ ΑΠΑΓΟΡΕΥΤΙΚΟ ΑΡΙΘΜΟ ΠΕΡΙΠΤΩΣΕΩΝ Δημήτριος Κουκόπουλος Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων
Διαβάστε περισσότεραΔΙΑΧΕΙΡΙΣΗ ΕΦΟΔΙΑΣΤΙΚΗΣ ΑΛΥΣΙΔΑΣ
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων ΔΙΑΧΕΙΡΙΣΗ ΕΦΟΔΙΑΣΤΙΚΗΣ ΑΛΥΣΙΔΑΣ Ενότητα : Διαχείριση Εφοδιαστικής Αλυσίδας: Προβλήματα Δρομολόγησης Στόλου Οχημάτων- Μέρος ΙΙ Το περιεχόμενο του μαθήματος
Διαβάστε περισσότεραΔιδακτική Πληροφορικής
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διδακτική Πληροφορικής Ενότητα 7: Η πληροφορική και ο προγραμματισμός στο εκπαιδευτικό σύστημα Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative
Διαβάστε περισσότεραΛογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους.
Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους. Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Η/Υ. Ενότητα: ΔΟΜΕΣ ΕΠΑΝΑΛΗΨΗΣ ΚΥΡΟΠΟΥΛΟΣ ΚΩΝΣΤΑΝΤΙΝΟΣ. Τμήμα Διοίκηση Επιχειρήσεων (Κοζάνη)
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Η/Υ Ενότητα: ΔΟΜΕΣ ΕΠΑΝΑΛΗΨΗΣ ΚΥΡΟΠΟΥΛΟΣ ΚΩΝΣΤΑΝΤΙΝΟΣ Τμήμα Διοίκηση Επιχειρήσεων (Κοζάνη) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΕισαγωγή στην πληροφορική
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Εισαγωγή στην πληροφορική Ενότητα 1: Βασικές έννοιες της πληροφορικής Αγγελίδης Παντελής Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες Χρήσης Το
Διαβάστε περισσότεραΠΛΗ 405 Τεχνητή Νοηµοσύνη
ΠΛΗ 405 Τεχνητή Νοηµοσύνη Ικανο οίηση Περιορισµών Constraint Satisfaction Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Το ική αναζήτηση αναρρίχηση λόφων προσοµοιωµένη
Διαβάστε περισσότεραΕνότητα. Εισαγωγή στις βάσεις δεδομένων
Ενότητα 1 Εισαγωγή στις βάσεις δεδομένων 2 1.1 Βάσεις Δεδομένων Ένα βασικό στοιχείο των υπολογιστών είναι ότι έχουν τη δυνατότητα να επεξεργάζονται εύκολα και γρήγορα μεγάλο πλήθος δεδομένων και πληροφοριών.
Διαβάστε περισσότεραΚβαντική Επεξεργασία Πληροφορίας
Κβαντική Επεξεργασία Πληροφορίας Ενότητα 4: Κλασσική και Κβαντική Πιθανότητα Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σκοποί ενότητας Σκοπός της ενότητας
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 2: Γραφήματα
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 2: Γραφήματα Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες Χρήσης
Διαβάστε περισσότεραΔομές Δεδομένων Ενότητα 3
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 3: Στοίβα Απόστολος Παπαδόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΕυφυής Προγραμματισμός
Ευφυής Προγραμματισμός Ενότητα 6: Προβλήματα ΤΝ και Lisp Ιωάννης Χατζηλυγερούδης Πολυτεχνική Σχολή Τμήμα Μηχανικών Η/Υ & Πληροφορικής Περιεχόμενα ενότητας Προβλήματα ΤΝ και Lisp 1. Αναζήτηση και Στρατηγικές
Διαβάστε περισσότεραΕυφυής Προγραμματισμός
Ευφυής Προγραμματισμός Ιωάννης Χατζηλυγερούδης Πολυτεχνική Σχολή Τμήμα Μηχανικών Η/Υ & Πληροφορικής Περιεχόμενα ενότητας Συναρτήσεις-Δομές Ελέγχου : 1. Συναρτήσεις Χρήστη 2. Έλεγχος Ροής Προγράμματος 3.
Διαβάστε περισσότεραΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΗΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΑΦΗΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Ενότητα 10: Πρότυπα Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά
Διαβάστε περισσότεραΕισαγωγή στους Υπολογιστές
Εισαγωγή στους Υπολογιστές Εργαστήριο 2 Καθηγητές: Αβούρης Νικόλαος, Παλιουράς Βασίλης, Κουκιάς Μιχαήλ, Σγάρμπας Κυριάκος Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Άσκηση 2 ου εργαστηρίου
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Β Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2011-12... 3 1.1 Άσκηση 4...
Διαβάστε περισσότεραΟΡΟΛΟΓΙΑ -ΞΕΝΗ ΓΛΩΣΣΑ
ΟΡΟΛΟΓΙΑ -ΞΕΝΗ ΓΛΩΣΣΑ Ενότητα 5: Conditionals Σταυρούλα Ταβουλτζίδου ΜΗΧ/ΚΩΝ ΠΕΡΙΒΑΛ.&ΜΗΧ/ΚΩΝ ΑΝΤΙΡ.ΤΕ-ΜΗΧ/ΚΩΝ ΑΝΤΙΡΡΥΠΑΝΣΗΣ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative
Διαβάστε περισσότεραΝέες Τεχνολογίες και Καλλιτεχνική Δημιουργία
Παιδαγωγικό Τμήμα Νηπιαγωγών Νέες Τεχνολογίες και Καλλιτεχνική Δημιουργία Ενότητα # 2: Αρχεία Ψηφιακών εικόνων Θαρρενός Μπράτιτσης Παιδαγωγικό Τμήμα Νηπιαγωγών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Φροντιστήριο 2
Εισαγωγή στους Αλγορίθμους Φροντιστήριο 2 Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΕισαγωγή στην Διοίκηση Επιχειρήσεων
Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 9: ΑΣΚΗΣΕΙΣ ΕΠΙΛΟΓΗΣ ΤΟΠΟΥ ΕΓΚΑΤΑΣΤΑΣΗΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΔομημένος Προγραμματισμός
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Δομημένος Προγραμματισμός Ενότητα 5: Εντολές επανάληψης Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά
Διαβάστε περισσότεραΑλγόριθμοι και πολυπλοκότητα Συγχωνευτική Ταξινόμηση
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αλγόριθμοι και πολυπλοκότητα Συγχωνευτική Ταξινόμηση Ιωάννης Τόλλης Τμήμα Επιστήμης Υπολογιστών Συγχωνευτική Ταξινόμηση (Merge Sort) 7 2 9 4 2 4 7 9 7 2 2 7 9 4
Διαβάστε περισσότεραΤεχνοοικονομική Μελέτη
Τμήμα Μηχανολόγων Μηχανικών Τεχνοοικονομική Μελέτη Ενότητα 7: Σχέση μεταξύ εσόδων και ανάκτηση κεφαλαίου Σκόδρας Γεώργιος, Αν. Καθηγητής gskodras@uowm.gr Τμήμα Μηχανολόγων Μηχανικών Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΔιοίκηση Εξωτερικής Εμπορικής Δραστηριότητας
Διοίκηση Εξωτερικής Εμπορικής Δραστηριότητας Ενότητα 8: Αξιολόγηση και επιλογή αγορών στόχων από ελληνική εταιρία στον κλάδο παραγωγής και εμπορίας έτοιμου γυναικείου Καθ. Αλεξανδρίδης Αναστάσιος Δρ. Αντωνιάδης
Διαβάστε περισσότεραΕιδικά Θέματα Δικτύων Ι
Ειδικά Θέματα Δικτύων Ι Ενότητα 4: Στατικές διαδρομές Νικολάου Σπύρος Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΠληροφορική ΙΙ Θεματική Ενότητα 5
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Πληροφορική ΙΙ Θεματική Ενότητα 5 Λογικοί Τελεστές Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Φροντιστήριο 8
Εισαγωγή στους Αλγορίθμους Φροντιστήριο 8 Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΣχεδίαση Δικτύων Υπολογιστών
Σχεδίαση Δικτύων Υπολογιστών Ενότητα 6: Δρομολόγηση κατάστασης ζεύξης Άγγελος Μιχάλας Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΔιοικητική Λογιστική
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διοικητική Λογιστική Ενότητα 6: Μέθοδοι ς Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά Το έργο
Διαβάστε περισσότεραΜαθηματική Ανάλυση Ι
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Μαθηματική Ανάλυση Ι Ενότητα 10: Δυναμοσειρές Επίκουρος Καθηγητής Θ. Ζυγκιρίδης e-mail: tzygiridis@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Διαβάστε περισσότεραΔιεθνείς Οικονομικές Σχέσεις και Ανάπτυξη
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη Ενότητα 8: Η Οικονομική πολιτική της Ευρωπαϊκής Ένωσης Γρηγόριος Ζαρωτιάδης Άδειες Χρήσης Το
Διαβάστε περισσότεραΑλγόριθμοι και πολυπλοκότητα Η Άπληστη Μέθοδος
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αλγόριθμοι και πολυπλοκότητα Η Άπληστη Μέθοδος Ιωάννης Τόλλης Τμήμα Επιστήμης Υπολογιστών Η Άπληστη Μέθοδος Η Άπληστη Μέθοδος 1 Κύρια Σημεία και Διάβασμα Η Άπληστη
Διαβάστε περισσότεραΑνοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος
Διαβάστε περισσότεραΠρογραμματισμός H/Y Ενότητα 2: Εντολές ελέγχου ροής. Επικ. Καθηγητής Συνδουκάς Δημήτριος Τμήμα Διοίκησης Επιχειρήσεων (Γρεβενά)
Προγραμματισμός H/Y Ενότητα 2: Εντολές ελέγχου ροής Επικ. Καθηγητής Συνδουκάς Δημήτριος Τμήμα Διοίκησης Επιχειρήσεων (Γρεβενά) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative
Διαβάστε περισσότεραΑνοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος διατίθεται
Διαβάστε περισσότεραΤεχνολογία Πολιτισμικού Λογισμικού
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Τεχνολογία Πολιτισμικού Λογισμικού Ενότητα 12: SQL και πολιτισμικά δεδομένα Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και
Διαβάστε περισσότεραΘερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού σε κατάσταση Κορεσμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής
Ανοικτά Ακαδημαϊκά Μαθήματα Τεχνολογικό Εκπαιδευτικό Ίδρυμα Αθήνας Πίνακες Νερού σε κατάσταση Κορεσμού Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής Διπλ. Ναυπηγός Μηχανολόγος Μηχανικός M.Sc. Διασφάλιση
Διαβάστε περισσότεραΠρογραμματισμός Υπολογιστών & Υπολογιστική Φυσική
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Προγραμματισμός Υπολογιστών & Υπολογιστική Φυσική Ενότητα 4: Δομές Ελέγχου Νικόλαος Στεργιούλας Τμήμα Φυσικής Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΘεωρία Λήψης Αποφάσεων
Θεωρία Λήψης Αποφάσεων Ενότητα 6: Αλγόριθμοι Τοπικής Αναζήτησης Μπεληγιάννης Γρηγόριος Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διοίκησης Επιχειρήσεων Αγροτικών Προϊόντων & Τροφίμων (Δ.Ε.Α.Π.Τ.)
Διαβάστε περισσότεραΣυστήματα Αναμονής. Ενότητα 3: Στοχαστικές Ανελίξεις. Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ
Συστήματα Αναμονής Ενότητα 3: Στοχαστικές Ανελίξεις Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΠληροφοριακά Συστήματα Διοίκησης (ΜΒΑ) Ενότητα 3: Εφαρμογές Δικτυωτής Ανάλυσης (2 ο Μέρος)
Πληροφοριακά Συστήματα Διοίκησης (ΜΒΑ) Ενότητα 3: Εφαρμογές Δικτυωτής Ανάλυσης (2 ο Μέρος) Μπεληγιάννης Γρηγόριος Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διοίκησης Επιχειρήσεων Αγροτικών Προϊόντων
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Ψηφιακή Οικονομία Άσκηση αυτοαξιολόγησης 4 Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών CS-593 Game Theory 1. For the game depicted below, find the mixed strategy
Διαβάστε περισσότεραΜαθηματική Ανάλυση Ι
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Μαθηματική Ανάλυση Ι Ενότητα 4: Συναρτήσεις Επίκ. Καθηγητής Θ. Ζυγκιρίδης e-mail: tzygiridis@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Ενότητα 10η
Εισαγωγή στους Αλγορίθμους Ενότητα 10η Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΑνοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Β Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2007-08... 3 1.1 Άσκηση 5...
Διαβάστε περισσότεραΣχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 11: ΠΡΟΒΛΗΜΑ ΔΙΑΤΡΕΞΗΣ ΓΡΑΦΗΜΑΤΟΣ
Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 11: ΠΡΟΒΛΗΜΑ ΔΙΑΤΡΕΞΗΣ ΓΡΑΦΗΜΑΤΟΣ Δημήτριος Κουκόπουλος Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διαχείρισης Πολιτισμικού Περιβάλλοντος και Νέων Τεχνολογιών
Διαβάστε περισσότεραΚοινωνιολογία της Εκπαίδευσης
Παιδαγωγικό Τμήμα Νηπιαγωγών Κοινωνιολογία της Εκπαίδευσης Ενότητα 1: Εισαγωγή στην Κοινωνιολογία της Εκπαίδευσης Επίκ. Καθηγητής: Νίκος Φωτόπουλος e-mail: nfotopoulos@uowm.gr Τηλ. Επικοινωνίας: 23850-55150
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Kruskal
Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Kruskl Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Emil: zro@ei.uptrs.r Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΠληροφορική ΙΙ Ενότητα 1
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Πληροφορική ΙΙ Ενότητα 1: Εισαγωγή Θεματική Ενότητα: Εισαγωγή στον Προγραμματισμό Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός
Διαβάστε περισσότεραΛογιστική Κόστους. Ενότητα 4: ΣΥΜΠΕΡΙΦΟΡΑ - ΦΥΣΗ ΚΟΣΤΟΥΣ. Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής
Λογιστική Κόστους Ενότητα 4: ΣΥΜΠΕΡΙΦΟΡΑ - ΦΥΣΗ ΚΟΣΤΟΥΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότερα