会不会是能满足s[i]==cnt的个数应该是log级别的