文章介绍了容斥原理公式，并通过两道例题（图论染色和CSP-S 2019题目）展示了其应用。