Problem traženja Ramseyevih brojeva

završni rad

• Naslov (engleski): Problem of Finding Ramsey Numbers
• Autor: Hrvoje Bušić
• Mentor: Tomislav Burić (mentor)
• Član povjerenstva: Tomislav Burić (predsjednik povjerenstva)
• Član povjerenstva: Anamari Nakić (član povjerenstva)
• Član povjerenstva: Ana Anušić (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2017-07-10, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

Ramseyeva teorija za danu strukturu za koju se vjeruje da posjeduje određeno svojstvo, želi odrediti uvjete pod kojima će struktura ostvariti upravo promatrano svojstvo.
Matematičari i računalni znanstvenici iz raznih smjerova i na različite načine pokušavaju pristupiti jezgrenom problemu Ramseyevog teorema: eksponencijalno rastućem prostoru pretraživanja stanja u obliku bojanih grafova.
Naivni pristup iscrpnog pretraživanja prostora stanja se pokazao neodgovarajućim čak i za male Ramseyeve brojeve, čime pokušaji rješavanja teorema privlače brojne implementacije naprednih algoritama i metaheuristika.
Metaheuristike se nadalje osnažuju znanjem iz domene problema, stečenim kroz iskustvo istraživača koji se godinama bave teoremom.

Sažetak (engleski)

Ramsey's theory for a given structure believed to possess a certain property wants to determine the conditions under which the structure will realize the just observed property.
Mathematicians and computer scientists from different directions and in various ways try to approach the core problem of Ramsey's theorem: an exponentially growing search space in the form of painted graphs.
The brute force approach has proved inadequate even for small Ramsey numbers, which led to attempts to solve the theorem with implementations of advanced algorithms and metaheuristics.
Metaheuristics are continuously improved with knowledge of the problem domain, gained through the experience of researchers who have been dealing with the theorem for years.

• Ključne riječi: graf; klika; Bron-Kerbosch algoritam traženja klika; Frank P. Ramsey; Ramseyeva teorija; Ramseyev teorem; Ramseyevi brojevi
• Ključne riječi (engleski): graph; clique; Bron-Kerbosch clique finding algorithm; Frank P. Ramsey; Ramsey theory; Ramsey theorem; Ramsey numbers
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:249570
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: preddiplomski; Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2019-03-13 19:29:59