[CF1498E]Two Houses

最新推荐文章于 2024-09-17 17:52:27 发布

StaroForgin

最新推荐文章于 2024-09-17 17:52:27 发布

阅读量155

点赞数 1

分类专栏： ------图论------

本文链接：https://blog.csdn.net/Tan_tan_tann/article/details/116398820

版权

------图论------ 专栏收录该内容

101 篇文章 0 订阅

订阅专栏

本文阐述了在一个竞赛图中，入度较大节点到入度较小节点存在路径的性质，并提供了证明。核心在于利用入度差和双联通结构，通过O(n^2 log n)的时间复杂度找到关键点对。博主展示了如何通过代码实现这一算法并举例说明。

摘要由CSDN通过智能技术生成

Two Houses

题解

首先，我们可以证明，在一个竞赛图中，若入度较大的点有一条路径能够到入度较小的点，那么入度较小的点也必然有一条路径能够到入度较大的点。

证明如下：
我们令点 $i$ 的入集为 $U_{i}$ ，出集为 $V_{i}$ ，点 $x, y$ 有 $|U_{x}|\leqslant|U_{y}|$ ，且 $y$ 有一条能够到 $x$ 的路径。
若 $y$ 没有直接到 $x$ 的边，那么 $x$ 肯定有一条直接到 $y$ 的边，它们间肯定是双联通。
若 $y$ 有直接到 $x$ 的边，那么 $x\in V_{y},y\in U_{x}$ 。由于 $U_{x}\bigcap V_{x}=\empty,U_{x}\bigcup V_{x}=I-\{x\}$ ，所以 $V_{x}|=n-1-|U_{x}|$ 。
由于 $|U_{y}|\geqslant |U_{x}|$ ，且 $U_{y}$ 不包含 $x, y$ ，所以 $U_{y}\bigcap V_{x}\not=\empty$ 。
所以必然存在一个 $x$ 能到的点拥有一条到 $y$ 的边。
所以，如果 $y$ 有一条能到 $x$ 的路径，那么 $x$ 必然能到 $y$ 。
zengbi

所以，我们只需要把所有的点对找出来，按入度差的大小排序，枚举最大的双联通的点对即可。

时间复杂度 $O\left(n^2\log\,n\right)$ 。

源码

#include<bits/stdc++.h>
using namespace std;
#define MAXN 200005
#define lowbit(x) (x&-x)
#define reg register
#define mp make_pair
#define fir first
#define sec second
typedef long long LL;
typedef unsigned long long uLL;
const int INF=0x7f7f7f7f;
const int jzm=233;
const int mo=1e9+7;
const double Pi=acos(-1.0);
typedef pair<int,int> pii;
const double PI=acos(-1.0);
template<typename _T>
_T Fabs(_T x){return x<0?-x:x;}
template<typename _T>
void read(_T &x){
	_T f=1;x=0;char s=getchar();
	while(s>'9'||s<'0'){if(s=='-')f=-1;s=getchar();}
	while('0'<=s&&s<='9'){x=(x<<3)+(x<<1)+(s^48);s=getchar();}
	x*=f;
}
int n,tot;char str[10];
struct ming{int k,id;}s[MAXN];
struct node{int u,v,w;}e[MAXN];
bool cmp(ming x,ming y){return x.k<y.k;}
bool cmp1(node x,node y){return x.w>y.w;}
bool Ask(int u,int v){
	printf("? %d %d\n",u,v);fflush(stdout);
	scanf("\n%s",str+1);return str[1]=='Y';
}
signed main(){
	read(n);for(int i=1;i<=n;i++)read(s[i].k),s[i].id=i;
	sort(s+1,s+n+1,cmp);
	for(int i=1;i<=n;i++)
		for(int j=i+1;j<=n;j++)
			e[++tot]=(node){s[j].id,s[i].id,s[j].k-s[i].k};
	sort(e+1,e+tot+1,cmp1);
	for(int i=1;i<=tot;i++)
		if(Ask(e[i].u,e[i].v)){printf("! %d %d\n",e[i].u,e[i].v);return 0;}
	puts("! 0 0");
	return 0;
}