https://codeforces.com/gym/101987/attachments
题意：有一个字符串长度为k,每个位置只包含字符R或者B,现在有n个人,每个人都有3个猜想,问能否构造出一种字符串,使得满足每个人正确的猜想数都大于等于2.
思路：猜对大于等于2个这个不好处理，换一下说法，设三个猜测分别是c1,c2,c3。
如果c1猜错，那么c2和c3都猜对；如果c2猜错，那么c1和c3都猜对；如果c3猜错，那么c1和c2都猜对.
拿一个化一下，设 x i x_i xi为 c i c_i ci猜对， ¬ x 1 → ( x 2 ⋀ x 3 ) \lnot x_1 \rightarrow (x_2 \bigwedge x_3) ¬x1→(x2⋀x3)
转化为 x 1 ⋁ ( ¬ x 1 ⋀ ( x 2 ⋀ x 3 ) ) x_1\bigvee(\lnot x_1 \bigwedge (x_2 \bigwedge x_3)) x1⋁(¬x1⋀(x2
Gym 101987K TV Show Game
最新推荐文章于 2020-11-24 15:23:48 发布
最低0.47元/天 解锁文章
274
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
