daily update Fri Jun 14 23:58:03 CDT 2013

- daily update
- check binomial heap
	- bug exists