System and method for utilizing a good initial assumption about connection restrictions square Programming with unworkable and contradictory initial assumptions for the solution