� ����������������������������������� �!�#"%$&��%')(*'+�-,.��������"��/'0��,1(2�3���54#4�'+4768'9�5������:

;=�@9ACB9D3EGF+F�H

;=AJI >KMLONPAJ@QL7F�R%EGF�NPITS9LUAJKWV+XJ�@T[0\]@9^�

F�R=I >�KO>s_s_AZs¦XJF�NPITS9LUAJKMlJtvLO9AJKUA0Aa+)XJF�@9lML>@/Lª@TAJAZ[îRF�KP�KO>s_s_AZs¦lUAJ>�KUX>�sY^�F�KM�s_sYAJs¦lMAb>�KMXîLOAJX9@TL�@TXZAPFRGlMAb>�KMXSTlM�0.¥;ï>KUXTX�KMX>�sY^�F�KM�K.LOKJtQ7m9¢¡VNAZKU^�AZl¡LUTAI3FfGAZK2F�RG>�I >�KO>s_s_AZs�7�KMX7LCFR¦>o[TLUF�K¦F�KU[9AJKU�LOAZlC�@TXZA2F�@�LnFAJs_sñnH/@TFf7@¥rW¦>�ITI9s_LO�KMAb>�l>�l7GAZs_s8>�lW>�@0>�KMLU�s¡lMLO>LOA z KUFF�L@TF[TAf|FR=>ITKMF�Ts_AZNùLUF)>d^�FQ>�sGl.L>LUA z ^�FQ>sG@TF[TAf|�D&rq@òA�aT>NITsYAolUAJ>�KUXLUKUAJA@T[ªLOAZ[�D]p¦TL7NPAJAZLUl¦LOTA*^�F�>�s�XJKM�KUX�LO�@�3A*KUAJ[9STXJAZ[¥QmoSTlM�s z TAZSTKUs3fj>��9s_AqN>�XTLO�XîLOXJA�tvLUTA¥[9AJI9LU�F�R=LUTA¥lMAb>�KMXî�@TF[TAP�sYXJSTs_>LOAZ[S9lU

GOALSTATE

INITIALSTATE

ú!�sYlUF�^�S >�KU>�@QLOAZAJl1F�I9LOs%lUF�sYS9LO�s#DrqskLOTF�S9^�¥KMAJ[TST@9[ >�@QL*GF�KUH�L=>�KUA2Aa+I >�@9[TAJ[NF�KUAoLO >@îF�@TXZA¥lMNª>s_s¦RKO>�XLO�s¦GF�KUH¯D�i@Ts_�KMX�t¦LOTA0NAZNF�KMmKUAZS9�KUXTAZKUl=T>fj�A2A�a+ITs_F�KMAJ[�NALOTF[Tl¦RF�K¦�XJKMFªF�I+AJKU>LOF�KMlJt >@T[o[TAJlM�sYs_AJs3lUAJ>�KUX0>�sY^�F�KU�KU>�s_sYAJs5>�KUX9fj�AC5AZAJ@�lUTFf7@LOFo3ASTlUARSTs�

Processor 1 Processor 2

threshold = h(root)1 2 1threshold = threshold + i 1threshold = threshold + 2i3

Processor 3

GOAL

INITIAL INITIAL INITIAL

ú!�XJAqLUF2LUTKUAZlUTF�sY[�0]ITsYSTlGlMF�NPAW�s @TF[TAX�LO�s_s FR�LOTA@TF[TAJlAa+I >�@9[TAJ[�^Q>��KU>�s_sYAJs!7�KMXó[9j>�@QL>�^�AqF�RéLOT�KUX�lMI >�XJAD¢�KUFXJAZlUlMF�KUlvLU >LG>�KUAlUAJ>�KUXTfmT@T[o>2lMF�s_S+LO�@TXoLUTAZmAa+ITsYF�KUAtT>�@T[ªXb>�@oKMAZLOS9KU@LOT>LvlMF�s_S9LU

GOAL

Processor 1 Processor 2 Processor 3

= expanded on last iteration

= expanded on last two iterations

= expanded on all three iterations

INITIAL

ú!P@TAZ�LOTKMAJlU9F�s_[�t3@TF�@9A2F�R!LOTA1ITKUFXJAZlUlMF�KUl=�KUX9L=>s_Aj�AZs�3AZm�F�@T[LOTAs_Aj�AZs3FR�LOTAF�I9LU�sTlMF�s_S9LU�s8[TAJI+LO�Dqú¯F�KWA�aT>NITsYA�t3LWLOTA2^�FQ>�s£s_Aj�AZsLO >�LWF�STsY[¥@TF�LW3A2lMAb>�KMXTAJ[dlMAJKM�s£lUAJ>�KUXd>s_^�F�KMLITKMF+XZAJlUlMF�KUl>�KMAF�R LOAZ@òLT@T�@òLO@TXJ@TXJ

@TFLªm�AL3AJAZ@��LOAJ[�KUX LOTA)lUIT>�XJA)RF�KMG>�KU[¬RKUF�N LOTAd@T[� >XH/G>�KM[�RKUF�N LOTA)^�FQ>�s*l.L>LUAXZF�@TXJS9KUKUAZ@QLOsYm¾ cf~À�D@G¡>�KMLU�@T@T�@TF�LUTAJK3F+[+mF�RKMAJlUAJ>�KUXRFXJSTlMAJl1F�@)XJF�@TXZSTKUKMAJ@QL§KU>�@T[TF�NNFfj�AJNPAJ@QLOlCLOTKMF�ST^�)>�lUAJ>�KUXlUI >�XZAPLU >L1XJFfj�AJKCLOTAPlUAJ>�KUXlMI >�XJA1/ST�@T[1-CF�KMR%[9AJlUXZKUV+.¥; lUAb>KUX¥LUAJXT@T�sYs_AZs!7KUX7¤ST@9�@T[dLO9API9KUFXJAJlMlUF�KMl17

Cluster 1

Processor 1

Processor 2

Processor 3

INITIAL

Cluster 2

Processor 4

Processor 5

Processor 6

INITIAL

ú!�XZA2lMAb>�KMXTAJ[0/moLnFPXJs_S9lMLOAZKUlZt Ab>�X�7LOAZ[&@TF[TAJl1�/STAZSTA zba |�Dép¦TAª@/STN§3AJK2F�Rv^�AJ@TAZKO>LUAJ[@TF[TAJl�I9I5AZ@T[�LUTAJNïF�@QLOF a D

~9D¦R!s_AJ@9^�LO z#a |df�@/STN§3AJK7F�R�ITKUFXJAZlUlMF�KUlX0XZs_STl.LOAJKZtNhg*idj]WXUhShSv@TF[TAZlW>�L7AJ@T[�F�R a D

kF�LOAPLO >�L§STlM0s_AZj�AJsñnQmQns_Aj�AZslMAb>�KMX�t]NF�KMA@9F+[TAZl§N>fm)3Aª^�AZ@TAJKU>LOAZ[&LO >@ò>fj>��9s_AITKUFXJAZlUlMF�KUlZD�n@LO9�lMA�t@TF[TAJl>L]LOTAAJ@9[ªF�R5LOTA7lUAJ>�KUXªS9AJSTAq>�KUA7KUAZNFfj�AJ[ªRKMF�NxLO9A/STAZSTA>�@T[òKUAZITs?>XJAJ[Qm&LO9AJ�KUAZ@/L@TF[TAJlZDòp¦Ts¡/STAZSTAªsYAJ@T^LO)�@dLOTAP@/STN§3AJK2F�RvITKMF+XZAJlMlUF�KMl@TAZAJ[T

4 8 12 5

14 1 9 6

7 2 3

10 11 13 15

4 8 12

5

14 1 9 6

7 2 3

10 11 13 15

4 8 12 5

14 1 9 6

7 2 3

10 11 13 15

4 8 12 5

14 1 9 6

7 2 3

10 11 13

15

4 8 12

5

14 1 9

6

7 2 3

10 11 13 15

2

4 8

12

5

14 1 9 6

7 3

10 11 13 15

4 8 12 5

14 1 9 6

7 2 3

10 11 13 15

4 8 12 5

14 1 9 6

7 2 3

10 11

13

15

4 8 12

5

14 1 9 6

7 2 3

10 11 13 15

INITIAL STATE

ú!

0 1 2 3

0 1 2 3 0 1 2 3

0 1 2 3

Original Ordering: 0123

New Ordering: 1320

0 1 2 3

0 1 2 3

*Most promising node

0 1 2 3

.

.

.

ú!LOF�K¦F�KU[TAZKU�NPITs_A

>�ITITsYLOF�KUl¡KUX�LO�@TXJA*FR�;7r12XJ>�@�5AC^�KMAb>LUsYm@�A�a9>�NI9s_A�tF�@TAF�R LOTALOAJl.LOAZ[ú��@KUAZS9�@TlMKUX@TF[TAJl¡RF�K¡LUTA=3AJl.LvF�KM[TAJKM�LOF�KMlJt/m�AZLvKUAJ/ST�@9lU�KUXo@9F+[TAZlRF�K%LO9AF�KUl.LvF�I3AJKU>LOF�K¡F�KU[TAZKULULUAJNPI9LOl]LOFC @T[ª>1^�FF[F�I3AJKU>LOF�K�F�KU[TAZKU�X�LO�lMAJ[)F�@LU�

1 2x

3y

4z

Cluster 1

5{

6|

7}

8~

Cluster 2

ú!�[� >�s_>�@TXJ�X�7LOF�K�F�KM[TAJK!�sYG>bml�LOK.mF�I5AZKO>LUF�K!g KUl.LbtQF�I3AJKU>LOF�K¡cv@TA�aLbtQF�I3AJKU>LOF�K!}@TA�aLbt+>�@T[PF�I5AZKO>LUF�K�~Cs?>�l.L�|�t�TS9L]LO9AlMAJ/STAZ@TXJAWF�R�F�I5AZKO>LUF�KUl�LOT>L]s_AJ>�[Tl%LOF*LUTA7NF�l.L]ITKUF�N�KMlv KUl.L7LU�LUF§LOTA*NPF�l.L¦ITKUF�Nbml*5A2LOKU�@9[0 @ >s_sYm�F�I5AZKO>LUF�Kg9D7p¦T�X�I >�KU>�s_sYAJs37KUX¥LU

1 2 3

4 5 6 7

8 9 10 11

12 13 14 15

ú!�[T[T�LOAJ^�[ >�s_>�@TXJ@T[oF�I3AJKO>�LOF�KF�KU[TAZKU�sñF�KUsY[>�ITI9s_LO@T[

F�@TA�>�K.LOR LOAZ[&[TF�N>���s¦LO >L�cf|m+¢¡V[TFAJl%ITKMFfj+qlMSTTl.L>�@QLO�s9lMI5AZAJ[TS9IPFfj�AJK�>qlMAJKM�s9>�s_^�F�KULOF�K!F�KM[TAJKM@T[s_FQ>[�T>�s?>�@9XJ�@0�@QmoXJ>�lUAZlq�@TXZA1FR�m+¢¡V5t5>�@T[0~Q|GLOTA1F�I9LU�s@/STN§3AJK1F�RvXZs_STl.LOAJKMl2j>�KM

ú!KUNïNPF�LU�@T@T�STlUAªAb>�X0ÁMF��l§>�@�STlUAXJF�sYs_��

p!>Ts_AcV+I3AJAJ[9STI�RF�K7ú!�Õ�Ò(Ó

ÖB×:Ø¢ÙÚ Â¹ÃÛÜÄ Â¹ÆÛÝÆ Þß]àÞ Â¹ÆÛÝÅ ÆÛ ÆÛÝá ÇÛãâ ¹ÃÛÝà ä@å(æ¢Ùço×:è¹ÃÛÜÄ Ã:ÃÛãâ Ä*áÛÝé ß5êràRß Ç:ÇÛÜÄ Ã?âvÛÝÇ Ã:ÃÛÝà Ã:ÅÛÝé ë�Ùì²ØVæ

äíå2îhìÀ×?æVï:ì@ä@ì²ðîhìÀÙñË Â¹ÅÛÜÄ ß5òrà¨ó ß5òràÍó ¹ÆÛÝà ÆÛÝà áÛÜÄ ÇÛÝé ¹éÛÝá ä@å(æ¢Ùço×:è¹ÅÛÜÄ Ä:ÄÛÝà Å:ÃÛÝÇ ô5õ�àò á:ÇÛÝá Ä*ÇÛÜÄ Ã:éÛÝá á?âvÛÝé ë�Ùì²ØVæ

ö]ï�×:ð�ÖB×:è×:ñ(ÚhÙñË Â9÷,ÛÝÆ Þ(ôràÞ Ã_ÄÛÝé Â9÷,ÛÝÇ éÛÝà ÷,ÛÝá ÃÛº÷ ¹áÛÝÇ ä@å(æ¢Ùço×:èÂ9÷,ÛÝÆ Ç?âvÛÝÆ Ä,÷,Û õ2ø2àò Ç:ÆÛº÷ Ã:ÆÛÝŠ¹ÆÛÝÇ Ç:ÇÛÝà ë�Ùì²ØVæ

äíå2îhìÀ×?æVï:ì@ä@ì²ðîhìÀÙñËoù ß]ó�àRò Ã:ÇÛ Ä�âvÛº÷ ¹éÛÝÆ ÆÛÝá áÛÝá ÃÛº÷ ¹éÛÝé ä@å(æ¢Ùço×:èö]ï�×:ð�ÖB×:è×:ñ(ÚhÙñË Ä(Â?ÛÝÇ Ã_ÄÛÝÇ ÷?éÛÝà ÷\ÄÛÝÅ ô�ø5àò Ä(Â?Û ¹ÆÛÝá á:ÃÛ ë�Ùì²ØVæ

LOTA2lUAZKUs�>s_^�F�KMbmlW @9[d>�@¤F�I9LU�s�lMF�s_S9LU[T[T�[§ >s?>�@TXZbmFXJXJS9KC79AJ@ @T[T KUl.L2lMF�s_S+LO�STlMAPLUTAXJF�NPI >�KM�lUAJKM�s%>�s_^�F�KU�sYlUF=KMAJlMSTsYL�7TAJ@§LUTAv^�FQ>s@9F+[TAGs_�XZAq�@�@TXZ5AJXL7LOTA1�sé@/STN§3AJK7F�R!XJs_S9lMLOAZKUlZD

`GAJXJ>�STlMA0F�I3AJKU>LOF�KPF�KU[TAZKU[0 >s?>�@TXZLUAJlMLlUI3AJAZ[TSTIo�sY�LOF�K]F�KM[TAJKM�@T[sYFQ>�[ >�s_>�@TXZ�KUASTlMAJ[LOF @T[0>§ KUl.LlUF�sYS9LObj�AJKU>�^�AZ[oF-j�AJKvAZ�s_>�@TXJ�KMA>�[T[TAZ[�DF-AZj�AJKZt�LO9�

p�>�TsYA}=I9LU�s�@/STN§3AJK7F�R�XJsYSTlMLUAJKMlRF�K7ú���TsYA2~V+I3AJAZ[TSTI�RF�K7®F�5F�L7rWKUN �F�LO�@T@T�Õ�Ò(Ó

ÖB×:Ø¢ÙÚ ÂXÄÛº÷ ÃvÂ?ÛÜÄ øû�àÞ Ã�÷,Û ÂhâvÛÝÆ ÃÛ ÃÛ ¹ÅÛÝáäíå2îhìÀ×?æVï:ì@ä@ì²ðîhìÀÙñË Â¹ÇÛ Ç:ÅÛº÷ Ã:Ç?âvÛÝÆ Å:évÂ?Ûº÷ óê�ø�ó(àÍó ÃÛãâ ÃÛãâ Ç:á:ÆÛÝÃö]ï�×:ðZÖB×:è×:ñ(ÚhÙñ(Ë Â¹ÃÛÝé ÃvÂ?ÛÝà øô�àû Ã�÷,Ûãâ ÂXÄÛ ÃÛÝÇ ÃÛ ¹éÛº÷äíå2îhìÀ×?æVï:ì@ä@ì²ðîhìÀÙñËoùö]ï�×:ðZÖB×:è×:ñ(ÚhÙñ(Ë Â¹ÃÛÝÅ Å_ÄÛÝé ¹á:áÛãâ óvõ�óô�àRß Ç:á_ÄÛ ÃÛÝÅ Â?ÛÝÅ Ã:Æ:ÆÛÝÃ

p!>Ts_A*È=I9LO�s3@/STN§3AJK7F�R�XJsYSTlMLUAJKUl7RF�K7®7F�3F�L¦rqKMN 0F�LU@T@T��@TXZAJ[P>�@T[>�[T[9�s_>�@TXJLOskm�@TXZA�Dn@R >�XZLJt�lUAJl2s_FQ>[ >s?>�@TXZ�@�>�XLOS >s_sYm[TAZ^�KO>�[9A*I5AZKMRF�KMNª>�@9XJA*[TSTA*LUFLUTA*LO�HAJ@�LOF/STAJK.m�@TAJ��Ts_AGF�KUH¯Dp�>�TsYAÈos_�@¥lUA§�STlMA¥s_F�>�[�T>�s?>�@9XJ��NA79AJ@s_FQ>�[óT>�s?>�@9XJ�l2@9F�L1XJF�@Tl.L>�@QLJt!TS9L1j>�KU�XLOAJKM�@9XJ

Opt

imal

#C

lust

ers

Branching Factor

1

3�

5�

7

2�

3�

4�

5�

ú!

Opt

imal

#C

lust

ers

Imbalance

30

20

10

00.0 0.4 0.8

ú!�@9XJAvKU>�@T^��XLOKMAJA�tQLUTA7lUF�sYS9LO�KMXT

Opt

imal

#C

lust

ers

0

10

20

0.2�

0.6�

1.0�

30

H error

ú!�LOF�KF�KU[9AJKU�@9XTXZLOF�KGF�RÈTt5>ªTAZSTKU�@¤F�I9LU�s�XZF�lML*FR¦c-}+D7p¦TA2lUF�sYS9LO

Sp

eed

up

Solution Position�

Ch

ang

e in

Op

tim

al #

Clu

ster

s

Solution Position�

0

10

20�

0.0 0.4 0.8 0.0 0.4 0.8

1.0

1.2

1.4

1.6

1.8

ú!@TXJAD=STK£>KUXT�HAJl£STlUA]F�RLO9A¡9F�lML8[T�NPF�ST@QL¦F�R£LO�TsYALU@5Av^�s_Ab>@TAJ[>5F�S+L!LO9Av@ >LUSTKUAvFR LOTAvI9KUF�TsYAJN�D!ilU�sñF�KUsY[1>�@T[§>KMLO�LOLUTAJKMAJ[0>�5F�S9L¦LOTACITKMF�TsYAJN lMI >�XJA2>�l¦LO9A19F�lMLlUAJ>�KUX9AJl>RA s_Aj�AZs_l7[TFf7@¥LOs_XJS9s?>LUACLUTA1@S9N§5AZK7F�R%XZs_STl.LOAJKMlRF�KWm+¢¡V¤LUFSTlMARF�KWLUTA§KMAJlML=F�R�LOTAlUAb>KUX�D*p¦TLUTAJKMKUX)lUI >�XZALOFoN>�H�A§[9AJXJKO>�sYs_AJs8lUAJ>�KUX)s_s_AZs_LU@TXZm�t5>@T[�LUF[TAZLUAJKUNP�@�AZ5AJXLO�KZté ^�STKMAJlPcbÈ�LUTKUF�ST^��cfw�^�KU>�ITdLOTAPKUAZlUSTskLOl1F�RAa+I3AJKU�LO�s_skm�/m)LO9AlMmlMLUAJN�D�n@ªAJ>�XXb>lUA�tLOTA7LOKMAJ@T[ª�l]LOTALOKUAZ@T[ªRF�KLOTA*j�AJKU�XLOS >�s�@S9N§5AZKUl7j>�KMmoRA XJ>�lUAZlJD«A�>�s_lMFKUAZKO>�@óLO9A�LnF)KUAb>skF�KMs_[ò>�ITI9s_LO

2�

4�

6�

8

2�

3!

4�

5"

Branching Factor

Sele

cted

#C

lust

ers

ú!

F�R�XJs_S9lMLOAZKUl7lUAZs_AZXZLO�s8F�R�LUT�KMXd�sY^�F�KUKUX�>�sY^�F�KU�KU>�s_sYAJs 7�KMX�>�@T[o[T�NPAZLUAJK.lUALULOLW>�XTLUAJlMLI3AJK.RF�KUN>�@TXZA*I5F�lMlU�KO>�sYs_AZs�TAZSTKU�[�>�@T[îr2D / >RFF�KJD°V+AZN�@9XJlUlU�KU>�s_sYAJs

NSTsYLU�KO>�sYs_AZslMAb>�KMXP>�s_^�F�KUs_s#t5>�@T[«ûD5p¦TF�N>�lJD1¢!>KO>�sYs_AJs8lUAJ>�KUXdSTlM�@9lMRF�KMNª>LU�S�D¢]®7r1]�*N>�lMlU�KU>�s_sYAJs8TAJS9KU�KZDGi@TlMLUKUSTXLOSTKMAJ[¤LOKMAJA1lUAJ>�KUX¤F�@¥lU�KU>�s_sYAJs5XJF�NPITS9LUAJKUlZD¦n@5rQ:j�U9WXNhg*idj]Q5T�Í=^�AJl7È/h�~:MÈQyQ}+t5cfe�eQ}D

e9D¼2Dv-*�@TF9D%¥>lUlU�KO>s_s_AZs>��@9[�ITITsYLOLUSTKO>s9s?>@T^�S >�^�AITKMF+XZAJlMlU�Ts_A7I >KO>�sYs_AJs+RF�KUN§S9s?>LU�KUX�D¡n@�-*S+Nª>�KZt�-1>@ >�s#t/>@T[ / F�I >s?>�H/KU@�tQAJ[T�T>�@QLO�@T[�EqD];*>�@T�sYs_AJsTAJS9KU@T[�rD rD p8F�I9LUlU�KMXîF�@�>)lM�X9s_s_AZsé7�KMX�DF.102020Q3�WÀ2S_�N9T�bg*2Sg*?�T�TVU9W9RCd]PG:S9CSm_A��Nh�Í�U&.9�TVU9PÍPRO�F9t�G§Dµ-CS9Nª>�KZtC>�@T[ -DW®>�NAZlU�Dðr I >�KU>�s_sYAJs*LULU