标签: 排列 插板法 杨辉三角 NOIP2010 NOIP2014 容斥原理