好久没有2-sat了,此题当复习之用,二分求最大值+2-sat判断可行,此题主要跪于题意:The results should be rounded to three decimal places. You should promise that there is still no overlap for any two balloons after rounded. rounded是四舍五入的意思,按要求,3位之后要全部舍去,知道:printf(),自动四舍五入.所有-0.0005 之后四舍五…