http://www.cnblogs.com/grandyang/p/6108158.html
http://www.cnblogs.com/grandyang/p/5880133.html
都是根据已有的条件,正和逆都保存起来,后续推导和处理。