prufer序列

  • 定义

Prufer数列是无根树的一种数列。在组合数学中,Prufer数列由有一个对于顶点标过号的树转化来的数列,点数为n的树转化来的Prufer数列长度为n-2。

  • 描述

eg

  1. 将树转化成Prufer数列的方法

  一种生成Prufer序列的方法是迭代删点,直到原图仅剩两个点。对于一棵顶点已经经过编号的树T,顶点的编号为{1,2,...,n},在第i步时,移去所有叶子节点(度为1的顶点)中标号最小的顶点和相连的边,并把与它相邻的点的编号加入Prufer序列中,重复以上步骤直到原图仅剩2个顶点。

对于例子有:

  首先在所有叶子节点中编号最小的点是2,和它相邻的点的编号是3,将3加入序列并删除编号为2的点。接下来删除的点是4,5被加入序列,然后删除5,1被加入序列,1被删除,3被加入序列,此时原图仅剩两个点(即3和6),Prufer序列构建完成,为{3,5,1,3}

  1. 将Prufer数列转化成树的方法

  设{a1,a2,..an-2}为一棵有n个节点的树的Prufer序列,另建一个集合G含有元素{1..n},找出集合中最小的未在Prufer序列中出现过的数,将该点与Prufer序列中首项连一条边,并将该点和Prufer序列首项删除,重复操作n-2次,将集合中剩余的两个点之间连边即可。

对于例子有:

  Prufer序列为{3,5,1,3},开始时G={1,2,3,4,5,6},未出现的编号最小的点是2,将2和3连边,并删去Prufer序列首项和G中的2。接下来连的边为{4,5},{1,5},{1,3},此时集合G中仅剩3和6,在3和6之间连边,原树恢复。

(参考自度娘)

  • 性质
  1. prufer序列中某个编号出现的次数就等于这个编号的节点在无根树中的度数-1
  2. 一棵n个节点的无根树唯一地对应了一个长度为n-2的数列,数列中的每个数都在1到n的范围内。
  3. n个点的无向完全图的生成树的计数:n^(n−2),即n个点的有标号无根树的计数
  4. n个节点的度依次为d1,d2,…,dn的无根树共有(n−2)!/∏n i=1(di−1)!个,因为此时Prufer编码中的数字i恰好出现di−1次,(n−2)!是总排列数
  5. n个点的 有标号有根树的计数:n^(n−2) ∗n=n^(n−1)

[HNOI2008]明明的烦恼(luogu)

  • Description

题目描述

自从明明学了树的结构,就对奇怪的树产生了兴趣...... 给出标号为1到N的点,以及某些点最终的度数,允许在任意两点间连线,可产生多少棵度数满足要求的树?

输入格式

第一行为N(0<N<=1000),接下来N行,第i+1行给出第i个节点的度数Di,如果对度数不要求,则输入-1

输出格式

一个整数,表示不同的满足要求的树的个数,无解输出0

  • Solution

数学推导(不会打式子)+质因数分解+高精乘法计算最后结果

  • Code
#include <cstdio>
#include <cstdlib>
#define ll long long
using namespace std;
const int N=,base=;
ll a[N];
int n,k,d[N],sum,ans[N];
void add(int x,ll c)
{
for(int i=;i<=x;i++)
while(x%i==) x/=i,a[i]+=c;
}
void re()
{
puts("");
exit();
}
void print()
{
printf("%d",ans[ans[]]);
for(int i=ans[]-;i>;i--)
printf("%04d",ans[i]);
printf("\n");
}
void mul(ll x)
{
for(int i=;i<=ans[];i++) ans[i]*=x;
for(int i=;i<=ans[];i++)
ans[i+]+=ans[i]/base,ans[i]%=base;
while(ans[ans[]+])
ans[]++,ans[ans[]+]+=ans[ans[]]/base,ans[ans[]]%=base;
}
int main()
{
scanf("%d",&n);
for(int i=;i<=n;i++)
{
scanf("%d",&d[i]);
if(d[i]==) re();
if(d[i]!=-) k++,sum+=d[i]-;
}
if(sum>n-) re();
for(int i=n-;i>n--sum;i--) add(i,);
for(int i=;i<=n;i++)
for(int j=;j<d[i];j++)
add(j,-);
add(n-k,n--sum);
ans[]=ans[]=;
for(int i=;i<=n;i++)
for(int j=;j<=a[i];j++) mul(i);
print();
return ;
}

最新文章

  1. C++静态成员函数小结(转)
  2. 公钥、私钥、CA认证、数字签名、U盾
  3. jstl标签用法
  4. DO.NET操作数据库
  5. python 小试牛刀之信息管理
  6. ARM内核全解析,从ARM7,ARM9到Cortex-A7,A8,A9,A12,A15到Cortex-A53,A57
  7. 13. vs2010 ClientID bug处理
  8. Ubuntu 14.04 安装桌面
  9. acdream 1222 Quantization Problem [dp]
  10. C#(.Net)知识点记录
  11. immutable.js 更新数组(mergeDeepWith)
  12. 我在vs文本编辑中常用的快捷键----常更新
  13. C# 高级编程01----.Net基础介绍
  14. 初识并发编程 MPI
  15. UESTC - 1999 也许这是唯一能阻止乐爷AK的方法( Just for Fun )(回文树)
  16. 【C++】C++未定义行为
  17. 世界上最好的Sed教程
  18. php parse_url 解析URL并返回其组成部分
  19. [UE4]Tool Tip - 提示信息
  20. IntelliJ IDEA小问题解决方法------(持续更新)

热门文章

  1. 使用Squid做代理服务器,Squid单网卡透明代理配置详解(转)
  2. PostgreSQL 遇到 column &quot;value&quot; does not exist
  3. eclipse要修改的配置
  4. 对“TD信息树”的使用体验
  5. Android7_安卓的知识体系梳理
  6. 开发API整理(转)
  7. Mysql库、表、记录的基本操作
  8. rapidxml遍历子节点例子
  9. $[NOIp2015]$ 子串 $dp$
  10. $CH5501$ 环路运输 环形$+$单调队列