Στοιχεία MARC
| 000 -LEADER |
|---|
| fixed length control field |
03165nam a2200301 u 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
10107143 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
upatras |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210412071630.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
050804s gre |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
Ινστιτούτο Τεχνολογίας Υπολογιστών |
| Transcribing agency |
Ινστιτούτο Τεχνολογίας Υπολογιστών |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
XX-XxUND |
| Transcribing agency |
Ινστιτούτο Τεχνολογίας Υπολογιστών |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Η Μετάβαση Φάσης στο Random - SAT ('νω φράγματα στο κατώφλι μη - ικανοποιησιμότητας) |
| Remainder of title |
Διπλωματική εργασία. Πανεπιστήμιο Πατρών. [Πολυτεχνική Σχολή] Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής |
| Statement of responsibility, etc. |
Ιωάννης Γραμματικόπουλος; Ε. Κυρούσης επιβλέπων καθ. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Πάτρα |
| Name of publisher, distributor, etc. |
Πανεπιστήμιο Πατρών. Τμήμα ΤΜΗΥΠ |
| Date of publication, distribution, etc. |
2003 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
iii,60σ. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
σχημ. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Βιβλιογραφία : σσ. 57 - 60 |
| 505 1# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1. Εισαγωγή |
| -- |
1.1 Η μετάβαση φάσης στο πρόβλημα SAT |
| -- |
1.2 Μετάβαση φάσης και αλγοριθμική πολυπλοκότητα |
| -- |
2. Η Μέθοδος των τοπικών μεγίστων |
| -- |
2.1 Ορολογία και μοντέλα για τυχαίους λογικούς τύπους και γραφήματα |
| -- |
2.2 Η Μέθοδος της πρώτης ροπής |
| -- |
2.3 Η μέθοδος των local - maxima |
| -- |
2.4 Η Γενίκευση της μεθόδου |
| -- |
3. Η μέθοδος των single -flips |
| -- |
3.1 Η περιγραφή της μεθόδου sihgle - flips |
| -- |
3.2 Βελτιστοποίηση στη μέθοδο των single - flips |
| -- |
4. Η μέθοδος των double - flips |
| -- |
4.1 Εισαγωγή στη μέθοδο των double - flips |
| -- |
4.2 Συσχετισμοί γεγονότων μπλοκαρίσματος των double - flips |
| -- |
4.3 Υπολογισμός του φράγματος με τη μέθοδο των double - flips |
| -- |
5. Προοπτικές εξέλιξης της μεθόδου Local Maxima |
| -- |
5.1 Βέλτιστη εκμετάλευση των double - flips |
| -- |
5.2 Η μέθοδος Local Maxima στο 3 - coloring |
| -- |
5.3 Απόπειρες μέτρησης των double - flips στο 3 -coloring |
| -- |
5.4 Απόπειρες μέτρησης των double - flips στο 3 -SAT |
| -- |
5.5 Καλύτερη τιμή άνω φράγματος στο 3 - SAT |
| -- |
5.6 τα k - flips το 3 - coloring |
| -- |
Βιβλιογραφία |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Πτυχιακή Εργασία |
| 9 (RLIN) |
125162 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 2003 |
| 9 (RLIN) |
127182 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Υπολογιστική πολυπλοκότητα |
| 9 (RLIN) |
76422 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
ΠΡΟΒΛΗΜΑ SAT |
| 9 (RLIN) |
128077 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
ΠΙΘΑΝΟΤΙΚΗ ΜΕΘΟΔΟΣ |
| 9 (RLIN) |
123183 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Πιθανότητες |
| 9 (RLIN) |
199 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Κυρούσης, Λευτέρης Μ. |
| 9 (RLIN) |
11239 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| 9 (RLIN) |
128078 |
| Personal name |
Γραμματικόπουλος, Ιωάννης |
| Relator code |
aut |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
