题目名称 | 3578. TJ的证明 |
---|---|
输入输出 | TJ_prove.in/out |
难度等级 | ★ |
时间限制 | 1000 ms (1 s) |
内存限制 | 2048 MiB |
测试数据 | 10 |
题目来源 | Sicly 于2021-04-07加入 |
开放分组 | 全部用户 |
提交状态 | |
分类标签 | |
分享题解 |
通过:0, 提交:3, 通过率:0% | ||||
Sicly | 60 | 1.755 s | 101.19 MiB | C++ |
Sicly | 60 | 3.041 s | 957.72 MiB | C++ |
Sicly | 0 | 1.145 s | 98.73 MiB | C++ |
关于 TJ的证明 的近10条评论(全部评论) | ||||
---|---|---|---|---|
真服了作者自己没做对
小刘同学
2023-11-13 22:23
2楼
| ||||
题目不太严谨啊,一是公理,命题啥的没看懂是要干什么,还有输入格式里应该是接下来n-1行而不是接下来n行
tat
2021-04-07 22:01
1楼
|
HF老师看完QLH和D某某的狗血故事后,十分无语,但TJ的证明才刚刚开始。TJ的证明是一个有向图,每个点代表TJ提出的一个命题,其中,如果一个点可以通向另一个点,这个命题,可以去证明另一个命题。
注意,对于一个命题,如果它可以被公理直接证明或两个及以上的定理证明,即称它是一个定理。现在,Mr.Liu提出了m个提问,对序号为am的命题的真伪提出了疑问,请你回答该命题是(True)否(fLase)为定理。
第一行一个整数n,代表这个图有n条边。
接下来n行,每行两个数,是一条边的起点和终点,表示可以通向
接下来一行,一个数m,代表m个疑问
再接下来一行,m个数,代表对am提出了疑问
一行m个字符串,代表m个询问的答案,字符串中间用' '隔开。
5
1 2
1 3
2 4
2 5
2
3 4
True fLase
ZJZ很懒,什么也不想告诉你
送福利时间到啦!
首先,对于10%的数据,n<=1
其次,对于另外20%的数据,可以表示为一个树,其中10%的树,深度=2,对于另外10%,询问的点深度>2
再次,对于另外20%的数据,公理的出度为0
对于100%的数据,n<100000,m<10000,最多10000个点
ZJZ