On: Decades-Old Computer Science Conjecture Solved in ...

[jbb123]

Well graph coloring in a more general sense is used for things like register allocation in compilers. So any proofs or increase in theoretical knowledge in the area could lead to improvements in that area.

[pradn → jbb123]

I believe graph-coloring is no longer used for state-of-the-art register allocators, such as the one in LLVM.

Apparently, for ISA with a small number of registers, graph-coloring is not as relevant because spillover is more important.

https://lists.llvm.org/pipermail/llvm-dev/2017-December/1199...