Steinerove trojke i planiranje eksperimenata

diplomski rad

• Naslov (engleski): Steiner triplets and experiment planning
• Autor: Mateo Hrelja
• Mentor: Anamari Nakić (mentor)
• Član povjerenstva: Anamari Nakić (predsjednik povjerenstva)
• Član povjerenstva: Andrea Aglić Aljinović (član povjerenstva)
• Član povjerenstva: Domagoj Kovačević (č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: 2024-07-03, Hrvatska

Sažetak

Steinerova trojka (V, B) je kombinatorni dizajn koji se sastoji od v-članog skupa točaka V i skupa tročlanih blokova B, uz uvjet da se svaki par iz V pojavljuje u točno jednom bloku iz B. Steinerove trojke STS(v) postoje ako i samo ako v ≡ 1, 3 (mod 6). U ovom radu, opisana su svojstva i dokazani uvjeti egzistencije Steinerovih trojki, prikazane metode njihove konstrukcije i dan osvrt na težak problem određivanja izomorfizma i klasifikacije Steinerovih trojki.
Opisani su Latinski kvadrati te simetrične idempotentne kvazigrupe i simetrične polu-idempotentne kvazigrupe. Ove strukture su neophodne za Boseovu konstrukciju i modificiranu Skolemovu konstrukciju Steinerovih trojki. Boseova konstrukcija koristi pritom idempotentnu kvazigrupu, dok Skolemova konstrukcija koristi polu-idempotentnu kvazigrupu. Istražen je pojam izomorfizma Steinerovih trojki. Opisan je otvoren problem enumeracije i klasifikacije Steinerovih trojki. Prikazana je primjena Steinerovih trojki u planiranju eksperimenata, te je opisana implementirana aplikacija koja koristi Steinerove trojke za efikasno planiranje izvođenja eksperimenata.

Sažetak (engleski)

A Steiner triple system (V, B) is a combinatorial design consisting of a set V of v points and a set B of three-element blocks, with the condition that each pair from V appears in exactly one block from B. Steiner triple systems STS(v) exist if and only if v ≡ 1, 3 (mod 6). In this paper, the properties and existence conditions of Steiner triple systems are described, methods of their construction are presented, and an overview is given of the challenging problem of determining isomorphism and classification of Steiner triple systems.
Latin squares, as well as symmetric idempotent quasigroups and symmetric half-idempotent quasigroups, are described. These structures are necessary for Bose’s construction and the modified Skolem construction of Steiner triple systems. Bose’s construction uses an idempotent quasigroup, while Skolem’s construction uses a half-idempotent quasigroup. The concept of isomorphism of Steiner triple systems is explored. The open problem of enumeration and classification of Steiner triple systems is described. A practical application of Steiner triple systems in experiment design and planning is presented, and an implemented web-application that uses Steiner triple systems for efficient experimental planning is described.

• Ključne riječi: teorija dizajna; kombinatorni dizajni; Steinerove trojke; planiranje eksperimenata
• Ključne riječi (engleski): design theory; combinatorial designs; Steiner triple systems; experiment planning
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:571939
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2024-10-12 20:49:11