srm 304 div2 1000（环形DP进阶，几何）

题意：
给你一个多边形。（顺时针给出顶点）你可以选择一些互不相邻的顶点来移动，使得移动后的多边形面积最大。
思路：
这道题的贪心思路是错的，因为不存在最优性质，因为你可以连续不选一些点来获取更大的解。
先考虑只移动一个顶点是怎样最优。v1, v2, v3相邻，现在移动v2。问题变成了怎样使三角形v1v2v3的面积最大，很显然应该沿着高线移动。最大增加量就是 |v1v3|*1/2
现在定义dp [i]为0…i的顶点选一些来移动得到的最大增量。
决策：
1）不移动i-1
2）移动i-1
因为是环形，所以i移动与否要靠它后面一点来决定，0和n-1是否移动构成了边界状态
$dp[i] = max (dp[i-1], dp[i-2] + dist(x[i] - x[i-2), y[i] - y[i-2])$

class PolyMove
{
        public:

    inline double dist(double dx, double dy) {
        return sqrt(dx*dx+dy*dy);
    }

        double addedArea(vector <int> x, vector <int> y)
        {
        int n = x.size();
        vector<double> dp(n);

        double ans = 0;
        // not choose 0 nor n-1
        dp[0] = 0;dp[1] = 0;
        for (int i=2;i<n;++i) dp[i] = max (dp[i-1], dp[i-2] + dist(x[i] - x[i-2], y[i] - y[i-2]) * 0.5);
        ans = dp[n-1];

        // choose 0 but not n-1
        dp[0] = 0;dp[1] = dist(x[1]-x[n-1], y[1] - y[n-1]) * 0.5;
        for (int i=2;i<n;++i) dp[i] = max (dp[i-1], dp[i-2] + dist(x[i] - x[i-2], y[i] - y[i-2]) * 0.5);
        ans = max (ans, dp[n-1]);

        // choose n-1 but not 0
        dp[0] = dist(x[0] - x[n-2], y[0] - y[n-2]) * 0.5;dp[1] = dp[0];
        for (int i=2;i<n-1;++i) dp[i] = max (dp[i-1], dp[i-2] + dist(x[i] - x[i-2], y[i] - y[i-2]) * 0.5);
        ans = max (ans, dp[n-2]);

        return ans;
        }
};