結果
問題 |
No.1470 Mex Sum
|
ユーザー |
![]() |
提出日時 | 2021-04-10 12:54:06 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 24 ms / 2,000 ms |
コード長 | 1,196 bytes |
コンパイル時間 | 6,301 ms |
コンパイル使用メモリ | 250,388 KB |
最終ジャッジ日時 | 2025-01-20 15:32:45 |
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 |
other | AC * 49 |
ソースコード
#include <bits/stdc++.h> #include<atcoder/all> using namespace atcoder; #define rep(i, n) for(ll i = 0; i < n; i++) #define rep2(i, m, n) for(ll i = m; i <= n; i++) #define rrep(i, m, n) for(ll i = m; i >= n; i--) #define all(a) a.begin(), a.end() #define rall(a) a.rbegin(), a.rend() #define MAX(x) *max_element(all(x)) #define MIN(x) *min_element(all(x)) #define SZ(a) ((ll)(a).size()) using namespace std; typedef long long ll; typedef pair<int, int> P; const ll mod = 1000000007; const int dx[4] = { -1, 1, 0, 0 }; const int dy[4] = { 0, 0, 1, -1 }; const int inf = 1e9 + 1; const ll INF = 1e18 + 1; const double pi = acos(-1); using Graph = vector<vector<int>>; Graph G; typedef atcoder::modint1000000007 mint; //typedef atcoder::modint998244353 mint; //typedef modint mint; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); ll n; cin >> n; vector<ll> sc(3, 0); rep(i, n) { int a; cin >> a; a--; a = min(a, 2); sc[a]++; } ll m = n * (n - 1) / 2 - sc[0] * (sc[0] - 1) / 2 - sc[0] * sc[1] - sc[0] * sc[2]; ll res = m + sc[0] * (sc[0] - 1) / 2 * 2 + sc[0] * sc[1] * 3 + sc[0] * sc[2] * 2; cout << res << endl; }