LC 28
Find the Index of the First Occurrence in a String
Easy · LC 1–100
候选解法路线
Primary
FreeKMP / 前缀函数字符串匹配
Invariant: 扫描文本位置前，j 是已处理文本后缀等于模式前缀的最大长度。
candidate confidence: 0.520 · metadata_only
Alternate 1
Free二分边界 / First True
Invariant: 第一个 True 始终位于 [lo,hi]；hi 一侧是保留的可行候选，lo 左侧已证为 False。
candidate confidence: 0.488 · metadata_only
Alternate 2
Free相向双指针
Invariant: 所有尚未排除的候选对端点都位于 [l,r]；每次移动的端点已被单调性证明无法与区间内另一点形成所需解。
candidate confidence: 0.452 · metadata_only
Alternate 3
Free同向双指针 / 读写指针
Invariant: 处理 a[0:read] 后，a[0:write] 恰是它们按规则保留的正确、稳定输出，且 write≤read+1。
candidate confidence: 0.434 · metadata_only
如何使用本页
先读原题与 constraints，再逐一验证 Recognition signals、invariant 与 complexity；candidate score 不能证明正确性。