Prax 2: lausearvutuse lahendajatega eksperimenteerimine

Allikas: Lambda

Selle ülesande sisuks on:

  • Katsetada veidi [1] lehel olevate erinevate algoritmidega: leia iga kolme algoritmi jaoks (naiivseid pole vaja kasutada) mittetriviaalne ülesanne, mida see algoritm teeb oluliselt kiiremini, kui teised algoritmid. Eeskätt siis leia tabeli ja resolutsioonimeetodi jaoks ülesanded, mis nende puhul lahenduvad oluliselt kiiremini kui dpll-ga. Võibolla see ei õnnestu.

Tee tulemustest väike presentatsioon ja kanna praksis ette, aega selleks ca 5 minutit.