题目传送门

#include <bits/stdc++.h>
//https://www.acwing.com/solution/content/16261/
using namespace std;
const int N = 20;        //小猪的数量上限
const int M = 1 << N;    //小猪在某个时刻的击中状态，比如0011,两个没有被击中，两个被击中
const double eps = 1e-8; //用于判断双精度差值误差的常数
//结构体，用于描述小猪的位置
struct Node {
    double x, y;
} pig[N];

int path[N][N];   //表示第i个点和第j个点构成的抛物线能覆盖的点的状态
int f[M];         //f[i] 表示当前击沉状态i表示的小猪所需要的最少的小鸟数量
int n;            //n只小猪
int m;            //Kiana 输入的神秘指令类型，最后此变量没有用到

//浮点数比较
bool cmp(double a, double b) {
    if (fabs(a - b) < eps) return true;  // a == b
    return false;
}

int main() {
    //优化输入
    ios::sync_with_stdio(false);
    int T;      //T组数据
    cin >> T;
    while (T--) {
        cin >> n >> m;
        for (int i = 0; i < n; i++) cin >> pig[i].x >> pig[i].y;
        //多组数据，每次清空
        memset(path, 0, sizeof path);
        for (int i = 0; i < n; i++) {
            //(i,i)点肯定能覆盖掉自己
            path[i][i] = 1 << i;
            for (int j = 0; j < n; j++) {
                double x1 = pig[i].x, x2 = pig[j].x;
                double y1 = pig[i].y, y2 = pig[j].y;
                //计算抛物线y = a(x^2) + bx
                if (cmp(x1, x2)) continue;  //横坐标一样的话，是不能构成抛物线的
                //推导的公式
                double a = (y1 / x1 - y2 / x2) / (x1 - x2);
                double b = (y1 / x1 - a * x1);
                //此题抛物线需开口向下
                //注意浮点数不能用等于
                if (a > 0 || cmp(a, 0.0)) continue;

                //计算path[i][j]的能覆盖的点的状态
                //参数a,b的抛物线已生成，重新遍历每只小猪，看看这只小猪是不是在这个抛物线上
                for (int k = 0; k < n; k++) {
                    double x = pig[k].x, y = pig[k].y;
                    if (cmp(a * x * x + b * x, y))//此小猪是不是符合此抛物线方程
                        path[i][j] += 1 << k; //记录由i,j两个点可以确定的抛物线方程包含k这只小猪
                }
            }
        }
        //清空DP数组
        memset(f, 0x3f, sizeof f);
        f[0] = 0;//啥也不覆盖，抛物线个数是0
        for (int i = 0; i < 1 << n; i++) {  //遍历所有状态
            int x;//下一个要准备被击沉的小猪x
            for (int j = 0; j < n; j++) {   //遍历每个小猪
                //找到状态i中没覆盖的猪的标号,从小到大，找到一个就行
                if ((i >> j & 1) == 0) {
                    x = j;
                    break;
                }
            }
            //找到i状态下没有被消灭的小猪的编号x，
            //枚举可消灭它的抛物线path[x][j]并更新状态:
            for (int j = 0; j < n; j++)//枚举每只小猪,拼出x,j两只小猪，就能枚举出所有可以击沉X的抛物线
                f[i | path[x][j]] = min(f[i | path[x][j]], f[i] + 1);
        }
        //输出结果
        cout << f[(1 << n) - 1] << endl;
    }
    return 0;
}