WInScar的专栏

Problem Statement　　从一串数中取数，取走其中一个数的时候，要连带取走与其相邻的数字（例如：取走10，若数串中有9和11，就也都取走）。　　要求：给一串数，设计算法，使得取数的次数最多。 DefinitionClass:SRMCardsMethod:maxTurnsParameters:vector

数学上的证明方法有很多，今天翻离散数学翻到证明方法的部分，觉得很是经典，所以将他们列在这边，以便自己时时记在心上。　　定理常见的形式是“P成立当且仅当Q成立”，“如果P成立，那么Q成立”。而前者又相当于P推出Q，并且Q也推出P，所以归根到底，定理的主要形式是P推出Q，至于其他形式，诸如非P的形式，只需要证明P是假；PQ均成立，只需证明P成立且Q成立；P或Q成立，只需证明P成立，P不成立