The research for this paper was done while the rst author was visiting the Department of Combinatorics and Optimization of the University of Waterloo as an Adjunct Professor. He would like to thank his colleagues there for their hospitality. The second author acknowledges the support of National Science and Engineering Research Council of Canada given under grant # 0GP0009258;