01.05.2013 Views

Klik hier om die volledige joernaal in PDF-formaat af te laai - LitNet

Klik hier om die volledige joernaal in PDF-formaat af te laai - LitNet

Klik hier om die volledige joernaal in PDF-formaat af te laai - LitNet

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Vlak 0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0 1<br />

1 0<br />

1 0<br />

0 1<br />

1 0<br />

0 1<br />

1 0<br />

1 0<br />

0 1<br />

0 1<br />

0 1<br />

1 0<br />

0 1<br />

1 0<br />

0 1<br />

0 1<br />

1 0<br />

1 0<br />

0 1<br />

0 1<br />

<strong>LitNet</strong> Akademies Jaargang 9 (2), April 2012<br />

Vlak 1 Vlak 2 Vlak 3 Vlak 4 Vlak 5<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0 2 1<br />

1 0 2<br />

2 1 0<br />

2 0 1<br />

1 0 2<br />

0 2 1<br />

2 1 0<br />

1 2 0<br />

0 1<br />

2 0 1<br />

2<br />

0 2 1 3<br />

3 1 0 2<br />

3 2 1 0<br />

2 0 3 1<br />

1 0 3 2<br />

0 3 2 1<br />

2 1 3 0<br />

1 2 0 3<br />

0 1 3 2<br />

3 2 0 1<br />

0 2 1 4 3<br />

3 1 4 0 2<br />

4 3 2 1 0<br />

2 4 0 3 1<br />

1 0 3 2 4<br />

0 3 4 2 1<br />

2 1 3 4 0<br />

1 4 2 0 3<br />

4 0 1 3 2<br />

3 2 0 1 4<br />

Figuur 5: Vertak-en-begrens-soekbo<strong>om</strong> vir SOLV-maats vir <strong>die</strong> enigs<strong>te</strong> simmetriese Latynse<br />

vierkant van orde 5 (tot op (ry, kol<strong>om</strong>)-isotopisme na), naamlik S4. Die bo<strong>om</strong> word op Vlakke<br />

1 en 2 begrens waar ortogonali<strong>te</strong>it tussen <strong>die</strong> SOLV-maat en S4 vernietig word. Twee SOLVmaats<br />

word ui<strong>te</strong><strong>in</strong>delik gev<strong>in</strong>d, maar <strong>hier</strong><strong>die</strong> maats is transponen<strong>te</strong> van mekaar, wat weereens<br />

lei na <strong>die</strong> enumerasie van een (ry, kol<strong>om</strong>)-paratoopklas van SOLVSOMs van orde 5, met klasver<strong>te</strong>enwoordiger<br />

S4 = (L4,S4).<br />

r<strong>in</strong>gs genereer ons slegs (ry, kol<strong>om</strong>)-paratoopklasver<strong>te</strong>enwoordigers (L,S) van SOLVSOMs <strong>in</strong><br />

standaardvorm deur gebruikmak<strong>in</strong>g van ’n soekbo<strong>om</strong> met <strong>te</strong>rugker<strong>in</strong>g (Eng: backtrack<strong>in</strong>g). Op<br />

vlak i + 1 van <strong>die</strong> soekbo<strong>om</strong> vertak ons op <strong>die</strong> <strong>in</strong>sluit<strong>in</strong>g van alle moontlike universale wat met<br />

<strong>die</strong> simbool i ∈ Zn <strong>in</strong> ’n gedeel<strong>te</strong>lik-voltooide simmetriese Latynse vierkant S (<strong>in</strong> <strong>die</strong> eers<strong>te</strong><br />

benader<strong>in</strong>g) of SOLV L (<strong>in</strong> <strong>die</strong> tweede benader<strong>in</strong>g) ooreens<strong>te</strong>m, met <strong>die</strong>n verstande dat geen<br />

van <strong>die</strong> volgende eienskappe vernietig word nie:<br />

• <strong>die</strong> simmetrie van S (<strong>in</strong> <strong>die</strong> eers<strong>te</strong> benader<strong>in</strong>g)<br />

• <strong>die</strong> idempo<strong>te</strong>nsie (<strong>in</strong> <strong>die</strong> geval van onewe n) of gereduseerde vorm (<strong>in</strong> <strong>die</strong> geval van ewe<br />

n) van S (<strong>in</strong> <strong>die</strong> eers<strong>te</strong> benader<strong>in</strong>g)<br />

• <strong>die</strong> self-ortogonali<strong>te</strong>it en idempo<strong>te</strong>nsie van L (<strong>in</strong> <strong>die</strong> tweede benader<strong>in</strong>g) en<br />

• <strong>die</strong> ortogonali<strong>te</strong>it van L en S (<strong>in</strong> beide benader<strong>in</strong>gs).<br />

Die wor<strong>te</strong>l van <strong>die</strong> soekbo<strong>om</strong> is ’n leë n × n vierkant (m.a.w. waar<strong>in</strong> daar nog geen universale<br />

<strong>in</strong>gesluit is nie). (Ry, kol<strong>om</strong>)-paratooptoets<strong>in</strong>g word laas<strong>te</strong>ns op al <strong>die</strong> simmetriese ortogonale<br />

maats toegepas wat vir elke SOLV L <strong>in</strong> [6] via <strong>die</strong> eers<strong>te</strong> benader<strong>in</strong>g gev<strong>in</strong>d word <strong>om</strong><br />

<strong>te</strong> verseker dat ’n versamel<strong>in</strong>g, 〈L〉 sê, van paarsgewys-nie-(ry, kol<strong>om</strong>)-paratope SOLVSOMs<br />

11

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!