common subgraphs, backtracking algorithm introduction graph

18

Upload: buidan

Post on 20-Jan-2017

241 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Common subgraphs, backtracking algorithm Introduction Graph

������������ ���������������� ������ ����� ���� ����� !#"%$'&)(�*�+�,�-/.0& *�1�243650,7*98;:;:=<�>@?BA�C D;EGFIH6J;:/K +�,�5%36-;,%5MLONGPIQSR6TVUXW@Y4Z/[]\_^G` a4b Udc7ef57,'PIQ_"/Rfg�hGi/i=h4j#i/k'j@h]lmnh6*ohMp

qsrut t ruv wyx{z}|u~���{�� wOrut ru~��{� � wyt �}���y����� � r�v z��z}�������~����� � v}| wO����~����

�������@�������� �¡]¢X£/£]¢X���@¤�¥¦���§¨ ©¢Xª¬«��@��¡]¢X­]®

¯d°@±I²0³#´'µ6¶©·d¸X²6¸)¶=¹=²6±7ºµ6» ¸X¼n½¿¾7¶9½4» ¸)» °@»%´0ÀÂÁô0¶�²6º´ÅÄ�µ6ºV³9°f½4À�ÆV¸)¶@Ç6»�²6¶#ÀÂÄ�µ]ºÈn±7¸XÉ;ÊB´�Ä�·ÂË�Ì�Ë/ÍfÎÏÀÑÐ�Ò

Ó�Ô�Õ�Õ�Ö�×ÂØÙÅÚ/Û9Ü�ÝßÞ;Ý�à@áâÚ/ã{á9ä�à@Ú]å�ÛçæGáâè�é�àfè�êëàfè�Þ�Ûâè�ìíÝ�êëîâÝ�ïëã{Û9ÞnÞ=Ú/ÛâæGÞ;ê_é�à�Û9Ü�Ü�Ú]á9Ûâæ]ÝíÞ=áðéfÛ9Ú]êëá�ñ�å�Þ=Ûâå;ò�åóáâôÜ�Û9ÞnÞ=à@Ú6èõÚ/àfæGáâî�è�êëÞ;êëá�è�ö©÷øÚ/á#é�ê)ì�àfìõÞ;Ý�à@Ú/àùêëå¨Û{î9Ú]Û#Ü�ÝõÚ/àfÜ�Ú]àfå=àfè�Þ=Û9Þ;ê_á�èõáâô�áâú�û=àfæGÞuê)èýü�ñ�àfå=Þ;êëá�èþ à�öoî�ö�Û�æ6Ý�à#ÿ�êëæGÛâïÃå=Þ=Ú]ñ�æGÞ=ñ�Ú/à�áâÚ Ü�Ú/áâÞ=àfê)èuô%áâï)ì ��� Þ;Ý�à�Ú/àfæGáâîâè�êëÞ;êëáâè�Ü�Ú/á�æGàfì�ñ�Ú/à�ê)åÅÚ]àfì�ñ�æGàfì¨Þná Þ;Ý�àÜ�Ú/áâú�ïëà#ÿ áâôÅæGá�ÿ�ÿ�áâèùå;ñ�ú�î9Ú]Û#Ü�Ý}ê)å=á�ÿ�áâÚ/Ü�Ý�ê)å/ÿ þ�� Ó�� � ö � á�ÿ�Ü�ïëà��êëÞ7ã áâôÅÞ;Ý�ê)å�Ü�Ú/áâú�ïëà#ÿ å;Ý�á�åæGá�ÿ�ú�ê)è�Û#Þ=áâÚ]êëÛ9ïì�à@Ü�àfè�ì�à#è�æGà�á�èðÞ;Ý�à�å;ê �Gà�áâôÅê)è�Ü�ñ�Þ�îâÚ/Û9Ü�Ý�å � Ý�ê)æ]Ýùêëè}ÿ�Û9è�ã Ü�Ú/Û9æGÞ;ê)æGÛ9ïæGÛâå=àfåÿ�ÛâòâàfådÞ;Ý�àOÛ9Ü�Ü�Ú/áâÛ9æ6Ý�æGá�ÿ�Ü�ñ�Þ=Û9Þ=êëá�è�Û9ï)ïëã�ê)è�ÞnÚ]Û9æGÞ=Û#ú�ïëà�ö�Ö�ÿ�á�è�îÅÞ;Ý�àyáâÜ�Þ;ê ÿ�Û9ï�Ûâï_îâáâÚ]êëÞ;Ý�ÿ�åøô%áâÚ � Ó�� �Þ;Ý�à�ïëà@Ûâì�ê)è�î�Ü�ï_ÛâæGà�ê)è�Ü�Ú]Û9æGÞ;ê)æ6à�ú�àfïëá�è�î�å Þná�Ûâïëî9áâÚ]êëÞ;Ý�ÿ�å©ú�Û9å=à#ìuá�è ÿ�Û���ê)ÿ�ÛâïøæGï)ê)ü�ñ�à�ì�à@Þ=àfæGÞ;êëá�èê)è Þ=Ý�à Ûâå;å=á�æ�ê_Û9Þ;êëáâè�îâÚ/Û9Ü�Ý�ö�� Ûâæ6Þ=Ú/Ûâæ]ò�ê)è�î�Ûâïëî9áâÚ]êëÞ;Ý�ÿ�åyô�áâÚ � Ó�� ��� Ú]å=ÞOì�à@é�à#ï_áâÜ�à#ì��©ì�àfæGÛâì�àfå�Û9îâá �Û9Ú/à�Ú/Û9Ú/àfïëãuñ�å=àfì�ö���à�Ü�Ú/áâÜ�á�å=àóÛâè�ê ÿ�Ü�Ú/áfé�à#ì¨ú�Û9æGÞ=Ú/Ûâæ]ò�êëè�î�Ûâï_îâáâÚ]êëÞ;Ý�ÿ ô�áâÚ � Ó�� � Ý�ê)æ6Ý�ì�ê_ä�à@Ú6åô%Ú/á�ÿ ê_Þ;åÏÜ�Ú/à#ì�à#æ6à#å;å=á9Ú6åÏú�ã�ú�à@Þ=Þ=à@Ú å=à@Û9Ú]æ6Ý�å=ÞnÚ]Û#Þ=à@îâã�Û9è�ì�ê)åÏÞ;Ý�àfÚ/à@ô�áâÚ/à ÿ�á9Ú]àÅà��óæ�êëàfè�ÞGö���à�ô�á�ñ�è�ìÞ;Ý�Û#ÞÞ;Ý�à�è�à Ûâï_îâáâÚ]êëÞ;Ý�ÿ á�ñ�Þ=Ü�àfÚ/ô�áâÚ6ÿ�å�Þ;Ý�à©Þ=Ú/Ûâì�ê_Þ;êëá�è�Û9ïVÿ�Û���ê ÿ�Ûâï�æ�ï)ê)ü�ñ�à�Û9Ü�Ü�Ú/áâÛ9æ6Ý�ú�ã�áâÚ]ì�à@Ú6åáâôVÿ�Û9î�è�êëÞ;ñ�ì�à�ê)è�æGá�ÿ�Ü�ñ�Þ=Û9Þ;ê_á�è�ÛâïdÞ;ê)ÿ�à�ö����� �"!�#%$�&('*),+.-/-/+(02143�5�687:9.;�<�1>=�5?9.@:A�B47:9.@:ACD0�6/9.EF6.+.7�CGB�<�-

H�I�J.K�LNMPO,QJ(RSLTI

UWV>XY�Z\[]Z�^8_�Va`cbedfXhg�X[]i�V>XjNX�g�k l�_�g?m�^8g�b ^8g�[n[]_?_�jNop_�Vqk%^(Xj brg�shtfbr[]Zu_�v%w�^.l�[adx[]Z�X�[yl.Xgzv�^/m?b ^8tx^.k X�dXzl�_�g�g�^.l�[]^(k�d]^�[/_ox{h_�Va^|^.jr^.{}^.g�[aXVa`~d]i�v�_�v%w�^.l�[ad.�N�?i�l>Z�_�v%w�^(l�[adW{�X�`~vT^hV]^.Y�V]^(d:^.g�[]^.k�X�d�s�V>XY�Z�d8�� g�d]br{hY�j ^ut�_�Vak�d8��s�VaX�Y�Z�bed�X�d]^�[�_oWm�^.V:[ab l8^.d�l�_�g�g�^(l�[]^(k�v�`�^.k%s�^.d.���nZ�bedh[�`?Y�^u_�oyop_�V]{�Xj b �.X�[abr_�gbedh^.d]Y�^(l�beXj jr`�l8jr^(XVhb g�[aZ�^ Y�V>X�l�[ab l.Xj jr`�b {hY�_�V:[>Xg�[�l8X�d:^z_oW{}_�jr^(l�i�jeXV�d:[]Vai�l�[ai�Va^.d.�,Z�_�t�^.m�^8V}{�Xg?`k%br��^8Va^8g�[\XY�Y�jrbel8X[]b _�g�d�_o/s�V>XY�Z�[]Z�^8_�Va`�X�V]^u�?g�_�tfg���l�o��n�f^�o��W�D�8�WXg�k�_�[]Z�^.V\X�V:[ab l8jr^(dhopV]_�{�[aZ�X�[vT_?_������ � gh[]Z�^Wd:b {hY�j ^.d:[xl8X�d:^"_oNl>Z�^8{hbel8X�j�d:[]Vai�l�[ai�V]^(d8��X�[a_�{�d�{�X�`}v�^Wl�_�g�d:bek%^8Va^.khX�d�s�V>XY�Z}m�^8V][]bel�^(d8�X�g�k~l>Z�^.{}bel8X�jPvT_�g�k�dy nX�d"s�VaX�Y�Zu^.k%s�^.d.�T¡x_�[]Z�X[]_�{�dWXg�k~v�_�g�k�dWZ�X�m�^2Y�V]_�Y�^.V:[abr^(d8�TtfZ�bel>Z~{�X�` v�^

¢ ��£�¤�¤¦¥�§¦¨£�©�ª(¥:©(«:¥�¬¦£�C# P­�®�¤¦¯G§�§¦¯G©�¥�°e±@ T²(¤¦£�¨¥:³>©|´�¯G£�¯G©.µ £�¤�¶q³a¬¦¯G«�§��·©�§S¬¦¯ ¬�²(¬�¥�±�¸,¥�©�£�¶f¥Ï��³>¶f¨�²(§]±�¹P¯G©(º8¬�£�©�±���³>¶�»�¤¦¯Gª�¼�¥��´�F7: F0�G��±�½,®

),+(;�¾7�CF6(<�B @¿ÁÀ8Â(Â.ÃÅÄ +(<�0|Æ�CFEDÇ]¾hÈÊÉ+(0�1>=�Ë�B:Ì�Í

Page 2: Common subgraphs, backtracking algorithm Introduction Graph

Î�Ï�Ð P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

X�d]d]brs�g�^.kÅ[]_�[aZ�^ql�_�V]Va^.d]Y�_�g�k%b g�sWm�^8V][]bel�^(d�Xg�k}^.k�s�^.d.��UWV>XY�Z�d.�l�_�g�[aXb g�b g�s�k%bD��^8Va^8g�[�[�`?YT^.d�_�o�m�^.V:[ab l8^.dX�g�k�Ò�_�Vf^.k%s�^.d.��X�V]^Ål.Xj jr^(k j X�v�^.jr^(k��TUWV>XY�Z�df{�X�`\vT^Åv�i�b jr[y_�g oSX�Vq{h_�Va^Åd:_�Y�Z�bed�[ab l.X�[a^.k _�v�w�^.l�[>d8��^�� s��_�gzd]^.l8_�g�k�X�V]`�d:[]Vai�l�[]i�Va^�^8j ^8{h^8g�[adn_�o�X}Y�Va_[a^8b gcop_�j kÓ�Sm�^8V][]bel�^(dntfbD[aZ m�^.l�[]_�VxY�V]_�Y�^.V:[abr^(da��tfbr[]Z ^.k%s�^.d{h^.X�d:i�V]b g�s|[]Z�^Åk%bed:[aXg�l�^/vT^�[�tx^8^8gzm�^.V:[ab l8^.dfX�g�k�[aZ�^8b Vq{|i%[]i�X�j�_�Vabr^.g�[aX�[abr_�g���l�o����q^�oSd.�Ô� Ð ��Õ��p���Ö X�m?b g�s2l�_�g�d:[]Vai�l�[a^.k�X2s�V>XY�Z�Va^8Y�Va^.d]^8g�[>X�[]b _�gh_�oN_�v%w�^(l�[�b g\×�i�^(d�[abr_�gN��_�g�^ybr{h{h^.k%beX�[a^8j `h_�v%[>Xb g�d�X

d]^�[n_o�[a_�_�j dØop_�Vx{h^.X�d:i�Vab g�sÅ[aZ�^Wd]b {}b jeXVabD[�`}v�^8[�t�^.^8gzd]X�{}^8 �[�`?YT^"_�v%w�^.l�[ad.���nZ�bed�b dnX�l>Z�br^.m�^.khv?`hs�V>XY�Z{�X�[>l>Z�b g�s��ÔX Y�V]_%l�^(k%i�Va^hop_�VÅbek%^.g�[abDop`?b g�s�l8_�{h{h_�g�d:i�v�s�V>XY�Z�d8��_�V/b k%^.g�[]bel8Xjxd:i�v�d:^8[ad/_�ofm�^8V][]bel�^(d�brg[aZ�^\l8_�{hY�XVa^.kÓs�VaX�Y�Z�d.�Pl8_�g�g�^(l�[a^.k�v?`�b k%^.g�[]bel8Xjnd]i�v�d]^�[ad|_oq^(k%s�^(d8�,�nZ�^c{h^(X�d]i�V]^c_o"d]br{hb j X�V]br[�`�bed[aZ�^8g�s�brm�^8ghv?`2[aZ�^"d]br�.^q_o�{�X�Ù%b {�Xj�l8_�{h{h_�g�d]i�v�s�VaX�Y�Zu�·[]Z�^"_�g�^ql�_�g�[>Xb g�brg�s�[]Z�^y{hXÙ%br{�Xj�g?i�{2vT^8V_�oÔm�^.V:[ab l8^.d>��Xg�k��?s�^8g�^8V>Xj jr`���v?`h[]Z�^yY�Va_�YT^8V][]b ^.d�_oPbD[>d�m�^8V][]bel�^(d�X�g�k�^(k%s�^(d8�?�nZ�bedØ[a^.l>Z�g�b ×�i�^�Y�jeX�`%d�X�gb g�l�Va^.X�d:b g�s�jr`zbr{hYT_�V][aX�g�[WV]_�jr^|brg�{�Xg?`uX�d]Y�^(l�[ady_oØdal�b ^8g�l�^hXg�k [a^.l>Z�g�_�j _�s�`�Ú�[]Z�^}^�Ù�X{hY�j ^.dyb g�l�j i�k%^Y�Va_[a^8b g% Ûjrb s�X�g�kÅk%_%l>�?brg�s}� Ü��Û�Õ�ÝÞd�[aV]i�l�[]i�V]^xV]^(l�_�s�g�br[]b _�gc� Ð ��Õ�� Î �ß%��à.�Û��{h_?k�^8j brg�sW_o�X�l�[]b m�^�d]br[]^.dn� á�� Ï �Û�b g�[]^8VaY�Va^�[>X�[]b _�gÞ_�o�{h_�jr^(l�i�jeXVcd]YT^.l�[aVaXâ�D�(ã%�"�����¦��Y�Va^.k%bel�[abr_�g�_o/v�b _�j _�s�bel8X�j"X�l�[]b m?bD[�`ä�D� Ð �¦�nk�X[aXv�X�d]^d]^.X�Val>Z�b g�sÓ�D�(Õ%���.Ü��X�g�k�{hX�g?`~_[aZ�^8V>d8��b g�l8jri�k�brg�s~[]Z�_�d:^h_�i�[ad]b k%^�l>Z�^8{h_ "X�g�k�v�br_�brg�op_�Va{hX[]bel8d��S^�� s��l8_�{hY�i%[a^8Vfm?b d]b _�g Xg�kzb {hX�s�^WV]^(l�_�s�g�br[]b _�gN��l�o����f^8oSd8�Ô�r� Î ���.ß%�N��à��N�(á%�N� Ï �·���UWVaX�Y�Z {�X�[al>Z�brg�s�bedf�?g�_�tfgz[]_�vT^2X�l8_�{hY�i%[>X�[]b _�g�Xj jr`\^�Ù%Y�^.g�d]brm�^/Y�V]_%l8^.k%i�Va^��%tfZ�b l>Zuj br{hbr[ad"{}_�d�[

_�oØbD[>d�XY�Y�j bel8X�[abr_�g�d.�Tåæg?i�{2vT^8V�_o�s�V>XY�Z% Û{�X�[>l>Z�brg�scXj s�_�V]br[]Z�{�d.��vT_[aZ�_�Y�[]b {hX�j�Xg�k�XY�Y�Va_�Ù%br{�X[]^��Z�X�m�^�vT^8^.g|Y�V]_�Y�_�d:^(k2_�m�^8V,j X�d�[�ÕWk%^.l.X�k%^(df�Sd]^8^���^�� s��r��Va^8m?b ^8tqd,b g}�f^8oSd8��� Ð ã%� Ð ���p���?çyY%[]b {�Xj�Xj s�_�V]br[]Z�{hdX�V]^�[]Z�_�d]^Ó[]Z�X[�s�i�X�VaX�g�[]^8^�[]Z�^�v�^(d�[�d]_�j i%[abr_�gÔ�Sd>�\[]_�vT^�op_�i�g�k��"tfZ�brj ^�XY�Y�V]_�Ù%b {hX[]^�Xj s�_�V]br[]Z�{hd_��T^.V|g�^(XVajr`� Ûv�^(d�[}d:_�jri%[abr_�g�dÅi�d:i�X�jrj `�X�[hl�_�g�d:bek%^8V>Xv�jr`�jr_�tx^8V}l�_�{hY�i�[aX�[abr_�g�l�_�d�[(�,è~_�d:[2_o"_�Y%[]b {�XjX�jrs�_�VabD[aZ�{�dnop_�VWl�_�{h{h_�g~d]i�v�s�VaX�Y�Zubed:_�{}_�V]Y�Z�b d]{Á�Ûén� � ����i�d]^.k b g~m�XVab _�i�dqX�Y�Y�j b l.X�[abr_�g�d8�TXVa^Åv�X�d:^(k_�g~{�X�Ù%br{�X�jPl�j be×�i�^|k%^8[]^.l�[]b _�g�brgu[aZ�^hX�dad:_%l�beX�[abr_�g s�V>XY�ZN�TX�dytxX�dfê�V>d:[yY�Va_�YT_�d]^.k b g��f^8oSd8��� Ð�Ð � Ð Õ��Û�� gÓl�_�g�[aVaX�V]`���v�X�l>��[]V>X�l>�?brg�szén� � X�jrs�_�VabD[aZ�{�d|��l�o��Ô�q^�o���� Ð Ü��p�WXVa^2V>XVa^8j `zi�d:^(k���Y�Va^.d]i�{�Xv�j `uv�^(l8X�i�d:^_�oÅ^�Ù?[]V>X�l�_�{}Y�i%[aX[]b _�g�X�jyl�_�d�[\brg?m�_�jrm�^.k�� � [\bed�tfbek%^8j `�X�l.l�^8Y�[]^.kN��Z�_�tx^8m�^8V(��[]Z�X[c[aZ�^�Y�Va_�v�jr^.{ë_�o^8Ù%X�l�[nd:i�v�s�V>XY�Z�bed:_�{h_�VaY�Z�bed:{ì�Síx� � ��X|d:YT^.l8b X�jTl.X�d]^q_o�én� � tfZ�^8g�[]Z�^W{�X�Ù%br{�X�jTl8_�{h{h_�g�d]i�v�s�V>XY�Zl8_�b g�l�bek%^.d~tfbD[aZ�_�g�^�_�o|[aZ�^�b g�Y�i%[�s�V>XY�Z�da�\bed~{2i�l>Zä{h_�V]^�^8�T^(l�[]b m�^.jr`îd]_�j m�^.kïv?`ïv�X�l>��[]V>X�l>�?b g�sX�jrs�_�VabD[aZ�{ðk%i�^î[a_òñqj jr{�Xgó�SñyåÅ�zl�o��c�f^8o���� Ð�Î �p���z�nZ�b d�oSX�l�[Ês�brm�^.dÞXgìb {}Y�jrbel8X[]b _�gô[]Z�X[�[]Z�^v�X�l>��[]V>X�l>�?brg�s~XY�Y�Va_�X�l>Z�{�X�`Óv�^z^�õ�l�b ^8g�[}op_�Vcén� � X[}j ^.X�d�[}brgÞl8X�d:^(d/[aZ�X�[�XVa^�ö8÷rø�ù�ú []_Óí�� � �St�^d]Z�Xj j�Va^8m�^(XjT[]Z�^/{}^(Xg�b g�sh_o,[]Z�X�[fopi�V][]Z�^.Vf_�g b gc[aZ�^/Y�XYT^8V����� g2[aZ�^xg�^�Ù?[�d:^(l�[abr_�g�d,_o�[aZ�^nY�XYT^8V(��t�^nd:Z�XVa^Ø_�i�VP^8Ù?YT^8Vab ^8g�l8^�b g}l8_�g�d:[]Vai�l�[]b g�syXyv�X�l>��[aVaX�l>��b g�sWén� �

X�jrs�_�VabD[aZ�{ ��tfZ�bel>Z�l8_�g�d]b k�^8V>Xv�j `\_�i%[]YT^8V]op_�Va{�dq[aZ�^|[]V>X�k%br[]b _�g�X�jÔ{�X�Ù%b {�Xj�l�j b ×�i�^hXY�Y�V]_�X�l>Z�� Ð�Ð � Ð Õ��Û��nZ�^yXj s�_�Vabr[]Z�{ætxX�d�b g�bD[ab X�jrj `hk%^8Vabrm�^.k|opVa_�{ûñ"åÊv?`}{h_?k�bDê�l.X�[abr_�g�_o�Y�XV][adØV]^.j X[]^(k}[]_/[aZ�^q^�Ù%Y�X�g�d]br_�g_�oWY�X�V:[ab X�jqd:_�jri�[]b _�g�d�X�g�k�V]^:w�^.l�[abr_�gÞ_o�i�g�d]i�bD[>Xv�j ^uv�V>Xg�l>Z�^.dh_oW[]Z�^�d:^(XV>l>Z�[aV]^.^��xçyi�V�X�jrs�_�VabD[aZ�{�SZ�^8Va^.Xo·[]^8V,Va^�op^8Va^8g�l�^.k/[]_�X�d�én� � åy�Pk%br�T^.VadPopVa_�{ä[]Z�^xv�X�l>��[aVaX�l>�?brg�syén� � Xj s�_�V]br[]Z�{�k%i�^Ø[a_yè~l(UWV]^.s�_�V��l�o����f^�o��}� Ð Ü��·�~Xg�kîZ�X�d~XÊl8_�g�[]Va_�j jrb g�s�l�_�{hY�jr^8Ù%bD[�`ïY�XV>X{h^�[a^8V(�qü�^�d:Z�_�tý[aZ�X�[�l8_�{hY�i%[>X�[abr_�g�Xjl8_�{hY�j ^�Ù%bD[�`�_�o/én� � åìbedhvT_�i�g�k�v?`�[]Z�^ daX{h^ V>Xg�s�^zX�d2[aZ�X�[�_�oWñ"åþX�g�k�tfZ�b l>Z�bed�l�_�g�d:bek%^8V>Xv�jr`j _�t�^.Vx[]Z�X�g l8_�{hY�j ^�Ù%br[�`�VaX�g�s�^�d]Z�_�tfg\v?`cX�jrs�_�VabD[aZ�{�dxv�X�d]^.k\_�gz[]Z�^/{hXÙ%br{�XjNl8jrbe×�i�^/k%^�[a^.l�[]b _�gN�

ÿ����,I,RpJ(RSLTI�����I,M�J���� ��Q���J8K���Q��NRSI���(Q��������� gÓtfZ�X[Åop_�j jr_�tqd.��tx^�i�d:^h[aZ�^�g�_�[]b _�gÓ_oWù8ú���ù~�Sk%^.g�_[a^.kÓv?`�l.XY�br[aX�j�j ^�[:[a^8V>da�W_�oqXg?`~_�v�w�^.l�[>d��·[aZ�^8b Vú8÷rú��hú�����ù��Nk%^8g�_�[]^(k�v?`�d]{�Xj j�jr^8[:[a^8V>da���Nå d:^8[�{�X�`~vT^�g?i�{2vT^8Va^.kN��brgÓtfZ�bel>Z�l.X�d]^hbD[>d�^8j ^8{h^8g�[ad/X�V]^b g�k%^8Ù?^(k��,^�� s�����! "$#�%&"(')%*�*�*+"-,/.0�! "(12. ,143�# �Sd]i�v�dal�VabrY%[�5/k%^8g�_�[]^(dÅ[aZ�^c^.g�i�{}^.VaX[]b _�g�m�XVabeXv�j ^��

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 3: Common subgraphs, backtracking algorithm Introduction Graph

���]���� ��� �����������´(>�´����®��������®��X�,¸��6 ������¹ ÎÏ Õ

? �A@ �B@�bedfg?i�{2vT^8Vf_�o,^.jr^.{h^8g�[adnb gC�������%^�[ad"XVa^Wd]i�v%w�^(l�[f[]_�k�brVa^.l�[n{|i�jr[]b Y�jrbel8X[]b _�gED/FG�H�JICKA� �"-1ML�N�.�1ON��T_�m�^8Vaj X�Y�b g�s�D-FP�Q�SR�KT�U �"-1WVXL�N�.�1:��X�k�k%bD[abr_�gEDEFQ�X�ZY[ �L-.\�U �"/#�%&"-']%�**�*�%+L(.|Xg�kd]i�v%[aVaX�l�[]b _�g^D-FG�_�a`B " 1 .b�X �" # %&" ' %�**�*�%+" 1dc$# %&" 1fe�# %�**�*�.��ü�^Åd]Z�X�jrjNVa^8Y�V]^(d:^.g�[ns�V>XY�Z�dfX�dfÕ �[ai�Y�j ^.d;gh� � ij%lkm% ? �Û�%tfZ�^.V]^\iP�Q n 1 .2Xg�k�kA�X �o 1pN .2XVa^/d:^8[ad

_�oÔm�^.V:[ab l8^.dxXg�kc^.k%s�^.d.��l8_�VaV]^(d:YT_�g�k�brg�s�jr`���X�g�k ? �A@ iq@�bed�[]Z�^Wg?i�{2vT^8Vn_oPm�^8V][]bel�^(d8�?íØX�l>Z�^8j ^8{h^.g�[rn 1X�g�kCo 1ON Z�X�d"X�d:^8["_o�Y�Va_�YT^8V][]b ^.d.��tfZ�bel>Zu{hX�`cv�^2l.Xj jr^(kuX�d/��l�_�{hYT_�d]bD[a^Å_�V"m�^.l�[]_�V>��jeXvT^8jed8�TX�dad:b s�g�^(k[a_}m�^8V][]bel�^(dfXg�k\^.k%s�^.d.�%ü�^�[aZ?i�dql�_�g�d]b k%^.V�÷fs]t>ú8÷rúvuzs�V>XY�Z�d.�w _�V�[]Z�^ubek%^.g�[abDêTl8X�[abr_�g�_o�{�X�[al>Z�brg�s�m�^8V][]bel�^(d�Xg�k�^.k�s�^.d.��tx^ubrg�[aV]_%k%i�l8^ []Z�^um�^8V][]^8Ù�Xg�k�^(k%s�^

l8_�{hY�XVabed:_�gïopi�g�l�[abr_�g�dyx��zn 1 %&n N �~X�g�kA{��Mo 1pN %lo�|v}����WVa^.d]Y�^(l�[]b m�^.jr`��W�nZ�^.d]^�opi�g�l�[]b _�g�d�Va^�[]i�V]gQ~8������brom�^8V][]bel�^.d~_�V~^(k%s�^(d�l�_�{hY�XVa^��"X�g�k��d��� �&��_[]Z�^8Vatfb d]^�� � g�{h_�d�[�X�Y�Y�j b l.X�[abr_�g�d8�"[]Z�^(d:^�opi�g�l�[abr_�g�d�X�V]^l8_�{hY�XVab g�sÊw�i�d:[Þ[�t�_ g?i�{2vT^8V>d.�}v�i%[�s�^8g�^8V>Xj jr` []Z�^8` {�X�`òXj jr_�t op_�V�Xæl8^8V][aX�brg [aZ�Va^.d]Z�_�jekò_�ok%bedal�Va^.XY�Xg�l8`u_�V�{h_�Va^hl8_�{hY�j b l.X�[a^.k�V]i�j ^.d/X�Y�Y�j b l.Xv�j ^}[]_ul�_�{hY�_�d:br[]^hjeXv�j ^.d.��tfZ�bel>Z�bed/i�d]^�opi�j¦�N^�� s��r�op_�Vf{hX[al>Z�b g�shs�V>XY�Z�dxV]^.Y�V]^(d:^.g�[]b g�s2opi��8�8`\_�v%w�^(l�[>d8�åòd]i�v�s�V>XY�Z�_�ofs�V>XY�Z�gX�ý� iW%+km% ? ��bed2d]i�l>ZÓs�V>XY�Zy���ý� �h%l�r%l���x[]Z�X�[���� ? �� ��iþXg�k

�!�ZkPR��M��I������,_�V(�Pb g�d]br{hY�j ^ctx_�V>k�d.���ìbed2X�d]i�v�d]^�[m� _ob�Óm�^8V][]bel�^(d/opVa_�{�i���l�_�g�g�^.l�[]^.kb g�s�VaX�Y�Z0�óv?`�s�÷·÷�s)�(u~ø)��÷O�u^(k%s�^(dy[]Z�X[2l�_�g�g�^.l�[y[aZ�^.d]^hm�^8V][]bel�^(dWbrg�s�V>XY�Zhg��N�nZ�^hj X[:[]^.V/{h^.Xg�d8�b g�Y�XV][]bel�i�j X�V.��[aZ�X�[|bDon[�tx_um�^8V][]bel�^(dÅXVa^�g�_�[|l�_�g�g�^.l�[]^(kÓbrg�s�VaX�Y�Zhg��P[]Z�^.`�l.XgÓg�_�[2v�^\l�_�g�g�^.l�[]^.kb g�br[ad/d]i�v�s�VaX�Y�Z0���Tü�br[]Z�_�i%[Åj _�dadWbrg�s�^.g�^8V>Xj bD[�`���tx^�l8X�g�l�_�g�d]b k%^.VW[]Z�X[/X�jrj�i�g�l�_�g�g�^.l�[]^(k~m�^.V:[ab l8^.dX�V]^�l�_�g�g�^(l�[]^(k�v�`�m?brV][]i�X�j ?$�/�d� ^.k%s�^.d�i�g�k�^8V/[aZ�^cl�_�g�k%br[]b _�g�[]Z�X�[ ?$�/�d� ^.k%s�^.d/l8_�{hY�XVa^h_�g�j `�tfbr[]Z[aZ�^8{�d]^8j m�^.d.���nZ�bedxop_�Va{2i�jeX�[abr_�gN�?tfZ�bel>Z\tx^/d:Z�X�jrj�i�d:^WopVa_�{òZ�^.V]^�_�gN�%b dn{h_�V]^/l�_�g?m�^8g�br^.g�[xop_�Vxopi�V][]Z�^8Vk%bedal�i�dad:b _�g�v?`�^.jrb {hbrg�X[]b g�sz[]Z�^�op_�Va{hX�j�k%br�T^.V]^.g�l�^hvT^�[�tx^8^8g�l8_�g�g�^(l�[a^.kÓXg�k�i�g�l�_�g�g�^.l�[]^.k�m�^.V:[ab l8^.d��Xj jNs�V>XY�Z�dØ[aZ�^8Va^�op_�V]^�XY�Y�^(XVqX�dxopi�jrj `\l8_�g�g�^(l�[a^.k����é�_�{h{h_�g�d]i�v�s�V>XY�Z�db� # �þ� ij%lkm%l���xXg�k�� ' �þ�p�r%l�r%l���Ø_�o�[�tx_us�b m�^.g�s�VaX�Y�Z�d�g # X�g�k�g ' X�V]^

[aZ�_�d]^���_o�^.×�i�X�j�d:b �8^=���[aZ�X�[nXVa^fb d]_�{h_�VaY�Z�belx[]_2^.X�l>Zh_�[]Z�^.V.���nZ�b dØ{}^(Xg�d�[]Z�X[�[]Z�^8Va^"d:Z�_�i�jekhv�^Wd:i�l>Zg?i�{h^8V>X�[abr_�g\_�o,d]i�v�s�VaX�Y�Z�d��m�^8V][]bel�^(dr"P�z5��nX�g�k�L��d5����?[]Z�X�[

x��zn)�]� 14� %& ¢¡�� 1f�&£ ��~8�����¥¤ {¦�Mo��]� 14�¨§ �)� N+� %l©�¡�� 1f�¨§ ¡�� N+�ª£ �H~8�M���¬«05l%¨­¦®y ��j**�*&�(. �:�(�_�V.��brgcd]b {}Y�jr^yt�_�Vak�d.��X�jrjTY�X�brV>d�_�oN{hX[al>Z�b g�sÅm�^8V][]bel�^(d�b g�[]Z�^�d]i�v�s�V>XY�Z�d�XVa^"l8_�g�g�^(l�[a^.k�v?`h{�X�[al>Z�brg�s^(k%s�^(d|�Sbrg�l8jri�k%brg�s\[aZ�^hm?brV][]i�X�j ?$�/�d� ^.k%s�^.d>�����nZ�^}Y�Va_�v�j ^8{þ_�o�ê�g�k%b g�s\[]Z�^�l8_�{h{h_�g�d]i�v�s�VaX�Y�Z�dWl8X�gvT^2g�_�t�Va^8Y�Z�VaX�d:^(k X�dyjr_?_��?b g�s�op_�V"g?i�{2vT^8Va^.k�d:^8[adb�J�U �"P�d54�8. |143�# X�g�k0KT�¯ �L��d5��v. |143�# �TdaX�[ab d:op`?brg�sl8_�g�k%br[]b _�g�d/���(���¡nX�l>��[]V>X�l>�?b g�s�dal>Z�^8{h^�_��^8V>d\X�d:b {hY�j ^ÓX�g�kâl8_�g?m�^.g�b ^8g�[ X�Y�Y�Va_�X�l>ZÞ[]_�[]Z�^Ód]_�j i%[]b _�g �Sl�o�� �q^�� s��r�

�f^8o��f� Ð Ü��·��� w b s�i�V]^���Y�Va^.d]^8g�[ad}X~Va^.l8i�Vad]b m�^�m�^.Vad]b _�g�_of[aZ�^zv�X�l>��[]V>X�l>�?b g�s�én� � X�jrs�_�VabD[aZ�{ �pb g�ê�V>d�[l8_�g�d]b k�^8V>X�[]b _�gÔ�/brs�g�_�Va^�[]Z�^Êi�g�k%^�ê�g�^.kJ°+±yè~è³²c�\² #8´ b g []Z�^.V]^����|�nZ�^âXj s�_�V]br[]Z�{ ^.dad:^.g�[ab X�jrj `^.g�i�{}^.VaX[]^(d�X�jrj YT_�dad:b v�j ^î{hX�Y�Y�b g�s�d�_�o�m�^.V:[ab l8^.d.�htfZ�b l>ZìdaX�[]bed:op`û[]Z�^�l�_�g�k%br[]b _�g�dÞ_�o�d]i�v�s�V>XY�Zbed:_�{h_�VaY�Z�bed:{ �:�(���Nbrg�d]^�[>dµ� X�g�khK�� � g�bD[ab X�jrj `¶� Xg�khKþX�V]^�d]^�[Å^8{hY%[�`��Sl�o��Ôd�[a^8Y Ð _ox[]Z�^�{hX�brgY�Va_�s�VaX�{����?çyg\^.X�l>Z�^8g�[]Va`h[]_�·\¸�¹���º2»�¸�¹������ýX�g�kqK brg�k�^�Ù�m�^.V:[ab l8^.d�_oÔY�XV][]beXj�l8_�{h{h_�gzd:i�v�s�V>XY�Z�dop_�i�g�k����nZ�^Ød]i�v�s�VaX�Y�Z�d�{�X�`W_�VÔ{�X�`yg�_[,v�^�^�Ù?[]^.g�k%^.kN�8tfZ�bel>ZÅbedÔl>Z�^(l>��^.kWv?`yopi�g�l�[abr_�g\kµ"-ºªo ?E¼ ¸¾½ � o�� � od]_�j i%[]b _�g/bedNg�_[Ô^8Ù�[a^8g�k�Xv�j ^��(bD[Pb dP_�i%[aY�i%[Ôb g2d:[]^.Y���à?�(Xg�k/X�jrs�_�VabD[aZ�{âVa^�[aV]^(X�[>d8��ç"[]Z�^.V]tfbed:^���·\¸�¹��¾º2»�¸�¹��Y�bel>�%dØX2`�^�[xi�g�{�XY�Y�^(k�m�^.V:[a^�Ù¦n 1 opVa_�{ s�V>XY�Zqg # �Sd:[]^.Y Ð �ØXg�k�bek%^.g�[abDê�^.dxd:^8[¢FÞ_�oÔXj j�m�^8V][]bel�^(d�opVa_�{s�VaX�Y�Z�g ' �Sd:[]^.Y�Õ��W[aZ�X�[}{hX�`�v�^\{�XY�YT^.kÓ_�g�[a_0n 1 tfbr[]Z�_�i%[2m?b _�jeX�[abr_�g�_�oqd:i�v�s�V>XY�ZÓbed:_�{}_�V]Y�Z�b d]{l8_�g�k%br[]b _�g�d\�:�(�\�Sl8X�g�k%bek�X�[a^c{�X�[>l>Z�b g�s�d>��� w _�V|^(X�l>Z�m�^8V][]^�Ù� �Nzd]^�[qF/�P[]Z�^zX�jrs�_�VabD[aZ�{Á^8Ù?[]^8g�k�d|[]Z�^d]_�j i%[]b _�gïv?`âXY�YT^8g�k%brg�s�� Xg�k¿K tfbD[aZïb g�k%bel�^(d _oÀn)1�X�g�kG �N��fVa^.d]YT^.l�[abrm�^8j ` �Sl�o��qd�[a^8Y�d Î � ß�brgw b s�i�Va^��(�����nZ�^.g0·\¸�¹���º2»�¸�¹�� bedql8X�jrj ^.k Va^.l8i�V>d:b m�^.jr`���d�[a^8Y~á��nbrg�_�V>k%^8Vn[a_�{�X��^�opi�V:[aZ�^8Vy^�Ù?[]^.g�d:b _�g�d8�

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 4: Common subgraphs, backtracking algorithm Introduction Graph

Î�Ï Ü P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

Á� L-� �  s�V>XY�ZCg # ��� ij%lkm% ? �Û�-g ' ��� �h%l�r%&Ã\�¦ÚTd:^8[r���ÄK�Ú�b g�[]^8s�^8V ?EÅ¢Æ ���� QÇ� ÂdÂÉÈ ? 5¨º252¸ � 52ÊÇo?�˲h�Ð �Ì�JDO�GÍ���KP�[ÍÕ�� ?EÅ¢Æ � DO�âãÜ�� QÇ� Âd ·À¸�¹���º2»�¸�¹����˲h�Î � �.J.L-Î

Î,K�LÔQ]�?MPOPK�� ·\¸�¹��¾º2»�¸�¹���� ±Wè~èϲò���� RMÐ kµ"-ºªo ?E¼ ¸¾½ � o��z²}� J��?IÐ � n)1ÉDO�GÑÒ52¹���iµo�»�ºªo�",�˲}�Õ�� F�DO�GÓµo�º&ÔX¸�Õ]Õ(¸¾½ � o�i=o�»�º252¹�o�Ö��zn 1 %ª²h�Ü�� ÐÛL�K Xj j$  N ®0F M,LÎ � �×DO�_�SYH 5l.ß�� KØDp�[K[Y_ 8­�.à%� Ù # DO�[Ú=o�©(5 ? o?�˲}�á�� Q]� ÂM ·\¸�¹���º2»�¸�¹����z² # �Ï � �×DO�_�a`B 5l.�.ã�� KØDp�[KX`� 8­�.����� M,L�I�� Ð � iUDO�[i�`B n)1&.�.Õ�� Q]� Âd ·\¸�¹��¾º2»�¸�¹��N�˲}��8Ü�� iUDO�[iGYH n)1&.� Î � �  ���.ß�� ? Å¢Æ � DO��{�X�Ù�� ? Å¢Æ � %�@ �B@ ���à%� Û � ºËÕ � º��z�0%lK2��.á�� �?I,MPRMÐ

Ü CF6(3�7�Ç\Ý.ÍÄÞ�<�Çq5?98@]A�B47:98@]ACF0�6/14@:<�Ç>-/Çq+�ßÔB�<�Çy)�É]à�9.EF6.+.7�CGB�<�-hÍ�)�98;�CGB:9.ETEDÇ]B4B�Ça7�1nÌ�Ç>0�+8B�Ç"03�-W5%Ça7�Ç�Ì14ÇaB�1>=?9.0�Ì|14-Å9.EFE�EFÇaB4B�Ça7�1ÉáNB�<�Ç>CG7ØÇ>EFÇ>-/Ç>0�B�1>=�14+�B�<?9�BjâUã�ä8å¾æMç�Í?É�Ç>ÇqÌ�ÇaB:9.CFEF1�CF02B�<�ÇxB�ÇlèB�Í

åqo·[]^8Vh[aZ�^ V]^(l�i�V>d]brm�^\l8X�jrj¦�É� X�g�k�KóX�V]^zV]^(d�[a_�Va^.kÊ��d�[a^8Y�d Ï �r�(ã����,tfZ�b l>Z�Xj jr_�tqd|[]Z�^ X�jrs�_�VabD[aZ�{ []_YT^8V]op_�Va{æk%br��^8Va^8g�[�{�XY�Y�b g�s�d�_�gh^.X�l>Z}j _?_�YT_�m�^.V.��¡x`2s�_�b g�s�i�Y�Xg�khk%_�tfg}[]Z�^fV]^(l�i�V>d:b _�gÔ�Xj j�Y�_�d]d]b v�jr^^8Ù�[a^8g�d]b _�g�df_�o�l�_�{h{h_�gud]i�v�s�VaX�Y�Z�d.�%_�Vabrs�brg�X[]b g�s}opV]_�{ [aZ�^Å^8Ù�[a^8g�d]b _�g _o�d]i�v�s�V>XY�Zz_�oÉg$#/v�`\m�^.V:[a^�Ùn)1]��XVa^y[]Z?i�df^8Ù?Y�jr_�V]^(k��� [ybed"l8jr^(XV(��Z�_�tx^8m�^8V(�?[]Z�X[Wl�_�{h{}_�g~d:i�v�s�V>XY�Z�dqk%_�g�_�[yZ�X�m�^�[]_zl�_�g�[>Xb g X�g?`\Y�X�V:[ab l8i�jeXVqm�^8V][]^�Ù��

�nZ�^.V]^8op_�Va^��P[]Z�^ud]^.X�Val>Z�{|i�d:[}vT^ul�_�{hY�j ^8{h^.g�[a^.k�v�`�^8Ù%Y�jr_�V]b g�s�Xj jx^8Ù?[]^8g�d:b _�g�d}_�oé� [aZ�X�[�k%_�g�_[b g�k%^8Ùu[]Z�^hl>Z�_�d]^8gum�^8V][]^8Ù��dn 1 ��� w _�Vy[]Z�X�[�Y�i�VaY�_�d:^���b g�d:[]^.Y�d}� Ð  >�8Ümn 1 bedq[a^8{hYT_�V>XVa`zVa^8{h_�m�^.kzopVa_�{ê]ë slì�í0g # ��·\¸�¹���º2»�¸�¹��cb d"l8Xj j ^.k\V]^(l�i�V>d:b m�^.jr`�X�s�X�brgN�%X�g�k X�o·[]^.VfbD[qVa^�[ai�Vag�d8�¾n 1 b dnY�i�[qv�X�l>��b g�[]_îg # �� gh[]Z�^"{}_�d�[�Y�V]b {hbD[abrm�^qbr{hY�j ^8{h^.g�[>X�[abr_�g}_�o�[]Z�bedØX�jrs�_�VabD[aZ�{ �)kµ"�ºªo ?E¼ ¸�½ � oqVa^�[ai�Vag�d ~8�����qbro�[]Z�^.V]^qX�V]^

`�^�[ni�g�{�XY�YT^.k\m�^.V:[ab l8^.dxb g�g$#WXg�k�g('yj ^�o·[(�ÄÑÒ52¹��Äiµo�»�ºªo�"uV]^8[]i�Vag�dÔw�i�d�[qX�g�`�i�g�{�XY�YT^.k\m�^.V:[a^�Ù�opVa_�{

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 5: Common subgraphs, backtracking algorithm Introduction Graph

���]���� ��� �����������´(>�´����®��������®��X�,¸��6 ������¹ ÎÏ�Î

iï`� �n)�)� 1f� .�1]�Óµo�º&ÔX¸�Õ]Õ(¸¾½ � o�i=o�»�º252¹�o�ÖØV]^8[]i�Vag�dPXj j�m�^.V:[ab l8^.dNopV]_�{X�T`�  ¢¡�� 1f� .�1]�8tfZ�b l>ZN�.v�^.brg�s"{�XY�YT^.k_�g�[a_\n)1�Xg�kcX�k�k%^.k�[]_Å[aZ�^/d:_�jri�[]b _�gN�?k%_}g�_[nm?br_�j X[]^q[aZ�^�l�_�g�k%bD[abr_�g�dx_oPd]i�v�s�VaX�Y�Z�bed:_�{}_�V]Y�Z�b d]{þ�������È ? 5¨º25¨¸ � 5¨Ê�o�Xg�k�Ú=o�©(5 ? o�k%_ug�_[]Z�brg�s�� Ö _�t�^.m�^8V(�NX�dÅY�VaX�l�[ab l8^�d:Z�_�tqd.�Ôd]i�l>Z�b {}Y�jr^.{}^.g�[aX�[abr_�g�t�_�i�jekg�_�[qv�^�[aZ�^/{h_�d:[f^�õ�l�b ^8g�[q_�g�^��� [Øbed�_�v?m?br_�i�d�[aZ�X�[�^8õ�l8br^.g�l�`}_o�X/Va^.l8i�Vad]b m�^nXj s�_�Vabr[]Z�{ k%^8YT^8g�k�d�^�Ù%YT_�g�^.g�[]beXj jr`|_�g}[]Z�^"g�i�{2vT^8V�_�o

Va^.l8i�Vad]b m�^ql8X�jrjed�br[n{hX���^(d8��tfZ�brj ^q[aZ�^"g?i�{|v�^.V�_�oN_�YT^8V>X�[abr_�g�d8��Y�^.V:op_�V]{h^(khtfbD[aZ�brgzXÅd]brg�s�jr^Wl8X�jrj¦��{�X��^.d[aZ�^2v�X�d:^2_o�[]Z�X[y^8Ù?YT_�g�^8g�[.��å"dy{�X�`cvT^|d]^8^8g~opV]_�{ w b s�i�Va^�����[]Z�^|g?i�{2vT^8VW_o�Va^.l�i�Vad]brm�^Ål8X�jrjedq{�X�`vT^/k%^.l8V]^(X�d]^.k�brok�"�ºªo ?E¼ ¸¾½ � o�b dnX�v�jr^W[a_}k%^8[]^.V]{hb g�^�tfZ�^�[aZ�^8Vn[aZ�^/d:^(XV>l>Z�jr^(X�k�dx[a_}X�u�ú�ù8ð ë sÇt�÷rú2Va^.d]i�jD[_�g�ñvò ë �zí�ú ë Va^.l8i�Vad]b _�gcj ^8m�^8jed8��X�g�k\[]_hVa^�[]i�V]gï�d��� �&�/bro,br["k%_?^.dng�_[.�� g�k%^.^.k���v�X�l>��[]V>X�l>�?b g�s}X�jrs�_�VabD[aZ�{�d�op_�Vqs�VaX�Y�Zc{�X�[>l>Z�b g�s�i�d]^Åk%bD��^8Va^8g�[f[a^.l>Z�be×�i�^.dxop_�Vf[]^.V]{hb g�X�[abrg�s

ò¾�/u�ú�ùvð ë s]t8÷rúWv�V>Xg�l>Z�^(d�_�o�[]Z�^WV]^(l�i�V>d]br_�g|[aV]^.^�� w _�V�^8Ù%X�{hY�jr^���ñ"jrj {�Xg\X�jrs�_�VabD[aZ�{ì� Ð�Î �Tj _?_��%d�op_�V�^8Ù�X�l�[d]i�v�s�VaX�Y�Z\bed]_�{h_�VaY�Z�bed:{ _�g�j `��%[aZ�^8Va^�op_�V]^/X�g�`\V]^(l�i�V>d]br_�g\v�V>Xg�l>Z\g�_�[qjr^(X�k%b g�sh[a_�l�_�{h{h_�g d]i�v�s�V>XY�Zg�_�[hl8_�b g�l�bek%b g�s�tfbD[aZ�[aZ�^ jr^(d]d]^8V}_oq[aZ�^ brg�Y�i%[�s�V>XY�Z�d8�,b dhVa^�w�^(l�[a^.k�X�dhd:_?_�g�X�d}bD[�bed}b k%^.g�[]brê�^.k�X�dd]i�l>ZN� � g�[]Z�^cén� � Xj s�_�V]br[]Z�{ k%i�^}[]_uè~l(UWV]^.s�_�Vh� Ð Ü��Û�jò¾�(u�ú�ù8ð ë sÇt�÷ ú�v�V>Xg�l>Z�^.d�XVa^}k�^�ê�g�^(k�X�dW[]Z�_�d:^g�_�[yj ^.X�k%brg�s�[]_ d]i�v�s�V>XY�Z�dqZ�X�m?b g�s�{h_�Va^Å[aZ�Xg�{�X�Ù%br{�X�jÔg?i�{2vT^8V�_�o�^.k%s�^.dybrg�l�_�{h{h_�g�d:i�v�s�V>XY�Z�dX�jrVa^.X�k%`hop_�i�g�k��� g�[aZ�^\g�^�Ù?[hd]^.l�[]b _�g�d.�,t�^zk%^.dal�VabrvT^z_�i�Vhd�[aVaX[]^.s�`�op_�V}Y�V]i�g�brg�s�[aZ�^\Va^.l8i�V>d:b _�gÓ[aV]^.^��Éó�XV][]j `��Ô[]Z�^

d:[]V>X�[a^8s�`âb duv�X�d]^.kä_�gä[]Z�X�[�^.{}Y�jr_�`�^.kïv�`äñqj jr{�X�g Xj s�_�Vabr[]Z�{ � Ð�Î �¦�yZ�_�t�^.m�^.Vztx^�{�X��^Ód]YT^.l�brê�l{h_%k%brê�l8X[]b _�g�d}op_�Vh[]Z�^�én� � Y�Va_�v�j ^8{ ��X�g�k�opi�V:[aZ�^8V�b {hY�Va_�m�^8{h^.g�[�bed�k%_�g�^ op_�Vh[]Z�^u{hXÙ%br{�Xjyén� �Y�Va_�v�jr^.{z�/ü�^Ê_�Y%[]b {hbr�.^�[aZ�^âñ"jrj {�Xg XY�Y�V]_�X�l>Z b gòl>Z�^.l>�?b g�sïop_�VÓ[]Z�^Êl�_�g�k%bD[abr_�g�d�_�ozd]i�v�s�V>XY�Zbed:_�{h_�VaY�Z�bed:{ ���(��� � g~X�k�k%br[]b _�gN��t�^Åd]Z�_�tï[]Z�X[q[]Z�^|l>Z�_�bel�^/_�o�m�^8V][]^8Ùïn)1�b g~d:[]^8Y Ð _�o�[]Z�^2X�jrs�_�VabD[aZ�{b g w brs�i�V]^u��{�X�`�Z�X�m�^�X Y�Va_�g�_�i�g�l8^.k�^���^.l�[2_�g�[]Z�^�Y�^.V:op_�V]{�X�g�l�^��Nü�^\Xjed:_ud]Z�_�t [aZ�X�[2[]Z�^�[abr{h^l8_�{hY�j ^�Ù%bD[�`/_�o�_�i�V,X�jrs�_�VabD[aZ�{�b d�l8_�g�[]Va_�j jr^(k/v?`�[]Z�^fd]br�.^�_�o�l�_�{h{}_�g|d]i�v�s�VaX�Y�Z�dNbr[�b d,j _?_��?brg�s"op_�V.��Xg�k[aZ�^yjeXVas�^.V�bed�[aZ�X�[fd:b �8^"[]Z�^rñ�s�ù8�4ú ë bed�[]Z�^Wd:^(XV>l>ZN���nZ�X�g��%d�[a_Å[aZ�^yb {hY�Va_�m�^.k�d:[]V>X�[a^8s�`���_�i�V�X�jrs�_�VabD[aZ�{_�i%[]YT^8V]op_�Va{�dW[]Z�^h[aVaX�k%bD[abr_�g�Xj�{�XÙ?b {�Xj�l8jrbe×�i�^}[]^.l>Z�g�b ×�i�^hop_�V|én� � Y�V]_�v�j ^8{ �NX�d�tx^8j jØX�d/ñyåûtfZ�^8gX�Y�Y�j br^(kc[a_�í�� � Y�V]_�v�j ^8{ �

ô ���õ¦öÔHÀ�  ��L�K�RpJ����� g|{}_�d�[�XY�Y�jrbel8X[]b _�g�d.�._�g�j `Åd:i%õ�l8br^.g�[ajr`/jeXVas�^�l�_�{h{h_�g|d:i�v�s�V>XY�Z�dPXVa^�l8_�g�d]b k�^8Va^.kÅX�dPX"i�d:^8opi�j%Va^.d]i�jD[_�oNs�V>XY�Z�{�X[al>Z�b g�s�� w _�V�^8Ù�X{hY�j ^���Y�X�[][]^8Vag�Va^.l8_�s�g�bD[abr_�gh[aX�d]�%dØg�_�Va{hX�jrj `}V]^(×�i�brVa^"_�g�jr`}[aZ�^y{�XÙ?b {�Xjl8_�{h{h_�g�d]i�v�s�VaX�Y�Z�d}�Sè�én���q[]_zvT^2op_�i�g�k���Z�_�tx^8m�^8V"bro�è�én�~b d"op_�i�g�k~v�i�[�bedybrg�d]b s�g�brê�l8X�g�[Wb g�d]br�.^��[aZ�^�Va^.l�_�s�g�br[]b _�gÓd:[]b jrj�`�b ^8jek�d2g�^8s�X�[]b m�^��Nü�br[]Z�_�i%[2j _�dad/brg�s�^8g�^.VaX�jrbr[�`~_�Vµ÷�^�Ù%b v�b jrbr[�`��Pt�^�b g�[]Va_?k�i�l�^cXg�^.t�Y�XV>X{h^8[]^8VØbrg�[]_hén� � Y�V]_�v�j ^8{ ��g�X{h^8j `2[aZ�^\��ðË��ðË�ms�÷Nd]b �8^q_�oÔl�_�{h{h_�g�d]i�v�s�VaX�Y�Z�d�[a_ÅvT^qop_�i�g�k��?$ø �Nñ"d]brg�sz[aZ�b dÅY�XV>X{h^�[a^8V(��én� � åûtfbrj j�V]^:w�^.l�[�v�VaX�g�l>Z�^.dW_�oØ[]Z�^�V]^(l�i�V>d:b _�g~[]Va^8^hg�_[/j ^.X�k%brg�s\[a_z[]Z�^d]^8g�d]b v�jr^��?opV]_�{ò[aZ�^ÅXY�Y�jrbel8X[]b _�gzY�_�brg�[f_o�m?br^.t/�%V]^(d:i�jr[ad.�%tfbr[]Z�_�i%["d:YT^8g�k%brg�sh[]b {}^/_�gzê�g�k%b g�s}[]Z�^.{ ��nZ�^�l�^.g�[aVaX�j�b k%^(Xz_oxñyåþ� Ð�Î ��bed�v�X�d]^.k�_�g�i�d]brg�s\[]Z�^�m�^8V][]^8Ù~{�X�[al>Z�brg�s {�X�[aV]brÙ��z±Wè~è��ÒÑh�EÑ 1pN

bed¢~8�����/bro�m�^.V:[a^�Ùqn 1 _o�s�V>XY�Z0g # l.XguvT^Å{�X�[al>Z�^.k\[]_�m�^8V][]^8Ùq  N _o�s�V>XY�Z0g ' �TXg�k��d��� �+�/_[]Z�^8Vatfb d]^��� g�br[]beXj j `hÑ 1ON �Zx��zn 1 %&  N �8�PZ�_�t�^.m�^8V(�ÔX�dÅ[aZ�^zd]_�j i%[abr_�g�^�Ù?[]^.g�k�d.�Ñ 1ON [aX���^(dÅb g�[a_�X�l8l�_�i�g�[2[aZ�X�[}g�_[X�jrj�jeXvT^8jr ¦j br��^ym�^8V][]bel�^(d�l.XgcvT^W{hX[al>Z�^(kck%i�^y[a_|YT_�dad]brv�j ^�l�_�gÄ÷�b l�[adxvT^�[�tx^8^8g\^.k%s�^.dnl�_�g�g�^(l�[]b g�s|[]Z�^.{��l�o���l�_�g�k%br[]b _�g�d|���(�]����ñ"d]b g�s�{�X�[aV]brÙ0Ñh�Tñyå l�_�g�l�^.g�[]V>X�[]^(df_�g�jr` _�g~[]Z�_�d:^2daX{h^8 ¦jeXvT^8jPm�^8V][]bel�^(df[aZ�X�[k%_cg�_[WZ�X�m�^/^(k%s�^2l8_�g¾÷�b l�[adqtfbr[]Z�m�^8V][]bel�^(dq_�o;s÷ ë úvs]u)�zop_�i�g�kud]i�v�s�VaX�Y�Z�dÅ��l�o���vT^8j _�t"���-ùyX�[ai�VaX�jrj `���brg{h_�d:[/l8X�d]^.d"[]Z�^}g?i�{|v�^.V�_o�d]i�l>Z�l.Xg�k�b k�X[]^}{�XY�Y�b g�s�dWk�^.l�Va^.X�d:^(d"d]Z�XVaY�j `���Xg�k¶Ñ bedWs�^�[][]b g�s m�^.V]`

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 6: Common subgraphs, backtracking algorithm Introduction Graph

Î�Ï ß P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

d]Y�XV>d]^Wtfbr[]Zz[aZ�^2d]br�.^/_o�l�_�{h{h_�g d]i�v�s�V>XY�Z�dxop_�i�g�k���ü�^/[]Z�^.V]^8op_�Va^/X�k%_�Y%["X}{}_�V]^/^8õ�l�b ^8g�[qm�^.Vad]br_�g_�oj±yè~è���g�X�{h^8j `\[aZ�^}{hX[]VabDÙ¶Ô ��d:i�l>Zu[]Z�X[µÔ�1pN2s�brm�^.d"[]Z�^ïðË�(u�úlú�_o�m�^8V][]^8Ùz_�o�s�V>XY�Zyg-'2[]Z�X�[ybed{�XY�Y�Xv�j ^/_�g�[a_�m�^8V][]^8Ùïn 1 _�oWg ' ��­¦�æ�j**�*&û 1 ���nZ�^ Ð  ¦[]i�Y�jr^Ò²Ø� � Ô�%+û��ÔbedfV]^8op^8VaV]^(k X�dm°+±yè~è�Ù ´b g w b s�i�V]^h����X�g�k\bD[>dfbrg�[ab X�jrb �.X[]b _�gzb dqk�^8{h_�g�d:[]V>X�[a^.k\v?`�Y�Va_?l8^.k%i�V]^ È ? 5¨º252¸ � 52Ê�oyb g w brs�i�V]^ Ð ��nZ�^2l8_�{hY�X�l�[qop_�Va{ _�oɱyè~è�k�VaX�d�[ab l.Xj jr`zd:b {hY�jrbrê�^(df[]Z�^Åb k�^8g�[]brê�l8X[]b _�gu_�o�{�X�Y�Y�Xv�jr^Åm�^8V][]bel�^(dfbrg

Y�Va_%l�^(k%i�Va^é·\¸�¹���º2»�¸�¹��/D�_�i�VØopi�g�l�[]b _�gïÓµoº&ÔX¸�ÕÇÕ-¸¾½ � o�iÒo�»�º252¹�o�Öq{h^8Va^8j `hV]^8[]i�Vag�d�Xj j�m�^8V][]bel�^.d�_oNs�V>XY�Zg ' brg�k�^�Ù%^.k�v?`h5¦[]Z�Va_�tû_oq{�X�[aV]brÙ�Ô �Sl�o�� w b s�i�Va^ Ð �����%brg�l8^ï±Wè~èüÔ b g�l�j i�k%^(d2_�g�j `�{�X�Y�Y�b g�s�d[aZ�X�[2k%_ug�_[/m?br_�j X[]^�l�_�g�k%br[]b _�g�d��:�(�yop_�VÅXj V]^(X�k%`u{�XY�Y�^(k�m�^8V][]bel�^(d8��^8Ù�[a^8g�d]b _�gÓ_oÌ�ëtfbr[]Z�b g�k%^8Ù�5X�jrj _�tqdnop_�Vy^�Ù?[]^.g�d]br_�gu_oWK tfbr[]Z�X�g?`\b g�k%^8Ùî­î�PÔ�1 | �/�0®� ��W*�*�*ªû�12.�� Ö _�t�^.m�^8V(�%_�g�l�^2XcY�XV][]bel�i�jeXV^8Ù�[a^8g�d]b _�gz^�Ù?[]^.g�d:b _�g\b d"k%_�g�^��?[]Z�^Ò±Wè~è {2i�d:[fv�^/Va^�ê�g�^.k\brgz_�V>k%^8Vx[a_}^8Ù�l�j i�k%^�{�XY�Y�b g�s�dx[]Z�X[fX�V]^g�_�["l�_�{}Y�X�[]b v�j ^�tfbD[aZ\[aZ�^m�Tú�ýn÷O��{�XY�Y�^(k\m�^8V][]bel�^(d�n)1ØXg�kï �N��±yè~è�b d"V]^8ê�g�^.k~brg~d:[]^.Y�à}_o�[aZ�^2v�X�l�[aVaX�l>��b g�s�dal>Z�^8{h^c��l�o�� w brs�i�V]^c�(���T�nZ�^2Va^�ê�g�^8{h^8g�["bedWk%_�g�^

v?`zopi�g�l�[]b _�g�ÚÒo�©(5 ? o���d]Z�_�tfg~b g w brs�i�Va^ Ð ���nZ�^|Y�V]_%l8^.k%i�Va^2bedyv�X�d]^.ku_�g~[aZ�^}l8_�{hY�X�V]bed:_�g _oØ^(k%s�^(d8�l8_�g�g�^(l�[abrg�sq[]Z�^q÷4s�ù8�N{�XY�YT^.k�m�^8V][]bel�^(dØ�zn)�]�4þ � Xg�kÒ ¢¡��4þ � �8tfZ�^8Va^WÿÒ�¯@ �B@)�A@ Kq@8b dN[]Z�^xd:b �8^Ø_o�l�_�{}{h_�gd]i�v�s�VaX�Y�Z�d>�Ôtfbr[]Z�X�jrj�l.Xg�k%bek�X[]^n{�XY�Y�b g�s�d�brg}vT_[]Z�s�VaX�Y�Z�d.� � oT^(k%s�^nvT^�[�tx^8^8gu�Si�g�{�XY�YT^.k���m�^.V:[a^�Ù�n 1X�g�k¦n)�)� þ � b g�s�V>XY�Zqg # b d�g�_[xl�_�{hY�X[]b v�j ^"tfbr[]Z�[aZ�^"^(k%s�^qvT^�[�tx^8^.g�br[ad�{hX�Y�Y�b g�s2l.Xg�k%bek�X[]^;  � � 14� � | �X�g�k� r¡��4þ � b ghs�V>XY�Zîg ' ��[]Z�^"l.Xg�k�b k�X[]^fbed�Va^8{h_�m�^(kÅopVa_�{ []Z�^qj bed�[y�p[]Z�X[Øbed8�Va^8{h_�m�^.k2opV]_�{¯5¦[]ZhVa_�t�_�o[aZ�^Ò±yè~è���� � [f{�X�`�v�^�m�^8VabDê�^(k�[aZ�X�[ql>Z�^(l>��b g�s}_�g�j `�^(k%s�^(d�vT^�[�tx^8^.gzl.Xg�k�b k�X[]^W{�XY�Y�b g�s�dfXg�k\j X�d�[{�XY�Y�^(k\m�^8V][]bel�^(dnb df^(×�i�brm�X�jr^.g�[f[a_�l>Z�^.l>�?b g�s}[]Z�^Ål8_�g�k�bD[abr_�g�dn_o�d:i�v�s�V>XY�Zzbed:_�{}_�V]Y�Z�b d]{ý�:�(�xb g opi�jrj¦�� g�k�^8^.kN��[]Z�^�b g�br[]beXj br�(X�[abr_�g�_�o̱Wè~è �pY�Va_%l�^.k�i�V]^ È ? 5¨º25¨¸ � 5¨Ê�o��fs�i�XV>Xg�[]^.^.d"[]Z�X[Å_�g�j `~m�^8V][]bel�^.d�tfbr[]Zl8_�{hY�X�[abrv�jr^fjeXvT^8jedØX�V]^nj b d:[]^(k�X�d�{�XY�Y�Xv�j ^���d:_/tx^fg�^8m�^8VØl>Z�^.l>�2m�^8V][]^8Ù2j X�v�^.j dØbrgmÚÒo�©(5 ? o���nZ�^8gN��[]Z�^Va^�ê�g�^8{h^8g�[fb dfk�_�g�^/X�[f^(X�l>Zc^8Ù?[]^8g�d:b _�g\_o,[]Z�^/d]_�j i%[]b _�gN�%tfZ�b l>Zzs�i�X�VaX�g�[]^8^(d�[aZ�X�[;ÚÒo�©(5 ? oyVa^.l8^8b m�^(dxX±Wè~è��b ghtfZ�b l>Z�l8_�g�k%br[]b _�g�df���(�,Z�_�jekÅ[aV]i�^nop_�V�Xj j%^.k%s�^.d�vT^�[�tx^8^.g}i�g�{�XY�YT^.khXg�k2{�XY�Y�^(k|m�^8V][]bel�^(d8�^8Ù%l8^8Y%[�_�g�j `"w�i�d�[x{hX�Y�YT^.kmn)�]�4þ � X�g�k¦ ¢¡��4þ � � � [xb d�[]Z�^.V]^8op_�Va^q^8m?bek%^8g�[�[aZ�X�[Øi�d:b g�sÅ_�oE±yè~è k�VaX�d�[ab l.Xj jr`Va^.k%i�l�^.dx[aZ�^/g?i�{2vT^8Vf_�o�l8_�{hY�X�V]bed:_�gc_�Y�^.VaX[]b _�g�dxYT^8V]op_�Va{}^(kc_�g\^(X�l>ZzV]^(l�i�V>d]br_�gcj ^8m�^.j��å"dPtxX�d�{h^8g�[]b _�g�^.kÅX�v�_�m�^��k�"�ºªo ?E¼ ¸¾½ � oØl8_�i�jekÅXj tnX�`?d�Va^�[ai�Vagµ~8�M���Øbro%[]Z�^8Va^ØXVa^�i�g�{�X�Y�Y�^(k/m�^.V:[ab l8^.d

j ^�o·[fb gcvT_[]Zzs�V>XY�Z�d8���nZ�^8gz^.X�l>Z�v�V>Xg�l>Zc_oN[aZ�^yVa^.l8i�V>d:b _�g�[aV]^.^ytx_�i�j k�vT^�^�Ù%Y�j _�Va^.kh[a_2[aZ�^Wm�^8Va`h^8g�k_�o�br[.� � g}_�V>k%^8VP[]_W[]^.V]{hb g�X�[a^�v�VaX�g�l>Z�^.d,g�_�[,j ^.X�k%b g�s"[a_/k%^.d]brV>Xv�jr^nd:_�jri�[]b _�g�dn�Sl�o��XvT_�m�^��ÔX�g�k/[aZ�i�d�d]X�m�^l8_�{hY�i%[>X�[]b _�g�Xj�^8�T_�V:[>d8�]k�"�ºªo ?E¼ ¸¾½ � of^.d:[]b {�X�[a^.d�[aZ�^q{�X�Ù%b {2i�{æY�_�d]d]brv�jr^qd]br�.^f_oNl�_�{h{}_�g�d:i�v�s�V>XY�Z�d[aZ�X�[z{hX�`�vT^�X�l>Z�br^.m�^.k�v?`�opi�V][]Z�^.V\l�_�g�[]b g�i�X�[]b _�g�_�o�[]Z�^�d:^(XV>l>ZN���nZ�bed�bedzk%_�g�^�_�gÞ[]Z�^�v�X�d:bed�_�ol8_�g�d]b k�^8V>X�[]b _�g�[]Z�X�[cbro��Øop_�V�`�^8[�i�g�{�XY�Y�^(k�m�^.V:[a^�ÙBn)1/opV]_�{ës�VaX�Y�ZGg/#���[aZ�^~g?i�{2vT^8V\_o/{�XY�Y�brg�sl.Xg�k%bek�X[]^.dqopV]_�{ s�VaX�Y�Z¶g('Åbedq�8^.V]_��Än)1�tfb j jPg�^.m�^.Vqv�^2{hX�Y�YT^.k��p[]Z�^|{hX�Y�Y�b g�scl.Xg�k%bek�X[]^.d"XVa^Å_�g�j `Va^8{h_�m�^(k X�dn[aZ�^|d]^.X�Val>ZzY�Va_?l8^8^(k�d8�Tl�o��(Ú=o�©(5 ? o������nZ�^8Va^�op_�Va^�[]Z�^Å{�X�Ù%br{�X�jÔYT_�dad:b v�j ^2d:b �8^2_o�én� � ÖÅbeds�brm�^8gÓv?`~[]Z�^cd:b �8^�_�oql�i�VaV]^.g�[]j `~b k�^8g�[]brê�^.k�d]i�v�s�VaX�Y�Z�d�ÿ�� @ �B@�Y�jri�d2g?i�{2vT^8VÅ_�ofg�_�g% Û^8{hY%[�`�V]_�tqdb g�±yè�è�²J�Á� Ô�%lû��W�Sb�� ^��Ô[]Z�_�d:^�op_�V2tfZ�b l>Z�û�1��ûã��Pd]^8^�opi�g�l�[abr_�g�kµ"-ºªo ?E¼ ¸¾½ � ocbrg w b s�i�V]^ Ð ��� � oÖ\oSX�jrjed2vT^8j _�t ? ø �·[]Z�^\{hb g�br{�X�jnd]b �8^z_o"l�_�{h{}_�g�d]i�v�s�X�V]Y�Z�d/[a_�vT^\j _?_���^.k�X[>�/_�V|bed}^.×�i�X�jØ[a_�ÿ?�kµ"-ºªo ?E¼ ¸¾½ � o\Va^�[ai�Vag�d��d��� �+�uXg�k�[]Z�^zv�V>Xg�l>Z�bedhXv�X�g�k%_�g�^.k�� � g�[]Z�^ul8X�d:^\_o"j _?_��?b g�s~op_�V}{�XÙ?b {�Xjl8_�{h{h_�g�d]i�v�s�VaX�Y�Z�dW_�g�jr`��/k�"�ºªo ?E¼ ¸¾½ � o�d:Z�_�i�jek�X�j d]_cVa^�[ai�Vag¶�d��� �+�|bro¢Ö}bed�j ^.dadW[]Z�X�g~[]Z�^�d:b �8^}_o�[]Z�^jeXVas�^(d�[Ål�_�{h{}_�g�d:i�v�s�V>XY�Z�dWop_�i�g�kÓd]_ oSXV(� ?EÅ¢Æ � � ?EÅ¢Æ � {�X�`�vT^�i�Y�k�X[]^.k�^(X�l>Z�[]b {h^cXul�_�{}{h_�gd]i�v�s�VaX�Y�Z�bedÅ_�i%[]Y�i%[.�,l�o�� w b s�i�Va^u���Pd�[a^8Y��.ß����Ô�nZ�^8gÓ{�X�Ù%br{�X�jØl�_�{}{h_�gÓd]i�v�s�VaX�Y�Z�d�tfb jrj�v�^�op_�i�g�ktfbr[]Z�_�i%[fê�g�k�brg�s¶s÷·÷,d]{�Xj jr^.Vqd:i�v�s�V>XY�Z�d8��nZ�bed�Y�Va_?l8^.k%i�V]^nbed�brj j i�d�[aVaX[]^(k|v?` w b s�i�V]^fÕ����nZ�^ w brs�i�V]^qd]Z�_�tqd�_�g�jr`2_�g�^fv�V>Xg�l>Z|_�o�[aZ�^qVa^.l�i�Vad]br_�g

[aV]^.^Wd:[aX�V:[abrg�s}tfbr[]Z {�XY�Y�b g�s �zn)'Ç%& ¢'.����Xg�k�b g�l�j i�k%^(dn_�g�j `cl�_�g�g�^(l�[]^(kzén� � d.��çyg\[]Z�^�m�^.V]`}ê�V>d:[nj ^8m�^8j_�o,Va^.l8i�Vad]b _�g�»µ� ����én� � åîV]^.{h_�m�^.dxm�^8V][]^�Ù�nÇ#"opV]_�{ s�VaX�Y�ZCg$#h�dnÇ#Wbedfg�_[q{�X�Y�Y�Xv�jr^/vT^.l.Xi�d]^�[]Z�^.V]^

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 7: Common subgraphs, backtracking algorithm Introduction Graph

���]���� ��� �����������´(>�´����®��������®��X�,¸��6 ������¹ ÎÏ à

Á� L-� �  brg�[]^.s�^.V ?$øÎ,K�LÔQ]�?MPOPK�� È ? 5�º252¸ � 52Ê�oh� ±yè~èϲ¯� � Ô�%+û��P���� ÐÛL�K X�jrj$n 1 ®0i M,LÐ � �ïDp�âãÕ�� ÐÛL�K Xj j$ �Nµ®�� MPLÜ�� RdÐ x��dn)1&%+ WN(�j�H~8����� J����?IÎ � �ïDO�[�µYÊ����Ô�1 | Dp�B­ß�� ��I,M,RdÐà%� û 1 DO�¿�á�� M,LTI��

ÐÛOPI,QJ(RSLTI ÑÒ52¹��Äi�o�»�ºªo�"�� ±yè~èϲ¯� � Ô�%lû��P�K���J.OPK�I n)1�d:i�l>Zc[aZ�X�[fop_�VqXj jEn)1&%+n�NÒ®�iX`B n)�]� | � . | ��ã���û�1 ��ûÉN

ÐÛOPI,QJ(RSLTI Óµo�º&ÔX¸ÕÇÕ-¸¾½ � o�iÒo�»�º252¹�o�Ö���m�^.V:[a^�Ùqn)1:�ıyè�è!²U� � Ô�%lû��,�K���J.OPK�I��   ��� ��� �N+3�#

ÐÛOPI,QJ(RSLTI ÚÒo�©(5 ? o�� ±Wè~èϲU��� Ô�%+û��P����̱Wè~èϲ # ��� �;%��u�Ð �rÿÀDO�A@ �B@Õ�� ÐÛL�K X�jrj$n)1É®0i�`B n)�]� 14� . þ143�# MPLÜ�� � DO��ãÎ � ÐÛL�K Xj j�­m®y �Ô�1 | . � �| 3�# M,Lß�� RdÐ {¦��o 1z§ �]�4þ � %l© Nl§ ¡��4þ �ª£ ��~8����� J����?Ià%� � DO� � YÊ�á�� � 1 }DO�B­Ï � ��I,M,RdÐ�.ã�� � 1 Dp� ������ M,LTI��� Ð � K���J.OPK�I ² #ÐÛOPI,QJ(RSLTI kµ"�ºªo ?E¼ ¸¾½ � o�� ±Wè~èϲ # � � Ô�%+û��P����rÿÀDO�[Ö�Dp�¯@ ��@Ð � ÐÛL�K X�jrj$n)1É®0i�`B n)�]� 14� . þ143�# MPLÕ�� RdÐ û 1 ��ã J��?I ÖµDO�¿Ö�YÊ�Ü�� RMÐ Ö���{�X�ÙN� ? ø % ?EÅ¢Æ � �nXg�kCÖ��_ÿ K���J.OPK�I ~8����� �  ����K���J.OPK�I �d��� �&�

Ü CF6(3�7�Ç À Í ��7�+�@>Ç�Ì�3�7�Ç>1�9.0�Ì�ß 3�0�@aB�CF+(0�1,3�14Ç�ÌÅCF0|B�<�Çx)�É]àP9.EF6.+.7�CGB�<�-�14<�+���0|CF0 Ü CF6(3�7�Ç=Ý(Í� EF+.5?9.ETÌ�9�B:9bß 7�+.- Ü CF6.3�7�ÇÒÝfCF1�3�14Ç�Ì�Í%ÉÇ>ÇqÌ�Ç]B:9.CFEF1ØCF0}B�<�ÇxB�ÇlèB�Í

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 8: Common subgraphs, backtracking algorithm Introduction Graph

Î�Ï á P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

1

2

3 4

5

1

2

3 4

5

6 7

x 2 345 1y 2 345 167

r = 1

(A)

(B)

x 23 4 15y 23 4 1567

x 23 45 1y 24 35 167

r = 2

x 234 15y 234 1567

x 234 5 1y 243 5 167

r = 3

x 2345 1y 2435 167

r = 4

mappedcandidates

removed andunmappable

Ü CF6(3�7�Ç���Í��Eè�98-/;�EFÇ,+�ß?B�<�ÇÔ7�Ç>@>3�7�14C���Ç�)�É]à�9.EF6(+87�CFB�<�-_ße3�0�@aB�CF+(0�9.EFCGB¦¾�Í���1ÛB:9.0�Ì�1/ße+87NB�<�ÇP7�Ça@>3�7�14CF+(0yEFÇ ��Ç>E·=�å�980?Ì!EFCD1ÛB���Ça74B�CF@>Ç>1�+�ß�687:9.;�<�1�"$#ã&% ')(+*�(-,/.�980?Ì�"10Éã2% 34(65�(879.S=�@>+.747�Ç>14;%+.0?Ì�CD0�6(EG¾�Í�:h9.;�;%Ç�Ì���Ça74B�CF@>Ç>1�9�7�Çn98EDCF6.0�Ç�Ì��Ça74B�CF@�98EDEG¾}CD0<;�-Å9.;�;%Ç�Ì =/@>ÇaEDEF1>Í?>xC�@�Ç]7�Ç>0�BBA�EFEDCF0�62+�ßÔ6.7:9.;�<C��Ça74B�Çlè|1Û¾�-W5%+.ED1ØÌ�Ç>0�+8B�Ç>1xÌ�CD@�Ça7�Ç>0�BE�(Ça74B�Çlè|Er985%Ç>EF1>ÍF 0�EG¾2+(0�Ç"5�7:9.0�@]<h+�ß�B�<�Çn7�Ç>@a3�7�14CF+(0hB47�Ç>Ç.=?1ÛB:9874B�CF0�6Òß 7�+(- -Å98;�;�CF0�6�GIH 0 (6J 0LK =�CF1Ø14<�+L��0�=?9.0�Ì}+(0�EF¾|@>+.0�0�Ça@aB�Ç�Ì@>+(-/-/+.0Å143�5�687:9.;�<�1�9�7�Çx@>+.0�14CDÌ�Ça7�Ç>Ì�Í M�B�-/CF0�CF-Å9.E�7�Ç N3�Ç>1ÛB�Ç�ÌÅ14C�O>Çx+�ßN)�É]àP,1QÌã à =�B�<�ÇxED981ÛB�-Å9.;�;�CF0�6q+(02B�<�Ç7�Ç>@>3�7�14CD+.0/EFÇ ��Ç>E �;ã<�nCD0W143�5ÇáS5�7:9.0�@:<�RSG·<�CF6(<�EFCF6(<�B�Ç�Ì�5�¾"14<?9.Ì�Ç�Ì�5�9.@:A6.7�+(3�0?Ì K CF1P9L��+(CDÌ�Ç>Ì�5¾�)�É]àTM�5%Ç>@�983�14ÇB�<�Çn@a3�747�Ç>0�B�14C�O>Çf+�ß�6.7:98;�<�"U#�;�EF3�1�03�-y5%Ça7�+�ß�@�980?Ì�CDÌ�98B�Çn-Å9�B�@]<�CD0�6(1�+.0}EFÇ ��ÇaEV�rã À =�143�5ÇáS5�7:9.0�@:<WR"=�CF1�EDÇa141

B�<�Ç>0W,VQ8=�14Ç>ÇfB�ÇlèBÉß +.7Ø-/+.7�ÇfÌ�ÇaB:9.CFEF1>ÍbedÅg�_�m�^8V][]^8Ù�b g�g('�tfbr[]Z�[aZ�^\daX{h^�jeXvT^8j·����çygÓ[]Z�^�g�^�Ù?[}V]^(l�i�V>d:b _�gÓj ^8m�^8j¦�^»¶� Ð ��én� � åò^�Ù%Y�j _�Va^.d[�tx_2d]i�v�v�V>Xg�l>Z�^.d.�YXÊXg�kî·���tfZ�b l>Z\l�_�VaVa^.d]Y�_�g�kÅ[a_|k%br��^8Va^8g�[Ø{�XY�Y�brg�s�d�_�o�m�^8V][]^8Ù�n[Z�� � g�d]i�v�v�V>Xg�l>ZX2�,{�X�Y�Y�b g�s��dn[Z)%& \Z��/{�X��^.d|m�^.V:[a^�Ùhn[]ci�g�{hX�Y�Y�X�v�jr^\v�^(l8X�i�d:^\_o"l8_�g�g�^(l�[abrm?br[�`�Va^.X�d:_�g�d8�,Xg�k�[]Z�^d]i�v�v�V>Xg�l>ZcVa^.d]i�jD[>dxbrg X�én� � _�o,d]br�.^WÕ���¡�V>Xg�l>Zï· jr^(X�k�d�[a_|[aZ�^�j X�V]s�^.d:[fén� � _o,d:b �8^�Ü�� � o�Y�XV>X{h^8[]^8V? ø bedqd:^8[n[]_hÜ��?[aZ�^8gud]i�v�v�V>Xg�l>Z^Xîl8X�g\vT^�[]^.V]{hb g�X�[a^.k\_�gzV]^(l�i�V>d:b _�g\jr^.m�^.j$»µ� Ð �%vT^.l.Xi�d]^"[aZ�^Åd]i�{_�ox{�XY�Y�^(k�X�g�k�Y�_�[]^.g�[ab X�jrj `~{�XY�Y�Xv�j ^�m�^.V:[ab l8^.dWb g�s�VaX�Y�Z�g # _�g�[]Z�X[Åjr^.m�^8jØb d�j ^.dad�[]Z�Xg ? ø � Ü���nZ?i�d.��brgh[aZ�bed�^�Ù�X{hY�j ^���én� � å�Xv�X�g�k%_�g�d�d:i�v�v�VaX�g�l>Z_XÞv�^8op_�Va^nk�^�[]^(l�[abrg�s|én� � _�o�d]br�.^fÕ}�SZ�b s�Z�j brs�Z�[]^.kb g w b s�i�Va^yÕ|v?`�d:Z�X�k%b g�s�����å"jD[aZ�_�i�s�Zcb g�[aZ�b dnY�XV][]bel�i�jeXV�^�Ù�X{hY�j ^"[aZ�^WY�V]_�ê�[n_oPX�m�_�bek%brg�sÅjr^.m�^.j-»��ÊÕ_�o,v�V>Xg�l>Z`X�k%_?^.dng�_[qj _�_���b {}Y�V]^(d]d]brm�^��?br[qb dfb {h{h^8g�d]^/brgz{h_�d:["X�l�[]i�X�jNl8X�d]^.d.�w brg�X�jrj `���l�_�g�d:bek%^8V�opi�g�l�[abr_�g¦ÑÒ52¹���iµo�»�ºªo�"���l�o�� w b s�i�Va^ Ð ���tfZ�bel>Z}k�^.l�bek%^(d�tfZ�bel>Z}m�^8V][]^8ÙÅopV]_�{ s�V>XY�Z

g$#\d:Z�_�i�jek�vT^ul>Z�_�d]^8g�op_�Vh{�XY�Y�b g�sÓ_�g�X�Y�XV][]bel�i�jeXV}jr^.m�^.jf_o"Va^.l8i�Vad]b _�gN���ÔV>X�k�bD[abr_�g�XjfXj s�_�V]br[]Z�{hdd]br{hY�j `�Y�b l>�~m�^8V][]bel�^(d�brg�[]Z�^�_�V>k%^8V�_ox[]Z�^8b VÅg?i�{2vT^8Vabrg�szb g�[]Z�^�s�VaX�Y�ZN���nZ�bedÅXY�Y�V]_�X�l>Z�b d/_�Y%[]b {�Xj

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 9: Common subgraphs, backtracking algorithm Introduction Graph

���]���� ��� �����������´(>�´����®��������®��X�,¸��6 ������¹ ÎÏ�Ï

_�g�jr`hbroÔb g�Y�i%[fs�V>XY�Z�dØX�V]^Wl8Xg�_�g�b �8^(k�Xg�k�_�g�j `hop_�Vx^�Ù�X�l�[�s�VaX�Y�Z�b d]_�{h_�V]Y�Z�b d]{ûY�V]_�v�j ^8{�dy�StfZ�^8gc[�t�_b g�Y�i%[ns�V>XY�Z�d�_�oN^.×�i�XjTd:b �8^WXVa^"l>Z�^(l>��^.k}op_�V�bed]_�{h_�VaY�Z�bed:{���� w _�V�^8Ù�X�l�[xd:i�v�s�V>XY�Z�bed:_�{h_�VaY�Z�bed:{ûXg�kl8_�{h{h_�g d:i�v�s�V>XY�Z\b d]_�{h_�VaY�Z�bed]{ Y�V]_�v�j ^8{�d8��[aZ�^ÅXY�Y�V]_�X�l>Z�s�brm�^.dxg�_hs�X�brg\v�^(l8Xi�d:^/d]i�v�s�V>XY�Z�dx_o,Xl.Xg�_�g�br�.^.kzs�V>XY�Z k�_�g�_[yZ�X�m�^�[a_�v�^}l8X�g�_�g�bel8X�j����nZ�^Åv�X�l>��[aVaX�l>�?brg�shdal>Z�^8{h^Åb g w brs�i�V]^c�2d:i�s�s�^(d�[>d8�Z�_�tx^8m�^8V(�%[]Z�X�[�Y�b l>�?b g�s\Xcm�^.V:[a^�Ù tfbD[aZ���ðË��ðË�ms�÷�g?i�{|v�^.VW_�oØl8X�g�k%bek�X�[a^2{�XY�Y�brg�s�d"b gyg ' �ps�brm�^8g~v?`d]^�[éF"�ØX�l.l�^8j ^8V>X�[a^.d�[]Z�^�d:^(XV>l>Z�brgzd�[a^8Y�d�Ü >���yk%i�^y[]_}jr^(d]d]^8V�g�i�{2vT^8Vn_oNVa^.l8i�d:b m�^Wl8X�jrjed�[aZ�^WX�jrs�_�VabD[aZ�{{�X��^.d.� � g�k%^.^.k��Nb g�[]Z�^�^8Ù�X{hY�j ^�brg w brs�i�Va^hÕ���[]Z�^\Xj s�_�Vabr[]Z�{þ{�X�`~Y�bel>��m�^8V][]bel�^(dÒn[Z�Enba�_�VÒn[]hop_�V{�XY�Y�brg�s\_�g�j ^8m�^.j�»q� Ð �p[]Z�^ w b s�i�Va^2^8Ù?^.{hY�jrbrê�^(dyY�b l>�?b g�sc_�oWn[Z(����å"d�{�X�` v�^hd:^.^8gN��vT_[aZ�n[Z}Xg�knbaWZ�X�m�^"[�t�_|l8Xg�k%b k�X�[]^W{�XY�Y�brg�s�dW \ZWXg�kq ca"opVa_�{ûs�V>XY�Zïg ' �%�nZ�^8Va^�op_�V]^���Y�b l>�?b g�s\n[Zy_�VÌnbayVa^.d]i�jr[adb g�v�VaX�g�l>Z�b g�s��dXûXg�ky·*brg�[]Z�^ w b s�i�Va^(��� Ö _�tx^8m�^8V(�-n[]}Z�X�dW[]Z�^h_�g�jr`u{�XY�Y�brg�s l.Xg�k�b k�X[]^¦ \] �pg�__�[]Z�^.VxdaX{h^� ÛjeXvT^8j ^.k�m�^8V][]bel�^.dxXVa^yl8_�g�g�^.l�[a^.kcv�` ?$�/�d� ^.k%s�^"[a_}X�jrVa^.X�k%`|{�X�Y�Y�^(kqn)'��� r'����%�nZ�^.V]^8op_�Va^��Y�bel>�?brg�s�n ] _�g\j ^8m�^8j$»�� Ð j ^.X�k�dfd�[aVaX�brs�Z�[x[a_}[]Z�^Åd]_�j i%[]b _�gztfbr[]Z�_�i%[qv�V>Xg�l>Z�b g�s��¡x^.l8X�i�d]^y_�oPVa^8{h_�m?brg�s}m�^.V:[ab l8^.d�opVa_�{ g # b g d:[]^.Y�� Ð _�oPY�Va_%l�^(k%i�Va^Ò·À¸�¹���º2»�¸�¹�����l�o�� w b s�i�Va^h�(���?[]Z�^

X�jrs�_�VabD[aZ�{�{�X�`Å^8m�^8g�[]i�X�jrj `2l8_�{h^x[]_�{�XY�Y�b g�s/Xj j%Va^8{�Xb g�b g�s�m�^8V][]bel�^(d,_�g}i�Y�YT^8V�Va^.l8i�Vad]b _�g2j ^8m�^8jedn�zn ZX�g�k�n a brgz[aZ�^ÅXvT_�m�^�^�Ù�X�{}Y�jr^���� Ö _�t�^.m�^8V(��[]Z�^|l�_�VaVa^.d]Y�_�g�k%b g�s2[a_h[]Z�^.{ôv�VaX�g�l>Z�^.dx_�oP[aZ�^ÅVa^.l�i�Vad]br_�g[aV]^.^�tfbrj jØvT^cd]Z�_�V][]^.V2k%i�^�[a_~X���j ^.dad]^8V2d]br�.^�_ofs�V>XY�Zhg$#u�Sm�^.V:[ab l8^.d/Va^8{h_�m�^(k��yv��/l>Z�X�g�s�b g�s�±Wè~è��tfZ�bel>Z {�X�`cVa^.d]i�jD[q_�g�j `\b guk%^.l8V]^(X�d]brg�s}[aZ�^Åg?i�{2vT^8V"_o�l8X�g�k%bek�X�[a^/{hX�Y�Y�b g�s�d.��l�o���opi�g�l�[]b _�g0ÚÒo�©(5 ? o���nZ�^.V]^8op_�Va^���_�i�V�m�^.Vad]b _�g�_oµÑÒ5¨¹�Äi�o�»�ºªo�"âd:^(XV>l>Z�^.d|op_�V�[]Z�^�{}b g�b {�Xjr ¦j ^8g�s�[]Z�g�_�g% Û^8{hY%[�`�Va_�tS5|brg±Wè~è ²c�ÔXg�k�Va^�[ai�V]g�dym�^8V][]^8Ù¶n)1fl�_�V]Va^.d]Y�_�g�k%b g�s�[a_ []Z�X[/V]_�t ��l�o��^ÑÒ52¹���iµo�»�ºªo�"P� w brs�i�V]^ Ð ���Eùq_�[]^[aZ�X�[�d:i�l>Z�m�^8V][]^8ÙzbedWXj txX�`%dfop_�i�g�k��TvT^.l8X�i�d]^Åopi�g�l�[]b _�g¶k�"�ºªo ?E¼ ¸¾½ � oÅ[a^8Va{hbrg�X[]^(dq[aZ�^}d]^.X�Val>Z v�V>Xg�l>Zbro,g�_|opi�V:[aZ�^8Vq{�X�Y�Y�b g�s�dnbednY�_�d]d]b v�jr^��

õ|L(��Î Â ��eNRpJ f���I�  fE�(Rd��nb {h^�l�_�{hY�jr^8Ù%bD[�`�_oÅs�V>XY�Z% ¦{�X[al>Z�b g�s�Xj s�_�V]br[]Z�{�d�bed�^(d�[abr{�X[]^.kâX�d�[aZ�^�g?i�{|v�^.Vc_�o/l8_�{hY�X�V]bed:_�g_�Y�^.VaX[]b _�g�d��Sb�� ^��Ô[]Z�^cg�i�{2vT^8V2_�oql8Xj jed�[]_uopi�g�l�[abr_�g�d�x��dn)1&%+ WN(�2Xg�k�{��Mo�1pNÇ%v© |v} �]�W[]Z�X�[Å[aZ�^8`�g�^8^(k�[]_YT^8V]op_�Va{þop_�V�_�v%[aX�brg�b g�sz[]Z�^hd]_�j i%[abr_�gN�N�Ø`?Y�bel8X�jrj `��T[aZ�X�[Åg?i�{|v�^.VÅk%^8YT^8g�k�d/k%VaX�d�[ab l.Xj jr`u_�g�[aZ�^�b g�Y�i%[s�VaX�Y�Z�d.�?�nZ�^8Va^�op_�Va^��?[aZ�^8Va^/XVa^�v�^(d�[] Ûl.X�d]^WX�g�kzt�_�Vad:[: 4l8X�d:^Wl�_�{hY�j ^�Ù%br[�`�^.d:[]b {�X�[a^.d.��nZ�^Óv�^(d�[~l.X�d]^�_o�én� � åól�_�V]Va^.d]Y�_�g�k�d�[]_�[]Z�^Ób g�Y�i%[u_�o|i�g�be×�i�^8j `�jeXvT^8j ^.kïs�V>XY�Z�dzXg�k ?$ø �

{hb gÔ� ? %+à ���x�nZ�^.g�brg�bD[ab X�jrb �.X[]b _�g�_oµ±Wè~è��xtfZ�b l>ZÞ[>X��^.dqÛh� ? à �cl�_�{hY�X�V]bed]_�g�d.��`?br^.j k�dcg�_[\{}_�V]^[aZ�Xg�_�g�^}l8Xg�k%b k�X�[]^}{�XY�Y�brg�s\op_�VW^.X�l>Z~m�^.V:[a^�Ùu_o�s�V>XY�Z�g$#����nZ�^|Va^.d:[W_�oØl�_�{}Y�XVab d]_�g~_�Y�^.VaX[]b _�g�dbed"k%_�g�^Åv?`\opi�g�l�[abr_�g0ÚÒo�©(5 ? o���tfZ�bel>Zu{�X��^.dfg�_�["{h_�Va^�[]Z�X�g ? Y�^.Vy^(X�l>Zul8X�jrjP_oj·\¸�¹���º2»�¸�¹������?b g�l�^? ø �ï{}b gP� ? %&Ãu�fXg�kuXj jNj X�v�^.j dyXVa^/i�g�be×�i�^���[]Z�^Åv�VaX�g�l>Z�^.dq_o�[]Z�^2V]^(l�i�V>d:b _�gz[aV]^.^/_�Vabrs�brg�X[]b g�shopVa_�{l.Xj jfbrgÞd�[a^8Yî�.Õ�XVa^\[]^8Va{hbrg�X�[]^(k�b {h{h^.k%beX�[a^8j `��Ø�nZ�bedhs�b m�^(dmÛh� ? �hl8X�jrjedh_oÒ·\¸�¹���º2»�¸�¹���tfbD[aZGÛh� ? �l8_�{hY�XVabed:_�g�_�YT^8V>X�[]b _�g�d�^.X�l>ZN��é�_�g�d]b k�^8Vabrg�sÅ[]Z�^Wbrg�bD[ab X�jrb �.X[]b _�g\d:[]^.YN��[]Z�^Wv�^(d�[] Ûl.X�d]^yl8_�{hY�j ^�Ù%bD[�`h{�X�`vT^/^.d:[]b {�X�[]^(k X�d;Ûh� ? Ãu���� g}[]Z�^ql.X�d]^f_o�i�g�j X�v�^.jr^(khZ�b s�Z�j `2l�_�g�g�^(l�[]^(k}s�V>XY�Z�d.��én� � å�l.Xghg�_[�^8õ�l�b ^8g�[]j `2g�X�V]Va_�t�[aZ�^qd:^(XV>l>Z

g�_�{�X�[:[a^8VhtfZ�X[|[aZ�^\m�X�jri�^z_o ? ø bed8���nZ�bed}V]^.Y�V]^(d:^.g�[ad2[]Z�^zt�_�Vad:[|l.X�d]^�op_�V}[aZ�^zX�jrs�_�VabD[aZ�{ � Ö ^8Va^��·À¸�¹��º2»�¸�¹� b dWl8X�jrj ^.k0Ûh�dà �q[]b {h^.dW_�gu^(X�l>Z opVa_�{ Ûh� ? �"Va^.l�i�Vad]br_�g jr^.m�^8jed.��tfZ�bel>Z~s�b m�^(d"X�gu^.d:[]b {hX[]^_�o�Û��Mà , �ql8X�jrjedf[a_[>Xj¦�TÝyi�Vabrg�s\^.X�l>Z~l8Xj j¦��opi�g�l�[]b _�gyÚ=o�©(5 ? oÅ{�X���^.d=Û��dà ? �ql8_�{hY�XVabed:_�g�dnbrg�_�V>k%^8V[a_|ê�jD[a^8Vq_�i%[qi�g�X�l8l�^.Y%[aX�v�j ^W{�X�Y�Y�b g�s�d.���nZ?i�dx[]Z�^ÅX�jrs�_�VabD[aZ�{ l8_�{hY�j ^�Ù%bD[�`cb dnvT_�i�g�k%^.kzv?`

ÛÞ�zà ? �Ì�hgjilk�mon���Û � à ,]e�# ? £ � Ð �

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 10: Common subgraphs, backtracking algorithm Introduction Graph

ß�ã�ã P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

�?Y�X�l�^�l8_�{hY�j ^�Ù%br[�`�bedc^(d�[abr{�X[]^.kïX�d�[]Z�^ÓX{h_�i�g�[z_o2�qåyè g�^.^.k%^(k�[]_���^.^8YÞ[]Z�^�jeXVas�^(d�[\k�X�[aXd:[]Vai�l�[ai�Va^Wi�d:^(k��%[]Z�X�[qbedr±yè~è _�gz^.X�l>Z\Va^.l8i�V>d:b _�g\jr^.m�^8j�D

pUiqk�m nsr[Û � à ? ' £ ��Õ��

íØd:[]b {�X�[]^(d�� Ð ��Xg�k��SÕ��Nl�_�b g�l8b k%^Ø^�Ù�X�l�[]j `"tfbr[]Z�[]Z�_�d]^�_o�ñqj j {hX�gÅXj s�_�V]br[]Z�{ � Ð�Î �Û�.�nZ�bedNbed�^�Ù%YT^.l�[aXv�jr^vT^.l.Xi�d]^xén� � å�V]^.Y�Va^.d]^8g�[N^.dad:^.g�[]beXj jr`�Xg2X�k%m�Xg�l8^.k/ñyåÅ��å�k%^8[aX�brj?Xg�X�jr`%d]b dÔ_o�vT_[aZ2Xj s�_�V]br[]Z�{�dNd]Z�_�tqd[aZ�X�[�[aZ�^8`|Z�X�m�^�[]Z�^qdaX{h^fd:[]Vai�l�[ai�V]^n_�o�g�^(d�[a^.k}jr_?_�Y�d8��[aZ�^8Va^�op_�V]^x[aZ�^fl�_�{hY�j ^�Ù%br[�`Åj br{hbr[ad�X�V]^n^�Ù%YT^.l�[]^.k[a_hl8_�b g�l�bek%^��¡x`îl8_�{hY�X�V]bed:_�gN�f[abr{h^Þl�_�{hY�j ^�Ù%br[�`î_o�[]Z�^�[aVaX�k%bD[abr_�g�Xj|{�X�Ù%br{�X�j}l8jrbe×�i�^�X�Y�Y�Va_�X�l>Z ��l�o��/�f^�oSd.�

� Ð�Ð � Ð Õ��p�xb dnvT_�i�g�k%^.kzv?`ÛÞ�dà ? �Ì�hg �/tqu n���ÛÞ�]� ? Ãu� , � �SÜ��

tfZ�b j ^/bD[>dqd:Y�X�l�^�l�_�{hY�jr^8Ù%bD[�`�bedfs�brm�^8gzv�`�[]Z�^Åd]br�.^�_o,[]Z�^ÅX�d]d]_%l�beX�[]b _�g\s�V>XY�ZCg Æ �[g # I0g ' Dp �/tqu n r[Û � �zà ? � ' £ � Î �

é�_�{hY�X�V]bed:_�g�_oc^(d�[abr{�X[]^.dÞ� Ð � Õ��~X�g�k �SÜ�� Î ��br{hY�j b ^.d�[]Z�X[�én� � å d]Z�_�i�j k _�i%[aY�^.V:op_�V]{wvP¡Ex/å^.m�^8Va`?tfZ�^8Va^}^�Ù�l�^.Y%[�[]Z�^h[aV]b m?b X�j�v�^(d�[2l.X�d]^���tfZ�^.V]^hvT_[]Z�X�Y�Y�Va_�X�l>Z�^.dWXVa^}^(×�i�Xj jr`�^�õ�l�b ^8g�[.�P�nZ�b d�bedl8_�g%ê�Va{h^.khv?`h_�i�V�^�Ù%YT^8Vabr^.g�l�^2��l�o��?g�^8Ù�[f�?^.l�[]b _�g�����X�d�tx^8j jTX�d�v?`}[]Z�^ytfb k�^8j `hX�l8l8^8Y%[a^.khoSX�l�[Ø[aZ�X�[nñ"ål8_�g�d]b k�^8V>Xv�j ` _�i%[aY�^.V:op_�V]{�d�vÔ¡cx/åæbrg�^�Ù�X�l�[Åd:i�v�s�V>XY�Z�b d]_�{h_�V]Y�Z�b d]{þY�Va_�v�j ^8{ �N�?Y�X�l�^�l�_�{}Y�jr^8Ù?br[�`_�o,vT_[aZ^vP¡cx/åäX�g�kzñ"åWÒ�én� � åîbedfg�_[qX}j br{hbr[]b g�s�oSX�l�[]_�V�op_�Vf{h_?k�^8Vag l8_�{hY�i%[a^8V>d8�é�_�g�d]bek%^8V,g�_�t�[aZ�^xk�bD��^8Va^8g�l8^.d,vT^�[�tx^8^8g}ñ"åÞXg�k}én� � å2��tfZ�b l>Z}l�_�g�l�^.V]g/[aZ�^8b V�[]b {h^xl8_�{hY�j ^�Ù%br[�`���brg

{h_�Va^fk%^�[>Xb j d.� � [�{�X�`ÅvT^fm�^8Vabrê�^.k2[]Z�X[�brg|[]Z�^qd:YT^.l8b X�j�l8X�d:^x_o ? ø ��{hb gÔ� ? %+à �n��í�� � Y�Va_�v�j ^8{���én� � åVa^.k%i�l�^.d�^�Ù�X�l�[]j `2[a_Åñ"åÅ�?Xg�k�d:_Åk%_?^(d�br[adØl8_�{hYT^�Ù%bD[�` �pb ghoSX�l�[.�%én� � åÊbed�s�^8g�^.VaX�jrj `/oSX�d:[]^.V�[]Z�Xg�ñ"åâbrg[aZ�b dWl8X�d:^���d]^8^ÅvT^8j _�t"����åx[ ? ø �Ê{hb gÔ� ? %+à ����Z�_�tx^8m�^8V(�Tén� � åæl�_�{hY�j ^�Ù%br[�`zd]Z�bro·[ad"[]_�tnXV>k\[]Z�^|i�Y�YT^8V^(d�[abr{�X�[a^�vT^.l8X�i�d]^�X op^8tx^8VÅg?i�{|v�^.V2_�onv�VaX�g�l>Z�^.d�_�on[]Z�^cd]^.X�Val>Z�[aV]^.^�XVa^h[]^8Va{hbrg�X�[]^(kÓv?`�opi�g�l�[]b _�gkµ"-ºªo ?E¼ ¸¾½ � o����nZ�^2i�Y�Y�^.Vy^(d�[abr{�X�[a^Åb g~^.×T�P� Ð �qb d"{}_�d�[�l�j _�d]^8j `\X�Y�Y�Va_�X�l>Z�^.kzbrg~[]Z�^|jrb {hbD[abrg�szl8X�d:^/_�o? ø � ����tfZ�^8g~X�jrjÔv�VaX�g�l>Z�^(dfXVa^W^8Ù%Y�jr_�V]^(k\[]_h[]Z�^Å^8g�kÓ�Si�g�j ^.dad ?EÅ¢Æ � bedqXj jr_�tx^.kc[]_�b g�l8V]^(X�d]^/brgud:[]^8Y�(ß2_�oÔY�Va_?l8^.k%i�V]^Ò·\¸�¹���º2»�¸�¹������ � [f{hX�`�vT^W[]Z�^.V]^8op_�Va^Wl8_�g�l8jri�k%^.k�[]Z�X["én� � åïbednY�X�V:[ab l8i�j X�V]j `h^�õ�l�b ^8g�[op_�V/ê�g�k%b g�sujeXVas�^.V�d]i�v�s�VaX�Y�Z�d.� � g�oSX�l�[(�N[aZ�^�ö�÷ ø�ù8ú\b d�[aZ�^�d]bD[ai�X�[abr_�g�[a_~í�� � �pb¦� ^��ÔtfZ�^8g�[]Z�^cj X�V]s�^.d:[l8_�{h{h_�g d:i�v�s�V>XY�Zzb dfX�jr{h_�d�[2�S^�Ù�l�^.Y%["X|op^8täm�^8V][]bel�^(da��bed:_�{h_�VaY�Z�belq[a_h[]Z�^Åd]{�Xj jr^(d�[q_�o g$#�Xg�k�g('����[aZ�^Wñ�s�ù8�4ú ë []Z�^qXj s�_�Vabr[]Z�{æY�^.V:op_�V]{�d.�)ó�XV>X{h^�[a^8V ?$ø ��[]Z�^q{hb g�b {hX�j�d]br�.^f_oNl�_�{}{h_�ghd]i�v�s�VaX�Y�Z�d,[a_/v�^op_�i�g�k���[]Z�^.V]^8op_�Va^/^���^.l�[abrm�^8j `zl8_�g�[]Va_�jedfl�_�{hY�jr^8Ù%bD[�`\_o�[]Z�^|d:^(XV>l>ZN��ñ"d]b g�s\én� � å�tfbr[]Z~tfbed]^8j `\l>Z�_�d:^.gm�Xj i�^q_�o ?$ø �Sd]i�v%w�^(l�[�[a_ÅY�XV][]bel�i�j X�VØXY�Y�jrbel8X[]b _�g���X�jrj _�tqd�[]_2_�v%[>Xb g\én� � _oNd:^.g�d]brv�j ^qd]br�.^q{2i�l>ZhoSX�d�[a^8V[aZ�Xg v?`�{h^8Va^8j `�ê�jr[]^.V]b g�sh_�i%["d]{�Xj jr^.Vqd:i�v�s�V>XY�Z�dxXo·[]^.Vqd:b �8^8 ¦i�g�V]^(d�[aV]bel�[a^.kcd]^.X�Val>ZÔ�� g�{h_�d�[�Y�V>X�l�[ab l.Xj�l8X�d:^(d8��op_�V�Y�Va_�YT^8Vajr`~l8_%k%^.k�Xj s�_�Vabr[]Z�{ ��l8Xjel�i�j X[]b _�g�_�o�l�_�{hY�XVab d]_�g~opi�g�l�[abr_�g�d

x��zn 1 %&n N �cXg�k¿{��Mo 1ON %+o�|v}���b dzX�d\l>Z�^.X�YÊX�dzl�_�{hY�X�V]bed]_�gÞ_o/[�tx_�b g�[a^8s�^8V>d8�x�nZ�^8g�[abr{h^Ól�_�{}Y�jr^8Ù?br[�`k%^.Y�^.g�k�dW{h_�Va^Å_�g~[]Z�^z÷rú�� ê �Ëí�_o�b g�[]^.V]g�X�jPj _?_�Y�dyb guopi�g�l�[]b _�g�ÚÒo�©(5 ? oÅ[aZ�Xg�_�gu[aZ�^}X�l�[ai�Xj,g?i�{2vT^8V_�ofl8_�{hY�X�V]bed:_�g�d.�Ô�nZ�^cl8_�{hY�X�l�[Åop_�Va{ _o;±yè�è ²ýb g�én� � åòj br{hbr[ad2[]Z�^\brg�g�^8V|jr_?_�Y�b g�ÚÒo�©(5 ? oh[]_Û���{hXÙ 1 �dû 1 �]����tfZ�b jr^hb g�ñyå [aZ�bed�jr_?_�Y�Xj txX�`%d"V]i�g�d"opVa_�{ �|[]_CÃób g�_�V>k%^.V"[a_zj _?_�� i�Y�[]Z�^htfZ�_�jr^Va_�tî_o�i�g�l8_�{hY�Va^.dad:^(k���X�jD[aZ�_�i�s�Z�d]Y�XV>d]^���±Wè~è����f^.Y�^(X�[]b g�sc[]Z�^hXvT_�m�^ÅY�V]_%l�^(k%i�Va^/op_�VW^.d:[]b {�X�[abrg�s[aZ�^|én� � å�l�_�{hY�jr^8Ù%bD[�`��%_�v%[>Xb g

Ûzy ? {�XÙ1 �Mû 1 �8{��Sg iqk�m n �HÛzy8{hXÙ1 �dû 1 � ,)e# ? { ��ß��

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 11: Common subgraphs, backtracking algorithm Introduction Graph

���]���� ��� �����������´(>�´����®��������®��X�,¸��6 ������¹ ß�ã��

�nZ?i�d.�broT[aZ�^8Va^qXVa^x[�t�_��?b g�k�d�_�oTm�^8V][]bel�^.d�^(×�i�Xj jr`|V]^.Y�Va^.d]^8g�[]^(k2b g}[]Z�^qs�VaX�Y�Z�d.��{�X�Ù¾1]�MûW1��jr_Ã}| Ð Xg�k[aZ�^ht�_�Vad:[: 4l8X�d:^2[]b {}^�^8Ù%Y�^.g�d:^h{�X�`~k%^(l�Va^.X�d]^2v?`�X\oSX�l�[]_�V�_o�i�Y�[a_~r Ð ,)e�# �N_�Vh�.ã Z op_�V��.ã ¦m�^8V][]^�Ùs�VaX�Y�Z�d.� w _�V"jeXVas�^.Vqs�V>XY�Z�d8�TXg�kubro�[aZ�^8Va^|X�V]^Å{h_�V]^ÅjeXvT^8jedybrgu[aZ�^}s�V>XY�Z�d.��[aZ�^2^8�T^(l�[�{�X�`\vT^|^.m�^.gd:[]Va_�g�s�^8V(� � gzY�V>X�l�[]bel�^��?tx^Wop_�i�g�kc[]Z�b dxoSX�l�[]_�Vn[]_}v�^Ål8_�g�d]bek%^8V>Xv�j `hjr^(d]dx[aZ�XgzY�Va^.k%bel�[a^.k��%vT^.l.Xi�d]^W_�i�V^(d�[abr{�X�[a^.dfk%_}g�_�[fX�l8l8_�i�g�[xop_�VfXj jNX�l.l�_�{hY�X�g?`�b g�s|_�YT^8V>X�[]b _�g�d8�%��[]b j j���tx^W_�v�d]^8Vam�^(kcX\�.ã2[]_ �.ã Z  �[abr{h^b g�l�Va^.X�d:^zb g�YT^8V]op_�Va{�Xg�l8^zop_�V�s�V>XY�Z�Z�X�m?b g�s Î ã�Xg�k�{h_�Va^\m�^8V][]bel�^(d8��_�g�l�^z[]Z�^~l�_�{hY�X�l�[hop_�Va{�_�o±Wè~è Z�X�dnvT^8^.gzb g�[]Va_%k%i�l�^(k��åqg�_�[]Z�^.V|l8_�g�d]b k�^8V>Xv�j ^�k%bD��^8Va^8g�l�^�vT^�[�tx^8^.g�én� � åòXg�k�ñ"åòl8_�g�l8^8Vag�d�[]Z�^�[]^(l>Z�g�be×�i�^�_ofY�bel>�?brg�s

m�^8V][]bel�^.d}tfbr[]Z�{hbrg�b {�Xjfg?i�{|v�^.V}_�oWl.Xg�k%bek�X[]^z{hX[al>Z�b g�s�d|_�g�^(X�l>Z�V]^(l�i�V>d:b _�g�jr^.m�^8j/��l�o���Y�Va^8m?b _�i�d�?^(l�[abr_�g���� � [fb dnk%brõ�l�i�jr[n[]_|Y�V]_�m?bek%^yX�gc^(d�[abr{�X�[a^"op_�Vx[]Z�^W^���^.l�[n_�oN[]Z�X�[n{}_%k%brê�l.X�[]b _�gÔ� Ö _�t�^.m�^.V.��_�i�V^8Ù?YT^8Vab ^8g�l8^nd]i�s�s�^.d:[adP[aZ�X�[�[]Z�^fs�Xb g2b ghY�^.V:op_�V]{�X�g�l�^x{�X�`Å^.X�d:b jr`/Va^.X�l>Z|d]^8m�^8V>Xj?_�V>k%^8V>dP_o�{�X�s�g�br[]i�k�^��b gzoSX�l�[qbr[qbedn{}_�V]^�g�_�[]bel�^(Xv�j ^W[]Z�X�g\[aZ�X�[f_�o,b g�[]Va_?k�i�l�b g�s}[]Z�^Ål8_�{hY�X�l�[¢±yè~è��

ÿzRd�(Q�O��(RSLTIén� � å Z�X�d2v�^.^8g�i�d:^(k�op_�Vhd:^.V]m?b g�s~d:[]Vai�l�[ai�VaX�j�×�i�^.V]b ^.d2brg�[aZ�^\í�¡ �  Ûè���Ý j brs�Xg�k�k�X�[aX�v�X�d]^�Xg�k�brg[aZ�^yg�^8tÊíØ¡ �  4è��%ÝïY�Va_[]^.brgzÕ�Ýäl�_�{}Y�XVab d]_�g�d]^8Vam?b l8^y���%èë� Ð ß��¦�%X�dØtx^8j jTX�dØb g�[aZ�^/éféÌóØÜ|èu_�jr^(l�i�jeXVUWV>XY�Z�b l.dbóØV]_�w�^.l�[}� Ð à.�¦���nZ�^híØ¡ �  4è��%Ýæjrb s�X�g�k~k�X[aXv�X�d]^2l�_�g�[>Xb g�d"l>Z�^8{hb l.Xj,s�V>XY�Z�dq_o�{h_�jr^(l�i�jeXVd:[]Vai�l�[ai�Va^.dh�Sl8i�V]Va^8g�[ajr`u_�m�^8VWÜ�ã�ã�ã�^.g�[aV]b ^.d>���Top_�i�g�k�X�d�v�b g�k%b g�s jrb s�X�g�k�dWb gyóØV]_�[]^8b g�ÝWX�[>Xz¡nX�g���� Ð á��k%^.Y�_�d:br[]b _�g�d8���nZ�^"s�VaX�Y�Z�d�b g�l�j i�k%^WX�[a_�{�dq�pm�^8V][]bel�^(da��l8_�g�g�^.l�[a^.k�v?`hl>Z�^8{hbel8X�j�vT_�g�k�dy�p^(k%s�^(da���]±�^8V][]^8ÙjeXvT^8jed2X�V]^h{�X�k%^c_oqX�[a_�{ [�`?YT^.d|Xg�k�l>Z�b V>Xj bD[�`~b g�k%bel8X[]_�V.�N^(k%s�^(dÅXVa^�jeXvT^8j ^.k�d]i�l>Z�X�d/[a_~X�l.l�_�i�g�[op_�V2d:b g�s�jr^��Ôk%_�i�v�jr^��ÔXVa_�{�X[]bel}X�g�k�[]Vab Y�jr^�vT_�g�k�d8��é�^8V][aX�brg�opV>Xs�{h^.g�[>d8�Nd]i�l>Z�X�d2l8XVavT_�g�X�[a_�{ýtfbr[]ZX[:[aX�l>Z�^.kîZ?`%k%Va_�s�^8g�d.�q{�X�`âvT^�_�Y%[]b _�g�X�jrj `äV]^.Y�V]^(d:^.g�[]^.kîX�d�l�_�{hY�_�d:br[]^â�SY�d]^8i�k%_� 4�~X�[]_�{�d8�ytfZ�b l>Zk%^(l�Va^.X�d:^(dh[]Z�^�d:b �8^�_o/s�V>XY�Z�d�Xg�kÊbrg�l8V]^(X�d]^.d�k�brm�^8V>d:br[�`�_�o2X�[]_�{ëjeXvT^8jed.ÚØvT_[]ZÊoSX�l�[a_�V>d�d]Y�^.^.k�i�Y[aZ�^/s�V>XY�Z\{�X�[al>Z�brg�s��� gÓ_�V>k%^8VW[]_ s�^�[ÅXg�b k�^.X XvT_�i%[/[aZ�^�X�l�[]i�X�j,[]b {}^�dal8X�jr^h_�o�s�V>XY�Z�{�X�[>l>Z�b g�s���tx^hV]i�gÓX d:^.V]b ^.dW_�o

X�jrjr �[a_ 4Xj j�{�X�[>l>Z�^.dØop_�VfX�jrj�d�[aV]i�l�[]i�V]^(dØb g�[aZ�^Wí�¡ �  Ûè���Ýïj b s�Xg�k�k�X�[>Xv�X�d:^���X�m�^8V>Xs�b g�s�[aZ�^/éÌó�ñÊ[abr{h^d]Y�^.g�[,op_�V�d�[aV]i�l�[]i�V]^(dP_�o�^(×�i�Xj%d:b �8^�� w brs�i�V]^xÜ/d:Z�_�tqdÔ[aZ�^fX�m�^.VaX�s�^.k2éÌó�ñ�[]b {}^\�P� n X�d,_�v%[>Xb g�^.k2opVa_�{[aZ�^/_�Vabrs�brg�Xj�ñqj jr{�X�g X�jrs�_�VabD[aZ�{ý� Ð�Î �x�Sí�� � Y�Va_�v�j ^8{��nX�dfX2opi�g�l�[abr_�gz_�oP[aZ�^/{�X�[>l>Z�^.kzs�V>XY�Z�d��%d]br�.^ ?X�g�k\à �S{h^.X�d]i�Va^.k|_�g¦ó�^8g�[]b i�{ Üh��� Ð UWZ��;óxén����nZ�^fd:i�V:oSX�l�^c�P� n � ? %&Ãu�Pb d�d]`?{}{h^8[]Vab l.Xj%b g}Va^.d]YT^.l�[[a_ ? Xg�kqÃýX�g�k\VaX�g�s�^(dØopVa_�{�rÊã�* Î []_ �(ã|{�dnYT^8Vq{�X[al>ZN���?_�{h^/g�_�g% Û{h_�g�_�[]_�g�b l8bD[�`�b gz[]Z�^/Va^8s�br_�g_�o�jeXVas�^2s�VaX�Y�Z�dyb d�^8Ù%Y�j X�brg�^.k~v?`�X\Va^8jeX�[]b m�^.jr`uj _�t�opV>X�l�[]b _�g�_�o�jeXVas�^.Vyd:[]Vai�l�[ai�V]^(dWbrg�[]Z�^�k�X[aX�v�X�d]^��tfZ�bel>ZÅVa^.d]i�jr[adNb g2XfYT_?_�Va^8V,X�m�^8V>Xs�brg�s����nZ�^�Y�b l�[]i�Va^Ød]i�s�s�^.d:[adN[]Z�X[Ô[]Z�^�k�X[aXv�X�d]^�V]^.Y�Va^.d]^8g�[adNX"l�j _�d]^�[]_vT^.d:[: 4l8X�d:^Ål8_�{hY�j ^�Ù%bD[�` k�X[aX�d]^�[qop_�VyñyåÅ� � g�k%^8^(k���[]Z�^|Y�V]_�g�_�i�g�l�^(k\^(k%s�^ ? �¿Ã��TtfZ�bel>Z~k%_�{hb g�X�[a^.d[aZ�^\d]i�V]oSX�l�^��Pl8jrb {2v�d2i�Y�op_�V|XY�Y�V]_�Ù%b {�X�[]^.jr` Ð _�V>k%^.Vad/_�oq{�Xs�g�bD[ai�k%^cX�d ? l>Z�Xg�s�^.d2v?`���_�Vak�^8VÅ_�o{�Xs�g�br[]i�k%^hopVa_�{ �.ãz[]_Ó�(ã�ãÓ�·op_�V ? %&à � �(ã\[]Z�^\éÌó�ñû{}^(X�d]i�Va^8{h^8g�[ad/X�V]^hj ^.dad�Y�Va^.l�bed]^(���På"d/{�X�`vT^|d]^8^.g opV]_�{ô^(×��,� Ð ����[]Z�X[Wl�_�V]Va^.d]YT_�g�k�dx[a_�[aZ�^ÅvT^8Z�X�m?b _�i�Vy_o�[]Z�^|v�^(d�[] Ûl.X�d]^Ål�_�{}Y�jr^8Ù?br[�`z^.d:[]b {hX[]^Û�� ? à �}r�Û � ? ' £ �n�nZ�bed\l8_�g�l8jri�d:b _�gÊX�s�Va^8^.dctfbD[aZ�[]Z�^~oSX�l�[c[aZ�X�[ g�_�Va{�Xj jr`�s�V>XY�Z�d�_o2l>Z�^8{hb l.Xjd:[]Vai�l�[ai�Va^.dqb g�l8jri�k�^2m�^.V:[ab l8^.d"tfbD[aZ�d:^.m�^.VaX�jÔk%br�T^.V]^.g�[Wj X�v�^.j dyXg�k~Z�X�m�^Åj _�tä[]_�{h^(k%bri�{ l�_�g�g�^.l�[]b m�br[�`�p[�`�Y�b l.Xj jr`~�8 ÛÕ}^(k%s�^(d�YT^8V"m�^8V][]^8Ù����Ý"^8[]^(l�[]b _�g}_o�én� � bed�X"{h_�V]^�j X�v�_�V]b _�i�dÔ[aX�d:��[aZ�Xg|[]Z�X�[�_o�íx� � � w brs�i�Va^.d Î X�g�k2ßWd]Z�_�t�[]Z�^xb g�l8V]^(X�d]^

b gc[aZ�^2éÌóØñâ[]b {h^�l8_�g�d]i�{hY%[abr_�gzX�d�_�g�^WY�V]_%l8^8^.k�d�opVa_�{ íx� � [a_�én� � ���nZ�^�d]i�V]oSX�l8^.d�t�^.V]^�l8X�j l8i�j X[]^(ki�d]b g�sqXj s�_�V]br[]Z�{äk%^.dal�Vab v�^(kyb g�[]Z�b dÔY�XYT^8V(�8åqgÅX[:[a^8{hY%[Ô[a_fi�d]^ØXn{�X�Ù%br{�X�jD 4l�j b ×�i�^�X�jrs�_�VabD[aZ�{ �dvÔ¡cx/åy�

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 12: Common subgraphs, backtracking algorithm Introduction Graph

ß�ã Ð P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

2040

6080

100

n20

4060

80100

m

2

4

6

8

10

CP

U m

s/m

atch

Ü CF6(3�7�Ç Ã Í�)��P�äB�CF-/Ç��U���Ó+ßB�PÉ]à�CDÌ�Ç>0�B�CDA?@�9�B�CF+(0z5�¾�B�<�ÇW+.7�CF6(CF0?98El��EDEF-Å980 9.EF6.+.7�CGB�<�-�% À�� .-/Ç�98143�7�Ç�Ìh+.0�9.EFEpá¦986�98CD0�1ÛB2á�9.EFEP-Å9�B�@]<�Ç>1�+ßP@]<�Ç>-/CF@�9.E�1ÛB47�3�@aB�3�7�Ç>1�ßr7�+(- B�<�Ç��P�àMáT:�ÉY>ÊEFCF6�980?ÌÌ�98B:985?9.14Ç�% À�� .lG·+���Ça7 à = Â(Â( Ç>0�B47�CFÇ>1 K = ,z980?Ì97 1ÛB:9.0�ÌÀße+87�B�<�Çn14C�O>Çq+ß�CD0�;�3�B�6.7:9.;�<�1>Í

k%bek|g�_[�Xj j _�t�[]_/X�k�m�X�g�l�^xvT^8`�_�g�k|s�V>XY�Z2d]b �8^n_o�Õ�ãym�^8V][]bel�^(d,tfbD[aZ�_�i%[�d]Y�^.g�k%b g�s�{h_�Va^Ø[aZ�Xg Î ãyZ�_�i�Vad_�o,l�_�g�[]b g�i�_�i�dnl8X�j l8i�jeX�[]b _�g�dy��X�o·[]^.VftfZ�bel>Zc[aZ�^�Y�V]^(d:^.g�[fd:[]i�k%`�tnX�dnX�l�[]i�X�jrj `�brg�bD[ab X[]^.k����%[aZ�^8Va^�op_�V]^Wt�^k%_hg�_�["l�_�{}Y�XVa^ytfbr[]Z {�X�Ù%b {hX�jD 4l�j be×�i�^�X�jrs�_�VabD[aZ�{�d8�w brs�i�V]^ Î l8_�VaV]^(d:YT_�g�k�d/[]_�[]Z�^zl8_�g�[]Va_�j jrb g�s�l8_�{hY�j ^�Ù%br[�`�Y�XV>X{h^�[a^8V ? ø �*{hb gÅ� ? %+à �¢`ï���,�nZ�bed

m�Xj i�^�_�o ? ø b {hY�jrb ^.dÅ[]Z�X[}én� � åûg�^.s�j ^.l�[>dÅXj jØl8_�{h{h_�gÓd:i�v�s�V>XY�Z�dW[aZ�X�[2d]Z�X�V]^�Xj j�v�i�[2{h_�Va^|[aZ�Xg�}m�^.V:[ab l8^.dWbrg�[]Z�^hd]{�Xj jr^(d�[�_ox{�X�[al>Z�^.k�s�V>XY�Z�d.�Nçyg�^�l8Xg�br{�X�s�b g�^}X\g�X�brm�^}X�Y�Y�j b l.X�[]b _�g�_onñ"åæ[]_d]i�l>Zcén� � Y�Va_�v�j ^8{ �tfZ�bel>Z�d:Y�jrbr[ad�[]Z�^"d]{�Xj jr^.V�s�V>XY�ZÔ�d]X�`¦g # ��b g�[]_ ? ø d]i�v�s�VaX�Y�Z�djg 1# ^.X�l>ZhZ�X�m?brg�s ? øm�^8V][]bel�^.d.�?Xg�kh[aZ�^8gz{�X�[>l>Z�^.d ?$ø s�VaX�Y�Z�Y�X�brV>dé �g 1# %vg-').���çyg�[aZ�^�l�j _�d]^q[]_}vT^.d:[: 4l8X�d]^yl8_�{hY�j ^�Ù%br[�`hk�X�[aXd]^�[(��[aZ�b dxtx_�i�jekhVa^.d]i�jD[xbrg^r ?$ø  �[abr{h^"b g�l8V]^(X�d]^qbrgc[]Z�^/éÌóØñÊ[]b {}^�d]Y�^.g�[(� � g�[a^8Va^.d:[]b g�s�j `|^.g�_�i�s�ZN�?d:i�l>Zb g�l�Va^.X�d:^Àðeùb��ø��Ø^8Ù%Y�^(l�[]^(k�op_�V�[aZ�^Wt�_�Vad:[: 4l8X�d:^"l8_�{hY�j ^�Ù%br[�`hk�X�[aX}d]^�[.� � g\_�V>k%^8V�[]_hk%^8{h_�g�d�[aVaX[]^"[]Z�X[.�

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 13: Common subgraphs, backtracking algorithm Introduction Graph

���]���� ��� �����������´(>�´����®��������®��X�,¸��6 ������¹ ß�ã�Õ

2040

6080

100

n20

4060

80100

m

0.5

1.0

1.5

2.0

CP

U in

crea

se fa

ctor

Ü CF6(3�7�Ç � ÍÔ)��)�îB�CD-/Ç��V�1�b� � +�ßx)�É]àqÌ�Ç]B�Ç>@aB�CF+(0u5�¾�B�<�Ç29.EF6.+.7�CGB�<�-ôÌ�Ç>14@]7�CD5%Ç>Ì CD0 B�<�Ç;�7�Ça14Ç>0�B�;?98;%Ça7�=xCF0�7�Ç>ED98B�CF+(0�B�+�� ��� ßr7�+(- Ü CF6(3�7�Ç Ã ÍÌÞ�<�Ç @a+(0�B47�+(EFEFCF0�6�@>+.-/;�EFÇlè�CGB¦¾;?9�7:9.-/ÇaB�Ç]7�, Q ãÓ-/CF0\GI,U(67 K/� Ý(ÍÇÞ�<�ÇnÌ�98B:985?9814Çn3�14Ç�ÌÅCF1�B�<�Ç�1�9.-/Çn981�B�<?9�BÉße+.7 Ü CF6.3�7�Çà Í�Þ�<�Çy)�É]à,;�7�+(5�EFÇ>- CD1ØCF0�<�Ça7�Ç>0�B�EG¾}<�987:Ì�Ç]7�B�<�9.0}B�<�98BØ+ßq�PÉ]à]=�<�+L�,Ç ��Ça7ØB�<�Çf+.5�B:9.CF0�Ç�ÌCF0�@]7�Ç�9.14Çrße9.@aB�+87xCF1ØED+L�,Ça7�B�<?9.0|-Å9>¾|5%ÇxÇlè�;%Ç>@aB�Ç�Ì�=�@lß�Í?Ì�CF14@>3�1414CF+(0�CF0}B�<�ÇxB�ÇlèB�Í

l8_�g�d]b k�^8VØX�s�Xb g|[]Z�^y^.k%s�^ ? �Gà _�o�d]i�V]oSX�l�^fb g w b s�i�Va^.d�Ü����nZ�^qtx_�V>d:[: 4l8X�d]^nl�_�{hY�j ^�Ù%br[�`|^(d�[abr{�X[]^2��l�o��^(×���� Ð �]�"s�brm�^.d"[]Z�^.V]^îÛ � ? ,)eE' £ �N�nZ�^.g�[abr{h^h^�Ù%YT^8g�d]^}op_�V�{�X�[al>Z�brg�s ? ø s�V>XY�Z�Y�Xb VadÀ �g 1# %lg ' .}{�X�`vT^/^.d:[]b {�X�[]^(k X�d

Û¿� ?$ø? ,[�&eE'ø £ �¿Û¿� ? ,[�le Zø £ �[Û y � ? `��(� ,]eE' { �[Û�� ? ,)eE' £ �Ûà�

tfZ�bel>Z�{�X�`uvT^|s�^8g�^.VaX�jrb �8^(kuv?`ubrg�k%i�l�[abr_�g�_�g�X�g�` ? ø X�dWj _�g�szX�d ? ` ? ø�� ? X�g�ku[aZ�^}X�jrs�_�VabD[aZ�{tx_�Va�%dØ_�gc[aZ�^�t�_�Vad:[: 4l8X�d:^Wl�_�{hY�j ^�Ù%br[�`ck�X[aX}d:^8[.���nZ�bednV]^(d:i�jD[fZ�X�dxXhd]br{hY�j ^�^�Ù%Y�jeXg�X[]b _�gED�[aZ�^/t�_�Vad:[: l.X�d]^}l8_�{hY�j ^�Ù%bD[�`~l8_�VaV]^(d:YT_�g�k�dy[]_\[]Z�^�d]bD[ai�X�[abr_�g�dWtfZ�^8g�opi�g�l�[]b _�g�kµ"-ºªo ?E¼ ¸¾½ � ou��l�o�� w b s�i�Va^ Ð �Wk%_?^.dg�_�[y[a^8Va{hbrg�X[]^}v�V>Xg�l>Z�^(d"_�o�[]Z�^hd]^.X�Val>Z [aV]^.^���Xg�ku[]Z�^8Va^�op_�Va^|d]^.X�Val>Z~[]Va^8^.dW_�oØs�V>XY�Z�Y�Xb Vad\ �g 1# %lg(').X�V]^fg�_�[]Z�b g�sÅ^.j d]^qv�i�[�v�V>Xg�l>Z�^.d�_�oT[aZ�^"d]^.X�Val>Z}[]Va^8^"_o�[]Z�^y_�Vabrs�brg�Xj%Y�X�brVé �g$#�%vg-').���ñ"åÊtx_�i�j kh{h^8Va^8j `s�_|[aZ�Va_�i�s�ZzX�jrj�[aZ�^Åd]X�{h^Wv�VaX�g�l>Z�^.dxb g ^8br[]Z�^.Vql8X�d]^��

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 14: Common subgraphs, backtracking algorithm Introduction Graph

ß�ãÜ P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

å"d|{�X�`�vT^\k%^.V]b m�^(k�opV]_�{ w b s�i�V]^ Î �Nop_�V ?$ø �ò{hb g2� ? %+à �Ì`ä��[aZ�^ én� � å*d:[]V>X�[]^.s�`�s�b m�^.d2_�g�j `i�Y~[]_}r Ð  ¦[]b {h^Åb g�l�Va^.X�d:^Åb g~[aZ�^héÌó�ñ ^8Ù?YT^8g�d:^���X�d"l8_�{hY�XVa^.kz[a_\íx� � k%^�[a^.l�[]b _�g~v?`uñ"å2�T^.m�^.guop_�Vs�VaX�Y�Z�dxX�dxj X�V]s�^yX�d"���.ãÅm�^8V][]bel�^(d8��é�_�g�d:bek%^8Vab g�sÅ[aZ�X�[x[]Z�^/k�X[aX�v�X�d]^"i�d]^.k\Va^8Y�Va^.d]^8g�[ad�X|l8jr_�d:^y[]_}vT^.d:[: l.X�d]^cl�_�{}Y�jr^8Ù?br[�`�k�X�[>X�d]^�[|op_�Vhñ"åÅ��_�g�^c{�X�`�l�_�g�l�j i�k%^c[]Z�X[�én� � åôY�^.V:op_�V]{�d2{2i�l>Z�v�^8[:[]^.V2[aZ�Xg^8Ù?YT^.l�[]^(k�opVa_�{û[aZ�^/XY�Y�j bel8X�[abr_�g�_o�ñ"åï[]_}v�V>Xg�l>Z�^.k�d]i�v�s�VaX�Y�Z�dW�Sl�o���X�v�_�m�^(���?åydxtxX�d�{h^.g�[abr_�g�^.kcbrg[aZ�^�Y�V]^.m?br_�i�df�?^.l�[]b _�gN��X�jD[aZ�_�i�s�Z\l8_�{hY�j ^�Ù%bD[�`�_�o�én� � åäbedxop_�Va{�Xj jr`�vT_�i�g�k%^.kzv?`h[]Z�^/daX{h^�jrb {hbD[>dfX�d[aZ�_�d]^f_o�ñ"å2��br[Ød:Z�bro·[ad�[]_�tnXV>kÅ[aZ�^fi�Y�YT^8V�jrb {hbD[(��X�Y�Y�Va_�X�l>Z�brg�sWbr[�{}_�d�[Øl8jr_�d:^.jr`2brgh[aZ�^ql8X�d:^f_�o ? ø � ����nZ�bedyb d�l�_�g%ê�Va{h^.kuv?` s�^.g�^8V>XjP^8j ^8m�X�[abr_�g~_o�[aZ�^hd:i�V]oSX�l8^Åb g w brs�i�Va^ Î b g~[aZ�^}V]^.s�b _�gu_o�j X�V]s�^ ? �-Ã��Z�_�tx^8m�^8V(��_%l8l8X�d:b _�g�Xj�d]Y�br��^.d.�ÔtfZ�bel>Z�XVa^�k%i�^�[]_u[aZ�^cd]Y�^(l�brê�l8d2_oqY�X�V:[ab l8i�j X�V/s�V>XY�ZÓY�X�brV>d.�Ôd:i�s�s�^(d�[[aZ�X�[}[]Z�^ul8_�{hY�j ^�Ù%bD[�`�d]Z�bro·[hbed}g�_[�X�d:b {hY�jr^\opi�g�l�[]b _�g�_o"s�VaX�Y�Z�d]br�.^����nZ�^ d:Z�XVaY�b g�l�Va^.X�d:^\brg�[]Z�^Va^8s�br_�g�d"_�o ? � ÃóX�g�k�à � ? bedWk�i�^}[]_z[]Z�^}oSX�l�[W[]Z�X[�b g�[]Z�^(d:^hVa^8s�b _�g�d ?$ø � {�X�Ù/� ? %+à �yXg�k[aZ�^8Va^�op_�V]^W[]Z�^/g�i�{2vT^8Vf_o�YT_[]^.g�[]beXjPén� � dn[a_h^�Ù%Y�j _�Va^Wbedfd]brs�g�bDêTl8Xg�[ajr`�Z�brs�Z�^8V(�å k%^�[>Xb j�^�Ù%Y�j _�V>X�[abr_�g�_�oØ[]Z�^�d:i�V]oSX�l8^hbrg w brs�i�Va^ Î `?b ^8jek�dW[]Z�X[Åbrg�d]_�{h^�l8X�d:^(d�Uilk m n�|�� � nÞoSX�jrjed

vT^8j _�tò�\��ãÄ* Î X[W{hb g�b {2i�{�����tfZ�b l>Z�br{hY�j br^(dW[]Z�X[Åén� � åæ{�X�` vT^Òñ�s�ù8�Ûú ë []Z�X�g�ñyå bro�i�d:^(kuop_�V/íx� �k%^8[]^(l�[]b _�gÔ���nZ�bed�^���^.l�[ØbedØd]_�j ^8j `2X�[][]Vabrv�i�[]^.k}[a_�[]Z�^yX�k�k%br[]b _�g�Xj�X�jrs�_�VabD[aZ�{hb ln_�Y%[]b {hbr�(X�[]b _�g�d�k%^.dal�Vab v�^(kb g�Y�Va^8m?b _�i�dn�?^.l�[]b _�g�dW�Sl8_�{hY�X�l�[�±Wè~è X�g�k�l>Z�_?_�d]b g�sÅm�^.V:[ab l8^.dØtfbD[aZc{hbrg�br{�Xj�g?i�{|v�^.V�_�oÔl8Xg�k%b k�X�[]^{�XY�Y�brg�s�d>����å"dfop_�i�g�kN��d:tfbr[al>Z�brg�s}[aZ�_�d]^�_�Y%[abr{hb �.X�[abr_�g�dn_��{hX���^(dc�$ilk�mon���� � n�b guXj jNl8X�d:^(d8��nZ�^�jr^(d]d ?$ø �?[]Z�^�{h_�Va^�j X�v�_�V]b _�i�dØbedx[]Z�^Åd]^.X�Val>Z�op_�Vyén� � ��åydn^�Ù%Y�jeXb g�^.k\brg\[]Z�^WY�V]^.m�b _�i�dn�%^.l�[abr_�gN�

én� � åïZ�X�d�[]_|s�_/[aZ�Va_�i�s�Z�j X�V]s�^8V�g?i�{|v�^.V�_�oNv�V>Xg�l>Z�^(d�_�o�[]Z�^�d:^(XV>l>Z}[]Va^8^"tfZ�^8g�j _?_��?brg�sÅop_�Vxd:{�X�jrj ^8Vl8_�{h{h_�gÅd]i�v�s�V>XY�Z�d8� � g/[]Z�^�v�V>Xg�l>Z�^.k/d]i�v�s�VaX�Y�ZÅXY�Y�V]_�X�l>Z��Sl�o���X�v�_�m�^�brg2[]Z�bed��?^.l�[]b _�g����8[aZ�^�b g�l8V]^(X�d]^b g~l�_�{}Y�i%[aX[]b _�g�X�jÔ^�Ù%YT^8g�d]^Å{�X�`zv�^Å^(d�[abr{�X[]^.k~v�` X}oSX�l�[]_�V"_o����r�zg , �, � w b s�i�V]^2ß�k�^8{h_�g�d:[]V>X�[a^.d[aZ�^yV>X�[abr_|_o�én� � åïl8_�{hY�i%[>X�[]b _�g�XjT[]b {h^� iqk�m n X�[ ? ø ��{hb gÅ� ? %+à �E` Î [a_Å[]Z�X�[f_oP�P� n ��d:Z�_�tfg�brgw b s�i�Va^2Ü?����Ý"^8[aXb j,brg?m�^(d�[abrs�X�[abr_�gu_o�[]Z�^}d]i�V]oSX�l�^2V]^.m�^.X�j dq[]Z�X[yb g�m�X�d:[y{�Xw�_�VabD[�`z_o�b g�d:[aXg�l�^.d/én� � ål8_�YT^.d�tfbr[]Zh{�X�[al>Z�brg�s/X[�jr^(d]d,[aZ�Xgz�.ã �[abr{h^nbrg�l�Va^.X�d]^xbrg�l�_�{hY�i%[aX[]b _�g�X�j%^���_�V][ad.��UWbrm�^8g|[]Z�^noSX�l�[�[aZ�X�[X[ ? � Î ã�� ? ø ��Ü Î �%tfZ�^.V]^W[]Z�^ÅXvT_�m�^W_�v�d]^8Vam�X�[]b _�g d:[]b jrjNZ�_�jek�d8�/���nVa^.X�l>Z�^.d�rî�(ãY�/X�g�k�[aZ?i�dyén� � åYT^8V]op_�Va{�Xg�l8^W{�X�`�vT^ÅV>X�[a^.kzX�dq×�i�br[]^/b {hY�V]^(d]d]b m�^���åx["[]Z�^ÅdaX{h^�[]b {h^���Y�XV][]bel�i�jeXVfs�VaX�Y�Z\Y�Xb Vadn{�X�`Va^.×�i�b V]^\X~l�_�g�d:bek%^.VaX�v�jr^�b g�l8V]^(X�d]^�brgÞéÌóØñ [abr{h^��PtfZ�bel>Z�b g�op^8tòl.X�d]^.d2b d2^8m�^.g�jeXVas�^8VÅ[]Z�X�g�� � � � gw b s�i�Va^yß���[aZ�^y{h_�d�[xV]^.j X[]b m�^8j `}^�Ù%Y�^.g�d]brm�^"{�X�[>l>Z�^.dW�SX�d�l8_�{hY�XVa^.k�[]_9� � n���XVa^fop_�i�g�k�b g�[aZ�^yVa^8s�br_�g_�oy{�X�Ù�� ? %&Ãu�4�ìß�ã�Xg�k�{}b gÅ� ? %&Ãu��� Ð ã�Ú,[]Z�^.`�XVa^zk�i�^z[]_�[]Z�^ j _�tòVaX[]b _�_�o ?$ø |�{hXÙW� ? %&Ãu���X�d2^8Ù?Y�j X�brg�^(kÓop_�V w brs�i�V]^ Î ��l�o���XvT_�m�^����P�nZ�^\Va^8s�br_�g�_oqjeXVas�^ ? %+Ã�� ß�ã~d]Z�_�tqdÅ_�g�jr`Ó_%l8l.X�d]br_�g�Xj{h_%k%^8V>X�[a^�d:Y�br��^.d.�,çyg�^�YT_�dad:b v�j ^�^�Ù%Y�jeXg�X[]b _�g�op_�VÅ[]Z�^(d:^�_%l.l8X�d]b _�g�X�j�d:Y�b ��^(d�b dÅ[]Z�X[2brofX~Y�XV][]bel�i�jeXVs�VaX�Y�Z Y�Xb Vµ �g$#)%lg('�.|V]^.Y�V]^(d:^.g�[adqX�l8jr_�d:^/[a_�vT^.d:[: 4l8X�d]^Ål�_�{hY�jr^8Ù%bD[�` k�X�[>X}op_�VWí�� � k%^8[]^.l�[]b _�gN��bD[�k%_?^.dg�_�[�Z�X�m�^\[]_�v�^~d]_�op_�V}[]Z�^�én� � [aX�d:��� w _�Vh^�Ù�X{hY�j ^���[aZ�X�[�{�X�`Ó[aX���^zY�j X�l�^zbDoW[]Z�^zb g�Y�i�[�s�V>XY�Z�dl8_�g�[aX�brg�Z�brs�Z�j `�l�_�g�g�^.l�[]^(k�d]i�v�s�V>XY�Z�dW{hX�k%^h_oØm�^8V][]bel�^(dy_�oØ[aZ�^�d]X�{}^}[�`?YT^¦¸T�NdaX�`0g Æ# Xg�k�g Æ' � � o��b g~X�k�k�bD[abr_�g []_�[aZ�_�d]^Åd:i�v�s�V>XY�Z�d8�-g # X�g�k0g ' l8_�g�[aX�brg}w�i�d:[WX}op^.täm�^8V][]bel�^(df_o�k%br�T^.V]^.g�[q[�`?Y�^(db½WXg�k¹��TVa^.d]Y�^(l�[]b m�^.jr`���ñyå tfb jrj,v�^}Xv�j ^Å[a_�b {}{h^(k%b X[]^.jr`z[]^.V]{hb g�X�[a^|X�jrjPv�VaX�g�l>Z�^(dq_o�[aZ�^|d]^.X�Val>Zz[aV]^.^2Xg�kVa^8YT_�V][�g�^8s�X�[]b m�^n_�ghíx� � ��X�d�[aZ�^8Va^fbed�g�_/m�^.V:[ab l8^.dj½Øbrgqg ' Xg�k|m�^8V][]bel�^(dɹ�b gîg # ��� � g�l�_�g�[aVaX�V]`�[a_�[]Z�X[.�én� � å t�_�i�jek ^8m�^.g�[]i�X�jrj `\l8_�{h^/[]_c[]Z�^}d�[>Xs�^/tfZ�^8g~m�^8V][]bel�^(dé½�XVa^ÅVa^8{h_�m�^(kcopVa_�{ g # X�g�kz[]Z�^.guoSXj jb g�[]_/^�Ù%Y�j _�V>X�[abr_�g|_�o�X�jrj�Y�_�d]d]brv�jr^n{�XY�Y�brg�s�d�vT^�[�tx^8^8ghZ�b s�Z�jr`}l�_�g�g�^.l�[]^.kmg Æ# Xg�kmg Æ' v�^8op_�Va^fs�b m�b g�sÅX�gX�g�d:tx^8V(� � oÔY�Xb V; �g Æ# %vg Æ' .WV]^.Y�Va^.d]^8g�[ad�XÅt�_�Vad:[: 4l8X�d:^ql8_�{hY�j ^�Ù%bD[�`hk�X[aX�op_�Vfén� � å2� � ilk m n {�X�`}X�Y�Y�^(XV{|i�l>Z\jeXVas�^.Vx[]Z�X�g4� � nx�� gh[]Z�^y^8g�kh_�oNÝ"bed]l8i�dad:b _�gN��jr^8[Øi�d�d�[aV]^(d]d�[aZ�^"b {hY�_�V:[>Xg�l8^f_oNXj s�_�V]br[]Z�{}beln_�Y�[]b {}b �.X[]b _�g�d�k%^.dal�Vab v�^(k

b guY�Va^8m?br_�i�d"�?^(l�[abr_�g�d�D�[]Z�^}l�_�{}Y�X�l�[fop_�V]{*_oɱWè~è�Xg�kul>Z�_?_�d]brg�s�m�^8V][]bel�^(dftfbD[aZu{hbrg�b {�Xj,g?i�{2vT^8V_�o�l8X�g�k%bek�X�[a^|{�XY�Y�brg�s�d.�Tü�br[]Z�_�i%[�[]Z�^.d]^|_�Y%[]b {hbr�(X�[]b _�g�d|�popi�jrjr ÛVaX�g�s�^�±yè~è Xg�k�l>Z�_?_�d]b g�s�m�^.V:[ab l8^.d

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 15: Common subgraphs, backtracking algorithm Introduction Graph

���]���� ��� �����������´(>�´����®��������®��X�,¸��6 ������¹ ß�ã Î

2040

6080

100

n20

4060

80100

m

100

101

102

103

104

CP

U in

crea

se fa

ctor

Ü CF6(3�7�Ç � Í%É�9.-/Çf981 Ü CF6.3�7�Ç � 5�3�BÉße+87x@a+(0�B47�+(EFEFCF0�6/@>+.-/;�EFÇlè�CGB¦¾Å;?9�7:9.-/ÇaB�Ç]7�,VQ�ãÓ-/CF0cGI,U(87 K�� � Íb g�[]Z�^"_�V>k%^.V�_o�[]Z�^8b VØg?i�{2vT^8Vab g�sÅb g�[]Z�^ys�V>XY�Z�da����l8X�j l8i�j X[]b _�g�_�o�d]i�V]oSX�l8^qbrg w b s�i�V]^qßÅX�l>Z�b ^8m�^(kh_�g�j `? �_ÃZ�âß�ã2m�^.V:[ab l8^.dxX�o·[]^.V��.ã2k�X�`?dx_�oPl�_�g�[abrg?i�_�i�d�t�_�V]���%�?tfbD[>l>Z�b g�s2[aZ�^W{}_%k%brê�l.X�[]b _�g�d�_�g\X�jrj _�t�^(k[a_}{�X���^/Xj j�[]Z�^nw�_�v\b g i�g�k%^.VfÜ�á}Z�_�i�Vad.�?ü�^�op_�i�g�k\[]Z�X�["l>Z�_?_�d]b g�s|m�^8V][]bel�^(d�tfbr[]Z {hb g�br{�X�jNg?i�{2vT^8V_�oÔl8Xg�k%b k�X�[]^y{�XY�Y�b g�s�d�Z�X�d�X2{hXw�_�V�b {hY�X�l�[�op_�VØjeXVas�^qs�VaX�Y�Z�d.��tfZ�b j ^q[]Z�^y^8�T^(l�[�_�oÔl�_�{}Y�X�l�[̱yè~èY�Va^8m�X�brjednbrgz[aZ�^Ål8X�d:^W_o�d:{�X�jrj ^8Vfs�VaX�Y�Z�d.�

õ|LTIPQ  O�.R�L�I� gî[aZ�^�Y�Va^.d]^8g�[~Y�X�Y�^.V.�qtx^�Z�X�m�^�k%^.dal�VabrvT^.k�X�gî^�õ�l�b ^8g�[�v�X�l>��[]V>X�l>�?brg�s�X�jrs�_�VabD[aZ�{ op_�V�l�_�{}{h_�gd]i�v�s�VaX�Y�Z~bed:_�{}_�V]Y�Z�b d]{þk%^�[a^.l�[]b _�gN���nZ�^hXj s�_�V]br[]Z�{ìtnX�d"op_�i�g�ku[]_zvT^hl8_�g�d]bek%^8V>Xv�j `z{}_�V]^|^�õ�l�b ^8g�[[aZ�XguXj s�_�V]br[]Z�{òv�X�d]^.k\_�g {�X�Ù%b {�XjNl�j be×�i�^ÅXY�Y�Va_�X�l>Z��dvÔ¡cx/åÅ��l�o����f^8oSd8�Ô� Ð�Ð � Ð Õ��p����Xg�k\[]V>X�k�bD[abr_�g�Xjv�X�l>��[]V>X�l>�?brg�s\dal>Z�^8{h^.d�� Ð Ü�� Ð�Î ��[aZ�Xg��?dW[a_z[]Z�^�X�k�k%br[]b _�g�X�j�Xj s�_�Vabr[]Z�{hbel2{h_%k%brê�l8X[]b _�g�d�b g�[]Va_?k�i�l�^(kb g�[]_�[aZ�^}j X[:[]^.V.���nZ�^}Xj s�_�V]br[]Z�{ì{�X�` v�^}m?br^.t�^(k~X�dWXg�X�k%m�Xg�l�^8{h^.g�[W_o�ñ"jrj {�Xg�Xj s�_�Vabr[]Z�{ó�Sñyåy�op_�Vu^�Ù�X�l�[ud]i�v�s�VaX�Y�Zâbed]_�{h_�VaY�Z�bed:{ � Ð�Î �¦�"�nZ�^�g�^8t Xj s�_�Vabr[]Z�{ �yén� � å2�fbrg�Z�^8VabD[>d~d:Y�X�l�^�X�g�kÊ[abr{h^

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 16: Common subgraphs, backtracking algorithm Introduction Graph

ß�ã�ß P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

l8_�{hY�j ^�Ù%bD[�`�_ofñ"åÅ�PtfZ�bel>Z�bed/{|i�l>Z�j _�tx^8V�[]Z�Xg�[]Z�X[Å_o\vÔ¡cx/åÅ��[aVaX�k%br[]b _�g�X�jrj `~^8{hY�j _�`�^(k�b g�én� �  Va^8jeX�[a^.kzXY�Y�j bel8X�[abr_�g�d.�åqgòX[:[]V>X�l�[]b m�^�Xg�k l8_�g�l8^8Y%[ai�Xj j ` g�^8tëop^.X[]i�Va^�_o�én� � å bedÓ[aZ�^ÊY�Va^.d]^8g�l8^Þ_ouX�l�_�g�[aV]_�jrj brg�s

l8_�{hY�j ^�Ù%bD[�`�Y�X�VaX�{}^8[]^.V ? ø �,tfZ�b l>Z�X�jrj _�tqd/_�g�^h[]_�daX�m�^�l8_�{hY�i%[>X�[abr_�g�Xj�^���_�V][ad/v?`�g�_[2j _?_��?b g�s~X�[l8_�{h{h_�g�d]i�v�s�VaX�Y�Z�d|Z�X�m?brg�s�j ^.dad2[aZ�Xg ? ø m�^.V:[ab l8^.d.�,�nZ�^ Z�b s�Z�^8Vhb d ? ø ��[]Z�^¦ñ�s�ù8�4ú ë b d�én� � å2��ü�^op_�i�g�k�[aZ�bed�Y�XV>X{h^�[a^8V�[a_|vT^W^�Ù?[]Va^8{h^8j `hi�d]^�opi�j�b gcY�V>X�l�[]bel8Xj�XY�Y�jrbel8X[]b _�g�d.��tfZ�^8Va^"Va^8{h_[a^yd]br{hb j X�V]br[�`YT_�d]^.dhj bD[][]j ^ubrg�[a^8Va^.d:[.��bro�X�g�`���ü�^uk%^.{h_�g�d:[]V>X�[a^.k�én� � åì^�õ�l�b ^8g�l�`�_�g�l8V]_�d]d: ¦{�X[al>Z�b g�s�d:[]Vai�l�[]i�Va^.dopVa_�{ []Z�^yíØ¡ �  4è��%Ýïjrb s�X�g�k�k�X[aX�v�X�d]^2� Ð ß��Û��tfZ�^8Va^�én� � åâb d�g�_�t�Va_�i%[abrg�^.jr`}i�d]^.k�X�d�X|k�X�[>Xv�X�d:^q[]_?_�jop_�Vqd�[aV]i�l�[]i�Va^�V]^(l�_�s�g�br[]b _�gzXg�kzVa^�[]Vab ^8m�Xj¦�� [zd]Z�_�i�j k�vT^�g�_[]^(k�Z�^.V]^u[aZ�X�[ {2i�l>ZÊX�[:[a^8g�[]b _�gïk%i�Vabrg�s�j X�d�[\[�t�_�k�^.l8X�k%^.dcZ�X�dcv�^.^8gïY�Xbek�[]_

[aZ�^/s�V>XY�Z\{�X�[al>Z�brg�shXj s�_�V]br[]Z�{hdxv�X�d:^(kc_�g\{�XÙ?b {�Xj�l�j be×�i�^Åk%^�[a^.l�[abr_�gN���nZ�^/XY�Y�V]_�X�l>Z\V]^(l�^8b m�^(kcX�gb {hY�V]_�m�^.khZ�^.i�Vab d:[]bel8d.�?tfZ�b l>Zzl�_�g�d:bek%^.VaX�v�jr`}b {}Y�V]_�m�^.d�br[adx^8õ�l8br^.g�l�`��%åqi%[aZ�_�V>dØ_�oP�f^8o���� Õ�Õ��l8_�{hY�X�V]^(k_�g�^ud:i�l>Z�X�k%m�Xg�l8^.k�{hXÙ%br{�Xjr 4l�j b ×�i�^ Xj s�_�V]br[]Z�{ëk%i�^ []_�é�_�Vak%^.jrjeX�ú��6�Òs�÷��W��l�o��Ø�f^8o��"� ÕÜ��p����tfbD[aZÞX{h_%k%brê�l8X[]b _�gÞ_oÅè~l(UWV]^.s�_�V�� dhv�X�l>��[]V>X�l>�?b g�sÓXj s�_�Vabr[]Z�{ � á��Û���nZ�^~{h_?k�bDê�l.X�[abr_�gÞX�T^(l�[a^.kÞ_�g�jr`�[]Z�^k%^8ê�g�br[]b _�g|_o�l�_�{h{}_�g2d]i�v�s�V>XY�ZN�.g�_"b {}Y�V]_�m�^8{h^8g�[Ôb g|d:[]V>X�[a^8s�`W_�V,Z�^.i�V]bed:[]bel8dPZ�X�dÔv�^.^8g2Va^8YT_�V][]^(k���å"dop_�i�g�k��è~l(UWV]^.s�_�V� dPX�jrs�_�VabD[aZ�{�bed�i�Y2[a_h�.ã�ã"[]b {h^.d�{h_�Va^n^�õ�l�b ^8g�[�op_�V�s�VaX�Y�Z�d,tfbD[aZ|j _�t�l8_�g�g�^.l�[abrm?br[�`��Z�_�tx^8m�^8VWbD[/{�X�`uvT^z�(ã a []b {h^.d/d]jr_�tx^8V"[]Z�X�g�[aZ�^�X�k%m�Xg�l�^.k�{�X�Ù%br{�X�jD 4l�j b ×�i�^hXj s�_�V]br[]Z�{*_�g�Z�brs�Z�jr`� l8_�g�g�^(l�[a^.k/s�VaX�Y�Z�d.�8�Ô_y_�i�VP^�Ù%YT^8Vabr^.g�l�^��8_�Y�[]b {}b �.X[]b _�gÅ_�o�k�X�[>X"d:[]Vai�l�[ai�V]^�Xg�k/b {hY�Va_�m�^8{h^.g�[N_�o�d:^(XV>l>Zd:[]V>X�[a^8s�`��%Y�Va_�YT_�d]^.k\brg [aZ�^ÅY�Va^.d]^8g�[qY�X�Y�^.V.��vT_?_�d:[f[]Z�^2Y�^.V:op_�V]{�Xg�l�^�v?`cÜ�`Óßh_�V>k%^8V>dn_o�{�Xs�g�bD[ai�k%^X�dyl8_�{hY�XVa^.k~tfbD[aZ�g�_�g% ¦_�Y%[]b {hbr�.^.kuv�X�l>��[]V>X�l>�?b g�scdal>Z�^8{h^2^8Ù%^8{hY�j bDê�^(k~v?`~è~l(UWV]^.s�_�V�� dqXj s�_�V]br[]Z�{ ��nZ�bedxXj jr_�tqdØ_�g�^"[]_2^8Ù%Y�^(l�[Ø[aZ�X�["én� � åâ{hX�`hl�_�{hY�^8[]^�d:i�l.l�^(d]d:opi�j jr`htfbr[]Z�{h_%k%^8VagcX�jrs�_�VabD[aZ�{�d�v�X�d:^(k_�g\{�X�Ù%b {�Xjr Ûl8jrbe×�i�^/k%^�[a^.l�[abr_�gN��f^.l8^8g�[]j `��,X m�^.V]`~^8õ�l�b ^8g�[2{h^�[aZ�_%k�op_�V}én� � �Pv�X�d]^.k�_�g�[aZ�^ck%^(l�bed:b _�g�[aV]^.^�Xj s�_�Vabr[]Z�{ �NZ�X�d/vT^8^8g

k%^.m�^.jr_�Y�^(kÊv?`ï�?Z�^(XVa^8V�ú��-��s�÷��|�r� Ï �Û�q�nZ�^Ó{h^�[]Z�_?käbedzv�X�d]^.kï_�gäX�Y�V]^.jrb {hbrg�X�V]`Êl8j X�d]d]brê�l8X[]b _�gÊ_�ok�X[aX�v�X�d]^�s�V>XY�Z�d.�%b g�bD[ab X�jrj `cY�V]_�Y�_�d:^(kcv?`\è~^.dad:{h^8V2ú��6�És�÷f� Ð�Ï ��Õ�ã��Nop_�Vyí�� � Y�V]_�v�j ^8{ ���nZ�^/Va^8YT_�V][]^(k[abr{h^cl8_�{hY�j ^�Ù%bD[�`�b dÀÛ � Ð , ? Z £ �NtfZ�bel>Z�b dÅl8_�g�d]bek%^8V>Xv�j `~j _�t�^.V�[]Z�X�gÓ[]Z�^�tx_�V>d:[: 4l8X�d]^hl�_�{hY�j ^�Ù%br[�`�_�oén� � å�Xg�k2k%^8YT^8g�k�dÔ_�g�jr`�_�g�[]Z�^nd:b �8^Ø_o%[]Z�^Øb g�Y�i%[�s�V>XY�ZÔ�.�nZ�^�Y�V]^.Y�Va_?l.l�^(d]d]brg�snd:[]^.YÅ_o%[aZ�^�X�jrs�_�VabD[aZ�{{�X��^.dxbr[q^.dad:^.g�[ab X�jrj `ck�X[aX�v�X�d]^� Û_�Vabr^.g�[]^.kN���nZ�^�tx^.X���Y�_�brg�[f_o,[]Z�^�X�jrs�_�VabD[aZ�{ �%Z�_�tx^8m�^.V.��bednbD[>dqd:Y�X�l�^l8_�{hY�j ^�Ù%bD[�`���tfZ�bel>Z~^8Ù?Y�jr_%k%^(dq^�Ù%YT_�g�^.g�[]beXj jr`ztfbD[aZu[]Z�^2g?i�{2vT^8VW_oØk�bD��^8Va^8g�[]j `� ¦jeXvT^8j ^.k m�^8V][]bel�^(dqXg�k^(k%s�^(dÅb g�[]Z�^\s�VaX�Y�Z�d.�Ô�nZ�^zj X[:[]^.V|Va^8Y�V]^(d:^.g�[>dÅXg�X�l�[ai�Xjxj br{hbr[]b g�s�oSX�l�[a_�V(ÚÔv?`�Xi%[aZ�_�V>d��,l�_�g�l�j i�d]br_�g��l�o����q^�o����D� Ï �·����[aZ�^8b VyX�jrs�_�VabD[aZ�{òbedqvT^.d:[qop_�VqjeXVas�^Åk�X�[aX�v�X�d]^.dn_�oq�pm�^.V]`��nd]{�Xj jNs�V>XY�Z�dÅ�pj ^.dadn[]Z�Xg Ð ãm�^8V][]bel�^.d>���?�nZ�bed�op^.X�[ai�Va^y{�X��^.dØ[]Z�^/k%^(l�bed:b _�g� �[aV]^.^yXj s�_�V]br[]Z�{ Z�XV>k%jr`�X�Y�Y�j b l.Xv�j ^yb gc{�X�g�`�b g�d:[aX�g�l�^(d8�^.m�^8g�op_�Vh{�X�[>l>Z�brg�s Ð Ýìs�V>XY�Z�d|Va^8Y�Va^.d]^8g�[]b g�s�l>Z�^8{hbel8Xjfd:[]Vai�l�[ai�Va^.d.� � g�s�V>XY�Z�d2Va^8Y�V]^(d:^.g�[abrg�s~[]Vai�^Õ�Ýq 4d�[aV]i�l�[]i�V]^(d8��^.k�s�^.d�X�g�k�m�^8V][]bel�^(d"{�X�`uZ�X�m�^}l8_�g�[]b g?i�_�i�dWY�Va_�YT^8V][]b ^.d.��jrb ��^�k%bed:[aXg�l�^}v�^8[�t�^.^8g�[]Z�^m�^8V][]bel�^.d�X�g�k�m�^.V:[a^�Ù�_�V]b ^8g�[aX[]b _�gN� � g�X�jrj"d]i�l>Z�l8X�d:^(d}[]Z�^~d]Y�X�l�^ul�_�{}Y�jr^8Ù?br[�`�_�oy[aZ�^�k%^(l�bed:b _�g� �[aV]^.^X�jrs�_�VabD[aZ�{ {�X��^.dcbD[cb g�X�Y�Y�j b l.Xv�j ^�� � gÊl�_�g�[aVaX�V]`��Ød]Y�X�l8^~l�_�{hY�j ^�Ù%br[�`�_�o}én� � å k%_?^(dcg�_�[cj br{hbr[\br[adX�Y�Y�j b l.X�[]b _�gÔ�Tk%_?^(dyg�_[Wk�^8YT^8g�k�_�gu[aZ�^}g�i�{2vT^8V�_oØm�^8V][]^8Ù X�g�k~^(k%s�^|j X�v�^.j d.��Xg�k [aZ�^}{}_�V]^|b dy[aZ�X�[g?i�{|v�^.V.�?[aZ�^;ñ�s�ù8�4ú ë b d"én� � åÅ�å"dÅk�^.dal�VabrvT^.k�brg�[aZ�b dÅY�XYT^8V(�Pén� � åûbed/Xg�Xj s�_�V]br[]Z�{ìop_�V|én� � b k%^.g�[]brê�l8X[]b _�g�brg�XzY�Xb V/_onb g�Y�i%[

s�VaX�Y�Z�d.�[]Z�^8Va^�op_�Va^"br[adnX�Y�Y�j b l.X�[]b _�g�[]_hX|k�X[aX�v�X�d]^qbed�v�X�d]^.k�_�g\X2d]^.×�i�^.g�[]beXjT{hX[al>Z�b g�s2[]Z�^/k�X[aXv�X�d]^s�VaX�Y�Z�d}[]_�[]Z�^~b g�Y�i�[\_�g�^���ü�Z�b j ^~[]Z�b dcY�V]_�v�j ^8{ bed�{h_�V]^u^.jr^.s�Xg�[ajr`�X�k�k%Va^.dad]^.k�v�`�[]Z�^�k%^.l8b d]b _�g% [aV]^.^2Xg�k�k%^.l8_�{hY�_�d:br[]b _�g g�^8[�t�_�V]�Ó�Síx� � _�g�j `��fXj s�_�V]br[]Z�{hd|�Sl�o��T�f^8oSd8���r� Ï �TÕ����p���Tt�^}d:Z�Xj jÔg�_�[]^/[aZ�X�[[aZ�^}X�Y�Y�j b l.X�[abr_�g�_oxén� � å [a_\jeXVas�^|k�X�[>Xv�X�d:^(d"{�X�` v�^|opi�V][]Z�^.V�^8g�Z�X�g�l�^(k~v?`u^8{hY�j _�`?brg�s\k�X[aXv�X�d]^

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 17: Common subgraphs, backtracking algorithm Introduction Graph

���]���� ��� �����������´(>�´����®��������®��X�,¸��6 ������¹ ß�ã?à

Y�Va^� 4dal�Va^8^8g�brg�sc[]^(l>Z�g�be×�i�^.d�b g�_�Vak%^.V"[a_zê�jD[a^8V/_�i%[�[]Z�^�l8X�g�k%bek�X�[a^.d.��i�g�d]i�br[aXv�brj bD[�`�_o�tfZ�b l>Z�{�X�`uv�^^(d�[>Xv�j b d]Z�^(kctfbr[]Z�_�i%[qs�V>XY�Z\{�X�[>l>Z�b g�s��

  Q�NI,L�¡  �?M�-�����?I�JíjxôbedÅs�VaX[]^8opi�j�op_�V|d]i�Y�YT_�V][ÅopV]_�{ []Z�^z¡x¡f�%�qéûé�_�j jeXvT_�V>X�[]b m�^cé�_�{}Y�i%[aX[]b _�g�X�j�ó�Va_w�^(l�[\ù"_��,Ü~brgóØV]_�[]^8b g~é�V]`%d:[aXj j _�s�V>XY�Z�` � Õ Ð �Û�

¢¤£l¥)£l¢¤£l¦�§E£�¨F�­���­(¹Ø­6�Ô£�²�©(¤¦³&6"³>©�ªÑ�­6��­.´�³>°F³>»�³>©�±��$7(¥:¶f¯G«:³>°�³>¨�¨�°G¯G«:³a¬�¯G£�©�§�£>µ%¼�¤Û³>¨�7q¬M7�¥�£�¤M6�±bª�3/3[« Q_.I-;&)Që";RBPÃ"%$E¬�,�-43�­_®�­�5M"/,6¯�±��­�:�­6�z¯G°G§�£�©W³>©(ª�ÑT­G��­�´�¥�¯G©�¥8°�¥\±r¥:ª(§6²Û±B,«:³>ª�¥�¶f¯G«d�T¤�¥�§¦§]±fF7E/K=E(­8(­� P­�³}­b³�¯ ¬�«¨7�¥�°G°e±���­�:�­�P¤�¬Ë6.¶f¯G²�°±���­6��­��Ô¯G«�¥�³>©�ª ��­6�z¯G°G°G¥4¬S¬]±[´ ½P§�¥�£>µ%¬¦¥�«¨7�©(¯Dµ.²�¥�§Pª�¥�¤¦¯ ©�¥�ªyµr¤¦£�¶�¼�¤Û³>¨�7y¬M7�¥�£�¤M6¬¦£f«�£�¶f¨�³>¤�¥�§¦¥�«�£�©�ª�³>¤d6W§S¬¦¤�²�«4¬¦²(¤¦¥�¶f£>¬�¯ µ §�¯G©y¨�¤¦£>¬�¥�¯G©�§�¶G­ ·�*�¸Å"L« *�¹�Që"L« *Yº�»�º�±9F7DGF6¼IF7J;J±�F7E;E;:�²Û­½ ­Ô¹Ø­ ³}­�¸,¤�¯G©�ª�°G¥26�±=��­8:�­nP¤�¬Ë6.¶f¯G²�°±=��­7��­;�N¯G«:¥N³>©(ªÂ��­n�\¯G°G°G¥4¬�¬:±�´ �·ª�¥�©�¬¦¯ ¾�«]³a¬�¯G£�©n£>µ�¬�¥�¤�¬�¯F³>¤M6�§�¬�¤¦²(«�¬�²�¤�¥�¤¦¥�§¦¥�¶x»(°F³>©�«�¥¯G©�¨(¤¦£>¬�¥:¯G©(§�²(§¦¯G©�¼P³P¶q³aº.¯G¶q³>°�«�£�¶f¶f£�©�§¦²�»�¼�¤¦³>¨�7دG§¦£�¶f£�¤¦¨�7�¯G§¦¶~³>°G¼�£�¤�¯ ¬�7�¶�¶G­L·G*�¸Å"L« *b¹�Q_"L« *Lº[ºb¿?±;K=:/K�¼XK=8GFl±�F7E;E ½ ²4­<�­���­T®�²�7�°e±T¸�­���¤�¯G¨�¨¥:©�³>©(ª��Ø­���¤�¯G¥�§¦¥�©�±$´ ��£�¶x»(¯G©�³a¬¦£�¤�¯F³>°�,°G¼�£�¤�¯ ¬�7�¶îµr£�¤Ñ��³>°G«�²�°F³a¬�¯G©�¼|Ñ�¯G¼�³>©�ªc´�¯G©�ª�¯G©�¼�¶G­U·G*À�"�Á�3@NG&X*qÀ�­G5�Áø*YÂ?±�8=< ¼ ½ <�±�F7ELÃ=<�²4­D(­���­BØ­��E7�£�¤¦©(¥:¤:±���­G�\¯G°G°G¥4¬�¬:±B��­[³}­6�2¤�¯G¼878¬,³>©�ªy��­���³ª6(°G£�¤:± ´ �.¯G¶f¯G°F³>¤�¯ ¬Ë6n§¦¥:³>¤�«¨7�¯G©�¼n¯G©�¾�°G¥�§N£>µ�¬M7�¤�¥:¥6¼·ª(¯G¶f¥:©(§¦¯G£�©�³>°«¨7�¥�¶f¯G«:³>°�§S¬¦¤�²�«4¬¦²�¤�¥�§0C�¤�¥�¨�¤¦¥�§¦¥�©�¬Û³a¬�¯G£�©�³>©(ªW§¦¥:³>¤�«¨7�¯G©�¼�£>µ�¶f£�°G¥:«�²�°F³>¤T¥:°G¥�«4¬�¤¦£�§�¬¦³a¬�¯G«Ø¨£>¬�¥�©8¬�¯F³>°G§P²(§¦¯G©�¼B¾�¥�°Gª�¼·¼�¤Û³>¨�7�§�¶G­·�*)À�"�Á�3@NG& 57,6ÄŪ�Q_L/5IL¤¸Å"L« *?Æ¿57PIQ T;R�»[»±9F7J ½ ¼IF0Kn<±%F7E;E/KL²Û­J(­��Û­]:�­�´�¤¦²�©�£�±f��­[³}­®�¥�¶f¨�±B��­]:�­@,¤S¬Ë6(¶f¯G²�°q³>©(ª��­B�\¯G°G°G¥4¬�¬:±�´ �Ô¥�¨�¤�¥�§¦¥�©8¬¦³a¬�¯G£�©Å³>©�ª/§¦¥:³>¤¦«�7�¯G©�¼q£>µ�«]³>¤�»£87�6.ª�¤Û³a¬�¥§�¬�¤¦²�«4¬�²�¤¦¥�§P²�§¦¯G©�¼�¼�¤Û³>¨�7�¼e¬�7(¥:£�¤�¥4¬¦¯G«�¬�¥:«�7�©�¯Dµ8²�¥�§�¶G­UÀ�-;,+ÇM"o­�¯/L;,�-;& 5jÈ�57P'5I-;,�.8­Ï?[É@A%±GJGF6¼XJ/K�±�F7E;E/KL²4­K.­� P­):�­�¸�³>¤�ª�¯G©�¥�¤]±B��­��\¯G°G°G¥4¬�¬,³>©�ªy��­):�­B,¤S¬Ë6(¶f¯G²�°�±[´ ¸,¤Û³>¨�7�¼ ¬�7�¥�£�¤�¥�¬�¯G«�¬¦¥�«¨7(©�¯Dµ.²(¥:§�µr£�¤N¶q³>«�¤¦£�¶f£�°G¥�«�²�°F³>¤Nª�£.«T°.¯G©�¼�¶G­·�*)À�­�5+ÁÏ*�Ê'R0$4*PÀ�"LÁ�3@NG& *�!#.0Që*�AYÉ?±B8/K ½ ¼X8/K=E�±ë8;:;:;:�²4­Ã(­^:�­L³�«]¸,¤¦¥�¼�£�¤�³>©�ªV��­n�\¯G°G°G¥4¬�¬:±�´ ½Ô§¦¥�£>µ�³P¶q³aº.¯G¶q³>°8«�£�¶f¶f£�©�§¦²(»�¼�¤Û³>¨�7�³>°G¼�£�¤¦¯ ¬M7�¶�¯G©Ø¬M7�¥N³>²(¬�£�¶q³a¬�¯G«�¯Gª�¥�©8¬�¯ ¾�«:³a¬�¯G£�©£>µ�¬M7�¥Ø£�§�¬�¥�©�§¦¯G»�°G¥Ø»£�©�ª�«¨7�³>©�¼�¥�§�£.«�«�²�¤¦¤�¯G©�¼f¯G©�«¨7(¥:¶f¯G«:³>°?¤�¥:³>«�¬�¯G£�©�§+¶G­?·�*qÀ�­G5�Áø*?ÊIR0$7*qÀ�"LÁ�3@N6&X*�!#.0Që*Yº�»±âF ½ K�¼MF4</:±%F7ELÃGF�²Û­E(­P³}­�P¤¦¯ ¬¦³(±Y´ ¸,¤Û³>¨�7�³�£8ª�¥�°G¯G©�¼x£>µV³�¥4¬Û³>»£�°G¯G§�¶�¶G­Y·G*1·6-'3#*�!#"0.n*�ª�,'&)Q Ë�.=* Ê'RB&)5�«Ì« *�»�Â�±@K=: ½ ¼�K6F7:�±ë8;:;:;:�²4­F7:(­NÑT­��/7�¥�©�³>©�ª ��­��Ô£�»�¯G¥�©�±�´ P¨�¨�°G¯G«:³a¬�¯G£�©�£>µP¬M7�¥³/³aº(¯G¶q³>°���£�¶f¶f£�© �.²�»�§S¬¦¤�²�«4¬¦²(¤¦¥�,°G¼�£�¤¦¯ ¬M7�¶ä¬�£�,²(¬�£�¶q³a¬�¯G«�·©8¬�¥�¤¦¨�¤�¥4¬Û³a¬�¯G£�©/£>µ�F ½ �$¼ �l³�ó�.¨¥�«4¬¦¤¦³�¶G­�·�*UÀ�­G5�ÁÏ*�Ê'R0$4*PÀ�"LÁ�3@N6&X*�!#.0Që*B?BA%±�E ½ < ¼XE=<�F\±�F7E;E=<�²Û­F;F�­P³}­���£�©(¥�±���­?ÍT¥�©�°a³a¬Û³>¤¦³>¼87�³+©>³>© ³>©�ª©��­1³�«�Ñ%³oÎ�¥�¤�¬Ë6�±)´ ��£�¶f¨�².¬¦¥�¤d¼·³>¯Gª�¥�ªh¯G©8¬�¥�¤¦¨�¤�¥4¬Û³a¬�¯G£�©�£>µ�¶q³>§¦§�§¦¨¥�«4¬¦¤¦³(­�8;:(­³�£�°G¥�«:²(°F³>¤T§�¬�¤¦²(«�¬�²�¤�¥P«�£�¶f¨�³>¤�¯G§¦£�©n¨�¤�£�¼�¤Û³>¶�µr£�¤�¬�7�¥P¯Gª�¥�©8¬�¯ ¾�«:³a¬�¯G£�©"£>µ�¶q³aº.¯G¶q³>°(«�£�¶f¶f£�©x§�²�»�§S¬¦¤�²�«4¬¦²�¤�¥�§�¶G­b·G*[ª�Áø*À�­�5+ÁÏ*â!#"0.n*Y¿[¿?±@K=J;JLÃo¼XK=J/K6F\±%F7E/K;KL²Û­F78(­� P­Ô¸,¯ Î�£�¤�ª�±)³}­$:�£87�©(§¦£�©�±���­��.¶f¯ ¬M7z³>©�ª���­��N§Û³>¯e±P´ ��¬¦¤�²�«4¬¦²�¤�¥6¼X�Ô¥:³>«4¬�¯ ©(¯ ¬Ë6^³/³>¨�§W³>§y³��%£8£�°�µ £�¤\Í,¯G§¦²�³>°G¯DÏ�¯G©�¼�,¥�©�£�»�¯G£>¬�¯G«Â�8¬�¤¦²�«4¬�²�¤¦¥6¼X�N¥:³>«�¬�¯ ©.¯ ¬Ë6�N¥:°F³a¬�¯G£�©�§M7�¯G¨�§�¶G­[ÐÃ57&)(�";,TÑø!#.7Që[email protected]º�±9F6¼ ½L½ ±%F7E;E;J�²Û­F ½ ­^:�­��P³ª6(¶f£�©(ª�³>©�ª���­â�\¯G°G°G¥4¬�¬:±V´ VÎ�¥�«4¬¦¯ ©�¥�©�¥�§�§n£>µÔ¼�¤Û³>¨�7�¼e»�³>§¦¥�ª�³>©�ªW¾�©�¼�¥�¤¦¨�¤�¯G©8¬Ò¼·»�³>§�¥�ªh§¦¯G¶f¯G°F³>¤�¯ ¬Ë6/¶f¥:³>§¦²�¤�¥:§�µr£�¤©(¯G¤S¬¦²�³>°?§¦«�¤¦¥�¥�©�¯G©�¼x£>µ�8;�~«¨7�¥�¶f¯G«:³>°�§S¬¦¤�²�«4¬¦²(¤¦¥�ª�³a¬¦³>»�³>§¦¥�§j¶G­ ·�*UÀ�"LÁ�3@NG&X*DÄÓª�QëL/5IL\¸Å"L« *?ÆÃ50P4*�»�Ô?±BD;Eo¼�K6FE±)8;:;:;8�²Û­F4<�­���­�:�­� Tª�¼�³>¤:±�:�­���­�¹P£�°G°G¯Gª�³ª6h³>©(ª ��­��\¯G°G°G¥4¬�¬:±$´ VÎ�¥�«4¬¦¯ ©�¥�©�¥�§¦§x£>µ,¤�¥�¬�¤¦¯G¥6©>³>°�¯G©h§¦¯G¶f¯G°F³>¤�¯ ¬Ë6ŧ¦¥:³>¤¦«¨7(¥:§x£>µ,«¨7(¥:¶f¯G«:³>°ª�³a¬¦³>»�³>§¦¥�§0C�³�¤¦¥6©(¯G¥6Õ~£>µ�¨¥�¤�µr£�¤¦¶q³>©�«�¥�¶f¥:³>§�²�¤¦¥�§�¶G­Y·G*�"%$�¸Å"L« *)¬�,�-'3�­GQ_.0PÂ-;R@L\¸�"0L/5�«Ì« QSR6Tc»�Ö?± ½ < ½ ¼ ½ D/K�±ë8;:;:;:�²4­F7D(­���­�¹Ô£�¤Û³>²�ªh³>©�ª���­���°�£�¤¦ª�³>§]±�´ �8¬�¥�¤¦¥�£���£�¤�¤¦¥�§¦¨£�©�ª(¥:©(«:¥��E7�¤¦£�²(¼87���¥]³a¬�²�¤�¥�¸,¤�£�²�¨�¯G©�¼Å³>©�ª×³/³aº.¯G¶q³>°���°G¯Dµ8²�¥�§�¶G­Ê%1�1�1S®B,�-;RBP4*â+�-/&ë& 50,'R�ª�R@-L« *?¸�-].6­�*�ÊIRB& 5�«Ì« *�»[»±9F;F7JLÃo¼IF;F+Ã;:�±�F7ELÃ;E�²Û­F7J(­P³}­���¥�°G¯G°G°G£�±%®x­��.¯Gª(ª�¯Dµ.¯�³>©�ª©��­â��­1ز�«-°�¥�¤]±�´ ³/³a¬�«¨7�¯G©�¼Å¹Ô¯G¥�¤Û³>¤¦«�7�¯G«:³>°��8¬�¤¦²�«4¬�²�¤¦¥�§f½Ô§¦¯G©�¼O,§¦§�£.«�¯F³a¬�¯G£�©�¸,¤Û³>¨�7�§�¶G­Ê%1�1�1S®B,�-;RBP4*â+�-/&ë& 50,'R�ª�R@-L« *?¸�-].6­�*�ÊIRB& 5�«Ì« *[º�»±9F;F7:;Do¼IF;F78;:�±�F7E;E;E�²Û­F0K.­Ô´,­(>T³>©�¼�±���­��.©�6.ª�¥�¤W³>©�ª ¸�­�´�¯G°G»�¤�£�±)´ ³/³a¬�«¨7�¯G©(¼h£�©�¥�¤¦§�¥�¼�¶f¥:©�¬�¥:ª ½ �â¯G¶q³>¼�¥�§f¬�£h¶f£.ª(¥:°G§f²(§¦¯G©�¼}³>§¦§¦£8«�¯F³a¬¦¯G£�©¼�¤Û³>¨�7(§�¶G­YÊ-Áø-0T]5V-/R@L�e�QSPIQ_";RÙÀ�"LÁ�3@N6&)Q_R6TBÚ?ÛTº[Ü>±#F ½ Do¼MF4< ½ ±%F7ELÃ;E�²Û­F+Ã(­���­��T°F³x³>©�ªÒ:�­b³�¥�¤�«¨7�³>©�¬]± ´ ³/³a¬�«¨7�¯G©(¼ø��¥:³a¬¦²�¤�¥Ã��£�¯G©�¬�§Ô¯G© �·¶q³>¼�¥Ã�.¥8µ8²�¥�©�«�¥:§P¬�7�¤�£�²�¼87�³V�Ô¥�¼�¯G£�©�¼p´�³>§�¥�ª�³�¥4¬�7(£.ª�¶G­À�"�Á�3@NG&X*de�Q_PMQë";R�Ê6ÁV-0T]5VN6R@L]57,'PI& -;R@L]* Ô[Ô?±G8/K6F6¼X8LÃ;D�±%F7E;E/KL²Û­F7E(­Ô®x­��7�¥:³>¤¦¥�¤:±Ô¹Ø­Ô´�²�©�°�¥|³>©�ª���­�ÍT¥�©�°a³a¬¦¥�§�7�±�´ Í,¯Gª�¥�£�¯G©�ª�¥4º(¯G©(¼\³>©(ªu§¦¯G¶f¯G°F³>¤¦¯ ¬Ë6h¤¦¥4¬¦¤�¯G¥6©�³>°�»�6\°F³>¤¦¼�¥�§S¬W«�£�¶f¶f£�©§¦²�»(¼�¤Û³>¨�7�ª(¥�¬�¥�«4¬¦¯G£�©/²�§�¯G©�¼xª(¥:«�¯G§�¯G£�©y¬�¤¦¥�¥�§�¶G­@+�-;&)& 50,'R�È�5I.I"MT/RBQS&)Që";R�?BA%±#F7:/K=Do¼MF7:;EGF�±ë8;:;:GF�²Û­8;:(­^:�­��P³ª6(¶f£�©(ª}³>©�ª���­#�z¯G°G°G¥4¬S¬]±/´ ³/³aº(¯G¶�²�¶Ê«�£�¶f¶f£�©2§�²�»�¼�¤¦³>¨�7}¯G§�£�¶f£�¤¦¨�7�¯G§�¶Ê³>°G¼�£�¤¦¯ ¬M7�¶f§�µr£�¤�¬M7�¥f¶q³a¬�«¨7�¯G©�¼y£>µ«¨7�¥�¶f¯G«:³>°?§�¬�¤¦²(«�¬�²�¤�¥:§+¶G­�·G*PÀ�"LÁ�3@NG& *�ÄÓª�QëL/5IL\¸Å"L« *�Æ¿50P4*�»�Ô?±GD;8GF6¼XD ½L½ ±)8;:;:;8�²Û­

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U

Page 18: Common subgraphs, backtracking algorithm Introduction Graph

ß�ã�á P­�®d�����G�6�X�� �Ñ������®x­�¹� ���������®

8GF�­Ô¹Ø­(´�²�©�°�¥�±G�Ô¥�«�¥�©8¬P³>ª�©>³>©�«�¥:§N¯G©q§�¬�¤¦²(«�¬�²�¤¦³>°�¨�³a¬S¬�¥:¤�©y¤�¥�«:£�¼�©(¯ ¬¦¯G£�©¤ÕÔ¯ ¬�7"³>¨�¨�°G¯G«:³a¬�¯G£�©�§�¬¦£�©.¯G§¦²�³>°µ £�¤�¶�³>©�³>° 6.§¦¯G§]±]�·©9Cª�,%.M5�«Ì« QDÝBÀ�* ÞBÀ�";,%L/5+«�« - Ý)ß�*�-;R@L�¬�*�!#-;RBRBQS&)Q�L;Q�¹�-Òà7-WáX5IL;P4* â e�QSPING-�«�ãâ";,6Á h6i/iLä�±��.¨(¤¦¯G©�¼�¥�¤qÍ�¥�¤¦°F³>¼�±�Ñ������y8;:;D;E(±8;:;:GF�­8;8(­P¸�­Ñ?¥6©(¯e±Y´ �©�£>¬�¥Ø£�©W¬�7(¥�ª�¥�¤�¯ ©�³a¬�¯G£�©�£>µT¶q³aº.¯G¶q³>°�«:£�¶f¶f£�©"§¦²(»�¼�¤Û³>¨�7(§,£>µ�¬IÕ�£fª�¯G¤¦¥�«4¬�¥:ªW£�¤,²�©�ª(¯G¤¦¥�«4¬¦¥�ª/¼�¤Û³>¨�7�§�¶G­À�-�« .I"L« "j¿?± ½ <�F6¼ ½ D=<�±�F7E/K=8�²Û­8 ½ ­��,­�´�¤¦£�©"³>©�ª=:�­�®�¥�¤¦»£�§�«¨7�±Y´ P°G¼�£�¤¦¯ ¬M7�¶¨</D/KdHE¾�©�ª�¯G©�¼n³>°G°�«�°G¯Dµ8²�¥�§Ô£>µ%³>©y²�©(ª�¯G¤¦¥�«4¬¦¥�ª�¼�¤¦³>¨�7�¶G­1À�"�ÁjÁVN6Rf*�ªÂ*IÀ�* ¸Å*»�Ô%±�D/K=Do¼XD/K;K±�F7E/K ½ ²4­8=<�­^:�­�³�«]¸,¤�¥:¼�£�¤:±�´ ´�³>«-°8¬�¤Û³>«T°n§¦¥:³>¤¦«�7q³>°G¼�£�¤¦¯ ¬M7�¶f§�³>©�ªn¬M7�¥P¶q³aº(¯G¶q³>°.«:£�¶f¶f£�©�§¦²�»(¼�¤Û³>¨�7q¨�¤�£�»�°G¥�¶�¶G­6!#"%$'&)(�-;,�5�+�,%-/.7&X*1�2'3G57,7*/»�º�±�8 ½ ¼ ½ <�±%F7ELÃ;8�²Û­8;D(­^:�­@��­�½P°G°G¶q³>©�±�´ P©�³>°G¼�£�¤¦¯ ¬M7�¶�µ £�¤N§�²�»�¼�¤Û³>¨�7W¯G§¦£�¶f£�¤�¨�7�¯G§�¶�¶G­b·�*�ªÃPIP'"7.=*)À�"�Á�3@NG&X*�¸Å-/.8­�*Yº@?/Û6»�Ü�± ½ F6¼ </8±�F7E/K=J�²4­8;J(­Ô¹Ø­�´�£�²(¬�§¦¥�°F³ °8¯G§]±#��­f�,¯G¶f¯ ¬�¤¦£�¨£�²�°G£�§:±�:�­@��¯G°G°G£�©�±BØ­�¸,£�°G£�©.¯G©�±�®x­�¹P¥�©�¤¦¯G«T°�±@Ø­¹P²�§�§Û³>¯G©�±]:�­@�·£�©�¯Gª(¥:§:± ³}­]:�£87(©�±f��­�­.®�¥�°G°G¥�¤]±] P­.®�¤¦¯G§�§¦¯G©�¥�°e±;��­�³�«7�P¥�¯G°e±]�­6�,³>¯G¶�±/��­6�P¥6ÕÔ¶q³>©�±]��­��,°Gª�¾�¥�°Gª�±:�­6�T¯G©(¥:ª�³(±6Ø­6�P³>«¨7(¥:ª(¯e±�:�­���£�¨¥�°F³>©�ª�±�­6�.¯ ¬�©�£+©�±6��­6�8£�»�7�³>©�68±6�­/�.²�³>¤¦¥8Ï6¼p½Ô¤¦²�¥�©�³(±�:�­6��ÕN³>¶f¯G©�³a¬�7�³>©�±�³}­;��³>¼�³>¤¦¯e±�:�­/��³a¬�¥�±G��­=�%¤¦£�¶f¶�±=��­LÍT¥�°F³>©�°a³>¤�³>©�ª��­�ÍT¤¦³>©�°�¥�©�±Y´ 1¼å³��G�ÂC8¬M7�¥� T²(¤¦£�¨¥:³>©�´�¯G£�¯G©(µr£�¤¦¶q³a¬�¯G«�§��·©�§�¬�¯ ¬�²(¬¦¥B³/³>«�¤¦£�¶f£�°G¥�«�²�°F³>¤��8¬�¤¦²(«�¬�²�¤�¥Ã��³a¬Û³>»�³>§¦¥L¶G­YÐ�N�.�« *ª�.0Q_L;PlÈ�57P4*@??» Û6»�Ü�±6</DLÃo¼ </J;8±ë8;:;: ½ ²4­8/K.­� P­���£>¬S¬¦¥�¤�¬�£�©�±���­P³�«7�P¯G«¨7(£�°F³>§]±� P­Ô®�¤�¯G§¦§�¯G©�¥�°e±N®x­���£�ÕN¬¦³>©�³>©(ª}³}­��P£�»�°G¥�±l´ �E7�¥�������<�¶f£�°G¥�«:²(°F³>¤d¼·¼�¤¦³>¨�7�¯G«�§¨�¤¦£oæ�¥�«4¬�¶G­[ª�.0& -�À�,6¯;PI&X*�çÂbÖ?±9F7E;D;Do¼IF7E;D/K�±ë8;:;:;8�²4­8LÃ(­Ô¹Ø­ ³}­�´�¥�¤¦¶q³>©�±]:�­@�2¥�§�¬�»�¤¦£8£L°�±?Ø�­@��¥�©�¼�±?¸�­�¸,¯G°G°G¯G°F³>©�ª�±@��­#�Ø­�´/7�³a¬:±?¹�­B�2¥:¯G§�§¦¯G¼�±f�Û­#�Ø­9�7�¯G©(ª�68³>°G£�©Å³>©(ªÅ��­f P­´�£�²�¤¦©(¥�±Y´ �^7(¥d�T¤¦£>¬�¥�¯G©y��³a¬¦³n´�³>©�°[¶G­ Ð�N�.�« *�ª�.0Q_L/PlÈ�50P4*YºbÖ?±�8 ½ Do¼ 8=</8�±)8;:;:;:�²Û­8;E(­Ô´,­/��­�³�¥�§¦§¦¶f¥�¤�³>©�ªf¹�­8´�²�©�°�¥�±�´ c©�¥6Õz³>°G¼�£�¤�¯ ¬�7(¶�µ £�¤�¥�¤¦¤�£�¤d¼e¬�£�°G¥�¤Û³>©�¬T§�²�»�¼�¤Û³>¨�7n¯G§¦£�¶f£�¤�¨�7�¯G§¦¶�ª�¥4¬�¥:«4¬�¯G£�©�¶G­�Ê%1�1�1®B,%-;RBP4*9+�-;&)& 57,'R�ª�R@-L« *?¸Å-/.8­�*�Ê'RB& 5+«�« *Yº[É?±6</E ½ ¼XD;:=<�±�F7E;ELÃ�²4­½ :(­Ô´,­@��­Y³�¥:§�§¦¶f¥�¤Ô³>©�ªÅ¹Ø­�´�²�©�°�¥�±�´ T¤¦¤�£�¤d¼·«�£�¤�¤¦¥�«4¬¦¯G©�¼x¼�¤Û³>¨�7/¯G§�£�¶f£�¤¦¨�7�¯G§�¶�²(§¦¯G©�¼fª�¥�«�¯G§¦¯G£�©y¬¦¤�¥:¥�§+¶G­ Ê'RB&X*1·�*�+�-;&)& 50,'RÈ�5I.M"IT;RBQ_&)Q_";R�ª�,'&)Q $4*�ÊIRB& 5�«Ì« *�»�º�±BK=8GF6¼XKn</8�±%F7E;ELÃ�²Û­½ F�­Ô´,­���­�³�¥�§¦§¦¶f¥�¤f³>©(ªz¹�­�´�²�©�°�¥�±)´ Vèf«�¯G¥�©�¬q§¦²�»�¼�¤¦³>¨�7c¯G§¦£�¶f£�¤¦¨�7�¯G§¦¶îª(¥�¬�¥�«4¬¦¯G£�©9C�³|ª�¥�«�£�¶f¨£�§¦¯ ¬�¯G£�©z³>¨�¨(¤¦£�³>«¨7�¶G­Ê%1�1�1S®B,�-;RBP4*�";R�é¿R@";(P« 5IL0T]5Ï-;R@LcÆ¿-;& -ø1�R6T/QSR@5I50,'QSR6TE»�º?± ½ :/K�¼ ½ 8 ½ ±ë8;:;:;:�²4­½ 8(­���£�°G°F³>»�£�¤¦³a¬¦¯ ©�¥ ��£�¶f¨�²(¬¦³a¬�¯G£�©�³>°}�T¤�£ æS¥:«4¬:± �Ô²�¶x»¥�¤ý<�­G±ê´ �E7�¥ ������< �8²�¯ ¬¦¥;C ��¤¦£�¼�¤¦³>¶f§ûµ £�¤ý�T¤�£>¬¦¥�¯G©��¤M6.§�¬¦³>°G°G£�¼�¤Û³>¨�7�6 ¶G­[ª�.0& -�À�,6¯;PI&X*�ÆëÂbÉ?±�K=J;:o¼�K=J ½ ±%F7E;E=<�²Û­½L½ ­Ô¹Ø­�´�²�©�°�¥�±B��­���£�¼�¼�¯F³(±f�,­¸,²(¯Gª�£�»�³>°Gª�¯e±f�,­��(³>©�§�£�©�¥�±�³>©�ª�³}­�ÍT¥�©�¬¦£�±@~«�£�¶f¨�³>¤�¯G§¦£�©"£>µ�³>°G¼�£�¤¦¯ ¬M7�¶f§�µ £�¤N¶q³aº.¯G¶q³>°«�£�¶f¶f£�©Ø§�²�»�¼�¤¦³>¨�7�£�©Ø¤Û³>©(ª�£�¶f° 6�«�£�©�©�¥�«4¬�¥:ªx¼�¤Û³>¨�7�§:±�ß95I.7&)NG,�5�R@";& 57P�QSR�À�"�Á�3@NG& 57,�!#.7Që[email protected]�h]l/k�ìa±;8;:;:;8(±GF78 ½ ¼MF ½ 8(­½ <�­NÑT­#��­9��£�¤¦ª�¥�°G°F³(±f��­9��£�¼�¼�¯F³(±â�,­â�.³>©�§¦£�©�¥n³>©�ª9³}­YÍ�¥�©8¬�£�±âP©/¯G¶f¨�¤¦£+©�¥�ªÅ³>°G¼�£�¤¦¯ ¬M7�¶�µ £�¤�¶q³a¬�«¨7�¯G©(¼y°F³>¤�¼�¥�¼�¤¦³>¨�7�§]±�·©9Câ+�,�"0.n*�"%$Â&�­G5�l;,%L�ÊÒª�+�È�Ä+®UÀ/ÄÒä�í�ÊIRB& 57,'R@-/&ëQë";R@-L«�îy";,TÑ;Pd­G"'3�";R^¬�,�-43�­�ÄdÇM-;P'5IL�È�5�3f,�57P'50RB& -;&)Q_";RBPdÝUÊ'&)-�« ¯�±â8;:;:GF�±F4</Eo¼IF7D;E(­

��£�¨�6.¤¦¯G¼87�¬ «9 8;:;:=<;:�£87�© �\¯G°G¥26=<��.£�©�§]±(Ñ�¬�ª�­ !#"%$'&ë(�*9+�,�-/.0&X*91�243650,7*#8;:;:=<�>@?BA�C D;EGFIH6J;:/K+�,�5%36-;,�5ILONGPMQ_R6TVUXW@Y4Z/[]\_^G` a4b U