又是一道2-SAT裸题（读题比想题久/kk） /* m: 0 (i + 0 * n) h: 1 (i + 1 * n) */ #include <iostream> #include <cstdio> #include <cstring> using namespace std; const int ...
分类：
Web程序 时间：
2020-05-09 22:55:23
阅读次数：
62
在远古时代，文字没有出现之前。知识的传承靠口口相传，不管隔了多少代，其准确性很高。文字出现后，我们大脑中的这种技能反而逐步衰退。于是各种软件、各种方法充斥着我们，左右着我们。各位是否也有相同的想法？试想一下，上节课我们讲了什么？每次应允别人的承诺，我们转过头就忘记？比如忘记约会，忘记洗车、忘记写日报？“要想知道栗子的味道，你得咬一口”这个真理朴实，正确。当用户提出一款软件时，我们不要只想着从技术的
分类：
其他好文 时间：
2020-03-01 21:37:32
阅读次数：
76
"洛咕" 题意:有n种材料,每种材料可以被做成汉式菜肴和满式菜肴中的一种,有m个评委,每个评委喜欢两种菜肴(汉式和满式任意,材料任意),求能否做两个菜肴使得满足每个评委的至少一个条件.($n include include include include include include includ ...
分类：
Web程序 时间：
2019-10-12 11:06:18
阅读次数：
183
感觉方法和题解差不多，但是题解写的好烦啊...也不是烦，就是很复杂 这里建议开一个数组表示当前这个点选或者不选的编号，这样之后自己理思路也会清楚一点 然而我调了一个小时才发现我是Tarjan写错了...... 这道题对于每一个菜分两种情况讨论，每一种情况又有选和不选两种方案 所以相当于每一个菜可以拆 ...
分类：
Web程序 时间：
2019-10-06 15:10:56
阅读次数：
133
前言 由于蒟蒻才刚开始学 $\text{2 SAT}$，所以题解中有的地方可能不够精炼，望多包涵！ 题目描述 题目意思很简单，标准的$\text{2 SAT}$问题模型。那么我们就先来介绍一下 $\text{2 SAT}$ （以下是个人的小小概括） $\text{2 SAT}$ 问题，抽象化一下，是 ...
分类：
Web程序 时间：
2019-07-29 10:11:22
阅读次数：
119
https://www.luogu.org/problemnew/show/P4171 意识到图中只有两种不同的菜系：满和汉 并且检查员类似于一个约束，可以发现这就是一个2-sat模型，满和汉分别对应true和false 由于只是检查可行性，只需要判断存在点的true个false存在同一个强连通分量 ...
分类：
Web程序 时间：
2019-04-26 14:46:42
阅读次数：
142
$Descripion:$ 给出 $n$ 种材料，有 $m$ 个人，每个人会要求对某种材料进行汉式和满式两种加工。 一种材料只能用一次，问是否有可能满足全部人的要求。（满足定义是有一项他提出的菜做了）。 $Sample$ $Input:$ 2 3 4 m3 h1 m1 m2 h1 h3 h3 m2 ...
分类：
Web程序 时间：
2019-04-22 21:09:01
阅读次数：
167
1、坐在他的左边，可以观察到他的真实想法。在心理学中有一种说法，那就是左侧的脸表达真实想法，右侧的脸表达伪装的想法。坐在他的左边，可以充分的观察他的左脸，从表情就能确认他的真心。2、撩拨头发女性撩拨头发，潜意识表明想展现好的一面给对方。3、摸耳朵4、吃饱了，看见满汉全席，也索然无味，不会觉得好吃。之 ...
分类：
其他好文 时间：
2018-11-25 20:23:12
阅读次数：
214
"P4171 [JSOI2010]满汉全席" 题意 题目描述 满汉全席是中国最丰盛的宴客菜肴，有许多种不同的材料透过满族或是汉族料理方式，呈现在数量繁多的菜色之中。由于菜色众多而繁杂，只有极少数博学多闻技艺高超的厨师能够做出满汉全席，而能够烹饪出经过专家认证的满汉全席，也是中国厨师最大的荣誉之一。世 ...
分类：
Web程序 时间：
2018-11-02 02:02:34
阅读次数：
233
[题目链接] https://www.lydsy.com/JudgeOnline/problem.php?id=1823 [算法] 2-SAT [代码] ...
分类：
Web程序 时间：
2018-08-20 21:44:35
阅读次数：
171
