实测模拟退火加上线段树维护可过，有大佬可以讲解一下正确性吗？