摘要： This time, you are supposed to find A+B where A and B are two polynomials. Input Each input file contains one test case. Each case occupies 2 lines, a 阅读全文

摘要： Calculate a + b and output the sum in standard format -- that is, the digits must be separated into groups of three by commas (unless there are less t 阅读全文

摘要： １.前束范式 一个公式，如果量词均在全式的开头，它们的作用域延伸到整个公式的末尾，则称为是前束范式。例如：(x)(y)(z)（Q(x,y)→R(z)）的地方是并或交。任何一个谓词公式都有一个前束范式等价。 ２.容斥原理 ｎ个集合的并集的元素的个数＝每个集合元素的个数和－两两集合交＋三三集合交 阅读全文