An overstructured graph for reduced-state forward-backward algorithms