\(f[i]\) 表示将$ i $集合中所有小鸟都弄掉用的最少抛物线
\(g[i][j]\) 表示在 \(i\)、\(j\)小鸟（由于\(c = 0\)，两点确定一条抛物线）建立一条抛物线，可以射掉的集合。
这个\(x\)可以在未射掉的集合中随便找，因为有可能重复枚举，可以规定\(x\)为第一个未射掉的集合，这样就可以做到不重不漏了。
\(f[i\ |\ g[x][j]] = min\{f[i] + 1\}\)
初始状态： \(f[0] = 0\)，其余为正无穷。
答案 ： \(f[(1 << n) - 1]\)
二次函数复习\(QAQ\)：
已知两点\((x_1, y_1), (x_2, y_2)\)在抛物线\(y = ax ^ 2 + bx\)，求\(a, b\)的值
先带入：
\(y_1 = ax_1 ^ 2+ bx_1\)
$y_2 = ax_2 ^ 2+ bx_2 $
暴力一点，先移动过去：
$ax_1 ^ 2 = bx_1 - y_1 $①
$ax_2 ^ 2 = bx_2 - y_2 $②
然后对两个式子分别除以\(x_1, x_2\)，式子就变成了：
$ax_1 = \frac{y_1}{x_1} - b $①
$ax_2 = \frac{y_2}{x_2} - b $②
然后由② $- $ ①，\(b\)就被我们消掉了：
$a(x_2 - x_1) = \frac{y_2}{x_2} - \frac{y_1}{x_1} $
然后\(a\)就出来了：
\(a = (\frac{y_2}{x_2} - \frac{y_1}{x_1} )/ (x_2 - x_1)\)
\(b\) 就用 ① 带入找就行啦...
\(b = (y_1 - ax_1^2) / x_1\)
不得不说计算机好麻烦\(qwq\)
#include <cstdio>
#include <iostream>
#include <cmath>
#include <cstring>
using namespace std;
const int N = 18, M = 1 << N;
const double eps = 1e-6;
int n, m;
double x[N], y[N];
int f[M], g[N][N];
bool cmp(double a, double b){
return fabs(a - b) < eps;
}
int main(){
int T; scanf("%d", &T);
while(T--){
memset(f, 0x3f, sizeof f);
memset(g, 0, sizeof g);
f[0] = 0;
scanf("%d%d", &n, &m);
for(int i = 0; i < n; i++)
scanf("%lf%lf", x + i, y + i);
for(int i = 0; i < n; i++){
g[i][i] = 1 << i;
for(int j = 0; j < n; j++){
if(cmp(x[i], x[j])) continue;
double a, b;
a = (y[j] / x[j] - y[i] / x[i]) / (x[j] - x[i]);
b = (y[i] - a * x[i] * x[i]) / x[i];
if(a >= 0) continue;
for(int k = 0; k < n; k++){
if(cmp(a * x[k] * x[k] + b * x[k], y[k]))
g[i][j] |= 1 << k;
}
}
}
for(int i = 0; i + 1 < (1 << n); i++){
int x = 0;
for(int j = 0; j < n; j++)
if(!(i >> j & 1)) { x = j; break; }
for(int j = 0; j < n; j++){
f[i | g[x][j]] = min(f[i | g[x][j]], f[i] + 1);
}
}
printf("%d\n", f[(1 << n) - 1]);
}
return 0;
}