Prax 2: lausearvutuse lahendajatega eksperimenteerimine: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Uus lehekülg: ' Selle ülesande sisuks on: * Pane endal käima vähemalt kaks erinevat olemasolevat, tuntud ja võimsat lausearvutuse lahendajat. * Otsi erinevaid ülesande-näidete komplekte....' |
Resümee puudub |
||
| 6. rida: | 6. rida: | ||
* Proovi lahendajaid keerukamatel näidetel: | * Proovi lahendajaid keerukamatel näidetel: | ||
** leia mõned näited, mida kumbki lahendaja ei suuda ntx 10 sekundi jooksul lahendada | ** leia mõned näited, mida kumbki lahendaja ei suuda ntx 10 sekundi jooksul lahendada | ||
** leia mõned näited, mida üks lahendaja suudab, aga teine ei suuda ntx 10 sekundi jooksul lahendada (mõned võiks | ** leia mõned näited, mida üks lahendaja suudab, aga teine ei suuda ntx 10 sekundi jooksul lahendada (mõned võiks olla SAT ja mõned mitte-sat näited) | ||
** vaata, kas lahendajal on mingid valitavad otsingustrateegiad: kui jah, siis proovi lahendaja strateegiat sättida, nii et ta suudaks sättimise järel lahendada mõne ülesande, mida ta ilma sättimata ei suutnud | ** vaata, kas lahendajal on mingid valitavad otsingustrateegiad: kui jah, siis proovi lahendaja strateegiat sättida, nii et ta suudaks sättimise järel lahendada mõne ülesande, mida ta ilma sättimata ei suutnud | ||
* Hea mõte - ei ole otse kohustuslik - on genereerida ise ülesandeid, mida lahendaja ei suudaks ntx 10 sek jooksul lahenda. Näiteks nii, et genereerid lihtsamaid, siis keerulisemaid jne kuni lahendajal läheb liiga kaua aega. Kui ülesandeid ise genereerid, siis ei ol vaja mujalt näiteid otsida. | * Hea mõte - ei ole otse kohustuslik - on genereerida ise ülesandeid, mida lahendaja ei suudaks ntx 10 sek jooksul lahenda. Näiteks nii, et genereerid lihtsamaid, siis keerulisemaid jne kuni lahendajal läheb liiga kaua aega. Kui ülesandeid ise genereerid, siis ei ol vaja mujalt näiteid otsida. | ||
Tee tulemustest väike presentatsioon ja kanna praksis ette, aega selleks ca 5 minutit. | Tee tulemustest väike presentatsioon ja kanna praksis ette, aega selleks ca 5 minutit. | ||
Redaktsioon: 14. veebruar 2013, kell 19:00
Selle ülesande sisuks on:
- Pane endal käima vähemalt kaks erinevat olemasolevat, tuntud ja võimsat lausearvutuse lahendajat.
- Otsi erinevaid ülesande-näidete komplekte.
- Proovi lahendajaid keerukamatel näidetel:
- leia mõned näited, mida kumbki lahendaja ei suuda ntx 10 sekundi jooksul lahendada
- leia mõned näited, mida üks lahendaja suudab, aga teine ei suuda ntx 10 sekundi jooksul lahendada (mõned võiks olla SAT ja mõned mitte-sat näited)
- vaata, kas lahendajal on mingid valitavad otsingustrateegiad: kui jah, siis proovi lahendaja strateegiat sättida, nii et ta suudaks sättimise järel lahendada mõne ülesande, mida ta ilma sättimata ei suutnud
- Hea mõte - ei ole otse kohustuslik - on genereerida ise ülesandeid, mida lahendaja ei suudaks ntx 10 sek jooksul lahenda. Näiteks nii, et genereerid lihtsamaid, siis keerulisemaid jne kuni lahendajal läheb liiga kaua aega. Kui ülesandeid ise genereerid, siis ei ol vaja mujalt näiteid otsida.
Tee tulemustest väike presentatsioon ja kanna praksis ette, aega selleks ca 5 minutit.