并查集+离散化——程序自动分析