题目链接:https://www.luogu.com.cn/problem/P1037

题目描述

给出一个整数 \(n(n<10^{30})\) 和 \(k\) 个变换规则 \((k \le 15)\) 。

规则:

一位数可变换成另一个一位数:

规则的右部不能为零。

例如:\(n=234\)。有规则(\(k=2\)):

\(2\)->\(5\)

\(3\)->\(6\)

上面的整数\(234\)经过变换后可能产生出的整数为(包括原数):

\(234\)

\(534\)

\(264\)

\(564\)

共 \(4\) 种不同的产生数

问题:

给出一个整数 \(n\) 和 \(k\) 个规则。

求出:

经过任意次的变换(\(0\)次或多次),能产生出多少个不同整数。

仅要求输出个数。

输入格式

键盘输入,格式为:

\(n\) \(k\)

\(x_1\) \(y_1\)

\(x_2\) \(y_2\)

... ...

\(x_n\) \(y_n\)

输出格式

屏幕输出,格式为:

\(1\) 个整数(满足条件的个数)

样例输入1

234 2
2 5
3 6

样例输出1

4

题解

这个问题我们可以转换成图论里面的问题。

我们可以把 \(0\) 到 \(9\) 这 \(10\) 个数看成 \(10\) 个点。

然后对于任意一对关系 \(x\) -> \(y\) ,我们从 \(x\) 向 \(y\) 连一条边。

那么我们怎么存这个图呢?

图论里面最基础的存图方式是 邻接矩阵邻接表

邻接矩阵 的方法:

我们开一个 \(10 \times 10\) 的数组 \(g[10][10]\) ,

一开始置所有的 \(g[i][j]\) 为 \(false\),

然后如果有一对关系 \(x\) -> \(y\) ,则令 \(g[x][y]\) 为 \(true\)。

这样操作之后,我就知道对于任意一个数 \(x\) ,它能够直接到达的数的个数,即:所有 \(g[x][j]\) 为 \(true\) 的数的个数。

我们这里说的是 \(x\) 到 \(y\) 能直接到达是指 \(x\) 到 \(y\) 有一条直接可达的边(即 \(g[x][y] = true\))。

但是除了直接可达以外,还有间接可达的,比如,如果有两对关系:

\(1\) -> \(2\)

\(2\) -> \(3\)

那么 \(1\) 是可以通过 \(2\) 间接到达 \(3\) 的。

那么怎么确定每一个数可达的数的范围呢?比较方便的形式就是 搜索

我们再开一个bool数组 \(vis[10][10]\) ,\(vis[x][y]\) 用于标记 \(x\) 到 \(y\) 是否可达(包括直接或间接可达);

然后开一个函数 dfs(int u, int s) ,其中 \(u\) 表示当前点, \(s\) 表示起点,如果当前到达点 \(u\) ,则置 \(vis[s][u]\) 为 \(true\),然后对于所有 u 直接可达的点 v ,执行 dfs(v, s)(但是要注意,如果此时 \(vis[s][v]\) 为 \(true\) ,则不需要访问了,因为递归的访问访问过的点会致使函数陷入死循环)。

实现的伪代码如下(伪代码就是不可以编译的代码,但是你可以看懂的代码):

dfs(u, s):
vis[s][u] = true;
for 所有u能够直接到达的v:
if (v没有访问过):
dfs(v, s);

但是这里遇到一个问题,这个问题是邻接矩阵的效率问题,这个问题体现在:

如果现在有 \(10\) 对关系:

\(0\) -> \(1\)

\(1\) -> \(2\)

... ...

\(8\) -> \(9\)

那么如果一开始从 \(0\) 开始搜索,会搜索 \(10\) 层,在每一层,对于当前 dfs(u, s) 中的 \(u\) ,我们需要从 \(0\) 到 \(9\) 遍历 \(v\) ,所以总共需要进行 \(10^{10}\) 次判断。

而这个时间是不允许的(一道题的时间复杂度不能超过 \(10^9\))!

因为邻接矩阵中存在很多多余的判断,对于任意一个 \(u\) ,你需要从 \(0\) 到 \(9\) 去遍历 \(i\) 并判断 \(g[u][i]\) 是否为 \(true\),来确定 \(u\) 到 \(i\) 是否有一条边。这样就有着很多多余的判断。

那么是否能够对于每一个点 \(u\) ,我们都用一个东西记录和它邻接的点(即:它能够到达的点)有哪些呢?

实现的方式有两种:

  1. 链表(链表刚好可以实现这个功能)
  2. 可变数组。

邻接表 的方法:

我们在这里使用 STL (C++标准库)中提供给我们的 vector 容器来实现这个功能。

vector 容器提供给我们的功能就是可变数组的功能。

使用 vector 之前需要添加头文件:

#include <vector>

当然这个头文件也是包含在万能头文件中的。

我们可以通过下面的代码来体会一下 vector 的使用:

#include <bits/stdc++.h>
using namespace std;
vector<int> vec; // 定义一个int类型的可变数组vec
int main() {
for (int i = 1; i <= 5; i ++)
vec.push_back(i); // vec内一次push进去1至5
cout << vec.size() << endl; // vec的大小
for (int i = 0; i < 5; i ++)
cout << vec[i] << ","; // 通过vec[i]获取vec的第i个元素,坐标同样从0开始
return 0;
}

输出结果如下:

5
1,2,3,4,5,

那么我们可以开一个 vector<int> 类型的数组 \(g[10]\) ,然后对于每一对关系 \(x\) -> \(y\) ,执行:

g[x].push_back(y);

然后想要知道点 \(x\) 有哪些直接可达的点 \(y\) ,可以这样遍历:

for (int i = 0; i < g[x].size(); i ++) {
int y = g[x][i];
}

但是以我多年的经验,每次执行 g[x].size() 效率比较低,所以我们可以一开始开一个变量 sz 来存放 g[x].size() ,然后再进行遍历,实现代码如下:

int sz = g[x].size();
for (int i = 0; i < sz; i ++) {
int y = g[x][i];
}

这样我们就大致讲解好了 邻接表 的 vector 实现。

然后我们再开一个 \(cnt\) 数组, \(cnt[x]\) 表示 \(x\) 能够达到的数的数量。

对于我们的样例:

因为 \(2\) 能够到达 \(5\) , \(3\) 能够到达 \(6\) ,所以:

\(cnt[2]=2\)

\(cnt[3]=2\)

其它的 \(cnt\) 值都为 \(1\) 。

所以对于 \(234\) 来说,总的方案数为:

\(cnt[2] \times cnt[3] \times cnt[4] = 2 \times 2 \times 1 = 2\)。

因为数据量达到了 \(10^{30}\) ,用 long long 也存不下,所以得使用高精度乘法(我的代码里面实现了一个很简单的高精度乘法)。

然后我们结合上面讲到的 dfs 函数,可以实现代码如下:

#include <bits/stdc++.h>
using namespace std;
char s[33];
int len, ans[33], k, x, y, cnt[10];
bool vis[10][10];
vector<int> g[10];
void dfs(int u, int s) {
vis[s][u] = true;
int sz = g[u].size();
for (int i = 0; i < sz; i ++) {
int v = g[u][i];
if (!vis[s][v])
dfs(v, s);
}
}
void multi(int a) { // 实现大数和小数的乘法
for (int i = 0; i < 33; i ++)
ans[i] *= a;
for (int i = 0; i < 32; i ++) {
ans[i+1] += ans[i]/10;
ans[i] %= 10;
}
}
void output() { // 输出结果
int i = 32;
while (i > 0 && ans[i] == 0) i --;
while (i >= 0) cout << ans[i--];
cout << endl;
}
int main() {
cin >> s >> k;
while (k --) {
cin >> x >> y;
g[x].push_back(y);
}
for (int i = 0; i < 10; i ++)
dfs(i, i);
for (int i = 0; i < 10; i ++)
for (int j = 0; j < 10; j ++)
cnt[i] += vis[i][j];
ans[0] = 1;
int len = strlen(s);
for (int i = 0; i < len ; i ++)
multi(cnt[ s[i]-'0' ]);
output();
return 0;
}

最新文章

  1. MMC不能打开文件D:\Program Files\Microsoft SQL Server\80\Tools\BINN\SQL Server Enterprise Manager.MSC
  2. jquery检测浏览器版本
  3. Excel中设置下拉列表的来源怎么选择其他工作表的内容
  4. 对Web标准的理解。可用性和可访问性
  5. iOS 设置tableview头部不可以向下拉动..
  6. Codeforces Round #207 (Div. 2) A. Group of Students
  7. for-in语句
  8. sql语句中查询出的数据添加一列,并且添加默认值
  9. Linux忘记rootpassword
  10. 【UNIX网络编程(一)】套接字地址结构、网络字节顺序和地址转换功能
  11. 关于指针要注意的地方还有尝试在codeblocks上建立项目
  12. http://www.cnblogs.com/gaojing/archive/2011/08/23/2413616.html
  13. 造成错误“ORA-12547: TNS:lost contact”的常见原因有哪些?
  14. Mac OS X下让ruby支持tcl/tk
  15. native的详细用法
  16. 父元素高度设置为min-height,子元素高度设置为100%,但实际上子元素高度你知道是多少吗?
  17. python3+selenium入门12-警告框处理
  18. iOS:苹果内购实践
  19. (4)Jquery1.8.3快速入门_基本选择器
  20. 008-spring cache-缓存实现-03-springboot redis实现

热门文章

  1. Shell echo 命令
  2. 2019徐州网络赛 I.query
  3. laravel 使用create 报错 MassAssignmentException
  4. C#面向对象--命名空间与类库
  5. docker 使用总结
  6. [转]Win10下安装Linux子系统
  7. Vue 动画的钩子函数
  8. H3C 单区域OSPF配置示例一(续)
  9. H3C 查看RIP的debugging信息
  10. CSS3 box-sizing 盒子布局