Fix loop condition and variable initialization in walk.hpp

lrvideckis · web-flow · commit b741e864771c · 2026-02-07T10:12:27.000-07:00
diff --git a/library/data_structures_[l,r]/seg_tree_uncommon/walk.hpp b/library/data_structures_[l,r]/seg_tree_uncommon/walk.hpp
@@ -13,9 +13,9 @@ int walk(int l, int r, const auto& f) {
       return u - n;
     }
   */
-  bool good=0;
-  while (l < r) {
-    int u = l + n, x = __lg(min(u & -u, r - l));
+  int good=0;
+  while (l <= r) {
+    int u = l + n, x = __lg(min(u & -u, r - l +1-good));
     if (f(s[u >> x])) good=1,r = l + (1 << x) - 1;
     else l += 1 << x;
   }

Original file line number	Diff line number	Diff line change
`@@ -13,9 +13,9 @@ int walk(int l, int r, const auto& f) {`
`13`	`13`	`return u - n;`
`14`	`14`	`}`
`15`	`15`	`*/`
`16`		`- bool good=0;`
`17`		`- while (l < r) {`
`18`		`- int u = l + n, x = __lg(min(u & -u, r - l));`
	`16`	`+ int good=0;`
	`17`	`+ while (l <= r) {`
	`18`	`+ int u = l + n, x = __lg(min(u & -u, r - l +1-good));`
`19`	`19`	`if (f(s[u >> x])) good=1,r = l + (1 << x) - 1;`
`20`	`20`	`else l += 1 << x;`
`21`	`21`	`}`