https://codeforces.com/problemset/problem/1205/B
如果一个2进制位为1的数存在三个及以上,一定有三元环。
根据抽屉原理,当n >= 128时,至少有1个位满足该位的1的个数大于等于3,即构成三元环。
于是n <= 128时跑floyd最小环。
Note:0不能建边,输入就扔掉。
floyd原理:
对于两点的最短路径,通过其中间的所有点k:1~n来更新他。当k这个点到4时,比如1和6的最短路已经被k=1,k=2 , k=3更新了。其dp[1][6]此时的状态是前三个1,2,3点dp后的结果,也就是包含了三个中混合更新或者怎么更新的最优状态。然后对于k=4,其可能会和之前和最优状态结合更新出更优的,或者不如之前更优,取一个最小的状态作为转移。
floyd求最小环的原理:
以某个点为基准求最短路,那么我们可以运用到求最小环上:先以比k小的点为基准求最短路,然后在轮到k时任意两点之间的最短路都不经过k(没有和k结合更新过),那么我们只需要找出和k相连的i,j。如果此时三个相加不是0x3f3f3f3f了,那么说明形成了一个环。
并且使得i和j的最短路长度加上i到k的边和k到j的边的总长度最小,我们不断取min就求出来1-k的最小环长度了。
#include<iostream>
#include<vector>
#include<queue>
#include<cstring>
#include<cmath>
#include<map>
#include<set>
#include<cstdio>
#include<algorithm>
#define debug(a) cout<<#a<<"="<<a<<endl;
using namespace std;
const int maxn=150;
typedef long long LL;
inline LL read(){LL x=0,f=1;char ch=getchar(); while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}while (isdigit(ch)){x=x*10+ch-48;ch=getchar();}
return x*f;}
LL a[200000];
LL c[maxn][maxn],dis[maxn][maxn];
int main(void){
cin.tie(0);std::ios::sync_with_stdio(false);
LL n;cin>>n;
for(LL i=1;i<=n;i++) {
cin>>a[i];
if(a[i]==0){
i--;n--;
}
}
if(n>128){
cout<<"3"<<"\n";
return 0;
}
LL ans=0x3f3f3f3f;
for(LL i=1;i<=n;i++){
for(LL j=1;j<=n;j++){
if( (a[i]&a[j])&&(i!=j)) c[i][j]=dis[i][j]=1;
else c[i][j]=dis[i][j]=0x3f3f3f3f;
}
}
for(LL k=1;k<=n;k++){
for(LL i=1;i<=k-1;i++){
for(LL j=i+1;j<=k-1;j++){
ans=min(ans,dis[i][j]+c[i][k]+c[k][j]);
}
}
for(LL i=1;i<=n;i++){
for(LL j=1;j<=n;j++){
dis[i][j]=min(dis[i][j],dis[i][k]+dis[k][j]);
}
}
}
if(ans==0x3f3f3f3f) cout<<"-1"<<"\n";
else cout<<ans<<"\n";
return 0;
}