題目大意如下
在一個二維坐標系中,有n個城市,坐標給出來了,然後有p個士兵要去占領這n個城市,但是路上有m個路障,都是線段,士兵不能越過路障前進。
每個士兵都有相同容量大小的一個干糧袋,每到一個城市他就能補充滿自己的干糧袋。中途走路時走一個單位長度就消耗一個單位的干糧。
現在問的是這些個干糧袋最小的容量是多少,前提是保證p個士兵能占領完這n個城市,城市被占領順序也是題目給好的,必須遵守
思路:P個士兵占領n個城市,可以看成p個士兵走出了p個路徑,覆蓋了所有的點。 但是題目沒要求每個士兵都必須去占領。 也就是只要最小路徑覆蓋小於等於p個就代表所有的城市能被p個士兵去占領了。
最小路徑覆蓋的要求之一就是有向,無環,在題目中的體現就是城市被占領時必須有順序。
這就符合一個拓撲序列了。所以就可以進行最小路徑覆蓋
然後整體的步驟就是,剛開始把各個點之間的距離先算出來,因為有障礙,所以必須把這些線段的兩個端點都加入到點集中一塊算,預處理兩點距離時,就看兩點之間有沒有線段擋著,擋著就先按不可達算,注意處理線段交的時候端點相交不要管,因為還是可以過去。 沒擋著就按照直線距離算。 然後floyd處理一下,任意兩點之間的距離就算出來了
算出來後我們就要求干糧袋的容量了,一般的方法就是二分求可行性。
對於二分的一個值,我們就建立一遍圖,任意兩點的距離不大於這個值才可以連邊。
當然注意我們是按照題目中給的那個占領順序,前邊的可以向後邊的連邊,反之不能
然後求路徑覆蓋。判斷是否可行
#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <cmath>
#include <map>
#include <queue>
#include <set>
#include <vector>
#define eps 1e-8
#define MAXN 333
#define INF 1111111111
using namespace std;
typedef double TYPE;
struct POINT
{
TYPE x;
TYPE y;
POINT() : x(0), y(0) {};
POINT(TYPE _x_, TYPE _y_) : x(_x_), y(_y_) {};
bool operator == (const POINT &p)const
{
return (fabs(x - p.x) < eps && fabs(y - p.y) < eps);
}
}p[MAXN];
TYPE Distance(const POINT & a, const POINT & b)
{
return sqrt((a.x - b.x) * (a.x - b.x) + (a.y - b.y) * (a.y - b.y));
}
struct SEG
{
POINT a; //起點
POINT b; //終點
SEG() {};
SEG(POINT _a_, POINT _b_):a(_a_),b(_b_) {};
bool operator == (const SEG &p)const
{
return (p.a == a && p.b == b) || (p.b == a && p.a == b);
}
}seg[MAXN];
TYPE Cross(const POINT & a, const POINT & b, const POINT & o)
{
return (a.x - o.x) * (b.y - o.y) - (b.x - o.x) * (a.y - o.y);
}
bool IsIntersect(const SEG & u, const SEG & v)
{
return (Cross(v.a, u.b, u.a) * Cross(u.b, v.b, u.a) > 0) &&
(Cross(u.a, v.b, v.a) * Cross(v.b, u.b, v.a) > 0) &&
(max(u.a.x, u.b.x) > min(v.a.x, v.b.x)) &&
(max(v.a.x, v.b.x) > min(u.a.x, u.b.x)) &&
(max(u.a.y, u.b.y) > min(v.a.y, v.b.y)) &&
(max(v.a.y, v.b.y) > min(u.a.y, u.b.y));
}
int seq[MAXN];
struct node
{
int v, next;
}edge[MAXN * MAXN];
int e, head[MAXN], mark[MAXN], cx[MAXN], cy[MAXN], n, m, so;
double dis[MAXN][MAXN];
void insert(int x, int y)
{
edge[e].v = y;
edge[e].next = head[x];
head[x] = e++;
}
int path(int u)
{
for(int i = head[u]; i != -1; i = edge[i].next)
{
int v = edge[i].v;
if(!mark[v])
{
mark[v] = 1;
if(cy[v] == -1 || path(cy[v]))
{
cx[u] = v;
cy[v] = u;
return 1;
}
}
}
return 0;
}
int gao()
{
int ans = 0;
memset(cx, -1, sizeof(cx));
memset(cy, -1, sizeof(cy));
for(int i = 1; i <= n; i++)
{
memset(mark, 0, sizeof(mark));
ans += path(i);
}
return ans;
}
void floyd(int n)
{
for(int k = 1; k <= n; k++)
for(int i = 1; i <= n; i++)
for(int j = 1; j <= n; j++)
if(dis[i][k] + dis[k][j] < dis[i][j])
dis[i][j] = dis[i][k] + dis[k][j];
}
bool ok(double mid)
{
e = 0;
memset(head, -1, sizeof(head));
for(int i = 1; i <= n; i++)
for(int j = i + 1; j <= n; j++)
if(dis[seq[i]][seq[j]] <= mid)
insert(seq[i], seq[j] + n);
int x = gao();
if(n - x <= so) return true;
return false;
}
void slove()
{
double l = 0, r = INF;
double ans = -1;
while(r - l > eps)
{
double mid = (l + r) / 2;
if(ok(mid)) {ans = mid; r = mid;}
else l = mid;
}
printf("%.2f\n", ans);
}
int main()
{
int T;
scanf("%d", &T);
while(T--)
{
scanf("%d%d%d", &n, &m, &so);
for(int i = 1; i <= n; i++) scanf("%lf%lf", &p[i].x, &p[i].y);
for(int i = 1; i <= m; i++)
{
scanf("%lf%lf%lf%lf", &seg[i].a.x, &seg[i].a.y, &seg[i].b.x, &seg[i].b.y);
p[n + i * 2 - 1] = seg[i].a;
p[n + i * 2] = seg[i].b;
}
for(int i = 1; i <= n; i++) scanf("%d", &seq[i]);
for(int i = 1; i <= n + m * 2; i++)
for(int j = 1; j <= n + m * 2; j++)
{
if(i == j) {dis[i][j] = 0; continue;}
int flag = false;
for(int k = 1; k <= m; k++)
{
if(seg[k] == SEG(p[i], p[j])) continue;
if(IsIntersect(seg[k], SEG(p[i], p[j])))
{
flag = true;
break;
}
}
if(flag) dis[i][j] = INF;
else dis[i][j] = Distance(p[i], p[j]);
}
floyd(n + m * 2);
slove();
}
return 0;
}