結果
| 問題 |
No.3079 Unite Japanese Prefectures
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-03-28 22:46:29 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 1,229 ms / 4,000 ms |
| コード長 | 1,477 bytes |
| コンパイル時間 | 6,498 ms |
| コンパイル使用メモリ | 334,932 KB |
| 実行使用メモリ | 36,864 KB |
| 最終ジャッジ日時 | 2025-03-28 22:46:46 |
| 合計ジャッジ時間 | 15,977 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 27 |
ソースコード
#include<bits/stdc++.h>
using namespace std;
#include<atcoder/all>
using namespace atcoder;
using mint=atcoder::modint998244353;
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#define rep(i,n) for(int i=0;i<(n);i++)
#define rng(i,l,r) for(int i=(l);i<(r);i++)
#define rrep(i,n) for(int i=(n)-1;i>=0;i--)
#define rrng(i,l,r) for(int i=(r)-1;i>=(l);i--)
#define ALL(x) (x).begin(),(x).end()
// #define int long long
#define fi first
#define se second
struct fast_io{fast_io(){cin.tie(nullptr)->sync_with_stdio(false);}}_;
signed main(){
int N,M;cin>>N>>M;
vector<array<int,3>> ve(M);
for(auto&&[u,v,c]:ve)cin>>u>>v>>c,u--,v--,c--;
vector<vector<pair<int,int>>> ve2(6);
for(auto&&[u,v,c]:ve)ve2[c].push_back({u,v});
array<int,6> cnt;
rep(i,6)cnt[i]=0;
dsu d(N);
rep(i,6){
for(auto&&[u,v]:ve2[i]){
if(d.same(u,v))continue;
cnt[i]++;
d.merge(u,v);
}
}
// cout<<"cnt : ";for(auto&&e:cnt)cout<<e<<" ";cout<<endl;
map<array<int,6>,double> dp;
auto dfs=[&](auto dfs,array<int,6> ar)->double {
if(dp.count(ar))return dp[ar];
if(*max_element(ar.begin(),ar.end())==0)return 0;
// cout<<"ar : ";for(auto&&e:ar)cout<<e<<" ";cout<<endl;
double sm=0;
int sub=0;
rep(i,6){
array<int,6> ar2=ar;
bool flg=0;
rrep(j,i+1)if(ar2[j]){ar2[j]--;flg=1;break;}
if(flg)sm+=dfs(dfs,ar2);
else sub++;
}
sm/=(6-sub);
sm+=6/double(6-sub);
return dp[ar]=sm;
};
cout<<fixed<<setprecision(20)<<dfs(dfs,cnt)<<endl;
}