Kombinatoorikaprobleemide lahendamine lausearvutuse ja programmeerimise abil

Organization
TÜ ATI
Abstract
Mõned graafidega seotud kirjeldamisprobleemid on olnud kaua lahtised ja ei ole siiani leidnud lahendust. Täpsemalt huvitavad mind probleemid, kus teatava graafide klassi jaoks on küll olemas kirjeldus, kuid see on ebaefektiivne selle omaduse kontrolliks. Näiteks graatsiliste graafide (graceful graphs) probleem, graatsiliste puude probleem, jne.

Üks võimalik lähenemisviis sellistele probleemidele on üritada probleemi kirjeldada lausearvutuse valemitega ja olemasolevate kehtestavate väärtuste loendajatega leida kirjeldustele vastavate mudelite arvu. Kui loodud kirjelduse mudelite arv on "lähedal" "õigele", siis võime midagi oletada enda kirjelduse õigsuse kohta. Töö eeldab nii lausearvutusvalemitega ümberkäimist, programmeerimist ja loomulikult kirjanduse otsimist.
Graduation Theses defence year
2017-2018
Supervisor
Ahti Peder
Spoken language (s)
Estonian
Requirements for candidates
Level
Bachelor, Masters
Keywords

Application of contact

 
Name
Ahti Peder
Phone
E-mail
ahti.peder@ut.ee