2019.03.29【TJOI2015】【洛谷P3978】【BZOJ4001】【LOJ2105】概率论（组合数学）

洛谷传送门

BZOJ传送门

LOJ传送门

---

解析：

首先我们知道$n$个点的所有有根非同构二叉树个数是Catlan数，通项公式为$f_n=\frac{\left(\genfrac{}{}{0ex}{}{2n}{n}\right)}{n+1}$

设$g_n$表示所有$n$个点的非同构有根二叉树的叶子节点个数。

我们要求的其实就是$\frac{g_n}{f_n}$

经过OEIS打表可以发现$g_n=n{f}_{n-1}$。

其实证明很简单，考虑对于所有$n$的点的二叉树的叶子，我们将它删去，可以得到一个唯一的$n-1$个点的二叉树，而一个$n-1$个点的二叉树有$n$个位置可以长出一个叶子，由此每个$n-1$点二叉树贡献了$n$个叶子。

然后把Catlan通项公式代进去算一算就行了。

---

代码：

#include<bits/stdc++.h>
using namespace std;

double n;
signed main(){
	cin>>n;
	cout<<fixed<<setprecision(9)<<(n*(n+1))/(2*(2*n-1));
	return 0;
}