結果

問題 No.360 増加門松列
ユーザー ant2357
提出日時 2018-08-28 23:54:27
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 24 ms / 2,000 ms
コード長 1,137 bytes
コンパイル時間 2,203 ms
コンパイル使用メモリ 198,976 KB
最終ジャッジ日時 2025-01-06 12:39:27
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

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

#include "bits/stdc++.h"
using namespace std;
using ll = long long;
using ld = long double;
const int INF = (1 << 30) - 1;
const ll INF64 = ((ll)1 << 62) - 1;
const double PI = 3.1415926535897932384626433832795;
const int dx[] = { 0, 1, 0, -1 };
const int dy[] = { -1, 0, 1, 0 };
int gcd(int x, int y) { return y ? gcd(y, x % y) : x; }
ll gcd(ll x, ll y) { return y ? gcd(y, x % y) : x; }
int lcm(int x, int y) { return x / gcd(x, y) * y; }
ll lcm(ll x, ll y) { return x / gcd(x, y) * y; }
bool isKadomatu(const vector<int> &h, int i) {
    if (h[i] == h[i + 1] || h[i] == h[i + 2] || h[i + 1] == h[i + 2]) {
        return false;
    }
    return (h[i] < h[i + 1] && h[i + 1] > h[i + 2]) || (h[i] > h[i + 1] && h[i + 1] < h[i + 2]);
}
int main() {
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n = 7;
    vector<int> d(n);
    for (auto &v : d) {
        cin >> v;
    }
    sort(begin(d), end(d));
    do {
        for (int i = 0; i < n - 2; i++) {
            if (!isKadomatu(d, i) || d[i] >= d[i + 2]) {
                break;
            }
            if (i == 4) {
                cout << "YES" << endl;
                return 0;
            }
        }
    } while (next_permutation(begin(d), end(d)));
    cout << "NO" << endl;
    return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0