Termination conjecture for the refined Disk Tree algorithm
Let GGG be a graph with tree-length tl(G)tl(G)tl(G), and let (Ti,ϕi)(T_i,\phi_i)(Ti,ϕi), HiH_iHi, SiS_iSi, Bk(xi)B_k(x_i)Bk(xi), and property PiP_iPi be as in the (k,ℓ)(k,\ell)(k,ℓ)-Disk Tree algorithm. Suppose that…