首页 > 其他分享 >兰道定理

兰道定理

时间:2023-08-03 12:25:02浏览次数:35  
标签:兰道 竞赛 int 定理 66 序列 sum

定义竞赛图的比分序列是将竞赛图每个点的出度从小到大排列得到的序列。

所谓兰道定理,即一个长度为\(n\)的序列\(\{s_i\},s_i\le s_{i+1}\)是合法的比分序列当且仅当\(\forall k,\sum_{i=1}^ks_k\ge C(k,2)\)

进一步的一个竞赛图强连通的充要条件是:把它的所有顶点按照入度d从小到大排序,对于任意\(k\in [0,n-1]\)都不满足\(\sum_{i=1}^ks_i=C(i,2)\)

再进一步,可以通过此求出所有的强连通分量大小。

HDU5873

这道题是判断该序列是不是竞赛图的比分序列。

用上述结论即可。由于一场比赛两分故\(\forall k,\sum_{i=1}^ks_i\ge i(i-1)\)

注意\(\sum_{i=1}^ns_i=n(n-1)\)

2023牛客暑期多校训练营5 C

考虑竞赛图特点必然存在一条哈密顿路径那么答案至少是\(n-1\)

若是答案为\(n\)则知每个点都要在强连通分量里\(\ge 3\)

使用兰道定理判断是否存在大小为\(1\)的强连通分量即可。

sc(n);
	rep(1,n,i)
	{
		rep(1,n,j)
		{
			int x;
			sc(x);
			a[i]+=x;
		}
	}
	sort(a+1,a+1+n);
	int sum=0,w=0;
	rep(1,n,i)
	{
		sum+=a[i];
		if(sum==(i-1)*i/2)
		{
			if(i-w==1){put(n-1);return 0;}
			w=i;
		}
	}
	put(n);

Codeforces Round 432 (Div. 1)

D. Tournament Construction

还是兰道定理的应用利用背包来做。

即\(f_{i,j,k}\)表示表示到了第\(i\)个点度数用到了\(j\)总度数为\(k\)是否可行。

生成方案时可以考虑将最小度数点向其他较小度数点连边。剩余点向当前点连边。

这样竞赛图从\(n\)变为\(n-1\)由归纳知成立。

const int MAXN=20010,G=(mod+1)>>1;
int n,k,m,cnt,lim,B;
int a[MAXN],w[MAXN];
int f[66][32][4010],g[66][32][4010],p[66];
int b[66][66];
inline int cmp(int a,int b){return w[a]<w[b];}
signed main()
{
	freopen("1.in","r",stdin);
	sc(n);
	rep(1,n,i)sc(a[i]);
	sort(a+1,a+1+n);
	f[0][0][0]=1;
	rep(1,65,i)
	{
		rep(1,n,j)
		{
			rep((i-1)*(i-2)/2,3010,k)
			{
				if(f[i-1][j][k])
				{
					f[i][j][k+a[j]]|=f[i-1][j][k];
					g[i][j][k+a[j]]=j;
				}
				if(f[i-1][j-1][k])
				{
					f[i][j][k+a[j]]|=f[i-1][j-1][k];
					g[i][j][k+a[j]]=j-1;
				}
			}
		}
	}
	int flag=0;
	rep(n,65,i)if(f[i][n][(i-1)*i/2])
	{
		flag=i;break;
	}
	if(!flag){puts("=(");return 0;}
	int cc=n,kk=flag,cnt=(kk-1)*kk/2;
	while(flag)
	{
		p[flag]=flag;
		w[flag]=a[cc];
		cc=g[flag][cc][cnt];
		cnt-=w[flag];
		--flag;
	}
	cnt=kk;
	while(cnt!=1)
	{
		int res=kk-cnt+1;
		rep(res+1,res+w[p[res]],j)
			b[p[res]][p[j]]=1;
		rep(res+w[p[res]]+1,kk,j)
			b[p[j]][p[res]]=1,--w[p[j]];
		--cnt;
		sort(p+kk-cnt+1,p+kk+1,cmp);
	}
	put(kk);
	rep(1,kk,i){rep(1,kk,j)cout<<b[i][j];cout<<endl;}
	//rep(1,kk,i)put(w[i]);
	return 0;
}

标签:兰道,竞赛,int,定理,66,序列,sum
From: https://www.cnblogs.com/chdy/p/17602974.html

相关文章

  • 动量定理Forexclub总结的交易规则
    动量定理策略是一种趋势策略,基于周线图中的“三烛台”形态(上涨或下跌)进行交易。Forexclub总结的交易规则如下:1. 下一个烛台必须比上一个烛台大,以确认趋势存在。2. 多奇烛台(不带主体的烛台)不考虑在内。3. 止损设置在序列中第一根蜡烛线的收盘水平。4. 止盈是最后一个烛台的5......
  • 安培定理
    (1)设dF12为电流元1给电流元2的力,I1和I2分别为他们的电流强度,dl1和dl2分别为两线元的长度,r12为两电流元的距离,则dF12的大小满足下列比式:或 dF12的大小还与两电流元的取向有关。(2)电流强度单位(1)中dF12的单位为N=kg*m/s2,长度dl1、dl2和r12的单位为m,将系数k写成如下形式:取μ0数......
  • 中国剩余定理
    由【物不知数】问题引入:有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二。问物几何?意思就是有一个数满足除以3余2,除以5余3,除以7余2。不过解法还挺公式化的,这里就用变量整理吧x=a1(modb1)x=a2(modb2)x=a3(modb3)M=b1*b2*b3,c1=M/b1=b2*b3,c2=M/b2=b1*b3,c3=M/b3=b1*b2求......
  • Burnside 定理
    Burnside定理问题:给定一个\(n\)个点,\(n\)条边的环,有\(m\)种颜色,给每个顶点染色,问有多少种本质不同的染色方案,答案对\(10^9+7\)取模注意本题的本质不同,定义为:只需要不能通过旋转与别的染色方案相同。题目初步解读我们考虑如果不要求本质不同只需要\(n^n\)。但因为......
  • 被主定理震撼到了
    分析复杂度时可能有用。(主定理狗都不学)若有递归式\(T(n)=aT(\dfrac{n}{b})+f(n)\)则分以下三种情况:\(f(n)=O(n^{\log_ba-\epsilon}),\epsilon>0\),此时\(T(n)=\Theta(n^{\log_ba})\)\(f(n)=\Theta(n^{\log_ba}\log^kn),k\geq0\),此时\(T(n)=\Theta(n^{\log_ba}\l......
  • 动量定理不愧是大师都在推荐使用的交易策略Forexclub总结两点
    动量定理对交易策略的重要性不言而喻,许多交易大师都在推荐使用。Forexclub认为它可以通过观察趋势的持续时间来预测价格走势,使用振荡器来确定趋势支点,这个振荡器比标准振荡器更快,能够提前给出买卖信号。该振荡器由两条线组成,信号线是虚线,附加线是实线。接收线有两种颜色,橙色和绿色......
  • 图论中的实用定理与结论
    结合图论中的概念与定义食用更佳。网络流与二分图Konig定理:最小点覆盖=最大匹配(proof)二分图最大独立集=点数-最大匹配二分图最大团=补图的最大独立集最大流=最小割二分图最小链覆盖数=最小边覆盖=节点数-最大匹配数有孤立点的二分图没有边覆盖Hall定......
  • 【模板】图的计数相关:行列式及求值、Matrix-Tree 定理、BEST 定理、LGV 引理
    归类为线性代数、图论。证明都是神仙,特别是名字带“理”的,不证了。行列式定义行列式(Determinant)是对\(n\)阶方阵\(A\)定义的,是一个标量。\(A\)的\(n\)阶行列式\(det(A)\)或\(|A|\)定义如下:\[det(A)=\sum_p(-1)^{\mu(p)}\prod_{i}A[i][p_i].\]这里将排列的逆序对数......
  • 博弈论部分定义及定理
    一.公平组合游戏ICG:定义为:1.有两名玩家交替行动2.在游戏进行的任意时刻,可以执行的合法行动与轮到哪位玩家无关3.不能行动的玩家判负二.mex运算定义为:\(mex(S)=min\{x\}(x\inN,x\notinS)\)即为不属于集合\(S\)的最小非负整数。三.有向图游戏定义:给定一个有向无......
  • Burnside定理和Polya计数
    置换群Burnside定理和Polya计数都需要运用置换群的知识置换群主要有三种运算,分别是合成运算、恒等置换、置换的逆运用着三种运算就可以推导出Burnside定理和Polya计数的公式Burnside定理Burnside定理的主要应用是循环排列计数、项链计数、正五角形着色等下面给出一道例题P......