Izpolnljivost logičnih funkcij in evolucijaŠircelj, Beno (Avtor) Fijavž, Gašper (Mentor) genetski algoritemizpolnljivost izjavnih funkcijevolucijašibka selekcijaV delu smo eksperimentalno ovrednotili rezultate Livnata in soavtorjev (Satisfiability and evolution, FOCS, 2014), ki so pokazali, da populacija naborov slučajne logične funkcije z uporabo šibke selekcije in produktne genetske evolucije konvergira k deležu samih modelov. Preizkuse smo izvajali na družini 28-mestnih logičnih funkcij, v genetskem postopku pa delali s populacijami velikosti 10000. Pri tem smo eksperimentalno potrdili njihove rezultate ter za nekaj dodatnih razredov logičnih funkcij, in ne za zgolj monotone funkcije, pokazali, da genetski postopek k populaciji modelov ravno tako pripelje hitreje kot v splošnem primeru. Eksperimente smo izvedli tudi z uporabo klasičnih reproduktivnih metod genetskih algoritmov, križanja in mutacij. Tudi v tem primeru smo pri slučajno generiranih logičnih funkcijah zaznali konvergenco k populaciji z velikim deležem modelov. Pri nekaterih razredih logičnih funkcij z uporabo križanja in mutacij konvergence k modelom nismo zaznali.20172017-09-25 14:14:42Diplomsko delo/naloga95915VisID: 19911sl