2020-2021:teams:intrepidsword:zhongzihao:codeforces_round_639_div._1
差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录 前一修订版 后一修订版 | 前一修订版 | ||
|
2020-2021:teams:intrepidsword:zhongzihao:codeforces_round_639_div._1 [2020/05/09 01:23] admin 已恢复为旧版 (2020/05/08 16:32) |
2020-2021:teams:intrepidsword:zhongzihao:codeforces_round_639_div._1 [2020/05/09 11:56] (当前版本) toxel fix |
||
|---|---|---|---|
| 行 1: | 行 1: | ||
| + | ====== Contest Info ====== | ||
| + | |||
| + | [[http://codeforces.com/contest/1344|practice link]] | ||
| + | |||
| + | ====== Solutions ====== | ||
| + | |||
| ===== A. Hilbert’s Hotel ===== | ===== A. Hilbert’s Hotel ===== | ||
| 行 9: | 行 15: | ||
| ===== C. Quantifier Question ===== | ===== C. Quantifier Question ===== | ||
| - | **题目大意**：给定一个逻辑命题 $?x_{1}?x_{2}\cdots?x_{n}\bigwedge_{i=1}^{m}(x_{i_{1}}<x_{i_{2}})$，其中每个 $?$ 填上 $\forall$ 或 $\exist$，使得命题成立。求 $\forall$ 的最大数量。 | + | **题目大意**：给定一个逻辑命题 $?x_{1}?x_{2}\cdots?x_{n}\bigwedge_{i=1}^{m}(x_{i_{1}}<x_{i_{2}})$，其中每个 $?$ 填上 $\forall$ 或 $\exists$，使得命题成立。求 $\forall$ 的最大数量。 |
| - | **题解**：建图。如果有环显然无解。否则，对于一个 $i$，如果存在 $j<i$ 使得 $j\to i$ 或 $i\to j$，那么 $i$ 只能选择 $\exist$。那么对于每个 $j$ 在正反图上分别 bfs 一遍标记一下 $i$ 即可。 | + | **题解**：建图。如果有环显然无解。否则，对于一个 $i$，如果存在 $j<i$ 使得 $j\to i$ 或 $i\to j$，那么 $i$ 只能选择 $\exists$。那么对于每个 $j$ 在正反图上分别 bfs 一遍标记一下 $i$ 即可。 |
| ===== D. Résumé Review ===== | ===== D. Résumé Review ===== | ||
2020-2021/teams/intrepidsword/zhongzihao/codeforces_round_639_div._1.1588958581.txt.gz · 最后更改: 2020/05/09 01:23 由 admin
