Tardos function
In graph theory and circuit complexity , the Tardos function is a graph invariant introduced by Éva Tardos in 1988 that has the following properties: 
<triplet> Tardos function <subj> graph theory <obj> studied by <subj> graph invariant <obj> instance of