【10.27】【VP】Codeforces Round #747 (Div. 2)_codeforces ideal farm-CSDN博客

本文链接：https://blog.csdn.net/weixin_51948235/article/details/127554174

ALL：7
AC：5
补题：1
Rank：447

D. The Number of Imposters

题意：

有 $n$ 个人，每个人可能是诚实的人或者说谎的人。
诚实的人永远说真话，说谎的人永远说假话。
有 $m$ 个条件，分别表示 $a_i$ 说 $a_j$ 是诚实的人/说谎的人。
你需要判断在这些限制条件下，最多有可能有几个诚实的人，或输出 -1 声明不可能存在这种情况。

思路：我们用 $0/1$ 代表好人 / 坏人。对于 $a_i$ 说 $a_j$ 是 $0/1$ 这件事情：

如果 $a_i$ 说 $a_j$ 是 $0$ ，那么 $a_i$ 是好人且 $a_j$ 是好人，或者 $a_i$ 是坏人且 $a_j$ 是坏人。即 $a_i\oplus a_j=0$ 。
如果 $a_i$ 说 $a_j$ 是 $1$ ，那么 $a_i$ 是好人且 $a_j$ 是坏人，或者 $a_i$ 是坏人且 $a_j$ 是好人。即 $a_i\oplus a_j=1$ 。

那么每一个语句可以看作一条边权为 $0/1$ 的连接 $i, j$ 的边，表示 $a_i\oplus a_j=0/1$ ，每一个点的颜色未知，求这个无向图在没有奇数环的情况下的最大 $0/1$ 颜色数量。染色法跑一边即可。

AC代码：https://codeforces.com/contest/1594/submission/178051466

E2 DP 较复杂，没有补。

F. Ideal Farm

题意：

Farmer John 有 $s$ 只奶牛，和 $n$ 个独立的篱笆，每个篱笆里可以圈养一些奶牛。出于一种奇♂️怪的偏好，Farmer John 把篱笆排成了一排。第 $i$ 个篱笆圈养的奶牛数量为 $a_i$ ，显然我们有 $\sum_{i=1}^n a_i=s$ 。而且，处于 Farmer John 的癖好，他要求对于每个 $i$ 都有 $a_i>0$ 。

Bessie 认为一个农场是“幸运的”当且仅当你可以找到一个区间 $[l, r]$ ，使得 $\sum_{i=l}^ra_i=k$ 。

而得寸进尺的 Bessie 认为一个农场是“牛逼的”当且仅当不管 Farmer John 怎么安置他的奶牛，该农场都是“幸运的”。

现在有 $t\,(1\le t\le 10^5)$ 组询问，每组询问给出 $s, n$ 和 $k\,(1\le s,n,k\le {10}^{18},\,n\le s)$ ，询问这个农场是不是“牛逼的”。

题解：CF1594F

思路：反着考虑，判断是否存在分割方案使得任意区间和不等于 $k$ 。

如果存在这样的分割序列 $a_1,a_2\cdots a_n$ ，搞一下前缀和 $0,s_1,s_2\cdots s_n(0<s_1<s_2<\cdots s_n=s)$ ，则必然满足任意两个数之差不为 $k$ ，等价于在 $0\sim s$ 中选择 $n + 1$ 个数字使得不存在任意两数之差为 $k$ 。这个问题可以求一下最大的可选择数量（同余系下交替选择），判一下和 $n + 1$ 的大小即可。