http://codeforces.com/contest/568/problem/B

题意就是给一个有n个元素的集合,现在需要求有多少个A的二元关系p,使得p是对称的,是传递的,但不是自反的。

首先只用(x1, x1), (x2, x2).....这种二元对形成的传递,对称,非自反的满足条件的方法数为2^n - 1(每一对可以选择出现或者不出现,全部出现的情况是自反的,所以减掉1)

其次,由于如果存在(a, b)a!=b的二元关系对,那么a,b这两个元素一定在某一个环中(根据对称一定有(b, a)又根据传递一定有(a, a)与(b, b)),那么答案就是求不是每个点都在某一个环中的方法数,那么这时把某一个环看成是一个集合。设G[i]表示i个点形成若干个集合的方法数,再令F[i][j]表示i个点形成j个集合的方法数,那么G[i] = sigma(F[i][j] | j <= i/2),下面计算F[i][j]:

      F[i][j] = F[i - 1][j] * j + F[i - 2][j - 1] * (i - 1)

就是指第i个元素可以放在之前的某一个集合中,也可以与之前的某一个元素形成个数为2的集合

在算出G[i]后,来统计答案,这时候需要枚举有多少个(x, x)这样的二元对,设为i个,那么剩下的点就有n-i个,剩下的点可以选择j个(2 <= j <= n - i)来形成若干个集合来与i个(x, x)的数对形成一个合法的答案。那么这里合法的大案数量就是

      sigma(C[n][i] * sigma(C[n - i][j] * G[j]))其中,1<=i<=n-2  2<=j<=n-i   C为组合数

#include <map>
#include <set>
#include <stack>
#include <queue>
#include <cmath>
#include <ctime>
#include <vector>
#include <cstdio>
#include <cctype>
#include <cstring>
#include <cstdlib>
#include <iostream>
#include <algorithm>
using namespace std;
#define INF 0x3f3f3f3f
#define inf (-((LL)1<<40))
#define lson k<<1, L, mid
#define rson k<<1|1, mid+1, R
#define mem0(a) memset(a,0,sizeof(a))
#define mem1(a) memset(a,-1,sizeof(a))
#define mem(a, b) memset(a, b, sizeof(a))
#define FIN freopen("in.txt", "r", stdin)
#define FOUT freopen("out.txt", "w", stdout)
#define rep(i, a, b) for(int i = a; i <= b; i ++)
#define dec(i, a, b) for(int i = a; i >= b; i --) //typedef __int64 LL;
typedef long long LL;
const int MAXN = ;
const int MAXM = ;
const double eps = 1e-12;
const double PI = 4.0 * atan(1.0);
const int MOD = ; LL F[MAXN], C[MAXN][MAXN]; void initF(int n) {
F[] = C[][] = ;
rep (i, , n) {
F[i] = C[i][] = ;
rep (j, , i / ) {//C[i][j]表示i个点形成j个集合(环)的方案数
C[i][j] = ( C[i - ][j] * j % MOD + (i - ) * C[i - ][j - ] % MOD ) % MOD;
F[i] = ( F[i] + C[i][j] ) % MOD; //F[i]表示i个点形成若干个集合(环)的方案数
}
}
} void initC(int n) {
mem0(C);
C[][] = ;
rep (i, , n) {
C[i][] = C[i][i] = ;
rep (j, , n - ) //C[i][j]为组合数
C[i][j] = ( C[i - ][j - ] + C[i - ][j] ) % MOD;
}
} int main()
{
#ifndef ONLINE_JUDGE
FIN;
// FOUT;
#endif // ONLINE_JUDGE
initF();
initC();
int n;
while(cin >> n) {
LL ans = ;
//首先计算2^n - 1
rep (i, , n) ans = ans * % MOD;
ans = (ans - + MOD) % MOD; //sigma(C[n][i] * sigma(C[n - i][j] * G[j]))
rep (i, , n - ) {
int m = n - i;
LL S = ;
rep (j, , m) {
S = ( S + C[m][j] * F[j] ) % MOD;
}
ans = (ans + S * C[n][i]) % MOD;
}
cout << ans << endl;
}
return ;
}

codeforces315Div1 B Symmetric and Transitive的更多相关文章

  1. codeforces 569D D. Symmetric and Transitive(bell数+dp)

    题目链接: D. Symmetric and Transitive time limit per test 1.5 seconds memory limit per test 256 megabyte ...

  2. Codeforces 568B Symmetric and Transitive

    http://codeforces.com/contest/568/problem/B 题意:题意还挺绕的,其实就是说:要你求出一个图,要求保证其中有至少一个点不连任何边,然后其他连边的点构成的每个联 ...

  3. CodeForces 568B DP Symmetric and Transitive

    题意: 根据离散数学的内容知道,一个二元关系是一个二元有序组<x, y>的集合. 然后有一些特殊的二元关系,比如等价关系,满足三个条件: 自反性,任意的x,都有二元关系<x, x&g ...

  4. 数学用语中的 透明 transitive property

    1.透明 https://en.wikipedia.org/wiki/Equivalence_relation In mathematics, an equivalence relation is a ...

  5. How to implement equals() and hashCode() methods in Java[reproduced]

    Part I:equals() (javadoc) must define an equivalence relation (it must be reflexive, symmetric, and ...

  6. Discrete.Differential.Geometry-An.Applied.Introduction(sig2008)笔记

    -------------------------------------------------------------- Chapter 1: Introduction to Discrete D ...

  7. override equals in Java

    equals() (javadoc) must define an equality relation (it must be reflexive, symmetric, and transitive ...

  8. Java的Object对象

    Object对象是除了基础对象之外,所有的对象都需要继承的父对象,包括数组也继承了Object Object里面的关键函数罗列如下: clone();调用该函数需要实现 Cloneable,否则会抛出 ...

  9. Codeforces Round #315 (Div. 2) (ABCD题解)

    比赛链接:http://codeforces.com/contest/569 A. Music time limit per test:2 seconds memory limit per test: ...

随机推荐

  1. php--------文件夹文件拷贝和复制

    php开发中常常对文件进行操作,文件夹和文件的拷贝,复制等. /** * 文件夹文件拷贝 * * @param string $src 来源文件夹 * @param string $dst 目的地文件 ...

  2. mysql--------大数据量分页sql语句优化

    分页程序原理很简单,这里就不多说了,本篇文章主要说的是在数据表记录量比较大的情况下,如何将分页SQL做到更优化,让MySQL执行的更快的方法. 一般的情况下,我们的分页SQL语句是这样的: ,; 以上 ...

  3. Android之SwipeRefreshLayout下拉刷新组件

    SwipeRefreshLayout概述 SwipeRefrshLayout是Google官方更新的一个Widget,可以实现下拉刷新的效果.该控件集成自ViewGroup在support-v4兼容包 ...

  4. Confluence 6 嵌套用户组的影响

    本部分说明了嵌套用户组对用户登录,权限和查看更新用户组的影响. 登录 如果用户属于一个授权的用户组或者授权用户组中的子用户组,当用户登录后,用户可以访问应用程序. 权限 如果用户属于的用户组或者用户组 ...

  5. hdu 6395 Sequence (简单矩乘)

    P/n大多数情况是不变的, 取值只有$O(\sqrt{P})$种, 可以用$p/(p/i)$跳过重复的值, 复杂度$O(logn\sqrt{P})$ 要注意 P跟模数P有冲突 要特判p/i==0和p/ ...

  6. Python下尝试实现图片的高斯模糊化

    资源下载 #本文PDF版下载Python下尝试实现图片的高斯模糊化#本文代码下载高斯模糊代码下载 高斯模糊是什么? (先来看一下维基百科对它的定义) 高斯模糊是模糊图像的结果.它是一种广泛使用的图形软 ...

  7. python-day6---运算符

    #了解部分#字符串+,*#列表:+,*# l1=[1,2,3]# l2=[4,5]## print(l1+l2)# print(l1*3) #比较运算符# num1=3# num2=1 # print ...

  8. POJ-2096 Collecting Bugs (概率DP求期望)

    题目大意:有n种bug,m个程序,小明每天能找到一个bug.每次bug出现的种类和所在程序都是等机会均等的,并且默认为bug的数目无限多.如果要使每种bug都至少找到一个并且每个程序中都至少找到一个b ...

  9. linux单用户模式

    linux单用户模式 2014年11月11日 17:18 在grub上相应要启动的内核上按“e”. 进入下一界面,继续按“e”. 在进入文本界面后,输入“single”回车. 进入grub界面后,按“ ...

  10. ORACLE常见方法使用(转)

    1.DBMS_LOB包的使用 2.如何释放DBMS_LOB.CREATETEMPORARY的空间 3.oracle数组