CF1083B.The Fair Nut and Strings

普及/提高-

通过率:0%

AC君温馨提醒

该题目为【codeforces】题库的题目,您提交的代码将被提交至codeforces进行远程评测,并由ACGO抓取测评结果后进行展示。由于远程测评的测评机由其他平台提供,我们无法保证该服务的稳定性,若提交后无反应,请等待一段时间后再进行重试。

题目描述

Recently, the Fair Nut has written kk strings of length nn , consisting of letters "a" and "b". He calculated cc — the number of strings that are prefixes of at least one of the written strings. Every string was counted only one time.

Then, he lost his sheet with strings. He remembers that all written strings were lexicographically not smaller than string ss and not bigger than string tt . He is interested: what is the maximum value of cc that he could get.

A string aa is lexicographically smaller than a string bb if and only if one of the following holds:

  • aa is a prefix of bb , but aba \ne b ;
  • in the first position where aa and bb differ, the string aa has a letter that appears earlier in the alphabet than the corresponding letter in bb .

输入格式

The first line contains two integers nn and kk ( 1n51051 \leq n \leq 5 \cdot 10^5 , 1k1091 \leq k \leq 10^9 ).

The second line contains a string ss ( s=n|s| = n ) — the string consisting of letters "a" and "b.

The third line contains a string tt ( t=n|t| = n ) — the string consisting of letters "a" and "b.

It is guaranteed that string ss is lexicographically not bigger than tt .

输出格式

Print one number — maximal value of cc .

输入输出样例

  • 输入#1

    2 4
    aa
    bb
    

    输出#1

    6
    
  • 输入#2

    3 3
    aba
    bba
    

    输出#2

    8
    
  • 输入#3

    4 5
    abbb
    baaa
    

    输出#3

    8
    

说明/提示

In the first example, Nut could write strings "aa", "ab", "ba", "bb". These 44 strings are prefixes of at least one of the written strings, as well as "a" and "b". Totally, 66 strings.

In the second example, Nut could write strings "aba", "baa", "bba".

In the third example, there are only two different strings that Nut could write. If both of them are written, c=8c=8 .

首页