At indføre den studerende i fundamentale algoritmer der spiller en afgørende rolle i moderne teknik.Buchbergers algoritme, Berlekamp-Masesey algoritmen, L^3 algoritmen og SAT algoritmer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Være i stand til at finde korte vektorer i et gitter.
Finde det korteste lineære skifteregister der producerer en given sekvens.
Afgøre om et givet Boolesk udtryk kan opfyldes.
Forstå begrebet Gröbner baser og Buchbergers algoritme
Beregne kompleksiteten af algoritmer
Anvende den udviklede teori i en række konkrete situationer
Redegøre for de trufne valg
Skrive en teknisk rapport
Kursusindhold:
Polynomier i flere variable, term ordninger, Gröbner baser, Buchbergers algoritme. Gitre , algoritmer til at finde korte vektorer i et gitter. Skifteregistersekvenser. Logik og opfyldelighedsproblemer.
