Yurchiu's Blog

[Idea] 充要条件

Yurchiu 2021-09-19, 22:32:07 934 隐藏左右两栏 展示左右两栏

题目描述

Yurchiu 是一个可爱的女孩子,有一天她出了个题考考你。这个题叫做”充要条件“。

给定 nn 个条件,编号为 1n1\sim n

之后给定 mm 个命题,格式为 “ iijj 的 XX 条件 ”。其中,“XX” 为 “既不充分也不必要” “充分不必要” “必要不充分” “充要” 中的一个。

所给命题都是真命题

然后给定 qq 个询问,格式为 “ iijj 的什么条件 ”。其中,你需要回答 “既不充分也不必要” “充分不必要” “必要不充分” “充要” ”没有关系“ 中的一个。

我们称两个条件 p,qp,q 有关系,当且仅当存在一个真命题 “ ppqq 的 XX 条件 ”。其中,”XX“ 的含义与上文相同。这个命题可以由给出的 mm 个命题推出。

为了方便输入,设集合 S={1,2,3,4}S=\{1,2,3,4\}141\sim4 分别表示 “既不充分也不必要” “充分不必要” “必要不充分” “充要”。

为了方便输出,设集合 P=S{0}P=S\cup\{0\}00 表示 “没有关系”。

输入格式

第一行是三个正整数 nnmmqq

接下来 mm 行,每行有三个正整数 aia_ibib_icic_i,表示命题 “ aia_ibib_icic_i 条件 ”。

接下来 qq 行,每行有两个正整数 xix_iyiy_i,表示询问 “ xix_iyiy_i 的什么条件 ”。

输出格式

qq 行,第 ii 行表示第 ii 个询问的答案 pip_i。你需要保证 piPp_i\in P

输入输出样例

输入 #1输出 #1解释 #1
4 4 4
1 2 2
2 3 3
3 4 3
2 4 2
1 2
1 3
1 4
3 4
2
2
2
4

1122 的充分不必要条件。

1122 的充分不必要条件,2244 的充分不必要条件,则 1144 的充分不必要条件。

1144 的充分不必要条件,3344 的必要不充分条件,则 1133 的充分不必要条件。

3344 的必要不充分条件,2233 的必要不充分条件,2244 的充分不必要条件,则 3344 的充要条件。

输入 #2输出 #2解释 #2
3 2 3
1 2 1
2 3 1
1 2
1 3
2 3
1
0
1

1122 的既不充分也不必要条件。

1122 的既不充分也不必要条件,2233 的既不充分也不必要条件,则 1133 没有关系。

  • 比如,1:a=11: a=12:a=22:a=23:a=13:|a|=1
  • 或者,1:1: Yurchiu 是女孩子,2:2: Yurchiu 不是女孩子,3:3: Yurchiu 是可爱的女孩子。
  • 这两个例子说明了 1133 关系的不确定性,易知解释的正确性。

2233 的既不充分也不必要条件。

提示说明

对于 100%100\% 的数据,保证 1ai,bi,xi,yin1\le a_i,b_i,x_i,y_i\le nciSc_i\in Sknmkn\le mqqnn 同阶。其中 kk 为不超过 1010 的常数。

标程莫得,故尽量使用较优的时间复杂度的算法解决该问题。

低于 O(n2)O(n^2) 能否可解?或者更优?

初步想法

按照所给命题建图。如果 pqp\Rightarrow q,则由 ppqq 连边。如果 ppqq 不能互推,则将 ppqq 放到一个并查集里面。

先对整个图跑一个 Tarjan,缩点,处理掉充要条件的情况。

O(n2)O(n^2) 做法,按照题意模拟,特判互不连通的情况(并查集)。

更优做法,不会做了 /kk。





本文作者:Yurchiu

本文链接:https://yz-hs.github.io/b48730b3eb5e/

版权声明:本博客中所有原创文章除特别声明外,均允许规范转载,转载请注明出处。所有非原创文章,按照原作者要求转载。


By Yurchiu.
其他物件杂物收纳
Hitokoto

Yurchiu 说,除了她以外的人都很强!嘤嘤嘤~~
博客信息
文章数目
158
最近更新
08-21
本站字数
350.6k
文章目录