fixed graph fixed-point