33555

Lemma 17 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 3 3 5 5 5 ]( 4*a[5]-3*a[4]+2*a[3] , 4*a[5]+2*a[3]+ 10*minD[5] )( 2.272468 , 5.974466 )1.199062289186773

Lemma 18 in FST&TCS'09 paper

Neighbors Shared / Out Branching BVBN
[3 3 5 5 5 ][ 3 / 3 3 ](4*a[5] -3*a[4] +5*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.695986 , 5.643862 )1.1626792325237743
[3 3 5 5 5 ][ 3 / 3 3 3 ](4*a[5] -2*a[4] +5*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.482702 , 5.481566 )1.1498299538737504
[3 3 5 5 5 ][ 3 / 3 3 3 3 ](5*a[5] -3*a[4] +6*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 5.091393 , 5.303541 )1.1426861298814943
[3 3 5 5 5 ][ 3 / 3 4 ](4*a[5] -2*a[4] +3*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.5336899999999996 , 5.643862 )1.1663902345118449
[3 3 5 5 5 ][ 3 / 3 3 4 ](4*a[5] -1*a[4] +3*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.320405999999999 , 5.481566 )1.1527195262759573
[3 3 5 5 5 ][ 3 / 3 3 3 4 ](5*a[5] -2*a[4] +4*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.9290970000000005 , 5.303541 )1.1451557912622947
[3 3 5 5 5 ][ 3 / 4 4 ](4*a[5] -1*a[4] +1*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.371394 , 5.643862 )1.1703426150113465
[3 3 5 5 5 ][ 3 / 3 4 4 ](4*a[5] +1*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.158109999999999 , 5.481566 )1.1557642491731435
[3 3 5 5 5 ][ 3 / 3 3 4 4 ](5*a[5] -1*a[4] +2*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.766800999999999 , 5.303541 )1.147742454478953
[3 3 5 5 5 ][ 3 / 4 4 4 ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.9958139999999998 , 5.481566 )1.1589784790062632
[3 3 5 5 5 ][ 3 / 3 4 4 4 ](5*a[5] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.604505 , 5.303541 )1.1504556814203835
[3 3 5 5 5 ][ 3 / 4 4 4 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.442209 , 5.303541 )1.1533063830977794
[3 3 5 5 5 ][ 3 / 3 5 ](5*a[5] -4*a[4] +4*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.3556649999999997 , 5.643862 )1.1707395228465722
[3 3 5 5 5 ][ 3 / 3 3 5 ](5*a[5] -3*a[4] +4*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.142380999999999 , 5.481566 )1.1560679971739851
[3 3 5 5 5 ][ 3 / 3 3 3 5 ](6*a[5] -4*a[4] +5*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.751072000000001 , 5.303541 )1.147999579863702
[3 3 5 5 5 ][ 3 / 4 5 ](5*a[5] -3*a[4] +2*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.1933689999999997 , 5.643862 )1.1749890307988555
[3 3 5 5 5 ][ 3 / 3 4 5 ](5*a[5] -2*a[4] +2*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.9800849999999994 , 5.481566 )1.1592996198483194
[3 3 5 5 5 ][ 3 / 3 3 4 5 ](6*a[5] -3*a[4] +3*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.588775999999999 , 5.303541 )1.1507258629321178
[3 3 5 5 5 ][ 3 / 4 4 5 ](5*a[5] -1*a[4] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.8177889999999994 , 5.481566 )1.1627190379017132
[3 3 5 5 5 ][ 3 / 3 4 4 5 ](6*a[5] -2*a[4] +1*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.42648 , 5.303541 )1.1535904378299633
[3 3 5 5 5 ][ 3 / 4 4 4 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.264184 , 5.303541 )1.156605801044165
[3 3 5 5 5 ][ 3 / 5 5 ](6*a[5] -5*a[4] +3*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.015344 , 5.643862 )1.1800030426342263
[3 3 5 5 5 ][ 3 / 3 5 5 ](6*a[5] -4*a[4] +3*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.8020599999999996 , 5.481566 )1.1630611219329485
[3 3 5 5 5 ][ 3 / 3 3 5 5 ](7*a[5] -5*a[4] +4*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.410750999999999 , 5.303541 )1.1538759022685128
[3 3 5 5 5 ][ 3 / 4 5 5 ](6*a[5] -3*a[4] +1*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.6397639999999996 , 5.481566 )1.1667088434445987
[3 3 5 5 5 ][ 3 / 3 4 5 5 ](7*a[5] -4*a[4] +2*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.248455 , 5.303541 )1.156906640966849
[3 3 5 5 5 ][ 3 / 4 4 5 5 ](7*a[5] -3*a[4] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.086159 , 5.303541 )1.160103170891708
[3 3 5 5 5 ][ 3 / 5 5 5 ](7*a[5] -5*a[4] +2*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.4617389999999997 , 5.481566 )1.1709769795045721
[3 3 5 5 5 ][ 3 / 3 5 5 5 ](8*a[5] -6*a[4] +3*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.07043 , 5.303541 )1.1604223670001348
[3 3 5 5 5 ][ 3 / 4 5 5 5 ](8*a[5] -5*a[4] +1*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 3.9081339999999996 , 5.303541 )1.1638193566396196
[3 3 5 5 5 ][ 3 / 5 5 5 5 ](9*a[5] -7*a[4] +2*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 3.7301089999999997 , 5.303541 )1.1677783631559497
[3 3 5 5 5 ][ 3 3 / 3 ](4*a[5] -3*a[4] +4*a[3] , 4*a[5] +3*a[3] +3minD[5] ), ( 3.22148 , 5.509677 )1.1767100950354583
[3 3 5 5 5 ][ 3 3 / 3 3 ](4*a[5] -2*a[4] +4*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 4.008196 , 5.821887 )1.1534127881080045
[3 3 5 5 5 ][ 3 3 / 3 3 3 ](5*a[5] -3*a[4] +5*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.616887 , 5.481566000000001 )1.1475488618537084
[3 3 5 5 5 ][ 3 3 / 4 ](4*a[5] -2*a[4] +2*a[3] , 4*a[5] +3*a[3] +3minD[5] ), ( 3.059184 , 5.509677 )1.1812968412105274
[3 3 5 5 5 ][ 3 3 / 3 4 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.8458999999999994 , 5.821887 )1.1566455106055038
[3 3 5 5 5 ][ 3 3 / 3 3 4 ](5*a[5] -2*a[4] +3*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.454591000000001 , 5.481566000000001 )1.1503200072678281
[3 3 5 5 5 ][ 3 3 / 4 4 ](4*a[5] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.6836039999999994 , 5.821887 )1.1600714053236754
[3 3 5 5 5 ][ 3 3 / 3 4 4 ](5*a[5] -1*a[4] +1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.292294999999999 , 5.481566000000001 )1.1532353516353329
[3 3 5 5 5 ][ 3 3 / 4 4 4 ](5*a[5] -1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.129999 , 5.481566000000001 )1.156308305304745
[3 3 5 5 5 ][ 3 3 / 5 ](5*a[5] -4*a[4] +3*a[3] , 4*a[5] +3*a[3] +3minD[5] ), ( 2.8811590000000002 , 5.509677 )1.1867261259942161
[3 3 5 5 5 ][ 3 3 / 3 5 ](5*a[5] -3*a[4] +3*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.6678749999999996 , 5.821887 )1.1604143408129768
[3 3 5 5 5 ][ 3 3 / 3 3 5 ](6*a[5] -4*a[4] +4*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.276566 , 5.481566000000001 )1.1535261921055326
[3 3 5 5 5 ][ 3 3 / 4 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.5055789999999996 , 5.821887 )1.1640754981741173
[3 3 5 5 5 ][ 3 3 / 3 4 5 ](6*a[5] -3*a[4] +2*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.114269999999999 , 5.481566000000001 )1.1566150504172743
[3 3 5 5 5 ][ 3 3 / 4 4 5 ](6*a[5] -2*a[4] , 5*a[5] +1*a[3] +3minD[5] ), ( 3.951974 , 5.481566000000001 )1.1598779616967974
[3 3 5 5 5 ][ 3 3 / 5 5 ](6*a[5] -4*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.3275539999999997 , 5.821887 )1.1683676386456803
[3 3 5 5 5 ][ 3 3 / 3 5 5 ](7*a[5] -5*a[4] +3*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 3.936245 , 5.481566000000001 )1.1602040942637613
[3 3 5 5 5 ][ 3 3 / 4 5 5 ](7*a[5] -4*a[4] +1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 3.773949 , 5.481566000000001 )1.1636774452777965
[3 3 5 5 5 ][ 3 3 / 5 5 5 ](8*a[5] -6*a[4] +2*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 3.595924 , 5.481566000000001 )1.167732683767625
[3 3 5 5 5 ][ 5 / 3 3 ](4*a[5] -2*a[4] +4*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 4.008196 , 5.643862 )1.1561344384357897
[3 3 5 5 5 ][ 5 / 3 3 3 ](4*a[5] -1*a[4] +4*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.794912 , 5.481566 )1.1446616925887776
[3 3 5 5 5 ][ 5 / 3 3 3 3 ](5*a[5] -2*a[4] +5*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 5.4036029999999995 , 5.303541 )1.1382337474735735
[3 3 5 5 5 ][ 5 / 3 4 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.8458999999999994 , 5.643862 )1.1594451127602352
[3 3 5 5 5 ][ 5 / 3 3 4 ](4*a[5] +2*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.632616 , 5.481566 )1.1472875447699318
[3 3 5 5 5 ][ 5 / 3 3 3 4 ](5*a[5] -1*a[4] +3*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 5.241307 , 5.303541 )1.1405014892540202
[3 3 5 5 5 ][ 5 / 4 4 ](4*a[5] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.683604 , 5.643862 )1.1629543804316747
[3 3 5 5 5 ][ 5 / 3 4 4 ](4*a[5] +1*a[4] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.470319999999999 , 5.481566 )1.1500452862631303
[3 3 5 5 5 ][ 5 / 3 3 4 4 ](5*a[5] +1*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 5.0790109999999995 , 5.303541 )1.14287061123274
[3 3 5 5 5 ][ 5 / 4 4 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.308024 , 5.481566 )1.1529462424174162
[3 3 5 5 5 ][ 5 / 3 4 4 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.916715 , 5.303541 )1.1453488899980182
[3 3 5 5 5 ][ 5 / 4 4 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.7544189999999995 , 5.303541 )1.1479447523890347
[3 3 5 5 5 ][ 5 / 3 5 ](5*a[5] -3*a[4] +3*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.6678749999999996 , 5.643862 )1.1633057983498425
[3 3 5 5 5 ][ 5 / 3 3 5 ](5*a[5] -2*a[4] +3*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.454591 , 5.481566 )1.1503200072678281
[3 3 5 5 5 ][ 5 / 3 3 3 5 ](6*a[5] -3*a[4] +4*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 5.063282 , 5.303541 )1.1431059308357934
[3 3 5 5 5 ][ 5 / 4 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.505579 , 5.643862 )1.1670566892035952
[3 3 5 5 5 ][ 5 / 3 4 5 ](5*a[5] -1*a[4] +1*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.292294999999999 , 5.481566 )1.1532353516353329
[3 3 5 5 5 ][ 5 / 3 3 4 5 ](6*a[5] -2*a[4] +2*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.900986 , 5.303541 )1.1455950875723344
[3 3 5 5 5 ][ 5 / 4 4 5 ](5*a[5] -1*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.129999 , 5.481566 )1.156308305304745
[3 3 5 5 5 ][ 5 / 3 4 4 5 ](6*a[5] -1*a[4] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.73869 , 5.303541 )1.148203068565189
[3 3 5 5 5 ][ 5 / 4 4 4 5 ](6*a[5] -2*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.576394 , 5.303541 )1.1509393202719604
[3 3 5 5 5 ][ 5 / 5 5 ](6*a[5] -4*a[4] +2*a[3] , 4*a[5] +3*a[3] +4minD[5] ), ( 3.327554 , 5.643862 )1.17145529014843
[3 3 5 5 5 ][ 5 / 3 5 5 ](6*a[5] -3*a[4] +2*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 4.114269999999999 , 5.481566 )1.1566150504172743
[3 3 5 5 5 ][ 5 / 3 3 5 5 ](7*a[5] -4*a[4] +3*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.722961 , 5.303541 )1.1484624444198772
[3 3 5 5 5 ][ 5 / 4 5 5 ](6*a[5] -2*a[4] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.951974 , 5.481566 )1.1598779616967974
[3 3 5 5 5 ][ 5 / 3 4 5 5 ](7*a[5] -3*a[4] +1*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.560664999999999 , 5.303541 )1.1512117828443313
[3 3 5 5 5 ][ 5 / 4 4 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.398369 , 5.303541 )1.1541016445237973
[3 3 5 5 5 ][ 5 / 5 5 5 ](7*a[5] -4*a[4] +1*a[3] , 4*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.773949 , 5.481566 )1.1636774452777965
[3 3 5 5 5 ][ 5 / 3 5 5 5 ](8*a[5] -5*a[4] +2*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.382639999999999 , 5.303541 )1.1543895860909164
[3 3 5 5 5 ][ 5 / 4 5 5 5 ](8*a[5] -4*a[4] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.220344 , 5.303541 )1.1574479405218638
[3 3 5 5 5 ][ 5 / 5 5 5 5 ](9*a[5] -6*a[4] +1*a[3] , 5*a[5] -1*a[4] +2*a[3] +4minD[5] ), ( 4.042319 , 5.303541 )1.1609971700323065
[3 3 5 5 5 ][ 3 5 / 3 ](4*a[5] -2*a[4] +3*a[3] , 4*a[5] +3*a[3] +3minD[5] ), ( 3.5336899999999996 , 5.509677 )1.1687179398227727
[3 3 5 5 5 ][ 3 5 / 3 3 ](4*a[5] -1*a[4] +3*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 4.320405999999999 , 5.821887 )1.1476735198523347
[3 3 5 5 5 ][ 3 5 / 3 3 3 ](5*a[5] -2*a[4] +4*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.929097 , 5.481566000000001 )1.14258262845921
[3 3 5 5 5 ][ 3 5 / 4 ](4*a[5] -1*a[4] +1*a[3] , 4*a[5] +3*a[3] +3minD[5] ), ( 3.3713939999999996 , 5.509677 )1.1727458136756883
[3 3 5 5 5 ][ 3 5 / 3 4 ](4*a[5] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 4.158109999999999 , 5.821887 )1.1505827077401871
[3 3 5 5 5 ][ 3 5 / 3 3 4 ](5*a[5] -1*a[4] +2*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.766801 , 5.481566000000001 )1.145107487672524
[3 3 5 5 5 ][ 3 5 / 4 4 ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.9958139999999993 , 5.821887 )1.1536529454765896
[3 3 5 5 5 ][ 3 5 / 3 4 4 ](5*a[5] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.604505 , 5.481566000000001 )1.1477554886080048
[3 3 5 5 5 ][ 3 5 / 4 4 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.442209 , 5.481566000000001 )1.1505371012749697
[3 3 5 5 5 ][ 3 5 / 5 ](5*a[5] -3*a[4] +2*a[3] , 4*a[5] +3*a[3] +3minD[5] ), ( 3.1933689999999997 , 5.509677 )1.1774816086225608
[3 3 5 5 5 ][ 3 5 / 3 5 ](5*a[5] -2*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.9800849999999994 , 5.821887 )1.1539597118693858
[3 3 5 5 5 ][ 3 5 / 3 3 5 ](6*a[5] -3*a[4] +3*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.588776 , 5.481566000000001 )1.1480190613735803
[3 3 5 5 5 ][ 3 5 / 4 5 ](5*a[5] -1*a[4] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.8177889999999994 , 5.821887 )1.1572245591660255
[3 3 5 5 5 ][ 3 5 / 3 4 5 ](6*a[5] -2*a[4] +1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.42648 , 5.481566000000001 )1.1508142676084423
[3 3 5 5 5 ][ 3 5 / 4 4 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.264184 , 5.481566000000001 )1.1537560820359045
[3 3 5 5 5 ][ 3 5 / 5 5 ](6*a[5] -3*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.6397639999999996 , 5.821887 )1.1610325215714186
[3 3 5 5 5 ][ 3 5 / 3 5 5 ](7*a[5] -4*a[4] +2*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.248455 , 5.481566000000001 )1.1540494079769053
[3 3 5 5 5 ][ 3 5 / 4 5 5 ](7*a[5] -3*a[4] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.086158999999999 , 5.481566000000001 )1.1571674103862042
[3 3 5 5 5 ][ 3 5 / 5 5 5 ](8*a[5] -5*a[4] +1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 3.9081339999999996 , 5.481566000000001 )1.1607913704156787
[3 3 5 5 5 ][ 3 3 5 / ](4*a[5] -2*a[4] +2*a[3] , 4*a[5] +3*a[3] +2minD[5] ), ( 3.059184 , 5.375492 )1.183957299330572
[3 3 5 5 5 ][ 3 3 5 / 3 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.8458999999999994 , 5.687702 )1.1587437823736322
[3 3 5 5 5 ][ 3 3 5 / 3 3 ](5*a[5] -2*a[4] +3*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.454591 , 5.821887 )1.1453800107852896
[3 3 5 5 5 ][ 3 3 5 / 4 ](4*a[5] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.6836039999999994 , 5.687702 )1.1622320525715326
[3 3 5 5 5 ][ 3 3 5 / 3 4 ](5*a[5] -1*a[4] +1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.292295 , 5.821887 )1.1481666081424269
[3 3 5 5 5 ][ 3 3 5 / 4 4 ](5*a[5] -1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.129999 , 5.821887 )1.1511026243800218
[3 3 5 5 5 ][ 3 3 5 / 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.5055789999999996 , 5.687702 )1.166309798676679
[3 3 5 5 5 ][ 3 3 5 / 3 5 ](6*a[5] -3*a[4] +2*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.114269999999999 , 5.821887 )1.1513955507167872
[3 3 5 5 5 ][ 3 3 5 / 4 5 ](6*a[5] -2*a[4] , 5*a[5] +2*a[3] +2minD[5] ), ( 3.951974 , 5.821887 )1.1545119213502406
[3 3 5 5 5 ][ 3 3 5 / 5 5 ](7*a[5] -4*a[4] +1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 3.773949 , 5.821887 )1.1581393881538025
[3 3 5 5 5 ][ 5 5 / 3 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +3*a[3] +3minD[5] ), ( 3.8459 , 5.509677 )1.1616423529473672
[3 3 5 5 5 ][ 5 5 / 3 3 ](4*a[5] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 4.632615999999999 , 5.821887 )1.1424808573760024
[3 3 5 5 5 ][ 5 5 / 3 3 3 ](5*a[5] -1*a[4] +3*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 5.241307000000001 , 5.481566000000001 )1.1380387172378867
[3 3 5 5 5 ][ 5 5 / 4 ](4*a[5] , 4*a[5] +3*a[3] +3minD[5] ), ( 3.6836040000000003 , 5.509677 )1.1652172306580215
[3 3 5 5 5 ][ 5 5 / 3 4 ](4*a[5] +1*a[4] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 4.470319999999999 , 5.821887 )1.1451174919649307
[3 3 5 5 5 ][ 5 5 / 3 3 4 ](5*a[5] +1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 5.0790109999999995 , 5.481566000000001 )1.1403518752827138
[3 3 5 5 5 ][ 5 5 / 4 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 4.308024 , 5.821887 )1.1478900872274396
[3 3 5 5 5 ][ 5 5 / 3 4 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.916715 , 5.481566000000001 )1.142771124016078
[3 3 5 5 5 ][ 5 5 / 4 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.754419 , 5.481566000000001 )1.145305104819292
[3 3 5 5 5 ][ 5 5 / 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +3*a[3] +3minD[5] ), ( 3.5055790000000004 , 5.509677 )1.1693971649471422
[3 3 5 5 5 ][ 5 5 / 3 5 ](5*a[5] -1*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 4.292294999999999 , 5.821887 )1.1481666081424269
[3 3 5 5 5 ][ 5 5 / 3 3 5 ](6*a[5] -2*a[4] +2*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.900986 , 5.481566000000001 )1.1430115421763922
[3 3 5 5 5 ][ 5 5 / 4 5 ](5*a[5] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 4.129999 , 5.821887 )1.1511026243800218
[3 3 5 5 5 ][ 5 5 / 3 4 5 ](6*a[5] -1*a[4] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.73869 , 5.481566000000001 )1.1455570717624877
[3 3 5 5 5 ][ 5 5 / 4 4 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.5763940000000005 , 5.481566000000001 )1.1482274291897323
[3 3 5 5 5 ][ 5 5 / 5 5 ](6*a[5] -2*a[4] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.9519739999999994 , 5.821887 )1.1545119213502406
[3 3 5 5 5 ][ 5 5 / 3 5 5 ](7*a[5] -3*a[4] +1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.560665 , 5.481566000000001 )1.1484932629144957
[3 3 5 5 5 ][ 5 5 / 4 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.398369000000001 , 5.481566000000001 )1.1513129032193867
[3 3 5 5 5 ][ 5 5 / 5 5 5 ](8*a[5] -4*a[4] , 5*a[5] +1*a[3] +3minD[5] ), ( 4.220344000000001 , 5.481566000000001 )1.1545775482186653
[3 3 5 5 5 ][ 3 5 5 / ](4*a[5] -1*a[4] +1*a[3] , 4*a[5] +3*a[3] +2minD[5] ), ( 3.371394 , 5.375492 )1.1752372702539486
[3 3 5 5 5 ][ 3 5 5 / 3 ](4*a[5] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 4.158109999999999 , 5.687702 )1.1525719156251553
[3 3 5 5 5 ][ 3 5 5 / 3 3 ](5*a[5] -1*a[4] +2*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.766800999999999 , 5.821887 )1.1403959026755965
[3 3 5 5 5 ][ 3 5 5 / 4 ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.9958139999999993 , 5.687702 )1.1556972135704673
[3 3 5 5 5 ][ 3 5 5 / 3 4 ](5*a[5] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.604505 , 5.821887 )1.142928225208665
[3 3 5 5 5 ][ 3 5 5 / 4 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.442209 , 5.821887 )1.145587578076589
[3 3 5 5 5 ][ 3 5 5 / 5 ](5*a[5] -1*a[4] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.8177889999999994 , 5.687702 )1.159333426067757
[3 3 5 5 5 ][ 3 5 5 / 3 5 ](6*a[5] -2*a[4] +1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.42648 , 5.821887 )1.1458525037651053
[3 3 5 5 5 ][ 3 5 5 / 4 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.264184 , 5.821887 )1.1486640525088199
[3 3 5 5 5 ][ 3 5 5 / 5 5 ](7*a[5] -3*a[4] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.086159 , 5.821887 )1.1519231623519253
[3 3 5 5 5 ][ 3 3 5 5 / ](4*a[5] , 4*a[5] +1*a[4] +2*a[3] +1minD[5] ), ( 3.6836039999999994 , 5.553516999999999 )1.1644691357184942
[3 3 5 5 5 ][ 3 3 5 5 / 3 ](5*a[5] -1*a[4] +1*a[3] , 5*a[5] +2*a[3] +1minD[5] ), ( 4.292294999999999 , 5.687702 )1.150112613886384
[3 3 5 5 5 ][ 3 3 5 5 / 4 ](5*a[5] -1*a[3] , 5*a[5] +2*a[3] +1minD[5] ), ( 4.129999 , 5.687702 )1.1531010816824516
[3 3 5 5 5 ][ 3 3 5 5 / 5 ](6*a[5] -2*a[4] , 5*a[5] +2*a[3] +1minD[5] ), ( 3.951974 , 5.687702 )1.156571675326653
[3 3 5 5 5 ][ 5 5 5 / ](4*a[5] , 4*a[5] +3*a[3] +2minD[5] ), ( 3.683604 , 5.375492 )1.1675626773077716
[3 3 5 5 5 ][ 5 5 5 / 3 ](4*a[5] +1*a[4] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 4.47032 , 5.687702 )1.1470095650355348
[3 3 5 5 5 ][ 5 5 5 / 3 3 ](5*a[5] +1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 5.0790109999999995 , 5.821887 )1.1358459553552007
[3 3 5 5 5 ][ 5 5 5 / 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 4.308024 , 5.687702 )1.1498313723444888
[3 3 5 5 5 ][ 5 5 5 / 3 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.916715 , 5.821887 )1.138161008667537
[3 3 5 5 5 ][ 5 5 5 / 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.7544189999999995 , 5.821887 )1.1405849180270806
[3 3 5 5 5 ][ 5 5 5 / 5 ](5*a[5] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 4.129999 , 5.687702 )1.1531010816824516
[3 3 5 5 5 ][ 5 5 5 / 3 5 ](6*a[5] -1*a[4] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.73869 , 5.821887 )1.140825813433964
[3 3 5 5 5 ][ 5 5 5 / 4 5 ](6*a[5] -2*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.576394 , 5.821887 )1.1433795279430603
[3 3 5 5 5 ][ 5 5 5 / 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 4.398369 , 5.821887 )1.146329146305642
[3 3 5 5 5 ][ 3 5 5 5 / ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +1minD[5] ), ( 3.9958139999999998 , 5.553516999999999 )1.1578129769309236
[3 3 5 5 5 ][ 3 5 5 5 / 3 ](5*a[5] , 5*a[5] +2*a[3] +1minD[5] ), ( 4.604505 , 5.687702 )1.1447819746207895
[3 3 5 5 5 ][ 3 5 5 5 / 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +2*a[3] +1minD[5] ), ( 4.442209 , 5.687702 )1.147488112670022
[3 3 5 5 5 ][ 3 5 5 5 / 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +2*a[3] +1minD[5] ), ( 4.264184 , 5.687702 )1.1506190061267942
[3 3 5 5 5 ][ 3 3 5 5 5 / ](5*a[5] -1*a[3] , 5*a[5] +2*a[3] +0minD[5] ), ( 4.129999 , 5.553517 )1.1551693213231788

Lemma 19 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 3 3 5 5 5 ]( 4*a[5]-3*a[4]+2*a[3] , 4*a[5]+4*a[3]+ 3*minD[5] )( 2.272468 , 5.984183 )1.1988597366458413
Neighbors deg(u)Branching BVBN
[3 3 5 5 5 ]d': 3( 4*a[5]-3*a[4]+2*a[3] , 4*a[5]+3*a[3]+ max(5, 2*(5-3))*minD[5] )( 2.272468 , 5.778046999999999 )1.2032711743271984