Wirth在《算法+数据结构=程序》一书中关于 “对半检 索”程序中给出了一个不变式,但该不变式是不完善的.本文对此予以了修正,并通过一系不变式”的论证,也应是程序中最有价值的资料.
邹姝稚.对Wirth一个不变式的修正[J].河海大学学报(自然科学版),2000,(6):111-114.(.[J]. Journal of Hohai University (Natural Sciences),2000,(6):111-114.(in Chinese))