Programmeerimiskeel
piisavalt infot (a la travelling salesman, malemäng jne)
•Selgub, et iga täpselt formuleeritud probleemi jaoks ei
leidugi lahendavat algoritmi!
•Vähe sellest: kui võtta “juhuslik” probleem, siis
tõenäosus, et lahendav algoritm leidub, on lõpmatult
väike!
ITK 2007, Kalev Pihl
Sissejuhatus informaatikasse
24
Lahenduvuse uurimise sisu
.Uuritakse, millistele ülesannetele on algoritme, millistele ei
.Uuritakse, mis ülseande lahendamine taandub teisele
ülesandele
.Uuritakse lahendumis, poollahendumist, kreatiivseid hulki jne
jne
.Uuritakse lõpmatuse struktuuri, mis on kirjeldamatult
keeruline
.Uuritakse lahendumise struktuuri, mis on kirjeldamatult
keeruline
.Uuritakse loogikaklasside lahendumise taandumist muudele
ülesannetele
.....
ITK 2007, Kalev Pihl
Sissejuhatus informaatikasse
25
Intuitiivne selgitus lahendamatusele
•Selleks näitame:
.Algoritme on sama palju, kui täisarve
.Probleeme on sama palju reaalarve
.Reaalarve on rohkem kui täisarve