000			03165nam a2200301 u 4500
001			10107143
003			upatras
005			20210412071630.0
008			050804s gre
040			_aΙνστιτούτο Τεχνολογίας Υπολογιστών _cΙνστιτούτο Τεχνολογίας Υπολογιστών
040			_aXX-XxUND _cΙνστιτούτο Τεχνολογίας Υπολογιστών
245	1	0	_aΗ Μετάβαση Φάσης στο Random - SAT ('νω φράγματα στο κατώφλι μη - ικανοποιησιμότητας) _bΔιπλωματική εργασία. Πανεπιστήμιο Πατρών. [Πολυτεχνική Σχολή] Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής _cΙωάννης Γραμματικόπουλος; Ε. Κυρούσης επιβλέπων καθ.
260			_aΠάτρα _bΠανεπιστήμιο Πατρών. Τμήμα ΤΜΗΥΠ _c2003
300			_aiii,60σ.
300			_aσχημ.
504			_aΒιβλιογραφία : σσ. 57 - 60
505	1		_a1. Εισαγωγή _a1.1 Η μετάβαση φάσης στο πρόβλημα SAT _a1.2 Μετάβαση φάσης και αλγοριθμική πολυπλοκότητα _a2. Η Μέθοδος των τοπικών μεγίστων _a2.1 Ορολογία και μοντέλα για τυχαίους λογικούς τύπους και γραφήματα _a2.2 Η Μέθοδος της πρώτης ροπής _a2.3 Η μέθοδος των local - maxima _a2.4 Η Γενίκευση της μεθόδου _a3. Η μέθοδος των single -flips _a3.1 Η περιγραφή της μεθόδου sihgle - flips _a3.2 Βελτιστοποίηση στη μέθοδο των single - flips _a4. Η μέθοδος των double - flips _a4.1 Εισαγωγή στη μέθοδο των double - flips _a4.2 Συσχετισμοί γεγονότων μπλοκαρίσματος των double - flips _a4.3 Υπολογισμός του φράγματος με τη μέθοδο των double - flips _a5. Προοπτικές εξέλιξης της μεθόδου Local Maxima _a5.1 Βέλτιστη εκμετάλευση των double - flips _a5.2 Η μέθοδος Local Maxima στο 3 - coloring _a5.3 Απόπειρες μέτρησης των double - flips στο 3 -coloring _a5.4 Απόπειρες μέτρησης των double - flips στο 3 -SAT _a5.5 Καλύτερη τιμή άνω φράγματος στο 3 - SAT _a5.6 τα k - flips το 3 - coloring _aΒιβλιογραφία
650		4	_aΠτυχιακή Εργασία _9125162
650		4	_aΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 2003 _9127182
650		4	_aΥπολογιστική πολυπλοκότητα _976422
650		4	_aΠΡΟΒΛΗΜΑ SAT _9128077
650		4	_aΠΙΘΑΝΟΤΙΚΗ ΜΕΘΟΔΟΣ _9123183
650		4	_aΠιθανότητες _9199
700	1		_aΚυρούσης, Λευτέρης Μ. _911239
700	1		_9128078 _aΓραμματικόπουλος, Ιωάννης _4aut
942			_2ddc
999			_c93294 _d93294