ZHK's blog

满汉全席是中国最丰盛的宴客菜肴，有许多种不同的材料透过满族或是汉族的料理方式，呈现在数量繁多的菜色之中。由于菜色众多而繁杂，只有极少数博学多闻技艺高超的厨师能够做出满汉全席，而能够烹饪出经过专家认证的满汉全席，也是中国厨师最大的荣誉之一。世界满汉全席协会是由能够料理满汉全席的专家厨师们所组成，而他们之间还细分为许多不同等级的厨师。为了招收新进的厨师进入世界满汉全席协会，将于近日举办满汉全席大赛...

有 nnn 个布尔变量 x1x_1x1​ ∼xn\sim x_n∼xn​ ，另有 mmm 个需要满足的条件，每个条件的形式都是 「xix_ixi​ 为 true / false 或 xjx_jxj​ 为 true / false」。比如 「x1x_1x1​ 为真或 x3x_3x3​ 为假」、「x7x_7x7​ 为假或 x2x_2x2​ 为假」。2-SAT 问题的目标是给每个变量赋值...

其实这个东西跟并查集有点异曲同工。如果要满足 ax=0/1a_x=0/1ax​=0/1 或 ay=0/1a_y=0/1ay​=0/1 的话。这个东西就跟食物链差不多了。我们先开 222 倍空间。fif_ifi​ 表示 ai=0a_i=0ai​=0fi+nf_{i+n}fi+n​ 表示 ai=1a_i=1ai​=1所以我们就开始连边。连完边以后，我们就可以开始跑强联通分量。我们发现在...