21 Διάλεξη (16/05/2024): Απεικονιστικές Αναγωγές Πολυωνυμικού Χρόνου

Πέμπτη, 16 Μαΐου 2024 - 1:02 μ.μ.
- από τον χρήστη Τσίχλας Κωνσταντινος

Ύλη:

  1. Απεικονιστικές Αναγωγές Πολυωνυμικού Χρόνου
  2. Αναγωγή στην Κλάση P
  3. Το Πρόβλημα της Αληθευσιμότητας Λογικού Τύπου
  4. Αναγωγή από 3SAT σε ΚΛΙΚΑ
  5. Αναγωγή μεταξύ των Προβλημάτων ΑΝΕΞΑΡΤΗΤΟ_ΣΥΝΟΛΟ και ΚΛΙΚΑ

Sipser σελ. 357-362

Υλικό:

Διαφάνειες σελ. 1-30

Αντίστοιχη διάλεξη μέσω zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: το περιεχόμενο μπορεί να μη συμπίπτει ακριβώς με την αντίστοιχη διάλεξη στην αίθουσα. 

Σχόλια (0)