Ranking Functions for Linear Loops Proven coNP‑Complete

Deciding if an integer‑valued loop has a linear or lexicographical‑linear ranking function is coNP‑complete, as shown in a JACM paper (vol 61, issue 4, 2014). Read more: getnews.me/ranking-functions-for-li... #rankingfunctions #coNP #termination