Ab.Ever

Solution这是NOI 2017 Day2的T1。这是一道签到题(然而好像卡dfs)。。这题貌似是本学校的一位校友(大神)出的。。。一开始看到这题以为是3-SAT，NPC问题啊，怎么做？后来在机房同学们的讨论下(网络同步赛大家都集中起来)，发现其实只是一道水水的2-SAT。首先，看到输出任意解的题目就可以想2-SAT。求2-SAT是可以达到线性的复杂度的，题目的关键在于d<=8，即给出的字符串中

题目传送门题解题目有几个地方告诉我们这题是2-SAT。首先是变换次数不要求最小，而且任意方案就可以。而且变换只有两种，一个字母要么小写，要么大写。于是我们就可从2-SAT入手去切这题。题目要求字符串的排序必须按照字典序的不降序。我们需要变换其中一些字母的大小写。如何找出一个合法方案呢？首先，我们把字符串序列的不降序等价变成考虑相邻两个。然后我们将相邻两个串逐位比较，如果相等，就不会带来限制，直接跳过