https://123dok.net/document/yr3j3p08-nonserial-dynamic-programming-for-optimal-register-assignment.html