@ACM-ICPC 2017 Asia Urumqi(乌鲁木齐): K. Sum of the Line (容斥原理)