一亩三分地论坛

 找回密码
 获取更多干货,去instant注册!

扫码关注一亩三分地公众号
查看: 466|回复: 0
收起左侧

[二分/排序/搜索] Binary Search 的 invariant relation

[复制链接] |试试Instant~ |关注本帖
纠结帝 发表于 2014-10-26 00:21:42 | 显示全部楼层 |阅读模式

注册一亩三分地论坛,查看更多干货!

您需要 登录 才可以下载或查看,没有帐号?获取更多干货,去instant注册!

x
在看这个讲binary search的帖子, 不是很明白他的invariant relation是怎么确定的
为什么第一题是 A[start] < target <= A[end].
第二题是 A[start] <= target < A[end]. ?
求解释!!


还有一个问题是 能不能直接把framework改成
int binarySearchFramework(int A[], int n, int target) {
    int start = start index of array - 1;
    int end = length of the A;
    while (end - start > 1) {
        int mid = (end - start) / 2 + start;
        if(A[mid]==target) return mid;
        if (A[mid] < target) {
            end = mid;
        } else {
            start = mid;
        }
    }      
    //not found
...
}  



这样会引入新的问题吗?


我还是很想知道他的那两个invariant relation是怎么确定的!!!


谢谢!

本版积分规则

请点这里访问我们的新网站:一亩三分地Instant.

Instant搜索更强大,不扣积分,内容组织的更好更整洁!目前仍在beta版本,努力完善中!反馈请点这里

关闭

一亩三分地推荐上一条 /5 下一条

手机版|小黑屋|一亩三分地论坛声明 ( 沪ICP备11015994号 )

custom counter

GMT+8, 2016-12-11 22:05

Powered by Discuz! X3

© 2001-2013 Comsenz Inc. Design By HUXTeam

快速回复 返回顶部 返回列表