Υπολογιστική Πολυπλοκότητα 23-24 (CEID_NY302)
21 Διάλεξη (16/05/2024): Απεικονιστικές Αναγωγές Πολυωνυμικού Χρόνου
Πέμπτη, 16 Μαΐου 2024 - 1:02 μ.μ.
- από τον χρήστη Τσίχλας ΚωνσταντινοςΎλη:
- Απεικονιστικές Αναγωγές Πολυωνυμικού Χρόνου
- Αναγωγή στην Κλάση P
- Το Πρόβλημα της Αληθευσιμότητας Λογικού Τύπου
- Αναγωγή από 3SAT σε ΚΛΙΚΑ
- Αναγωγή μεταξύ των Προβλημάτων ΑΝΕΞΑΡΤΗΤΟ_ΣΥΝΟΛΟ και ΚΛΙΚΑ
Sipser σελ. 357-362
Υλικό:
Διαφάνειες σελ. 1-30
Αντίστοιχη διάλεξη μέσω zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: το περιεχόμενο μπορεί να μη συμπίπτει ακριβώς με την αντίστοιχη διάλεξη στην αίθουσα.
Σχόλια (0)