【Havel 定理】Degree Sequence of Graph G
【题目链接】
http://acm.hdu.edu.cn/showproblem.php?pid=2454
【别人博客粘贴过来的】
博客地址:https://www.cnblogs.com/debugcool/archive/2011/04/23/HDOJ2454.html
一句话,顶点的度序列 Havel 定理~
定义:给出一个无向图的顶点度序列 {dn},要求判断能否构造出一个简单无向图。
分析:
贪心的方法是每次把顶点按度大小从大到小排序,取出度最大的点Vi,依次和度较大的那些顶点Vj连接,同时减去Vj的度。连接完之后就不再考虑Vi了,剩下的点再次排序然后找度最大的去连接……这样就可以构造出一个可行解。
判断无解有两个地方,若某次选出的Vi的度比剩下的顶点还多,则无解;若某次Vj的度减成了负数,则无解。
至于什么是Havel定理,上面这个构造过程就是了~
定理的简单证明如下:
(<=)若d'可简单图化,我们只需把原图中的最大度点和d'中度最大的d1个点连边即可,易得此图必为简单图。
(=>)若d可简单图化,设得到的简单图为G。分两种情况考虑:
(a)若G中存在边,则把这些边除去得简单图G',于是d'可简单图化为G'
(b)若存在点Vi,Vj使得i=dj,必存在k使得(Vi, Vk)在G中但(Vj,Vk)不在G中。这时我们可以令GG=G-{(Vi,Vk),(V1,Vj)}+{(Vk,Vj),(V1,Vi)}。GG的度序列仍为d,我们又回到了情况(a)。
【自己的理解】
真的非常感谢上面这位大哥提供的博客解析,不然我都自闭一下午了。
其实如果单纯想的话我只是想到匹配罢了,根本想不到居然可以有这样的定理。
这个Havel定理,其实是一个判断依据。
1、按照度数从大到小排序,然后依次建边。
2、建边的过程就是以该点为起点,其余都是它的目标点,然后大家都度减一
注意!!!!一定是前k大的。
最后就是判断这个度数组,是否为全零。
下面就是代码:
#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std ; const int N = 1e3 + ;
int a[N] ; int main()
{
int T , n ;
for ( cin >> T ; T ; T-- ){
int tot = , edge = ;
cin >> n ;
//for( int i=1;i<=n;i++ ) cin >> a[i] ; for( int i=;i<=n;i++ ){
cin >> a[i] ;
tot += a[i] ;
} // 判断 入度和出度
if( tot & ) {
printf("no\n");
continue;
}
// 排序,从大到小
sort ( a+, a++n , [](int u,int v){return u>v;} ); bool flag = true ;
for(int i = ; flag && i <= n ; i++ ){
for(int j=i+ ; a[i] && j<=n ;j++ ){
if( a[j] == ) continue;
a[i] -- ;
a[j] -- ;
}
//注意每次操作完都需要取前K大的.
sort( a+i+ , a++n ,[](int u,int v){return u>v;} ) ;
}
for(int i=;i<=n;i++){
//cout << a[i] << " ";
if( a[i] != ){
flag = false ;
}
}
if( flag ) puts("yes");
else puts("no");
}
return ;
}
Degree Sequence of Graph G
【Havel 定理】Degree Sequence of Graph G的更多相关文章
- HDU 2454 Degree Sequence of Graph G(Havel定理 推断一个简单图的存在)
主题链接:pid=2454">http://acm.hdu.edu.cn/showproblem.php?pid=2454 Problem Description Wang Haiya ...
- Hdoj 2454.Degree Sequence of Graph G 题解
Problem Description Wang Haiyang is a strong and optimistic Chinese youngster. Although born and bro ...
- HDU 2454"Degree Sequence of Graph G"(度序列可图性判断)
传送门 参考资料: [1]:图论-度序列可图性判断(Havel-Hakimi定理) •题意 给你 n 个非负整数列,判断这个序列是否为可简单图化的: •知识支持 握手定理:在任何无向图中,所有顶点的度 ...
- HDU 2454 Degree Sequence of Graph G——可简单图化&&Heavel定理
题意 给你一个度序列,问能否构成一个简单图. 分析 对于可图化,只要满足度数之和是偶数,即满足握手定理. 对于可简单图化,就是Heavel定理了. Heavel定理:把度序列排成不增序,即 $deg[ ...
- hdu 2454 Degree Sequence of Graph G (推断简单图)
///已知各点的度,推断是否为一个简单图 #include<stdio.h> #include<algorithm> #include<string.h> usin ...
- hdu 2454 Degree Sequence of Graph G(可简单图化判定)
传送门 •Havel-Hakimi定理: 给定一个非负整数序列{d1,d2,...dn},若存在一个无向图使得图中各点的度与此序列一一对应,则称此序列可图化. 进一步,若图为简单图,则称此序列可简单图 ...
- LD1-M(简单图的判定+构造,Havel定理)
题目链接 /* *题目大意: *给出一个图的每个点的度的序列,求能否构成一个简单图,如果能构出简单图,则输出图的邻接矩阵; * *算法思想: *Havel定理的应用; *给定一个非负整数序列{dn}, ...
- cdoj913-握手 【Havel定理】
http://acm.uestc.edu.cn/#/problem/show/913 握手 Time Limit: 2000/1000MS (Java/Others) Memory Limit ...
- POJ 1659 Frogs' Neighborhood (Havel定理构造图)
题意:根据图的度数列构造图 分析:该题可根据Havel定理来构造图.Havel定理对可图化的判定: 把序列排成不增序,即d1>=d2>=……>=dn,则d可简单图化当且仅当d’={d ...
随机推荐
- Codeforces 915E. Physical Education Lessons(动态开点线段树)
E. Physical Education Lessons 题目:一段长度为n的区间初始全为1,每次成段赋值0或1,求每次操作后的区间总和.(n<=1e9,q<=3e5) 题意:用线段树做 ...
- shell 里的正则
#!/bin/bash variable="This is a fine mess." echo "$variable" # Regex matching wi ...
- 焦虑的 BAT、不安的编程语言,揭秘程序员技术圈生存现状!
[程序人生编者按]在迭代不休的技术圈中,仅在过去的一个月期间,我们见证了有史以来第一张黑洞照片的诞生:经历了为让人义愤填膺的 996:思考了作为程序员的年龄之槛:膜拜了技术大神的成长历程:追逐了如编程 ...
- Error, DNGuard Runtime library not loaded!
// Token: 0x06008CE9 RID: 36073 RVA: 0x0059629A File Offset: 0x00591E9A [MethodImpl(MethodImp ...
- 笔记:YSmart: Yet Another SQL-to-MapReduce Translator
http://web.cse.ohio-state.edu/hpcs/WWW/HTML/publications/papers/TR-11-7.pdf Introduce样例sql语句:" ...
- Go语言中new和make的区别
Go语言中new跟make是内置函数,主要用来创建分配类型内存. new( ) new(T)创建一个没有任何数据的类型为T的实例,并返回该实例的指针: 源码解析 func new func new(T ...
- kotlin class
每个次构造函数需要委托给主构造函数, 可以直接委托或者通过别的次构造函数间接委托.委托到同一个类的另一个构造函数用 this 关键字即可 class Person { constructor(pare ...
- Android Studio NDK编程-环境搭建及Hello!
一,下载 安装android-ndk开发包 NDK各个版本链接二,新建项目NDKDemo,选择空Activity就可以:(注:Android studio 2.2,可通过SDK Tools 添加LLD ...
- [go]etcd使用
// 连接etcd import ( "github.com/coreos/etcd/clientv3" "github.com/coreos/etcd/mvcc/mvc ...
- 用SQL语句操作Sqlite数据库的示例代码
import android.content.Context; import android.database.sqlite.SQLiteDatabase; import android.databa ...