Undergraduate Elective 1037: Διαφορά μεταξύ των αναθεωρήσεων

Από Περιγράμματα - Τμήμα Μαθηματικών
Μετάβαση σε: πλοήγηση, αναζήτηση
← Παλαιότερη επεξεργασία
ΟπτικήΚώδικας wiki
Ktzuvara (συζήτηση | συνεισφορές)
1.844 επεξεργασίες
Ktzuvara (συζήτηση | συνεισφορές)
1.844 επεξεργασίες
 
(6 ενδιάμεσες εκδόσεις από 2 χρήστες δεν εμφανίζονται)
Γραμμή 9: Γραμμή 9:


<div id="pills-gr" class="tab-pane fade show active" role="tabpanel" aria-labelledby="pills-gr-tab" style="text-align:left;">
<div id="pills-gr" class="tab-pane fade show active" role="tabpanel" aria-labelledby="pills-gr-tab" style="text-align:left;">
<div align = center>
== '''Εισαγωγή στην Υπολογιστική Πολυπλοκότητα''' ==
</div>


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


Γραμμή 81: Γραμμή 89:
|
|
* ΝΡ και υπολογιστική δυσεπιλυσιμότητα
* ΝΡ και υπολογιστική δυσεπιλυσιμότητα
* Η κλάση PSPACE
* Η κλάση PSPACE 
* Επέκταση των ορίων επιλυσιμότητας
* Επέκταση των ορίων επιλυσιμότητας
* Προσεγγιστικοί Αλγόριθμοι
* Προσεγγιστικοί Αλγόριθμοι
Γραμμή 92: Γραμμή 100:
{| class="wikitable"
{| class="wikitable"
|-
|-
! Τρόπος Παράδοσης
! Τρόπος Διδασκαλίας
| Στην τάξη
| Στην τάξη.
|-
! Τρόπος και Συχνότητα Επικοινωνίας με Φοιτητές
| Η επικοινωνία με τους φοιτητές γίνεται:
* Μέσω email.
* Δια ζώσης στο γραφείο.
* Κατά τη διάρκεια των διαλέξεων.
 
Η συχνότητα επικοινωνίας με τους φοιτητές καθορίζεται από τις ανάγκες των φοιτητών.
|-
! Διασφάλιση Τρόπου Επικοινωνίας Μεταξύ Φοιτητών
| Συνέργεια στα πλαίσια της παράδοσης του μαθήματος.
|-
|-
! Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
! Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
| Υποστήριξη Μαθησιακής διαδικασίας μέσω της ηλεκτρονικής πλατφόρμας e-class
| Υποστήριξη Μαθησιακής διαδικασίας μέσω της ηλεκτρονικής πλατφόρμας e-class.
|-
! Απαιτούμενος Τεχνολογικός Εξοπλισμός και Γνώσεις Τεχνολογίας
| Δεν απαιτείται τεχνολογικός εξοπλισμός, καθώς παρέχεται. Δεν απαιτούνται εξειδικευμένες γνώσεις τεχνολογίας.
|-
! Πολιτική Μαθήματος για τη Λογοκλοπή και Εργαλεία Ελέγχου Λογοκλοπής
| Η λογοκλοπή απαγορεύεται ρητά και τιμωρείται κλιμακούμενα, ανάλογα με την επανάληψη της χρήσης της. Ελέγχεται, δε, με σχετικά εργαλεία όπως το "Turnitin", που παρέχει η Βιβλιοθήκη του Πανεπιστημίου.
|-
! Πολιτική Μαθήματος για τη Χρήση Τεχνητής Νοημοσύνης
| Επιτρέπεται η χρήση Τεχνητής Νοημοσύνης κατόπιν άδειας από τον διδάσκοντα/τη διδάσκουσα.
|-
|-
! Οργάνωση Διδασκαλίας
! Οργάνωση Διδασκαλίας
|
|
{| class="wikitable"
{| class="wikitable" style="width: 100%;"
! Δραστηριότητα
! Δραστηριότητα
! Φόρτος Εργασίας Εξαμήνου
! Φόρτος Εργασίας Εξαμήνου
|-
|-
| Διαλέξεις (13Χ3)
| Διαλέξεις (13Χ3)
| 39
| style="text-align: center;" |39
|-
|-
| Αυτοτελής Μελέτη
| Αυτοτελής Μελέτη
| 78
| style="text-align: center;" |78
|-
|-
| Επίλυση Ασκήσεων - εργασίες
| Επίλυση Ασκήσεων - εργασίες
| 33
| style="text-align: center;" |33
|-
|-
| Σύνολο Μαθήματος
| Σύνολο Μαθήματος
| 150
| style="text-align: center;" |150
|}
|}
|-
|-
Γραμμή 131: Γραμμή 159:


<div id="pills-en" class="tab-pane fade" role="tabpanel" aria-labelledby="pills-en-tab" style="text-align:left;">
<div id="pills-en" class="tab-pane fade" role="tabpanel" aria-labelledby="pills-en-tab" style="text-align:left;">
<div align = center>
== '''Introduction to Computational Complexity''' ==
</div>


=== General ===
=== General ===
Γραμμή 151: Γραμμή 184:
|-
|-
! Course Title
! Course Title
| Introduction to Computational Complexity
| Introduction to Computational Complexity 
|-
|-
! Independent Teaching Activities
! Independent Teaching Activities
Γραμμή 165: Γραμμή 198:
! Language of Instruction and Examinations
! Language of Instruction and Examinations
| Greek
| Greek
|-
! Mode of Course Delivery
| Face-to-face (100%)
|-
|-
! Is the Course Offered to Erasmus Students
! Is the Course Offered to Erasmus Students
Γραμμή 179: Γραμμή 215:
| This course aims at introducing to students the concepts of time and space complexities for solving difficult problems. After successfully passing this course the students will be able to:
| This course aims at introducing to students the concepts of time and space complexities for solving difficult problems. After successfully passing this course the students will be able to:
* Understand complexity classes
* Understand complexity classes
* Push further techniques for solving difficult problems
* Push further techniques for solving difficult problems 
* Understand difficult problems by using reductions.
* Understand difficult problems by using reductions.
|-
|-
Γραμμή 194: Γραμμή 230:
|
|
* ΝΡ and Computational Intractibility
* ΝΡ and Computational Intractibility
* The class of PSPACE
* The class of PSPACE 
* Extending the limits of tractability
* Extending the limits of tractability 
* Approximation Algorithms
* Approximation Algorithms 
* Local search.  
* Local search. 
* Randomized algorithms
* Randomized algorithms
|}
|}
Γραμμή 204: Γραμμή 240:
{| class="wikitable"
{| class="wikitable"
|-
|-
! Delivery
! Mode of Instruction
|
| Lectures.
Lectures
|-
! Mode and Frequency of Communication with Students
| Communication with students takes place through:
* Email.
* In-person meetings during office hours.
* During lectures.
 
The frequency of communication with students is determined by their needs.
|-
! Ensuring Communication Among Students
| Collaboration and interaction are encouraged within the context of course delivery.
|-
|-
! Use of Information and Communications Technology
! Use of Information and Communications Technology
| Use of projector and interactive board during lectures.
| Use of projector and interactive board during lectures.
|-
! Required Technological Equipment and Technology Skills
| No technological equipment is required from students, as all necessary equipment is provided. No specialized technology skills are required.
|-
! Course Policy on Plagiarism and Plagiarism Detection Tools
| Plagiarism is strictly prohibited and is subject to progressively stricter penalties in the event of repeated offenses. It is monitored using plagiarism detection tools such as Turnitin, which is provided by the University Library.
|-
! Course Policy on the Use of Artificial Intelligence
| The use of Artificial Intelligence is permitted only with the prior approval of the instructor.
|-
|-
! Teaching Methods
! Teaching Methods
|
|
{| class="wikitable"
{| class="wikitable" style="width: 100%;"
! Activity
! Activity
! Semester Workload
! Semester Workload
|-
|-
| Lectures
| Lectures
| 39
| style="text-align: center;" |39
|-
|-
| Working independently
| Working independently
| 78
| style="text-align: center;" |78
|-
|-
| Exercises-Homeworks
| Exercises-Homeworks
| 33
| style="text-align: center;" |33
|-
|-
| Course total
| Course total 
| 150
| style="text-align: center;" |150
|}
|}
|-
|-
Γραμμή 243: Γραμμή 298:


<div style="text-align:left;">
<div style="text-align:left;">
* Computational Complexity, Christos Papadimitriou.  
* Computational Complexity, Christos Papadimitriou. 
* Computers and Intractability, M. R. Garey and D. S. Johnson.
* Computers and Intractability, M. R. Garey and D. S. Johnson.
* J. Kleinberg and E. Tardos, Σχεδιασμός Αλγορίθμων, ελληνική έκδοση, Εκδόσεις Κλειδάριθμος, 2008
* J. Kleinberg and E. Tardos, Σχεδιασμός Αλγορίθμων, ελληνική έκδοση, Εκδόσεις Κλειδάριθμος, 2008 
* T. Cormen, C. Leiserson, R. Rivest, and C. Stein, Εισαγωγή στους Αλγορίθμους, ελληνική έκδοση, Πανεπιστημιακές Εκδόσεις Κρήτης, 2012.
* T. Cormen, C. Leiserson, R. Rivest, and C. Stein, Εισαγωγή στους Αλγορίθμους, ελληνική έκδοση, Πανεπιστημιακές Εκδόσεις Κρήτης, 2012.


Τελευταία αναθεώρηση της 13:03, 6 Ιουλίου 2026



Γενικά

Σχολή Σχολή Θετικών Επιστημών
Τμήμα Τμήμα Μαθηματικών
Επίπεδο Σπουδών Προπτυχιακό
Κωδικός Μαθήματος MAE542
Εξάμηνο 5
Τίτλος Μαθήματος Εισαγωγή στην Υπολογιστική Πολυπλοκότητα
Αυτοτελείς Διδακτικές Δραστηριότητες Διαλέξεις, Ασκήσεις και Εργασίες (Εβδομαδιαίες Ώρες Διδασκαλίας: 3, Πιστωτικές Μονάδες: 6)
Τύπος Μαθήματος Ειδίκευσης
Προαπαιτούμενα Μαθήματα
Γλώσσα Διδασκαλίας και Εξετάσεων Ελληνική
Τρόπος Διεξαγωγής Μαθήματος Δια ζώσης (100%)
Το Μάθημα Προσφέρεται σε Φοιτητές Erasmus Ναι (στην Αγγλική γλώσσα)
Ηλεκτρονική Σελίδα Μαθήματος (URL) Δείτε το eCourse, την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.

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

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

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

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

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

Τρόπος Διδασκαλίας Στην τάξη.
Τρόπος και Συχνότητα Επικοινωνίας με Φοιτητές Η επικοινωνία με τους φοιτητές γίνεται:
  • Μέσω email.
  • Δια ζώσης στο γραφείο.
  • Κατά τη διάρκεια των διαλέξεων.

Η συχνότητα επικοινωνίας με τους φοιτητές καθορίζεται από τις ανάγκες των φοιτητών.

Διασφάλιση Τρόπου Επικοινωνίας Μεταξύ Φοιτητών Συνέργεια στα πλαίσια της παράδοσης του μαθήματος.
Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών Υποστήριξη Μαθησιακής διαδικασίας μέσω της ηλεκτρονικής πλατφόρμας e-class.
Απαιτούμενος Τεχνολογικός Εξοπλισμός και Γνώσεις Τεχνολογίας Δεν απαιτείται τεχνολογικός εξοπλισμός, καθώς παρέχεται. Δεν απαιτούνται εξειδικευμένες γνώσεις τεχνολογίας.
Πολιτική Μαθήματος για τη Λογοκλοπή και Εργαλεία Ελέγχου Λογοκλοπής Η λογοκλοπή απαγορεύεται ρητά και τιμωρείται κλιμακούμενα, ανάλογα με την επανάληψη της χρήσης της. Ελέγχεται, δε, με σχετικά εργαλεία όπως το "Turnitin", που παρέχει η Βιβλιοθήκη του Πανεπιστημίου.
Πολιτική Μαθήματος για τη Χρήση Τεχνητής Νοημοσύνης Επιτρέπεται η χρήση Τεχνητής Νοημοσύνης κατόπιν άδειας από τον διδάσκοντα/τη διδάσκουσα.
Οργάνωση Διδασκαλίας
Δραστηριότητα Φόρτος Εργασίας Εξαμήνου
Διαλέξεις (13Χ3) 39
Αυτοτελής Μελέτη 78
Επίλυση Ασκήσεων - εργασίες 33
Σύνολο Μαθήματος 150
Αξιολόγηση Φοιτητών
  • Γραπτή Τελική Εξέταση (70%)
  • Εργασίες / Ασκήσεις (30%)

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

Δείτε την υπηρεσία Εύδοξος. Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:

Introduction to Computational Complexity


General

School School of Science
Academic Unit Department of Mathematics
Level of Studies Undergraduate
Course Code MAE542
Semester 5
Course Title Introduction to Computational Complexity 
Independent Teaching Activities Lectures, exercises, tutorials

(Weekly Teaching Hours: 3, Credits: 6)

Course Type Special Background
Prerequisite Courses -
Language of Instruction and Examinations Greek
Mode of Course Delivery Face-to-face (100%)
Is the Course Offered to Erasmus Students Yes
Course Website (URL) See eCourse, the Learning Management System maintained by the University of Ioannina.

Learning Outcomes

Learning outcomes This course aims at introducing to students the concepts of time and space complexities for solving difficult problems. After successfully passing this course the students will be able to:
  • Understand complexity classes
  • Push further techniques for solving difficult problems 
  • Understand difficult problems by using reductions.
General Competences
  • Search for, analysis and synthesis of data and information, with the use of the necessary technology
  • Working independently
  • Team work
  • Project planning and management

Syllabus

  • ΝΡ and Computational Intractibility
  • The class of PSPACE 
  • Extending the limits of tractability 
  • Approximation Algorithms 
  • Local search. 
  • Randomized algorithms

Teaching and Learning Methods - Evaluation

Mode of Instruction Lectures.
Mode and Frequency of Communication with Students Communication with students takes place through:
  • Email.
  • In-person meetings during office hours.
  • During lectures.

The frequency of communication with students is determined by their needs.

Ensuring Communication Among Students Collaboration and interaction are encouraged within the context of course delivery.
Use of Information and Communications Technology Use of projector and interactive board during lectures.
Required Technological Equipment and Technology Skills No technological equipment is required from students, as all necessary equipment is provided. No specialized technology skills are required.
Course Policy on Plagiarism and Plagiarism Detection Tools Plagiarism is strictly prohibited and is subject to progressively stricter penalties in the event of repeated offenses. It is monitored using plagiarism detection tools such as Turnitin, which is provided by the University Library.
Course Policy on the Use of Artificial Intelligence The use of Artificial Intelligence is permitted only with the prior approval of the instructor.
Teaching Methods
Activity Semester Workload
Lectures 39
Working independently 78
Exercises-Homeworks 33
Course total  150
Student Performance Evaluation
  • Final written examination (70%)
  • Exercises / Homework (30%)

Attached Bibliography

See the official Eudoxus site. Books and other resources, not provided by Eudoxus:

  • Computational Complexity, Christos Papadimitriou. 
  • Computers and Intractability, M. R. Garey and D. S. Johnson.
  • J. Kleinberg and E. Tardos, Σχεδιασμός Αλγορίθμων, ελληνική έκδοση, Εκδόσεις Κλειδάριθμος, 2008 
  • T. Cormen, C. Leiserson, R. Rivest, and C. Stein, Εισαγωγή στους Αλγορίθμους, ελληνική έκδοση, Πανεπιστημιακές Εκδόσεις Κρήτης, 2012.


Ανακτήθηκε από «https://outlines.math.uoi.gr/index.php?title=Undergraduate_Elective_1037&oldid=2226»