codeforces 296B - Yaroslav and Two Strings (DP+容斥)

B. Yaroslav and Two Strings

Yaroslav thinks that two strings s and w, consisting of digits and having length n are non-comparable if there are two numbers, i and j (1 ≤ i, j ≤ n), such that si > wi and sj < wj. Here sign si represents the i-th digit of string s, similarly, wj represents the j-th digit of string w.

A string's template is a string that consists of digits and question marks ("?").

Yaroslav has two string templates, each of them has length n. Yaroslav wants to count the number of ways to replace all question marks by some integers in both templates, so as to make the resulting strings incomparable. Note that the obtained strings can contain leading zeroes and that distinct question marks can be replaced by distinct or the same integers.

Help Yaroslav, calculate the remainder after dividing the described number of ways by 1000000007 (109 + 7).

Input

The first line contains integer n (1 ≤ n ≤ 105) — the length of both templates. The second line contains the first template — a string that consists of digits and characters "?". The string's length equals n. The third line contains the second template in the same format.

Output

In a single line print the remainder after dividing the answer to the problem by number 1000000007 (109 + 7).

Examples
Input
2
90
09
Output
1
Input
2
11
55
Output
0
Input
5
?????
?????
Output
993531194
Note

The first test contains no question marks and both strings are incomparable, so the answer is 1.

The second test has no question marks, but the given strings are comparable, so the answer is 0.

dp[3][MAXN]:dp[0][i]表示第i位为止所有的A[j]>=B[j]的数目

dp[1][i]表示第i位为止所有的A[j]==B[j]的数目

dp[2][i]表示第i位为止所有的A[j]<=B[j]的数目

ans:A,B中共有多少n个’?’,则ans=10^n;表示A,B共有ans种不同的组合方式(不管满不满足题目要求)

然后ans=ans-dp[0][n]-dp[2][n]+dp[1][n];(先减dp[0][n]保证不会全部大于等于,一定存在小于,再减dp[2][n]保证不会全部小于等于,一定存在大于,此时全部等于的情况减了两次,所以再加上dp[1][n])

#include <iostream>
#include <algorithm>
#include <vector>
#include <stack>
#include <string.h>
#include <cstdio>
#include <map>
#include <queue>
#include <math.h>
#include <cstring>
#include <set>
#include <hash_map>
#define pb push_back
#define fi first
#define se second
#define INF 0x3f3f3f3f
using namespace std;
typedef long long LL;
const LL MOD=1e9+7;
const
LL MAXN=1e5+23;
LL dp[3][MAXN];//> = <
char a[MAXN],b[MAXN];
int n;

int main()
{
    while(scanf("%d",&n)!=-1)
    {
        scanf("%s%s",a,b);
        if(n==1){puts("0");continue;}
        memset(dp,0,sizeof(dp));
        dp[0][0]=dp[1][0]=dp[2][0]=1;
        LL sum=0,ans=1;
        for(int i=0;i<n;i++)
        {
            if(a[i]=='?')sum++;if(b[i]=='?')sum++;
            if(a[i]=='?')
            {
                if(b[i]=='?')
                {
                    dp[0][i+1]=dp[0][i]*55%MOD;
                    dp[1][i+1]=dp[1][i]*10%MOD;
                    dp[2][i+1]=dp[2][i]*55%MOD;
                }
                else
                {
                    int B=b[i]-'0';
                    dp[0][i+1]=dp[0][i]*(10-B)%MOD;
                    dp[1][i+1]=dp[1][i]*1%MOD;
                    dp[2][i+1]=dp[2][i]*(B+1)%MOD;
                }
            }
            else
            {
                if(b[i]=='?')
                {
                    int A=a[i]-'0';
                    dp[0][i+1]=dp[0][i]*(A+1)%MOD;
                    dp[1][i+1]=dp[1][i]*1%MOD;
                    dp[2][i+1]=dp[2][i]*(10-A)%MOD;
                }
                else
                {
                    int A=a[i]-'0';
                    int B=b[i]-'0';
                    //printf("A=%d,B=%d\n",A,B);
                    if(A==B)
                    {
                        dp[0][i+1]=dp[0][i]*1;
                        dp[1][i+1]=dp[1][i]*1%MOD;
                        dp[2][i+1]=dp[2][i]*1;
                    }
                    else if(A<B)
                    {
                        dp[0][i+1]=0;
                        dp[1][i+1]=0;
                        dp[2][i+1]=dp[2][i]*1%MOD;
                    }
                    else if(A>B)
                    {
                        dp[0][i+1]=dp[0][i]*1%MOD;
                        dp[1][i+1]=0;
                        dp[2][i+1]=0;
                    }
                }
            }
        }
        for(int i=0;i<sum;i++)ans=ans*10%MOD;
        //printf("%lld %lld %lld ans=%lld\n",dp[0][n],dp[1][n],dp[2][n],ans);
        printf("%lld\n",(ans-dp[0][n]-dp[2][n]+dp[1][n]+4*MOD)%MOD);
    }
    return 0;
}

本人蒟蒻,如有错误,还望指正


引用\[1\]中提到了一种树形动态规划的方法来解决CodeForces - 982C问题。在这个问题中,subtree指的是子连通块,而不是子树。为了使cnt_white - cnt_black尽可能大,可以使用两次树形动态规划来求解。第一次是自底向上的过程,维护一个dp数组,表示以每个节点为根的子树中的最大连通块。第二次是自顶向下的过程,处理自底向上过程中无法包含的树链所代表的子树。在第二次遍历中,需要维护一个sum变量,用于存储树链所代表的子树的贡献。根据ans\[u\]的正负,决定是否能对相邻的子节点做出贡献。如果ans\[u\]为正,则减去dp\[v\]就是树链所代表的子树的权值。最终,ans\[u\]代表包含节点u在内的子连通块的最大权值。\[1\] 问题: CodeForces - 982C 树形DP是什么问题?如何解决? 回答: CodeForces - 982C是一个树形动态规划问题。在这个问题中,需要求解子连通块的最大权值和,使得cnt_white - cnt_black尽可能大。解决这个问题的方法是使用两次树形动态规划。第一次是自底向上的过程,维护一个dp数组,表示以每个节点为根的子树中的最大连通块。第二次是自顶向下的过程,处理自底向上过程中无法包含的树链所代表的子树。在第二次遍历中,需要维护一个sum变量,用于存储树链所代表的子树的贡献。根据ans\[u\]的正负,决定是否能对相邻的子节点做出贡献。最终,ans\[u\]代表包含节点u在内的子连通块的最大权值。\[1\] #### 引用[.reference_title] - *1* *2* [CodeForces - 1324F Maximum White Subtree(树形dp)](https://blog.csdn.net/qq_45458915/article/details/104831678)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^koosearch_v1,239^v3^insert_chatgpt"}} ] [.reference_item] [ .reference_list ]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值