传送门

题意：

$n\le 1e5$

思路：

求方案数基本就是考虑$dp$了，看到$n$这么大可以考虑一下分情况讨论的$dp$状态。
设$f[i][j]$表示到了第$i$个，状态为$j$的方案数，考虑如何定义$j$才能使方案不重不漏。
$(1)j==0$表示前面只有$s_k=w_k$的方案数。
$(2)j==1$表示前面只有$s_j<w_j$但是可以出现$s_k=w_k$的方案数。
$(3)j==2$表示前面只有$s_j>w_j$但是可以出现$s_k=w_k$的方案数。
$(4)j==3$表示前面有$s_j<w_j,s_j>w_j$但是可以出现$s_k=w_k$的方案数。
初始状态$f[0][0]=1$，让后递推即可，转移方程：
$(1)a_i>b_i$时$$f[i][2]+=f[i-1][2]+f[i-1][0]$$$$f[i][3]+=f[i-1][3]+f[i-1][1]$$
$(2)a_i=b_i$时$$f[i][0]+=f[i-1][0]$$$$f[i][1]+=f[i-1][1]$$$$f[i][2]+=f[i-1][2]$$$$f[i][3]+=f[i-1][3]$$
$(3)a_i<b_i$时$$f[i][1]+=f[i-1][1]+f[i-1][0]$$$$f[i][3]+=f[i-1][3]+f[i-1][2]$$
解释一下转移的含义：
$(1)$出现了$a_i>b_i$的情况，我们就可以把$a_i<b_i$的情况加到答案中了，让后再让$a_i=b_i$的情况加到$a_i>b_i$的情况中即可。之后这两个状态就变为无效状态了。
$(2)$出现了$a_i=b_i$的情况，那么对所有情况递推过来即可。
$(3)$出现了$a_i<b_i$，与上面的$(1)$情况类似，也是去掉了两个状态。
对于$?$我们没法比较大小，但是我们直接枚举$[0,9]$转移就好啦。

当然还可以容斥来做，无非就四种情况：
$(1)$全部情况$ans$。
$(2)$全部大于的情况$ans1$。
$(3)$全部等于的情况$ans2$。
$(4)$全部小于的情况$ans3$。
答案即为$ans-ans1-ans2-ans3$。
也比较容易算，最后给出了代码。

$dp$

// Problem: B. Yaroslav and Two Strings
// Contest: Codeforces - Codeforces Round #179 (Div. 2)
// URL: https://codeforces.com/problemset/problem/296/B
// Memory Limit: 256 MB
// Time Limit: 2000 ms
// 
// Powered by CP Editor (https://cpeditor.org)//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid (tr[u].l+tr[u].r>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n;
char a[N],b[N];
LL f[N][5];
//0 前面只有s_j=w_j
//1 前面只有s_j<w_j
//2 前面只有s_j>w_j
//3 前面有 s_j<w_j,s_j>w_jvoid cal(int j) {for(int i=0;i<4;i++) f[j][i]%=mod;
}int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);cin>>n>>(a+1)>>(b+1);f[0][0]=1;for(int i=1;i<=n;i++) {if(a[i]!='?'&&b[i]!='?') {if(a[i]>b[i]) {f[i][2]+=f[i-1][2]+f[i-1][0];f[i][3]+=f[i-1][3]+f[i-1][1];}else if(a[i]==b[i]) {f[i][0]+=f[i-1][0];f[i][1]+=f[i-1][1];f[i][2]+=f[i-1][2];f[i][3]+=f[i-1][3];}else {f[i][1]+=f[i-1][1]+f[i-1][0];f[i][3]+=f[i-1][3]+f[i-1][2];}cal(i);}else if(a[i]=='?'&&b[i]!='?') {for(int j='0';j<='9';j++) {if(j>b[i]) {f[i][2]+=f[i-1][2]+f[i-1][0];f[i][3]+=f[i-1][3]+f[i-1][1];}else if(j==b[i]) {f[i][0]+=f[i-1][0];f[i][1]+=f[i-1][1];f[i][2]+=f[i-1][2];f[i][3]+=f[i-1][3];}else {f[i][1]+=f[i-1][1]+f[i-1][0];f[i][3]+=f[i-1][3]+f[i-1][2];}cal(i);}}else if(a[i]!='?'&&b[i]=='?') {for(int j='0';j<='9';j++) {if(a[i]>j) {f[i][2]+=f[i-1][2]+f[i-1][0];f[i][3]+=f[i-1][3]+f[i-1][1];}else if(a[i]==j) {f[i][0]+=f[i-1][0];f[i][1]+=f[i-1][1];f[i][2]+=f[i-1][2];f[i][3]+=f[i-1][3];}else {f[i][1]+=f[i-1][1]+f[i-1][0];f[i][3]+=f[i-1][3]+f[i-1][2];}cal(i);}}else {for(int j='0';j<='9';j++) {for(int k='0';k<='9';k++) {if(j>k) {f[i][2]+=f[i-1][2]+f[i-1][0];f[i][3]+=f[i-1][3]+f[i-1][1];}else if(j==k) {f[i][0]+=f[i-1][0];f[i][1]+=f[i-1][1];f[i][2]+=f[i-1][2];f[i][3]+=f[i-1][3];}else {f[i][1]+=f[i-1][1]+f[i-1][0];f[i][3]+=f[i-1][3]+f[i-1][2];}}cal(i);}}cal(i);}for(int i=1;i<=n;i++) {for(int j=0;j<=3;j++) printf("%d ",f[i][j]);puts("");}printf("%lld\n",f[n][3]%mod);return 0;
}
/**/

容斥

// Problem: B. Yaroslav and Two Strings
// Contest: Codeforces - Codeforces Round #179 (Div. 2)
// URL: https://codeforces.com/problemset/problem/296/B
// Memory Limit: 256 MB
// Time Limit: 2000 ms
// 
// Powered by CP Editor (https://cpeditor.org)//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid (tr[u].l+tr[u].r>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n;
char a[N],b[N];LL getall() {LL ans=1;for(int i=1;i<=n;i++) {if(a[i]=='?') ans*=10;if(b[i]=='?') ans*=10;ans%=mod;}return ans%mod;
}LL get1() {LL ans=1;for(int i=1;i<=n;i++) {if(a[i]=='?'&&b[i]=='?') ans*=55;else if(a[i]=='?') ans*=(b[i]-'0'+1);else if(b[i]=='?') ans*=(10-(a[i]-'0'));else if(a[i]>b[i]) return 0;ans%=mod;}return ans%mod;
}LL get2() {LL ans=1;for(int i=1;i<=n;i++) {if(a[i]=='?'&&b[i]=='?') ans*=10;else if(a[i]=='?'||b[i]=='?') continue;else if(a[i]!=b[i]) return 0ll;ans%=mod;}return ans%mod;
}LL get3() {LL ans=1;for(int i=1;i<=n;i++) {if(a[i]=='?'&&b[i]=='?') ans*=55;else if(b[i]=='?') ans*=(a[i]-'0'+1);else if(a[i]=='?') ans*=(10-(b[i]-'0'));else if(a[i]<b[i]) return 0;ans%=mod;}return ans%mod;
}int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);/*int cnt=0;for(int i=0;i<=9;i++) for(int j=0;j<=9;j++) if(i>=j) cnt++;cout<<cnt<<endl;*/cin>>n>>(a+1)>>(b+1);LL ans=getall();ans+=get2(); ans%=mod;ans-=get1(); ans+=mod; ans%=mod;ans-=get3(); ans+=mod; ans%=mod;printf("%lld\n",ans%mod);return 0;
}
/**/