Ne, to nije to. Radi se o dokazu sljedeceg teorema: ako postoji par ortogonalnih latinskih kvadrata reda n1 i par ortogonalnih latinskih kvadrata reda n2, onda postoji par ortogonalnih latinskih kvadrata reda n1*n2. Dokaz sam radio na predavanjima, ali nema ga u trenutnoj verziji skripte.
Konstrukcija ide ovako. Neka su A, B ortogonalni latinski kvadrati reda n1, a A' i B' reda n2. Broj i iz {1,2,...,n1*n2} identificiramo s parom (i1,i2) iz {1,2,...,n1}x{1,2,...,n2} tako da je i=(i1-1)*n2+i2. Kvadrat AxA' na mjestu (i,j) ima unos (a_{i1,j1},a'_{i2,j2}). Analogno definiramo BxB'.
Uzmite dva ortogonalna kvadrata reda 3, pomnozite prvog sa samim sobom i drugog sa samim sobom kao sto je gore opisano. Provjerite da ste tako dobili ortogonalne kvadrate reda 9.
Ista ta konstrukcija opisana je [url=http://www.unilorin.edu.ng/publications/adeleke/File17.PDF]ovdje[/url] u terminima kvazigrupa (teorem 2 na str. 358). Ako netko izgugla ljepsi opis, nek polinka.
Ne, to nije to. Radi se o dokazu sljedeceg teorema: ako postoji par ortogonalnih latinskih kvadrata reda n1 i par ortogonalnih latinskih kvadrata reda n2, onda postoji par ortogonalnih latinskih kvadrata reda n1*n2. Dokaz sam radio na predavanjima, ali nema ga u trenutnoj verziji skripte.
Konstrukcija ide ovako. Neka su A, B ortogonalni latinski kvadrati reda n1, a A' i B' reda n2. Broj i iz {1,2,...,n1*n2} identificiramo s parom (i1,i2) iz {1,2,...,n1}x{1,2,...,n2} tako da je i=(i1-1)*n2+i2. Kvadrat AxA' na mjestu (i,j) ima unos (a_{i1,j1},a'_{i2,j2}). Analogno definiramo BxB'.
Uzmite dva ortogonalna kvadrata reda 3, pomnozite prvog sa samim sobom i drugog sa samim sobom kao sto je gore opisano. Provjerite da ste tako dobili ortogonalne kvadrate reda 9.
Ista ta konstrukcija opisana je ovdje u terminima kvazigrupa (teorem 2 na str. 358). Ako netko izgugla ljepsi opis, nek polinka.
_________________ Vedran Krcadinac
Ljudi su razliciti, a nula je paran broj.
|