big update

most of new stuff is for 2trees/min vertex cover assignment.  Still not
done.