reference： http://www.eecs.yorku.ca/course_archive/2013-14/W/2011/lectures/09 Loop Invariants and Binary Search.pdf
转载于:https://www.cnblogs.com/hygeia/p/4646042.html
