bzoj 4487: [Jsoi2015]染色问题 （容斥原理+组合数学）