Codeforces 1206D Shortest Cycle Floyd 无向图最小环

题意：给出一串序列，若序列中两个数相与不为0，则可以在两数之间连一条边，求出这些数中存在的最小环中节点的个数，不存在环输出-1
思路：找无向图中最小环方法：用floyd在松弛的同时找环，保证环最小。但这样的话按照题目的数据量必定会超时，而实际上只要不为0的数小于120个，就需要floyd求解，大于120个最小环节点数就是3。
证明：根据抽屉原理，若有n个集合，n+1个元素，则将所有元素放到任意集合里，必定有1个集合存在2个元素。这样说了就很好理解了。由于题目给的数据大小是10^18次方，且59<log2(10 ^ 18)<60，即每个数最多需要60个bit来存储，故只要有60*2=120个数，就必定有3个数在同一个bit上的值为1，它们之间互相与不为0，就必定存在一个大小为3的环

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = 1e3+5;
const int inf = 1e4;
ll n, m, a[100005], dis[maxn][maxn], g[maxn][maxn];
int main()
{
	while (~scanf("%lld", &n)) {
		m = 0;
		for (int i = 0; i < n; i++) {
			ll t;
			scanf("%lld", &t);
			if (t)
				a[m++] = t;
			if (m > 120) {
				cout << 3 << endl;
				return 0;
			}
		}
		memset(dis, inf, sizeof(dis));
		memset(g, inf, sizeof(g));
		for (int i = 0; i < m; i++)
			for (int j = i+1; j < m; j++) {
				if (a[i]&a[j]) {
					dis[i][j] = dis[j][i] = g[i][j] = g[j][i] = 1;
 				}
			}
		ll ans = inf;
		for (int k = 0; k < m; k++) {
			for (int i = 0; i < k; i++) 
				for (int j = i+1; j < k; j++) {
					if (g[i][j] != inf) {
						ans = min(ans, dis[i][j] + g[i][k] + g[k][j]);
					}
				}
			for (int i = 0; i < m; i++)
				for (int j = 0; j < m; j++) {
					if (g[i][j] != inf)
						dis[i][j] = min(dis[i][j], dis[i][k]+dis[k][j]);
				}
		}
		if (ans == inf)
			ans = -1;
		cout << ans << endl;
	}
}