Codeforces gym 101173 L

最新推荐文章于 2021-08-23 11:21:15 发布

mayaohua2003

最新推荐文章于 2021-08-23 11:21:15 发布

阅读量217

点赞数

分类专栏：集训队作业 codeforces 构造

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/qq_38609262/article/details/111711136

版权

不妨令所有变量以 $v^1$ 为基准，相同为 $0$ ，不同为 $1$ 。
那么考虑每个变量在另两组取值，可能是 $00, 01, 10, 11$ 。 $00$ 意味着在三组中都相同，可以用 $x_i\to !x_i$ 来限制。
由于三组变量互相不完全相同，因此 $01, 10, 11$ 中至少有两组出现。事实上，如果三组都出现了，显然无解，因为这时候令一组变量取值 $v^*$ 在这三组中都取 $1$ ， $00$ 那组取 $0$ ，那么任意选择 $(i, j)$ ，一定存在某一组变量 $v^k$ 满足 $v^k_i=v^*_i,v^k_j=v^*_j$

最低0.47元/天解锁文章

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
Codeforces gym 101173 L

不妨令所有变量以v1v^1v1为基准，相同为000，不同为111。那么考虑每个变量在另两组取值，可能是00,01,10,1100,01,10,1100,01,10,11。000000意味着在三组中都相同，可以用xi→!xix_i\to !x_ixi→!xi来限制。由于三组变量互相不完全相同，因此01,10,1101,10,1101,10,11中至少有两组出现。事实上，如果三组都出现了，显然无解，因为这时候令一组变量取值v∗v^*v∗在这三组中都取111，000000那组取000，那么任意选择(i,j
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。