• 2023-10-06网络流
    LuoguP6054考虑限制的形式:一个选手必须恰好选择一套题。元组\((i,j,u,k)\)表示若\(i\)选择\([j,m]\),则\(u\)必须选择\([j+k,m]\)。前者显然可以用最小割解决。具体来说,构造\(i\)条长为\(m+1\)的链\(p_i\),连接\((S,p_{i,1},\inf),(p_{i,j},p_{i,j+1},w_{i,j
  • 2023-09-16Codeforces Global Round 17 A. Anti Light's Cell Guessing
    给一个\(n\timesm\)的网格,里面藏了一个炸弹\((x_0,y_0)\)。你可以选择\(k\)个坐标\((x_1,y_1),(x_2,y_2),\cdots,(x_k,y_k)\)。第\(i\)次选择计算机会回复你一个数\(d_i=|x_0-x_i|+|y_0-y_i|\)。至少需要选出多少个坐标才能确定\((x_0,y_0)\)的位
  • 2023-08-07浅谈 2-SAT
    SAT是适定性(Satisfiability)问题的简称。一般形式为k-适定性问题,简称k-SAT。而当\(k>2\)时该问题为NP完全的。所以我们只研究\(k=2\)的情况。而2-SAT问题一般指的是,有\(n\)个布尔变量\(x_1,x_2\dotsx_n\),现在有若干个二元的运算,是对于\(x_i,\negx_i,x_j\neg
  • 2023-06-17CF521E Cycling City 解题报告
    题面一道难得恰到好处的构造题。分析因为要构造三条从\(s\)到\(t\)的路径,且三条路径中任意两条路径经过的点集的交集等于\(\{s,t\}\)。我们知道当两条路径经过的点集的交集等于\(\{s,t\}\)时,这两条路径将会构成一个环。因此题意转化为要求我们找到两个经过的边集有重合
  • 2023-04-19【230419-5】在某种信息传输过程中,用4个数字的一个排列表示1个信息,不同排列表示不同信息,若所用数字只有0和1,则与信息0110至多有两个对应位置上的数字相同的信息个数为?
  • 2023-02-20第4节 可数集合
    掌握可数集合的定义和性质,可以利用可数集的性质证明一个集合是可数的.注意: 可数集是最小的无限集合.例 平面上以有理点为圆心,有理数为半径的圆的全体A为可数集.证
  • 2023-02-08【CCCC】L3-020 至多删三个字符 (30分),序列dp+去重
    problemL3-020至多删三个字符(30分)给定一个全部由小写英文字母组成的字符串,允许你至多删掉其中3个字符,结果可能有多少种不同的字符串?输入格式:输入在一行中给出全部由
  • 2023-02-04WC2023(授课与讨论7)
    FabulousFungusFrenzy(3)将过程逆序,\(1\)操作不变,\(2\)操作即将与模板矩阵匹配的子矩形变为通配符借助\(1\)操作,可以在\(2(n+m)\)次操作内交换两个位置在此基础上,不断
  • 2022-10-30适配器设计模式学习
    转自:https://www.runoob.com/design-pattern/adapter-pattern.html1.介绍将一个类的接口转换成客户希望的另外一个接口。适配器模式使得原本由于接口不兼容而不能一起工