35555

Lemma 17 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 3 5 5 5 5 ]( 5*a[5]-4*a[4]+1*a[3] , 5*a[5]+1*a[3]+ 10*minD[5] )( 1.932147 , 6.4208609999999995 )1.2047997477974466

Lemma 18 in FST&TCS'09 paper

Neighbors Shared / Out Branching BVBN
[3 5 5 5 5 ][ 3 / 3 3 ](5*a[5] -4*a[4] +4*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.355665 , 6.090256999999999 )1.1632959576939315
[3 5 5 5 5 ][ 3 / 3 3 3 ](5*a[5] -3*a[4] +4*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.142381 , 5.927961 )1.149343152371263
[3 5 5 5 5 ][ 3 / 3 3 3 3 ](6*a[5] -4*a[4] +5*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.751072 , 5.749936 )1.1416009984065967
[3 5 5 5 5 ][ 3 / 3 4 ](5*a[5] -3*a[4] +2*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.1933689999999997 , 6.090256999999999 )1.1672959027446372
[3 5 5 5 5 ][ 3 / 3 3 4 ](5*a[5] -2*a[4] +2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.9800849999999994 , 5.927961 )1.152387455465507
[3 5 5 5 5 ][ 3 / 3 3 3 4 ](6*a[5] -3*a[4] +3*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.588776 , 5.749936 )1.1441688004045492
[3 5 5 5 5 ][ 3 / 4 4 ](5*a[5] -2*a[4] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.031073 , 6.090256999999999 )1.1715807785014587
[3 5 5 5 5 ][ 3 / 3 4 4 ](5*a[5] -1*a[4] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.8177889999999994 , 5.927961 )1.1556072611454877
[3 5 5 5 5 ][ 3 / 3 3 4 4 ](6*a[5] -2*a[4] +1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.42648 , 5.749936 )1.1468660785689877
[3 5 5 5 5 ][ 3 / 4 4 4 ](5*a[5] -2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.655493 , 5.927961 )1.1590204334391847
[3 5 5 5 5 ][ 3 / 3 4 4 4 ](6*a[5] -1*a[4] -1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.264184 , 5.749936 )1.149704039139185
[3 5 5 5 5 ][ 3 / 4 4 4 4 ](6*a[5] -3*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.101888 , 5.749936 )1.1526954498556452
[3 5 5 5 5 ][ 3 / 3 5 ](6*a[5] -5*a[4] +3*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.015344 , 6.090256999999999 )1.17201258522864
[3 5 5 5 5 ][ 3 / 3 3 5 ](6*a[5] -4*a[4] +3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.8020599999999996 , 5.927961 )1.1559294032974534
[3 5 5 5 5 ][ 3 / 3 3 3 5 ](7*a[5] -5*a[4] +4*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.410750999999999 , 5.749936 )1.1471347333662305
[3 5 5 5 5 ][ 3 / 4 5 ](6*a[5] -4*a[4] +1*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 2.853048 , 6.090256999999999 )1.1766521608650824
[3 5 5 5 5 ][ 3 / 3 4 5 ](6*a[5] -3*a[4] +1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.6397639999999996 , 5.927961 )1.1593622670551105
[3 5 5 5 5 ][ 3 / 3 3 4 5 ](7*a[5] -4*a[4] +2*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.248455 , 5.749936 )1.1499869525422801
[3 5 5 5 5 ][ 3 / 4 4 5 ](6*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.4774679999999996 , 5.927961 )1.1630109735608176
[3 5 5 5 5 ][ 3 / 3 4 4 5 ](7*a[5] -3*a[4] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.086159 , 5.749936 )1.1529941002676174
[3 5 5 5 5 ][ 3 / 4 4 4 5 ](7*a[5] -2*a[4] -2*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 3.923863 , 5.749936 )1.1561706099109084
[3 5 5 5 5 ][ 3 / 5 5 ](7*a[5] -6*a[4] +2*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 2.675023 , 6.090256999999999 )1.1821681701178481
[3 5 5 5 5 ][ 3 / 3 5 5 ](7*a[5] -5*a[4] +2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.4617389999999997 , 5.927961 )1.1633769464053973
[3 5 5 5 5 ][ 3 / 3 3 5 5 ](8*a[5] -6*a[4] +3*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.07043 , 5.749936 )1.1532943325012608
[3 5 5 5 5 ][ 3 / 4 5 5 ](7*a[5] -4*a[4] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.2994429999999997 , 5.927961 )1.1672903800772947
[3 5 5 5 5 ][ 3 / 3 4 5 5 ](8*a[5] -5*a[4] +1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 3.9081339999999996 , 5.749936 )1.1564881236602622
[3 5 5 5 5 ][ 3 / 4 4 5 5 ](8*a[5] -4*a[4] -1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 3.745838 , 5.749936 )1.1598701034107983
[3 5 5 5 5 ][ 3 / 5 5 5 ](8*a[5] -6*a[4] +1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.121418 , 5.927961 )1.1718956811830985
[3 5 5 5 5 ][ 3 / 3 5 5 5 ](9*a[5] -7*a[4] +2*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 3.7301089999999997 , 5.749936 )1.1602085872863328
[3 5 5 5 5 ][ 3 / 4 5 5 5 ](9*a[5] -6*a[4] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 3.5678129999999997 , 5.749936 )1.1638191951735803
[3 5 5 5 5 ][ 3 / 5 5 5 5 ](10*a[5] -8*a[4] +1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 3.389788 , 5.749936 )1.1680477979306807
[3 5 5 5 5 ][ 5 / 3 3 ](5*a[5] -3*a[4] +3*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.667875 , 6.090256999999999 )1.1562936417349847
[3 5 5 5 5 ][ 5 / 3 3 3 ](5*a[5] -2*a[4] +3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.454591000000001 , 5.927961 )1.1439247753515989
[3 5 5 5 5 ][ 5 / 3 3 3 3 ](6*a[5] -3*a[4] +4*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 5.063281999999999 , 5.749936 )1.1369887420113796
[3 5 5 5 5 ][ 5 / 3 4 ](5*a[5] -2*a[4] +1*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.5055789999999996 , 6.090256999999999 )1.1598277667225592
[3 5 5 5 5 ][ 5 / 3 3 4 ](5*a[5] -1*a[4] +1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.292294999999999 , 5.927961 )1.1466735651643183
[3 5 5 5 5 ][ 5 / 3 3 3 4 ](6*a[5] -2*a[4] +2*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.900986 , 5.749936 )1.1393352308653804
[3 5 5 5 5 ][ 5 / 4 4 ](5*a[5] -1*a[4] -1*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.343283 , 6.090256999999999 )1.1635917340206554
[3 5 5 5 5 ][ 5 / 3 4 4 ](5*a[5] -1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.129999 , 5.927961 )1.1495696449549466
[3 5 5 5 5 ][ 5 / 3 3 4 4 ](6*a[5] -1*a[4] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.73869 , 5.749936 )1.1417925892442304
[3 5 5 5 5 ][ 5 / 4 4 4 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.9677029999999998 , 5.927961 )1.1526267108749688
[3 5 5 5 5 ][ 5 / 3 4 4 4 ](6*a[5] -2*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.5763940000000005 , 5.749936 )1.144369996515163
[3 5 5 5 5 ][ 5 / 4 4 4 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.414097999999999 , 5.749936 )1.147077478797595
[3 5 5 5 5 ][ 5 / 3 5 ](6*a[5] -4*a[4] +2*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.3275539999999997 , 6.090256999999999 )1.1639697009620855
[3 5 5 5 5 ][ 5 / 3 3 5 ](6*a[5] -3*a[4] +2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.114269999999999 , 5.927961 )1.14985863918446
[3 5 5 5 5 ][ 5 / 3 3 3 5 ](7*a[5] -4*a[4] +3*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.722961 , 5.749936 )1.1420369491880085
[3 5 5 5 5 ][ 5 / 4 5 ](6*a[5] -3*a[4] , 5*a[5] +2*a[3] +4minD[5] ), ( 3.1652579999999997 , 6.090256999999999 )1.1680167342332826
[3 5 5 5 5 ][ 5 / 3 4 5 ](6*a[5] -2*a[4] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.9519739999999994 , 5.927961 )1.1529321393718062
[3 5 5 5 5 ][ 5 / 3 3 4 5 ](7*a[5] -3*a[4] +1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.560665 , 5.749936 )1.1446265500136417
[3 5 5 5 5 ][ 5 / 4 4 5 ](6*a[5] -1*a[4] -2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.7896779999999994 , 5.927961 )1.1561841548783045
[3 5 5 5 5 ][ 5 / 3 4 4 5 ](7*a[5] -2*a[4] -1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.398369 , 5.749936 )1.1473471742229417
[3 5 5 5 5 ][ 5 / 4 4 4 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.236072999999999 , 5.749936 )1.150210860135077
[3 5 5 5 5 ][ 5 / 5 5 ](7*a[5] -5*a[4] +1*a[3] , 5*a[5] +2*a[3] +4minD[5] ), ( 2.987233 , 6.090256999999999 )1.1727917221557476
[3 5 5 5 5 ][ 5 / 3 5 5 ](7*a[5] -4*a[4] +1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.7739489999999996 , 5.927961 )1.1565094887772736
[3 5 5 5 5 ][ 5 / 3 3 5 5 ](8*a[5] -5*a[4] +2*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.38264 , 5.749936 )1.1476182525112077
[3 5 5 5 5 ][ 5 / 4 5 5 ](7*a[5] -3*a[4] -1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.6116529999999996 , 5.927961 )1.1599782042784026
[3 5 5 5 5 ][ 5 / 3 4 5 5 ](8*a[5] -4*a[4] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.220343999999999 , 5.749936 )1.1504963899071694
[3 5 5 5 5 ][ 5 / 4 4 5 5 ](8*a[5] -3*a[4] -2*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.058047999999999 , 5.749936 )1.1535317439226875
[3 5 5 5 5 ][ 5 / 5 5 5 ](8*a[5] -5*a[4] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.4336279999999997 , 5.927961 )1.1640367305510644
[3 5 5 5 5 ][ 5 / 3 5 5 5 ](9*a[5] -6*a[4] +1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 4.042318999999999 , 5.749936 )1.153834795569887
[3 5 5 5 5 ][ 5 / 4 5 5 5 ](9*a[5] -5*a[4] -1*a[3] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 3.8800229999999996 , 5.749936 )1.157059992343378
[3 5 5 5 5 ][ 5 / 5 5 5 5 ](10*a[5] -7*a[4] , 6*a[5] -1*a[4] +1*a[3] +4minD[5] ), ( 3.7019979999999997 , 5.749936 )1.16081835637239
[3 5 5 5 5 ][ 3 5 / 3 ](5*a[5] -3*a[4] +2*a[3] , 5*a[5] +2*a[3] +3minD[5] ), ( 3.1933689999999997 , 5.956071999999999 )1.1695174842251013
[3 5 5 5 5 ][ 3 5 / 3 3 ](5*a[5] -2*a[4] +2*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.9800849999999994 , 6.268281999999999 )1.1476093034709314
[3 5 5 5 5 ][ 3 5 / 3 3 3 ](6*a[5] -3*a[4] +3*a[3] , 6*a[5] +3minD[5] ), ( 4.588775999999999 , 5.927961 )1.1417545145747916
[3 5 5 5 5 ][ 3 5 / 4 ](5*a[5] -2*a[4] , 5*a[5] +2*a[3] +3minD[5] ), ( 3.0310729999999997 , 5.956071999999999 )1.1738799847888046
[3 5 5 5 5 ][ 3 5 / 3 4 ](5*a[5] -1*a[4] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.8177889999999994 , 6.268281999999999 )1.1506931882131084
[3 5 5 5 5 ][ 3 5 / 3 3 4 ](6*a[5] -2*a[4] +1*a[3] , 6*a[5] +3minD[5] ), ( 4.42648 , 5.927961 )1.1443909162301218
[3 5 5 5 5 ][ 3 5 / 4 4 ](5*a[5] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.6554929999999994 , 6.268281999999999 )1.1539611405476584
[3 5 5 5 5 ][ 3 5 / 3 4 4 ](6*a[5] -1*a[4] -1*a[3] , 6*a[5] +3minD[5] ), ( 4.264184 , 5.927961 )1.1471642256207835
[3 5 5 5 5 ][ 3 5 / 4 4 4 ](6*a[5] -3*a[3] , 6*a[5] +3minD[5] ), ( 4.101888 , 5.927961 )1.1500872271354299
[3 5 5 5 5 ][ 3 5 / 5 ](6*a[5] -4*a[4] +1*a[3] , 5*a[5] +2*a[3] +3minD[5] ), ( 2.853048 , 5.956071999999999 )1.1790439150078895
[3 5 5 5 5 ][ 3 5 / 3 5 ](6*a[5] -3*a[4] +1*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.6397639999999996 , 6.268281999999999 )1.1542884010611032
[3 5 5 5 5 ][ 3 5 / 3 3 5 ](7*a[5] -4*a[4] +2*a[3] , 6*a[5] +3minD[5] ), ( 4.248455 , 5.927961 )1.1474407107981213
[3 5 5 5 5 ][ 3 5 / 4 5 ](6*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.4774679999999996 , 6.268281999999999 )1.1577805376816241
[3 5 5 5 5 ][ 3 5 / 3 4 5 ](7*a[5] -3*a[4] , 6*a[5] +3minD[5] ), ( 4.086158999999999 , 5.927961 )1.1503790058157264
[3 5 5 5 5 ][ 3 5 / 4 4 5 ](7*a[5] -2*a[4] -2*a[3] , 6*a[5] +3minD[5] ), ( 3.923863 , 5.927961 )1.1534822553233823
[3 5 5 5 5 ][ 3 5 / 5 5 ](7*a[5] -4*a[4] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.2994429999999997 , 6.268281999999999 )1.1618746849415513
[3 5 5 5 5 ][ 3 5 / 3 5 5 ](8*a[5] -5*a[4] +1*a[3] , 6*a[5] +3minD[5] ), ( 3.9081339999999996 , 5.927961 )1.1537922635363218
[3 5 5 5 5 ][ 3 5 / 4 5 5 ](8*a[5] -4*a[4] -1*a[3] , 6*a[5] +3minD[5] ), ( 3.7458379999999996 , 5.927961 )1.1570954237282407
[3 5 5 5 5 ][ 3 5 / 5 5 5 ](9*a[5] -6*a[4] , 6*a[5] +3minD[5] ), ( 3.5678129999999997 , 5.927961 )1.1609518589349206
[3 5 5 5 5 ][ 5 5 / 3 ](5*a[5] -2*a[4] +1*a[3] , 5*a[5] +2*a[3] +3minD[5] ), ( 3.505579 , 5.956071999999999 )1.1619162055686352
[3 5 5 5 5 ][ 5 5 / 3 3 ](5*a[5] -1*a[4] +1*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 4.292294999999999 , 6.268281999999999 )1.1421341315348248
[3 5 5 5 5 ][ 5 5 / 3 3 3 ](6*a[5] -2*a[4] +2*a[3] , 6*a[5] +3minD[5] ), ( 4.9009860000000005 , 5.927961 )1.1370289653671142
[3 5 5 5 5 ][ 5 5 / 4 ](5*a[5] -1*a[4] -1*a[3] , 5*a[5] +2*a[3] +3minD[5] ), ( 3.343283 , 5.956071999999999 )1.1657470583105745
[3 5 5 5 5 ][ 5 5 / 3 4 ](5*a[5] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 4.129999 , 6.268281999999999 )1.1449096261863945
[3 5 5 5 5 ][ 5 5 / 3 3 4 ](6*a[5] -1*a[4] , 6*a[5] +3minD[5] ), ( 4.73869 , 5.927961 )1.139431644387806
[3 5 5 5 5 ][ 5 5 / 4 4 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.9677029999999993 , 6.268281999999999 )1.147838568507675
[3 5 5 5 5 ][ 5 5 / 3 4 4 ](6*a[5] -2*a[3] , 6*a[5] +3minD[5] ), ( 4.576394 , 5.927961 )1.1419511314917643
[3 5 5 5 5 ][ 5 5 / 4 4 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +3minD[5] ), ( 4.414098 , 5.927961 )1.1445975004473745
[3 5 5 5 5 ][ 5 5 / 5 ](6*a[5] -3*a[4] , 5*a[5] +2*a[3] +3minD[5] ), ( 3.165258 , 5.956071999999999 )1.170251347947999
[3 5 5 5 5 ][ 5 5 / 3 5 ](6*a[5] -2*a[4] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.9519739999999994 , 6.268281999999999 )1.1481310928880637
[3 5 5 5 5 ][ 5 5 / 3 3 5 ](7*a[5] -3*a[4] +1*a[3] , 6*a[5] +3minD[5] ), ( 4.560665 , 5.927961 )1.1422017802105826
[3 5 5 5 5 ][ 5 5 / 4 5 ](6*a[5] -1*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.7896779999999994 , 6.268281999999999 )1.1512455929929524
[3 5 5 5 5 ][ 5 5 / 3 4 5 ](7*a[5] -2*a[4] -1*a[3] , 6*a[5] +3minD[5] ), ( 4.398369 , 5.927961 )1.1448610308639013
[3 5 5 5 5 ][ 5 5 / 4 4 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +3minD[5] ), ( 4.236072999999999 , 5.927961 )1.1476593884915536
[3 5 5 5 5 ][ 5 5 / 5 5 ](7*a[5] -3*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.6116529999999996 , 6.268281999999999 )1.1548779697868758
[3 5 5 5 5 ][ 5 5 / 3 5 5 ](8*a[5] -4*a[4] , 6*a[5] +3minD[5] ), ( 4.220344 , 5.927961 )1.147938468772295
[3 5 5 5 5 ][ 5 5 / 4 5 5 ](8*a[5] -3*a[4] -2*a[3] , 6*a[5] +3minD[5] ), ( 4.058047999999999 , 5.927961 )1.1509042648902024
[3 5 5 5 5 ][ 5 5 / 5 5 5 ](9*a[5] -5*a[4] -1*a[3] , 6*a[5] +3minD[5] ), ( 3.880023 , 5.927961 )1.1543508255218817
[3 5 5 5 5 ][ 3 5 5 / ](5*a[5] -2*a[4] , 5*a[5] +2*a[3] +2minD[5] ), ( 3.031073 , 5.821886999999999 )1.176258326756388
[3 5 5 5 5 ][ 3 5 5 / 3 ](5*a[5] -1*a[4] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 3.8177889999999994 , 6.134097 )1.1525828425856737
[3 5 5 5 5 ][ 3 5 5 / 3 3 ](6*a[5] -2*a[4] +1*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.42648 , 6.268282 )1.139945867367236
[3 5 5 5 5 ][ 3 5 5 / 4 ](5*a[5] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 3.6554929999999994 , 6.134097 )1.155906466826559
[3 5 5 5 5 ][ 3 5 5 / 3 4 ](6*a[5] -1*a[4] -1*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.264184 , 6.268282 )1.1426044166741411
[3 5 5 5 5 ][ 3 5 5 / 4 4 ](6*a[5] -3*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.101888 , 6.268282 )1.1454055029413746
[3 5 5 5 5 ][ 3 5 5 / 5 ](6*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 3.4774679999999996 , 6.134097 )1.1597913660565369
[3 5 5 5 5 ][ 3 5 5 / 3 5 ](7*a[5] -3*a[4] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.086159 , 6.268282 )1.1456850527276712
[3 5 5 5 5 ][ 3 5 5 / 4 5 ](7*a[5] -2*a[4] -2*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 3.923863 , 6.268282 )1.1486579183015335
[3 5 5 5 5 ][ 3 5 5 / 5 5 ](8*a[5] -4*a[4] -1*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 3.745838 , 6.268282 )1.1521182338131943
[3 5 5 5 5 ][ 5 5 5 / ](5*a[5] -1*a[4] -1*a[3] , 5*a[5] +2*a[3] +2minD[5] ), ( 3.343283 , 5.821886999999999 )1.167975914818567
[3 5 5 5 5 ][ 5 5 5 / 3 ](5*a[5] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.129999 , 6.134097 )1.1467019364502784
[3 5 5 5 5 ][ 5 5 5 / 3 3 ](6*a[5] -1*a[4] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.73869 , 6.268282 )1.1351899272052
[3 5 5 5 5 ][ 5 5 5 / 4 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 3.9677029999999998 , 6.134097 )1.1496799309529364
[3 5 5 5 5 ][ 5 5 5 / 3 4 ](6*a[5] -2*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.5763940000000005 , 6.268282 )1.1376064301295765
[3 5 5 5 5 ][ 5 5 5 / 4 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.414097999999999 , 6.268282 )1.1401440312899827
[3 5 5 5 5 ][ 5 5 5 / 5 ](6*a[5] -1*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 3.789678 , 6.134097 )1.1531446723951773
[3 5 5 5 5 ][ 5 5 5 / 3 5 ](7*a[5] -2*a[4] -1*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.398369000000001 , 6.268282 )1.1403966778362065
[3 5 5 5 5 ][ 5 5 5 / 4 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.236072999999999 , 6.268282 )1.143079139070885
[3 5 5 5 5 ][ 5 5 5 / 5 5 ](8*a[5] -3*a[4] -2*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 4.058047999999999 , 6.268282 )1.1461883357828806
[3 5 5 5 5 ][ 3 5 5 5 / ](5*a[5] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 3.655493 , 5.999912 )1.157915580020447
[3 5 5 5 5 ][ 3 5 5 5 / 3 ](6*a[5] -1*a[4] -1*a[3] , 6*a[5] +1*a[3] +1minD[5] ), ( 4.264184 , 6.134097000000001 )1.1443584441645598
[3 5 5 5 5 ][ 3 5 5 5 / 4 ](6*a[5] -3*a[3] , 6*a[5] +1*a[3] +1minD[5] ), ( 4.101888 , 6.134097000000001 )1.1472061135034959
[3 5 5 5 5 ][ 3 5 5 5 / 5 ](7*a[5] -2*a[4] -2*a[3] , 6*a[5] +1*a[3] +1minD[5] ), ( 3.923863 , 6.134097000000001 )1.1505131159343913
[3 5 5 5 5 ][ 5 5 5 5 / ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 3.9677029999999998 , 5.999912 )1.1515814324110298
[3 5 5 5 5 ][ 5 5 5 5 / 3 ](6*a[5] -2*a[3] , 6*a[5] +1*a[3] +1minD[5] ), ( 4.576394 , 6.134097000000001 )1.1392779785501783
[3 5 5 5 5 ][ 5 5 5 5 / 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[3] +1minD[5] ), ( 4.414098 , 6.134097000000001 )1.1418570888661281
[3 5 5 5 5 ][ 5 5 5 5 / 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +1*a[3] +1minD[5] ), ( 4.236073 , 6.134097000000001 )1.1448408751720531
[3 5 5 5 5 ][ 3 5 5 5 5 / ](6*a[5] -3*a[3] , 6*a[5] +1*a[3] +0minD[5] ), ( 4.101888 , 5.999912 )1.1490651201345574

Lemma 19 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 3 5 5 5 5 ]( 5*a[5]-4*a[4]+1*a[3] , 5*a[5]+3*a[3]+ 3*minD[5] )( 1.932147 , 6.430578 )1.204599576855472
Neighbors deg(u)Branching BVBN
[3 5 5 5 5 ]d': 3( 5*a[5]-4*a[4]+1*a[3] , 5*a[5]+2*a[3]+ max(5, 2*(5-3))*minD[5] )( 1.932147 , 6.224442 )1.2089525469355713