結果

問題 No.133 カードゲーム
ユーザー batasanblog
提出日時 2023-04-15 16:19:14
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 2 ms / 5,000 ms
コード長 1,431 bytes
コンパイル時間 4,229 ms
コンパイル使用メモリ 255,604 KB
最終ジャッジ日時 2025-02-12 08:55:25
ジャッジサーバーID
(参考情報)
judge2 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 4
other AC * 19
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
//using mint = static_modint<998244353>;
//using mint = modint;
using mint = static_modint<1000000007>;
using vm = vector<mint>;
using vvm = vector<vm>;
ostream &operator<<(ostream &o,const mint &m){cout<<m.val();return o;}
using ll = long long;
using vl = vector<ll>;
using vvl = vector<vl>;
using pl = pair<ll,ll>;
using vp = vector<pl>;
#define rep(i,n) for(ll i=0;i<(ll)(n);++i)
#define reps(i,s,n) for(ll i=(s);i<(ll)(n);++i)
#define rep1(i,n) for(ll i=1;i<=(ll)(n);++i)
#define chmin(x,y) x=min(x,y)
#define chmax(x,y) x=max(x,y)
#define fi first
#define se second
#define pb push_back
#define eb emplace_back
const long long INF = 1e18;
#ifdef DEBUG
#include <debug.hpp>
#endif
int main(){
#ifdef DEBUG
cout << "--- Input ---" << endl;
#endif
ll N;cin>>N;
vl A(N),B(N);
rep(i,N)cin>>A.at(i);
rep(i,N)cin>>B.at(i);
sort(A.begin(),A.end());
sort(B.begin(),B.end());
#ifdef DEBUG
cout << "--- Logic ---" << endl;
#endif
ll a=0,n=0;
do{
do{
ll p=0;
rep(i,N){
if(A.at(i)>B.at(i))++p;
}
if(p>N/2)++a;
++n;
}while(next_permutation(B.begin(),B.end()));
}while(next_permutation(A.begin(),A.end()));
#ifdef DEBUG
cout<<"a="<<a<<" n="<<n<<endl;
cout << "--- Answer ---" << endl;
#endif
cout << fixed << setprecision(9);
cout<<(double)a/(double)n<<endl;
return 0;
}
//cout << fixed << setprecision(9);
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0