#172780 (C++17) No.629 グラフの中に眠る門松列

• 問題: No.629 グラフの中に眠る門松列
• ユーザー: mai
• 提出日時: 2017-05-08 23:13:25
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 2 ms / 4,000 ms
• コード長: 4,634 bytes
• コンパイル時間: 3,062 ms
• コンパイル使用メモリ: 215,780 KB
• 実行使用メモリ: 6,944 KB
• 最終ジャッジ日時: 2024-06-06 04:45:58
• 合計ジャッジ時間: 4,306 ms
• ジャッジサーバーID （参考情報）: judge3 / judge4

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 6,812 KB
testcase_01	AC	2 ms; 6,944 KB
testcase_02	AC	2 ms; 6,940 KB
testcase_03	AC	2 ms; 6,940 KB
testcase_04	AC	2 ms; 6,940 KB
testcase_05	AC	2 ms; 6,940 KB
testcase_06	AC	2 ms; 6,944 KB
testcase_07	AC	2 ms; 6,940 KB
testcase_08	AC	2 ms; 6,944 KB
testcase_09	AC	2 ms; 6,944 KB
testcase_10	AC	2 ms; 6,940 KB
testcase_11	AC	2 ms; 6,940 KB
testcase_12	AC	2 ms; 6,940 KB
testcase_13	AC	2 ms; 6,940 KB
testcase_14	AC	2 ms; 6,944 KB
testcase_15	AC	2 ms; 6,940 KB
testcase_16	AC	2 ms; 6,944 KB
testcase_17	AC	2 ms; 6,940 KB
testcase_18	AC	2 ms; 6,940 KB
testcase_19	AC	2 ms; 6,940 KB
testcase_20	AC	2 ms; 6,940 KB
testcase_21	AC	2 ms; 6,940 KB
testcase_22	AC	2 ms; 6,940 KB
testcase_23	AC	2 ms; 6,940 KB
testcase_24	AC	2 ms; 6,944 KB
testcase_25	AC	2 ms; 6,940 KB
testcase_26	AC	2 ms; 6,944 KB
testcase_27	AC	2 ms; 6,940 KB
testcase_28	AC	2 ms; 6,940 KB
testcase_29	AC	2 ms; 6,940 KB
testcase_30	AC	2 ms; 6,944 KB
testcase_31	AC	2 ms; 6,940 KB
testcase_32	AC	2 ms; 6,944 KB
testcase_33	AC	2 ms; 6,940 KB
testcase_34	AC	2 ms; 6,940 KB
testcase_35	AC	2 ms; 6,944 KB
testcase_36	AC	2 ms; 6,944 KB
testcase_37	AC	2 ms; 6,940 KB
testcase_38	AC	2 ms; 6,940 KB
testcase_39	AC	2 ms; 6,944 KB
testcase_40	AC	2 ms; 6,944 KB
testcase_41	AC	2 ms; 6,944 KB

ソースコード

#pragma GCC optimize ("O3")
#pragma GCC target ("avx")
#include "bits/stdc++.h" // define macro "/D__MAI"

using namespace std;
typedef unsigned int uint;
typedef long long int ll;
typedef unsigned long long int ull;

#define debugv(v) printf("L%d %s => ",__LINE__,#v);for(auto e:v){cout<<e<<" ";}cout<<endl;
#define debugm(m) printf("L%d %s is..\n",__LINE__,#m);for(auto v:m){for(auto e:v){cout<<e<<" ";}cout<<endl;}
#define debuga(m,w) printf("L%d %s is => ",__LINE__,#m);for(int x=0;x<(w);x++){cout<<(m)[x]<<" ";}cout<<endl;
#define debugaa(m,w,h) printf("L%d %s is..\n",__LINE__,#m);for(int y=0;y<(h);y++){for(int x=0;x<(w);x++){cout<<(m)[x][y]<<" ";}cout<<endl;}
#define debugaar(m,w,h) printf("L%d %s is..\n",__LINE__,#m);for(int y=0;y<(h);y++){for(int x=0;x<(w);x++){cout<<(m)[y][x]<<" ";}cout<<endl;}
#define ALL(v) (v).begin(),(v).end()
#define repeat(l) for(auto cnt=0;cnt<(l);++cnt)
#define upto(l,r) for(auto cnt=l;cnt<=r;++cnt)
#define downto(r,l) for(auti cnt=r;cnt>=l;--cnt)
#define BIGINT 0x7FFFFFFF
#define MD 1000000007ll
#define PI 3.1415926535897932384626433832795
template<typename T1, typename T2>
ostream& operator <<(ostream &o, const pair<T1, T2> p) { o << "(" << p.first << ":" << p.second << ")"; return o; }

#define TIME chrono::system_clock::now()
#define MILLISEC(t) (chrono::duration_cast<chrono::milliseconds>(t).count())
namespace {
    std::chrono::system_clock::time_point ttt;
    void tic() { ttt = TIME; }
    void toc() { fprintf(stderr, "TIME : %lldms\n", MILLISEC(TIME - ttt)); }
    std::chrono::system_clock::time_point tle = TIME;
#ifdef __MAI
    void safe_tle(int msec) { assert(MILLISEC(TIME - tle) < msec); }
#else
#define safe_tle(k) ;
#endif
}

#ifdef __MAI //_getchar_nolock
#define getchar_unlocked getchar
#endif
namespace {
    class MaiScanner {
    public:
        template<typename T>
        void input_integer(T& var) {
            var = 0;
            T sign = 1;
            int cc = getchar_unlocked();
            for (; cc<'0' || '9'<cc; cc = getchar_unlocked())
                if (cc == '-') sign = -1;
            for (; '0' <= cc&&cc <= '9'; cc = getchar_unlocked())
                var = (var << 3) + (var << 1) + cc - '0';
            var = var*sign;
        }
        inline int c() { return getchar_unlocked(); }
        inline MaiScanner& operator>>(int& var) {
            input_integer<int>(var);
            return *this;
        }
        inline MaiScanner& operator>>(long long& var) {
            input_integer<long long>(var);
            return *this;
        }
    };
}
MaiScanner scanner;

// 
// 
// 存在判定であれば，全列挙する必要はなく O(M) で出来る ・・・
// 
// 

void yes() {
    cout << "YES" << endl;
    exit(0);
}

struct Vdata {
    int large = 0;
    int small = 0;
};

int vertex[1010];

Vdata memo[1010];

int main() {
    int n, m;
    scanner >> n >> m;

    repeat(n) { scanner >> vertex[cnt]; }

    bool h = false;
    repeat(m) {
        int u, v;
        scanner >> u >> v;
        --u; --v;

        // ある辺の両端が同じ値なら，その辺は無視．
        if (vertex[u] == vertex[v])continue;

        if (vertex[u] > vertex[v]) {
            // もし，u が v 以外に vertex[u] より小さい頂点 x に隣接していて，
            // その値が vertex[v] と異なるならば yes()
            // 式で書くと，vertex[x] < vertex[u] > vertex[v] && vertex[x] != vertex[v] 
            if (memo[u].small && memo[u].small != vertex[v]) yes();

            // もし，v が u 以外に vertex[v] より大きい頂点 x に隣接していて，
            // その値が vertex[u] と異なるならば yes()
            // 式で書くと，vertex[x] > vertex[v] < vertex[u] && vertex[x] != vertex[v] 
            if (memo[v].large && memo[v].large != vertex[u]) yes();

            // u には，自分自身u より小さい値を持つ v と接続していることが分かった．
            memo[u].small = vertex[v];
            // v には，自分自身v より大きい値を持つ u と接続していることが分かった．
            memo[v].large = vertex[u];
        }
        else {
            // ほとんど同じ

            // vertex[x] > vertex[u] < vertex[v] && vertex[x] != vertex[v] 
            if (memo[u].large && memo[u].large != vertex[v]) yes();
            // vertex[x] < vertex[v] > vertex[u] && vertex[x] != vertex[v] 
            if (memo[v].small && memo[v].small != vertex[u]) yes();

            memo[u].large = vertex[v];
            memo[v].small = vertex[u];
        }
    }
    cout << "NO" << endl;
    return 0;
}