摘要：
最近，迷恋上DEBUG…… 1.首先暴力一遍num[i][j]即从i到j串里包含多少个子串 （注意首字母的使用） 2.f[i][j]表示前i个数划分j次，最多单词个数 f[i][j]=max(f[i][j],f[k][j 1]+num[k+1][i]; !注意j,k范围 include define 阅读全文
摘要：
"洛谷" 发现不成立的情况是一种食材要被做成两种方法 也就是说：如果牛肉要被一号评委作为满式，被X号评委做成汉式 则我们将满式牛肉连向X号评委希望的另一种菜肴 将汉式牛肉连向一号评委希望的另一种菜肴 （因为如果选了汉式牛肉，则满式牛肉不可选 而选了另一种菜肴，却不一定必须要选汉式牛肉） 我说清楚了吧 阅读全文
摘要：
"题目" 再次吐糟2 sat诡奇的建图 阅读全文
摘要：
2003 国家集训队论文——伍昱 建图 若A成立，则B一定成立，就建图A B 在保证B'不成立，则A'一定不成立时才B' A' 一般来说A'=A+n tarjan找环 若发现A&A'皆在一个环内（若A成立，则A'成立），则当前答案无解 参照命题，逆命题，逆否命题，否命题 阅读全文