Προβολή πηγαίου κώδικα για τη σελίδα Εισαγωγή στην Υπολογιστική Πολυπλοκότητα (ΜΑΕ542)

* [[Introduction to Computational Complexity (MAE542)|English version]]
{{Course-UnderGraduate-Top-GR}}

=== Γενικά ===

{| class="wikitable"
|-
! Σχολή
| Σχολή Θετικών Επιστημών
|-
! Τμήμα
| Τμήμα Μαθηματικών
|-
! Επίπεδο Σπουδών
| Προπτυχιακό
|-
! Κωδικός Μαθήματος
| MAE542
|-
! Εξάμηνο
| 5
|-
! Τίτλος Μαθήματος
| ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ
|-
! Αυτοτελείς Διδακτικές Δραστηριότητες
| Διαλέξεις, Ασκήσεις και Εργασίες (Εβδομαδιαίες Ώρες Διδασκαλίας: 3, Πιστωτικές Μονάδες: 6)
|-
! [[Τύποι Προπτυχιακών Μαθημάτων|Τύπος Μαθήματος]]
| Ειδίκευσης
|-
! Προαπαιτούμενα Μαθήματα
|
|-
! Γλώσσα Διδασκαλίας και Εξετάσεων
| Ελληνική
|-
! Το Μάθημα Προσφέρεται σε Φοιτητές Erasmus
| Ναι (στην Αγγλική γλώσσα)
|-
! Ηλεκτρονική Σελίδα Μαθήματος (URL)
| Δείτε το [https://ecourse.uoi.gr/ eCourse], την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.
|}

=== Μαθησιακά Αποτελέσματα ===

{| class="wikitable"
|-
! Μαθησιακά Αποτελέσματα
|
* Ο κύριος σκοπός του μαθήματος είναι η εισαγωγή στην έννοια της πολυπλοκότητας χρόνου και χώρου για την επίλυση δύσκολων προβλημάτων.
* Η έννοια της πολυπλοκότητας επίλυσης προβλημάτων. Μηχανές Turing, μη-ντετερμινισμός και ντετερμινισμός, η μέθοδος της διαγωνοποίησης, αποφασίσιμες και μη αποφασίσιμες γλώσσες - το HALTING PROBLEM είναι μη αποφασίσιμο. 
* Το θεώρημα του Rice, το θεώρημα της αναδρομής, το θεώρημα Smn. Μέτρηση πολυπλοκότητας (χρόνος και χώρος), ασυμπτωτικές εκφράσεις και συμβολισμοί, περιορισμοί στους πόρους υπολογισμού, οι κλάσεις P, NP, PSPACE. Το Θεμελιώδες ερώτημα αν P=NP. 
* Το θεώρημα του Savitch, σχέσεις μεταξύ κλάσεων πολυπλοκότητας, η ιεραρχία κλάσεων DSPACE και DTIME. Πολυωνυμικές αναγωγές, το θεώρημα του Cook: το Πρόβλημα της Ικανοποιησιμότητας Λογικών Εκφράσεων (SAT) είναι NP-πλήρες. 
* Μέθοδοι απόδειξης NP-πληρότητας προβλημάτων. 
* Η πολυωνυμική ιεραρχία χρόνου, PSPACE-πλήρη προβλήματα και το πρόβλημα QBF, αποδεδειγμένα δύσκολα υπολογιστικά προβλήματα. Αλγόριθμοι Monte Carlo και Las Vegas.
* Στο μάθημα περιλαμβάνονται ατομικές ασκήσεις. 
* Στόχος του μαθήματος είναι οι φοιτητές να είναι σε θέση:
*# να κατανοήσουν τις κλάσεις πολυπλοκότητας,
*# να επεκτείνουν τις μεθόδους επίλυσης δύσκολων προβλημάτων, και
*# να αντιλαμβάνονται δύσκολα επιλύσιμα προβλήματα με αναγωγές. 
|-
! Γενικές Ικανότητες
|
* Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών 
* Αυτόνομη εργασία
* Εργασία σε διεπιστημονικό περιβάλλον 
|}

=== Περιεχόμενο Μαθήματος ===

* ΝΡ και υπολογιστική δυσεπιλυσιμότητα
* Η κλάση PSPACE 
* Επέκταση των ορίων επιλυσιμότητας
* Προσεγγιστικοί Αλγόριθμοι
* Τοπική Αναζήτηση
* Τυχαιοποιημένοι Αλγόριθμοι. 

=== Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση ===

{| class="wikitable"
|-
! Τρόπος Παράδοσης
| Στην τάξη
|-
! Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
| Υποστήριξη Μαθησιακής διαδικασίας μέσω της ηλεκτρονικής πλατφόρμας e-class
|-
! Οργάνωση Διδασκαλίας
|
{| class="wikitable"
! Δραστηριότητα
! Φόρτος Εργασίας Εξαμήνου
|-
| Διαλέξεις (13Χ3)
| 39
|-
| Αυτοτελής Μελέτη
| 78
|-
| Επίλυση Ασκήσεων - εργασίες
| 33
|-
| Σύνολο Μαθήματος
| 150
|}
|-
! Αξιολόγηση Φοιτητών
|
* Γραπτή Τελική Εξέταση (70%)
* Εργασίες / Ασκήσεις (30%)
|}

=== Συνιστώμενη Βιβλιογραφία ===

<!-- Για να επεξεργαστείτε την βιβλιογραφία, επισκευτείτε την σελίδα -->
<!-- https://wiki.math.uoi.gr/index.php/%CE%A0%CF%81%CF%8C%CF%84%CF%85%CF%80%CE%BF:MAE542-Biblio -->

Δείτε την υπηρεσία [https://service.eudoxus.gr/public/departments#20 Εύδοξος] ή το [https://cloud.math.uoi.gr/index.php/s/62t8WPCwEXJK7oL τοπικό αποθετήριο] του Τμήματος Μαθηματικών για τα παρεχόμενα συγγράμματα ανά ακαδημαϊκό έτος. Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:

{{MAE542-Biblio}}