首页 文章
  • 0 votes
     answers
     views

    证明二进制搜索问题（迭代）[暂停]

    问题是： 构造基于二分搜索的迭代算法，对于给定的排序数组和数字，找到数组中最小元素的索引，该索引小于或等于给定数字 . 使用循环不变量技术证明算法的正确性 . 实现的语言是自由选择，所以我用C . 这是我构建的算法： int FindLessEqual(vector<int>&vec, int target){ int n = vec.size(); int ...
    c++ algorithm binary-search loop-invariant

热门问题