给一个01串，保证开头为0、结尾为1，找到任意一个“01”子串的位置，复杂度尽可能低（提示：二分）

回答思路

1. 理解问题本质：找到第一个从0变为1的位置
2. 正确设计二分不变量：左闭右开，保证左右边界编号对应0和1
3. 分析时间复杂度为O(log n)及空间复杂度O(1)
4. 考虑边界情况：串长至少为2，且保证存在这样的子串
5. 用自然语言清晰描述二分过程而不依赖具体代码