annotated_code
avance
Ecrivez les annotations @pre, @post, @invariant, @variant pour la recherche dichotomique.
int binary_search(int x[], int n, int target) { if (n==0) return -1; int lo=0,hi=n-1; while(lo<=hi){ int m=(lo+hi)/2; if(x[m]==target) return m; if(x[m]<target) lo=m+1; else hi=m-1; } return -1; }