V první části článku odvozujeme těsnou horní hranici na velikost GS-DAGu vzhledem k velikosti řešeného UID. Ve druhé části zavádíme nový typ multiuzlu, čímž se významně sníží počet hran v GS-DAGu.