Problem:
Score : 1500 points

Problem Statement

#nck {
width: 30px;
height: auto;
}

Shik's job is very boring. At day 0, his boss gives him a string S_0 of length N which consists of only lowercase English letters. In the i-th day after day 0, Shik's job is to copy the string S_{i-1} to a string S_i. We denote the j-th letter of S_i as S_i[j].

Shik is inexperienced in this job. In each day, when he is copying letters one by one from the first letter to the last letter, he would make mistakes. That is, he sometimes accidentally writes down the same letter that he wrote previously instead of the correct one. More specifically, S_i[j] is equal to either S_{i-1}[j] or S_{i}[j-1]. (Note that S_i[1] always equals to S_{i-1}[1].)

You are given the string S_0 and another string T.
Please determine the smallest integer i such that S_i could be equal to T. If no such i exists, please print -1.

Constraints

1 \leq N \leq 1,000,000

The lengths of S_0 and T are both N.

Both S_0 and T consist of lowercase English letters.

Input

The input is given from Standard Input in the following format:

N
S_0
T

Output

Print the smallest integer i such that S_i could be equal to T. If no such i exists, print -1 instead.

Sample Input 1

5
abcde
aaacc

Sample Output 1

2

S_0 = abcde, S_1 = aaccc and S_2 = aaacc is a possible sequence such that S_2 = T.

Sample Input 2

5
abcde
abcde

Sample Output 2

0

Sample Input 3

4
acaa
aaca

Sample Output 3

2

Sample Input 4

5
abcde
bbbbb

Sample Output 4

-1

Solution in Rust (1.15.1) (judge verdict: Wrong Answer)

macro_rules! input {
    (source = $s:expr, $($r:tt)*) => {
        let mut iter = $s.split_whitespace();
        let mut next = || { iter.next().unwrap() };
        input_inner!{next, $($r)*}
    };
    ($($r:tt)*) => {
        let stdin = std::io::stdin();
        let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock()));
        let mut next = move || -> String {
            bytes
                .by_ref()
                .map(|r| r.unwrap() as char)
                .skip_while(|c| c.is_whitespace())
                .take_while(|c| !c.is_whitespace())
                .collect()
        };
        input_inner!{next, $($r)*}
    };
}

macro_rules! input_inner {
    ($next:expr) => {};
    ($next:expr, ) => {};

    ($next:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($next, $t);
        input_inner!{$next $($r)*}
    };

    ($next:expr, mut $var:ident : $t:tt $($r:tt)*) => {
        let mut $var = read_value!($next, $t);
        input_inner!{$next $($r)*}
    };
}

macro_rules! read_value {
    ($next:expr, ( $($t:tt),* )) => {
        ( $(read_value!($next, $t)),* )
    };

    ($next:expr, [ $t:tt ; $len:expr ]) => {
        (0..$len).map(|_| read_value!($next, $t)).collect::<Vec<_>>()
    };

    ($next:expr, [ $t:tt ]) => {
        {
            let len = read_value!($next, usize);
            (0..len).map(|_| read_value!($next, $t)).collect::<Vec<_>>()
        }
    };

    ($next:expr, chars) => {
        read_value!($next, String).chars().collect::<Vec<char>>()
    };

    ($next:expr, usize1) => {
        read_value!($next, usize) - 1
    };

    ($next:expr, $t:ty) => {
        $next().parse::<$t>().expect("Parse error")
    };
}

#[allow(unused_imports)]
use std::cmp::{min, max};

fn main() {
    input!{
        n: usize,
        s: chars,
        t: chars
    }
    if s == t {
        println!("0");
        return;
    }
    let mut rs = vec![];
    let mut i = n;
    let mut j = n;
    let mut p = vec![];
    while j > 0 {
        j -= 1;
        let r = j;
        while j > 0 && t[j] == t[j - 1] {
            j -= 1;
        }
        i = min(i, j);
        while i > 0 && s[i] != t[j] {
            i -= 1;
        }
        if s[i] != t[j] {
            println!("-1");
            return;
        }
        if i < r {
            rs.push(r);
            p.push((r, 1));
            p.push((i, 0));
        }
    }
    rs.reverse();
    p.sort();
    p.reverse();
    let mut ans = 0;
    let mut h = LSegT::new(n);
    let mut off = 0;
    for &(i, f) in &p {
        if f == 1 {
            ans = max(ans, h.max(i + off, i + off) + off + 1);
            off += 1;
        } else if i > 0 {
            off -= 1;
            h.add(i, rs.pop().unwrap(), 1);
        }
    }
    println!("{}", ans);
}

struct LSegT {
    v: Vec<usize>,
    lazy: Vec<usize>,
    n: usize
}

// op = +, query = max
impl LSegT {
    fn new(n: usize) -> LSegT {
        let mut s = 1;
        while s < n {
            s *= 2;
        }
        LSegT{v: vec![0; 2 * s - 1], lazy: vec![0; 2 * s - 1], n: s}
    }

    fn eval(&mut self, p: usize) {
        if self.lazy[p] == 0 {
            return;
        }
        self.v[p] += self.lazy[p];
        if p < self.n - 1 {
            self.lazy[2 * p + 1] += self.lazy[p];
            self.lazy[2 * p + 2] += self.lazy[p];
        }
        self.lazy[p] = 0;
    }

    fn add(&mut self, l: usize, r: usize, x: usize) {
        let n = self.n;
        self.add_rec(l, r, x, 0, 0, n - 1);
    }

    fn add_rec(&mut self, l: usize, r: usize, x: usize, p: usize, pl: usize, pr: usize) {
        self.eval(p);
        if pl > r || pr < l {
            return;
        } else if l <= pl && pr <= r {
            self.lazy[p] += x;
            self.eval(p);
        } else {
            self.add_rec(l, r, x, 2 * p + 1, pl, (pl + pr - 1) / 2);
            self.add_rec(l, r, x, 2 * p + 2, (pl + pr + 1) / 2, pr);
            self.v[p] = std::cmp::max(self.v[2 * p + 1], self.v[2 * p + 2]);
        }
    }

    fn max(&mut self, l: usize, r: usize) -> usize {
        let n = self.n;
        self.max_rec(l, r, 0, 0, n - 1)
    }

    fn max_rec(&mut self, l: usize, r: usize, p: usize, pl: usize, pr: usize) -> usize {
        self.eval(p);
        if pl > r || pr < l {
            0
        } else if l <= pl && pr <= r {
            self.v[p]
        } else {
            let a = self.max_rec(l, r, 2 * p + 1, pl, (pl + pr - 1) / 2);
            let b = self.max_rec(l, r, 2 * p + 2, (pl + pr + 1) / 2, pr);
            std::cmp::max(a, b)
        }
    }
}