qq_38485742的博客

原创 cf923D Picking Strings

题目给出的条件：A->BCB->ACC->AB我们可以通过推理获得三个式子：A->BBB<->AB（这意味着B之前可以增加或者减少任意个A）B<->C（可以把所有的C看成B,因为它们能互相转化）证明如下：1.首先有B->AC->AAB   所以B->AAB->AAAAB->AB->AAAB->B故B&