P25762 [AtCoder] Sequence of Substrings
省选
题目描述

Problem Statement

You are given $a string S = s_1 s_2 \ldots s_N$ of length N consisting of 0's and 1's.
Find the maximum integer K such that there is a sequence of K pairs of integers $\big((L_1, R_1), (L_2, R_2), \ldots, (L_K, R_K)\big)$ that satisfy all three conditions below.

  • $1 \leq L_i \leq R_i \leq N$ for each $i = 1, 2, \ldots, K$.
  • $R_i \lt L_{i+1}$ for $i = 1, 2, \ldots, K-1$.
  • The string $s_{L_i}s_{L_i+1} \ldots s_{R_i}$ is strictly lexicographically smaller than the string $s_{L_{i+1}}s_{L_{i+1}+1}\ldots s_{R_{i+1}}$.

Input

Input is given from Standard Input in the following format:
N
S

Output

Print the answer.

Constraints

  • $1 \leq N \leq 2.5 \times 10^4$
  • N is an integer.
  • S is a string of length N consisting of 0's and 1's.

Sample Input 1

7
0101010

Sample Output 1

3

For K = 3, one sequence satisfying the conditition is (L_1, R_1) = (1, 1), (L_2, R_2) = (3, 5), (L_3, R_3) = (6, 7).
Indeed, s_1 = 0 is strictly lexicographically smaller than s_3s_4s_5 = 010, and s_3s_4s_5 = 010 is strictly lexicographically smaller than s_6s_7 = 10.
For $K \geq 4,$ there is no sequence $\big((L_1, R_1), (L_2, R_2), \ldots, (L_K, R_K)\big)$ satisfying the condition.

Sample Input 2

30
000011001110101001011110001001

Sample Output 2

9

输入格式

见题面 Input 部分

输出格式

见题面 Output 部分

样例输入
7 0101010
样例输出
3