题目名称 | 2100. [SYOI 2015] Asm.Def的报告 |
---|---|
输入输出 | asm_report.in/out |
难度等级 | ★★☆ |
时间限制 | 2000 ms (2 s) |
内存限制 | 256 MiB |
测试数据 | 10 |
题目来源 | cqw 于2015-11-06加入 |
开放分组 | 全部用户 |
提交状态 | |
分类标签 | |
分享题解 |
通过:15, 提交:40, 通过率:37.5% | ||||
liu_runda | 100 | 0.089 s | 3.53 MiB | C++ |
Sky_miner | 100 | 0.091 s | 4.58 MiB | C++ |
sxysxy | 100 | 0.122 s | 3.49 MiB | C++ |
zhengtn03 | 100 | 0.137 s | 5.28 MiB | C++ |
AntiLeaf | 100 | 0.148 s | 3.55 MiB | C++ |
leon | 100 | 0.158 s | 7.64 MiB | C++ |
dydxh | 100 | 0.163 s | 14.24 MiB | C++ |
_Itachi | 100 | 0.193 s | 8.84 MiB | C++ |
AntiLeaf | 100 | 0.202 s | 7.55 MiB | C++ |
KYOD | 100 | 0.298 s | 19.11 MiB | C++ |
本题关联比赛 | |||
“Asm.Def战记之夏威夷”杯 |
关于 Asm.Def的报告 的近10条评论(全部评论) | ||||
---|---|---|---|---|
赶脚cojs的2-SAT里所有的题都没楼上lyc大神出的经典,难度似乎也没有lyc大神出的大,详见2443. [HZOI 2016]MC之旅:逃离基友
_Itachi
2016-10-06 07:07
7楼
| ||||
经典2-SAT问题,模板水之
Sky_miner
2016-07-09 06:58
6楼
| ||||
模板题水之
| ||||
666
| ||||
赞
ztx
2015-11-07 22:29
3楼
| ||||
| ||||
|
“呱..呱”,青蛙在瓦胡岛青翠的雨林中歌唱。阳光透过树冠倾泻到地表,夏威夷吉他的琴声在温和的海风中回响。
“我们最后还是用程序打败了程序,不是吗,方教授?”
“这正是我们比程序的高级之处。”
“但透明计算网络通过了图灵测试,它有感情……”
“不,它不能理解所有感情,至少有一样不行。”方教授转过身,向Asm.Def狡黠地微笑,“这个apply for Medal,你需要做一个报告,在上戏。”
他把一个信封递给Asm.Def,“我只能帮你到这了。”
Asm.Def需要做一个报告,这意味着对于N个命题,Asm.Def需要逐一陈述它们是真还是假。有M名女生听报告,对于每一名女生,如果Asm.Def对命题的陈述满足一定条件,她就会爱上Asm.Def。Asm.Def希望所有女生都爱上他,所以他需要确定陈述哪些命题为真,哪些命题为假。
第一行两个整数N,M,代表命题数量和女生数量。
接下来M行,描述每一个女生对命题的要求。
每个女生的要求形如“a b”,意味着这名女生要求a为真或b为真。若a>0,则a代表a号命题,若a<0,则a代表-a号命题的否命题。B也一样。例如,1
2代表这名女生要求1号命题为真或2号命题为真,-5 6代表这名女生要求5号命题为假或6号命题为真。
一行N个01数,分别代表Asm.Def应当陈述代表1~N号命题为真(1)还是假(0)。数据保证有解。
5 10 4 -3 -3 -1 -3 -3 -2 3 5 -1 1 -2 3 -3 5 -1 -4 -2 5 4
1 0 0 1 1
命题1,4,5为真,命题2,3为假。
对于40%的数据,N,M<=20.
对于70%的数据,N,M<=2000.
对于100%的数据,N,M<=100000.
“Asm.Def战记之夏威夷”杯