Rectangle puzzle és automatikus tételbizonyítás

A tétel rövid nézete
dc.contributor.advisorAszalós, László
dc.contributor.authorMolnár, Adrian
dc.contributor.departmentDE--TEK--Informatikai Karhu_HU
dc.date.accessioned2013-06-07T08:55:18Z
dc.date.available2013-06-07T08:55:18Z
dc.date.created2013-04-26
dc.date.issued2013-06-07T08:55:18Z
dc.description.abstractA Rectangle puzzle ember által viszonylag könnyen, azonban számítógéppel nehezen megoldható. Éppen ezért a mesterséges intelligencia területén már bevált módszereket alkalmazzuk: az automatikus tételbizonyítást, a kényszer-kielégítést és a visszalépéses keresőt. Ezek segítségével az egyébként exponenciálisan növekvő keresési tér, nagy mértékben leszűkíthető. A kényszereknek eleget nem tévő állapotok nem vezethetnek megoldáshoz, éppen ezért elhagyjuk őket a további keresés során. A visszalépéses kereső használatával az állapottérhez tartozó teljes keresési fát végigjárjuk, közben levágva a kényszerek által elhagyásra ítélt ágakat. Ezzel nem csak egy, hanem az összes megoldáshoz eljutunk. Ugyanakkor, ha a probléma egyértelműen megoldható, akkor a visszalépéses keresésre nincs is szükség. Önmagukban a kényszerek meghatározzák a megoldást.hu_HU
dc.description.courseProgramtervező Informatikushu_HU
dc.description.degreeMSc/MAhu_HU
dc.format.extent35hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/170500
dc.language.isohuhu_HU
dc.subjectautomatikus tételbizonyításhu_HU
dc.subjectkényszer-kielégítéshu_HU
dc.subject.dspaceDEENK Témalista::Informatika::Számítógéptudományhu_HU
dc.titleRectangle puzzle és automatikus tételbizonyításhu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)