結果
| 問題 | 
                            No.360 増加門松列
                             | 
                    
| コンテスト | |
| ユーザー | 
                             ant2357
                         | 
                    
| 提出日時 | 2018-08-28 23:48:20 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 65 ms / 2,000 ms | 
| コード長 | 1,203 bytes | 
| コンパイル時間 | 2,384 ms | 
| コンパイル使用メモリ | 198,908 KB | 
| 最終ジャッジ日時 | 2025-01-06 12:39:06 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 22 | 
ソースコード
#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 kadomatuCheck(const vector<int> &h, int i) {
	if (h[i] == h[i + 1]) {
		return false;
	} else if (h[i] == h[i + 2]) {
		return false;
	} else if (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 (!kadomatuCheck(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;
}
            
            
            
        
            
ant2357