1205B - Shortest Cycle(floyd最小环+鸽巢原理)

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;
}