結果
問題 | No.1316 Maximum Minimum Spanning Tree |
ユーザー | hotman78 |
提出日時 | 2020-12-13 22:25:54 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 7,092 bytes |
コンパイル時間 | 4,294 ms |
コンパイル使用メモリ | 261,228 KB |
実行使用メモリ | 6,948 KB |
最終ジャッジ日時 | 2024-09-20 00:10:31 |
合計ジャッジ時間 | 114,857 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | WA | - |
testcase_01 | AC | 56 ms
6,812 KB |
testcase_02 | AC | 82 ms
6,940 KB |
testcase_03 | AC | 271 ms
6,940 KB |
testcase_04 | AC | 31 ms
6,944 KB |
testcase_05 | AC | 31 ms
6,940 KB |
testcase_06 | WA | - |
testcase_07 | TLE | - |
testcase_08 | TLE | - |
testcase_09 | TLE | - |
testcase_10 | TLE | - |
testcase_11 | WA | - |
testcase_12 | AC | 755 ms
6,940 KB |
testcase_13 | AC | 756 ms
6,944 KB |
testcase_14 | AC | 773 ms
6,940 KB |
testcase_15 | TLE | - |
testcase_16 | TLE | - |
testcase_17 | WA | - |
testcase_18 | AC | 1,965 ms
6,944 KB |
testcase_19 | AC | 480 ms
6,940 KB |
testcase_20 | AC | 471 ms
6,944 KB |
testcase_21 | AC | 467 ms
6,940 KB |
testcase_22 | AC | 476 ms
6,940 KB |
testcase_23 | AC | 522 ms
6,940 KB |
testcase_24 | AC | 518 ms
6,940 KB |
testcase_25 | AC | 517 ms
6,944 KB |
testcase_26 | AC | 523 ms
6,940 KB |
testcase_27 | AC | 478 ms
6,940 KB |
testcase_28 | AC | 475 ms
6,940 KB |
testcase_29 | AC | 476 ms
6,940 KB |
testcase_30 | AC | 481 ms
6,940 KB |
testcase_31 | AC | 522 ms
6,944 KB |
testcase_32 | AC | 531 ms
6,940 KB |
testcase_33 | WA | - |
testcase_34 | AC | 520 ms
6,940 KB |
testcase_35 | AC | 495 ms
6,940 KB |
testcase_36 | AC | 481 ms
6,940 KB |
testcase_37 | WA | - |
testcase_38 | AC | 491 ms
6,940 KB |
testcase_39 | AC | 547 ms
6,940 KB |
testcase_40 | AC | 533 ms
6,944 KB |
testcase_41 | WA | - |
testcase_42 | AC | 519 ms
6,940 KB |
testcase_43 | TLE | - |
testcase_44 | TLE | - |
testcase_45 | TLE | - |
testcase_46 | TLE | - |
testcase_47 | WA | - |
testcase_48 | AC | 1,842 ms
6,940 KB |
testcase_49 | AC | 1,852 ms
6,940 KB |
testcase_50 | AC | 1,847 ms
6,940 KB |
testcase_51 | TLE | - |
testcase_52 | TLE | - |
testcase_53 | WA | - |
testcase_54 | TLE | - |
testcase_55 | TLE | - |
testcase_56 | TLE | - |
testcase_57 | TLE | - |
testcase_58 | TLE | - |
testcase_59 | TLE | - |
testcase_60 | TLE | - |
testcase_61 | TLE | - |
testcase_62 | TLE | - |
testcase_63 | TLE | - |
testcase_64 | TLE | - |
testcase_65 | WA | - |
testcase_66 | TLE | - |
testcase_67 | TLE | - |
testcase_68 | TLE | - |
testcase_69 | TLE | - |
testcase_70 | TLE | - |
testcase_71 | TLE | - |
testcase_72 | TLE | - |
testcase_73 | WA | - |
testcase_74 | TLE | - |
testcase_75 | WA | - |
testcase_76 | WA | - |
testcase_77 | WA | - |
testcase_78 | WA | - |
testcase_79 | WA | - |
testcase_80 | WA | - |
testcase_81 | TLE | - |
ソースコード
#line 2 "cpplib/util/template.hpp" #pragma GCC optimize("Ofast") #pragma GCC optimize("unroll-loops") #pragma GCC target("avx2") #include<bits/stdc++.h> using namespace std; struct __INIT__{__INIT__(){cin.tie(0);ios::sync_with_stdio(false);cout<<fixed<<setprecision(15);}}__INIT__; typedef long long lint; #define INF (1LL<<60) #define IINF (1<<30) #define EPS (1e-10) #define endl ('\n') typedef vector<lint> vec; typedef vector<vector<lint>> mat; typedef vector<vector<vector<lint>>> mat3; typedef vector<string> svec; typedef vector<vector<string>> smat; template<typename T>using V=vector<T>; template<typename T>using VV=V<V<T>>; template<typename T>inline void output(T t){bool f=0;for(auto i:t){cout<<(f?" ":"")<<i;f=1;}cout<<endl;} template<typename T>inline void output2(T t){for(auto i:t)output(i);} template<typename T>inline void debug(T t){bool f=0;for(auto i:t){cerr<<(f?" ":"")<<i;f=1;}cerr<<endl;} template<typename T>inline void debug2(T t){for(auto i:t)output(i);} #define loop(n) for(long long _=0;_<(long long)(n);++_) #define rep(i,...) for(auto i:range(__VA_ARGS__)) #define rrep(i,...) for(auto i:reversed(range(__VA_ARGS__))) #define repi(i,a,b) for(lint i=lint(a);i<(lint)(b);++i) #define rrepi(i,a,b) for(lint i=lint(b)-1;i>=lint(a);--i) #define irep(i) for(lint i=0;;++i) inline vector<long long> range(long long n){if(n<=0)return vector<long long>();vector<long long>v(n);iota(v.begin(),v.end(),0LL);return v;} inline vector<long long> range(long long a,long long b){if(b<=a)return vector<long long>();vector<long long>v(b-a);iota(v.begin(),v.end(),a);return v;} inline vector<long long> range(long long a,long long b,long long c){if((b-a+c-1)/c<=0)return vector<long long>();vector<long long>v((b-a+c-1)/c);for(int i=0;i<(int)v.size();++i)v[i]=i?v[i-1]+c:a;return v;} template<typename T>inline T reversed(T v){reverse(v.begin(),v.end());return v;} #define all(n) begin(n),end(n) template<typename T,typename E>bool chmin(T& s,const E& t){bool res=s>t;s=min<T>(s,t);return res;} template<typename T,typename E>bool chmax(T& s,const E& t){bool res=s<t;s=max<T>(s,t);return res;} const vector<lint> dx={1,0,-1,0,1,1,-1,-1}; const vector<lint> dy={0,1,0,-1,1,-1,1,-1}; #define SUM(v) accumulate(all(v),0LL) template<typename T,typename ...Args>auto make_vector(T x,int arg,Args ...args){if constexpr(sizeof...(args)==0)return vector<T>(arg,x);else return vector(arg,make_vector<T>(x,args...));} #define extrep(v,...) for(auto v:__MAKE_MAT__({__VA_ARGS__})) vector<vector<long long>> __MAKE_MAT__(vector<long long> v){if(v.empty())return vector<vector<long long>>(1,vector<long long>());long long n=v.back();v.pop_back();vector<vector<long long>> ret;vector<vector<long long>> tmp=__MAKE_MAT__(v);for(auto e:tmp)for(long long i=0;i<n;++i){ret.push_back(e);ret.back().push_back(i);}return ret;} //#include "../graph_tree/graph_template.hpp" template<typename T,typename E>ostream& operator<<(ostream& out,pair<T,E>v){out<<"("<<v.first<<","<<v.second<<")";return out;} #line 1 "cpplib/dsu/union_find.hpp" /** * @brief Union Find * @see https://ja.wikipedia.org/wiki/%E7%B4%A0%E9%9B%86%E5%90%88%E3%83%87%E3%83%BC%E3%82%BF%E6%A7%8B%E9%80%A0 */ class UF{ public: vector<int> data; int sz; public: UF(int sz):sz(sz){data.resize(sz,-1);} bool unite(int x,int y){ x=root(x);y=root(y); if(x==y)return 0; if(data[x]>data[y])swap(x,y); data[x]+=data[y]; data[y]=x; sz--; return 1; } inline int root(int x){return data[x]<0?x:data[x]=root(data[x]);} inline bool same(int x, int y){return root(x)==root(y);} inline int size(){return sz;} inline int size(int x){return -data[root(x)];} }; #line 3 "cpplib/math/binary_search_double.hpp" /** * @brief 二分探索(double) */ template<typename F> long double bs(long double mn,long double mx,F func) { long double left = mn; long double right =mx; for(int i=0;i<100;i++){ long double mid=(right+left)*0.5; if (!func(mid)) right = mid; else left = mid; } return left; } #line 1 "cpplib/util/int128.hpp" std::ostream &operator<<(std::ostream &dest, __int128_t value) { std::ostream::sentry s(dest); if(s){ __uint128_t tmp = value < 0 ? -value : value; char buffer[128]; char *d = std::end(buffer); do { --d; *d = "0123456789"[tmp % 10]; tmp /= 10; } while (tmp != 0); if (value < 0) { --d; *d = '-'; } int len = std::end(buffer) - d; if (dest.rdbuf()->sputn(d, len) != len) { dest.setstate(std::ios_base::badbit); } } return dest; } __int128 parse(string &s) { __int128 ret = 0; for (int i = 0; i < (int)s.length(); i++) if ('0' <= s[i] && s[i] <= '9') ret = 10 * ret + s[i] - '0'; return ret; } std::istream &operator>>(std::istream &dest, __int128_t& value){ string s; dest>>s; value=parse(s); return dest; } #line 5 "code.cpp" //#include"cpplib/util/cpp_int.hpp" int main(){ __int128_t n,m,k; cin>>n>>m>>k; //k*=1'000'000'000'000'000LL; vector<__int128_t> a(m),b(m),c(m),d(m); rep(i,m){ cin>>a[i]>>b[i]>>c[i]>>d[i]; c[i]*=1'000'000'000'000'000LL; a[i]--;b[i]--; } auto g=[&](vector<__int128_t> x){ __int128_t ans=0; rep(i,m){ ans-=d[i]*x[i]; } return ans; }; auto f=[&](vector<__int128_t> x){ vector<tuple<__int128_t,lint,lint>>v; __int128_t ans=0; rep(i,m){ v.emplace_back(c[i]+x[i],a[i],b[i]); } sort(all(v)); UF uf(n); rep(i,m){ if(uf.unite(get<1>(v[i]),get<2>(v[i]))){ ans+=get<0>(v[i])*k; } } return ans; }; auto p=[&](vector<__int128_t> x){ vector<tuple<__int128_t,lint,lint,lint>>v; vector<__int128_t>res(m,0); rep(i,m){ v.emplace_back(c[i]+x[i],a[i],b[i],i); } sort(all(v)); UF uf(n); rep(i,m){ if(uf.unite(get<1>(v[i]),get<2>(v[i]))){ res[get<3>(v[i])]=k; } } return res; }; lint cnt=50000; __int128_t pre=0,ans=0; __int128_t aaa; { vector<__int128_t> x(m,0); for(int i=0;i<cnt;++i){ long double eta=pow(1.001,i)/1'000'000'000'000'000LL; auto kv=p(x); rep(i,m){ x[i]=max(__int128_t(0),__int128_t(x[i]+(kv[i]-d[i])/eta)); } } pre=f(x)+g(x); } { vector<__int128_t> x(m,0); for(int i=0;i<cnt;++i){ long double eta=pow(1.01,i)/1'000'000'000'000'000LL; auto kv=p(x); rep(i,m){ x[i]=max(__int128_t(0),__int128_t(x[i]+(kv[i]-d[i])/eta)); } } ans=f(x)+g(x); } if(pre>ans){ cout<<-1<<endl; }else{ cout<<ans/1'000'000'000'000'000LL+(5<=(ans/100'000'000'000'000L)%10)<<endl; } }