Recoloring graphs via tree decompositions

تمام اثبات ها سازنده هستند و منجر به الگوریتم های چندجمله ای بازپرداخت می شوند: با توجه به دو رنگ، ما می توانیم در زمان چند جمله ای یک دنباله تبدیل به یکی دیگر را نمایش دهد.