CF935D.Fafa and Ancient Alphabet

普及/提高-

通过率:0%

AC君温馨提醒

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

题目描述

Ancient Egyptians are known to have used a large set of symbols to write on the walls of the temples. Fafa and Fifa went to one of the temples and found two non-empty words S1S_{1} and S2S_{2} of equal lengths on the wall of temple written one below the other. Since this temple is very ancient, some symbols from the words were erased. The symbols in the set have equal probability for being in the position of any erased symbol.

Fifa challenged Fafa to calculate the probability that S1S_{1} is lexicographically greater than S2S_{2} . Can you help Fafa with this task?

You know that , i. e. there were mm distinct characters in Egyptians' alphabet, in this problem these characters are denoted by integers from 11 to mm in alphabet order. A word xx is lexicographically greater than a word yy of the same length, if the words are same up to some position, and then the word xx has a larger character, than the word yy .

We can prove that the probability equals to some fraction , where PP and QQ are coprime integers, and . Print as the answer the value , i. e. such a non-negative integer less than 109+710^{9}+7 , such that , where means that aa and bb give the same remainders when divided by mm .

输入格式

The first line contains two integers nn and mm ( 1<=n,m<=1051<=n,m<=10^{5} ) — the length of each of the two words and the size of the alphabet , respectively.

The second line contains nn integers a1,a2,...,ana_{1},a_{2},...,a_{n} ( 0<=ai<=m0<=a_{i}<=m ) — the symbols of S1S_{1} . If ai=0a_{i}=0 , then the symbol at position ii was erased.

The third line contains nn integers representing S2S_{2} with the same format as S1S_{1} .

输出格式

Print the value , where PP and QQ are coprime and is the answer to the problem.

输入输出样例

  • 输入#1

    1 2
    0
    1
    

    输出#1

    500000004
    
  • 输入#2

    1 2
    1
    0
    

    输出#2

    0
    
  • 输入#3

    7 26
    0 15 12 9 13 0 14
    11 1 0 13 15 12 0
    

    输出#3

    230769233
    

说明/提示

In the first sample, the first word can be converted into ( 11 ) or ( 22 ). The second option is the only one that will make it lexicographically larger than the second word. So, the answer to the problem will be , that is 500000004500000004 , because .

In the second example, there is no replacement for the zero in the second word that will make the first one lexicographically larger. So, the answer to the problem is , that is 00 .

首页