結果
| 問題 | No.118 門松列(2) |
| コンテスト | |
| ユーザー |
T1610
|
| 提出日時 | 2026-08-31 00:56:05 |
| 言語 | C++23 (gcc 15.3.0 + boost 1.92.0 + ACL) |
| 結果 |
AC
不安定
|
| 実行時間 | 7 ms / 5,000 ms |
| + 393µs | |
| コード長 | 1,618 bytes |
| 記録 | |
| コンパイル時間 | 4,282 ms |
| コンパイル使用メモリ | 380,536 KB |
| 実行使用メモリ | 9,800 KB |
| 最終ジャッジ日時 | 2026-08-31 00:56:11 |
| 合計ジャッジ時間 | 6,366 ms |
|
ジャッジサーバーID (参考情報) |
judge3_0 / judge1_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 26 |
ソースコード
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
#define rep(i, n) REP(i, 0, n)
#define REP(i, s, e) for (int i = (s); i < (int)(e); i++)
#define repr(i, n) REPR(i, n, 0)
#define REPR(i, s, e) for (int i = (int)(s - 1); i >= (int)(e); i--)
#define all(r) r.begin(), r.end()
#define rall(r) r.rbegin(), r.rend()
typedef long long ll;
typedef vector<int> vi;
typedef vector<ll> vl;
template <typename T, typename U>
T chmax(T& a, const U& b) {
if (a >= b) return false;
a = b;
return true;
}
template <typename T, typename U>
T chmin(T& a, const U& b) {
if (a <= b) return false;
a = b;
return true;
}
void yes_no(bool f, string yes = "Yes", string no = "No") { cout << (f ? yes : no) << "\n"; }
void solve() {
int n;
cin >> n;
map<ll, ll> mp;
rep(i, n) {
int a;
cin >> a;
mp[a]++;
}
using mint = modint1000000007;
mint ans = 1;
ans *= n;
ans *= (n - 1);
ans *= (n - 2);
ans /= 6;
for (auto&& [x, y] : mp) {
if (y >= 2) {
mint sub = (y * (y - 1) / 2);
sub *= (n - y);
ans -= sub;
// cout << sub.val() << '\n';
}
if (y >= 3) {
mint sub = y;
sub *= (y - 1);
sub *= (y - 2);
sub /= 6;
ans -= sub;
// cout << sub.val() << '\n';
}
}
cout << ans.val() << "\n";
}
int main() {
cin.tie(0);
ios::sync_with_stdio(false);
int t = 1;
// multi-testcase
// cin >> t;
rep(ti, t) solve();
return 0;
}
T1610