結果

問題 No.2379 Burnside's Theorem
ユーザー UMRgurashiUMRgurashi
提出日時 2023-07-20 14:14:50
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 6,895 bytes
コンパイル時間 6,673 ms
コンパイル使用メモリ 324,732 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-09-20 10:27:04
合計ジャッジ時間 7,497 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 1 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 2 ms
5,376 KB
testcase_11 AC 2 ms
5,376 KB
testcase_12 AC 2 ms
5,376 KB
testcase_13 AC 7 ms
5,376 KB
testcase_14 AC 8 ms
5,376 KB
testcase_15 AC 11 ms
5,376 KB
testcase_16 AC 3 ms
5,376 KB
testcase_17 AC 2 ms
5,376 KB
testcase_18 AC 3 ms
5,376 KB
testcase_19 AC 2 ms
5,376 KB
testcase_20 AC 2 ms
5,376 KB
testcase_21 AC 1 ms
5,376 KB
testcase_22 AC 2 ms
5,376 KB
testcase_23 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
#include <cstdlib>
#include <atcoder/all>
using namespace atcoder;
#include <chrono>

#define int long long
#define double long double
#define stoi stoll
//#define endl "\n"
using std::abs;

using namespace std;
constexpr double PI = 3.14159265358979323846;
const  int INF = 1LL << 61;
const int dx[8] = { 0,1,0,-1,1,1,-1,-1 };
const int dy[8] = { 1,0,-1,0,1,-1,1,-1 };

#define rep(i,n) for(int i=0;i<n;++i)
#define REP(i,n) for(int i=1;i<=n;i++)
#define sREP(i,n) for(int i=1;i*i<=n;++i)
#define krep(i,k,n) for(int i=(k);i<n+k;i++)
#define Krep(i,k,n) for(int i=(k);i<n;i++)
#define rrep(i,n) for(int i=n-1;i>=0;i--)
#define Rrep(i,n) for(int i=n;i>0;i--)
#define frep(i,n) for(auto &x:n)
#define LAST(x) x[x.size()-1]
#define ALL(x) (x).begin(),(x).end()
#define MAX(x) *max_element(ALL(x))
#define MIN(x) *min_element(ALL(x)
#define RUD(a,b) (((a)+(b)-1)/(b))
#define sum1_n(n) ((n)*(n+1)/2)
#define SUM1n2(n) (n*(2*n+1)*(n+1))/6
#define SUMkn(k,n) (SUM1n(n)-SUM1n(k-1))
#define SZ(x) ((int)(x).size())
#define PB push_back
#define Fi first
#define Se second
#define lower(vec, i) *lower_bound(ALL(vec), i)
#define upper(vec, i) *upper_bound(ALL(vec), i)
#define lower_count(vec, i) (int)(lower_bound(ALL(vec), i) - (vec).begin())
#define acc(vec) accumulate(ALL(vec),0LL)
template<class... T>
constexpr auto min(T... a) {
    return min(initializer_list<common_type_t<T...>>{a...});
}

template<class... T>
constexpr auto max(T... a) {
    return max(initializer_list<common_type_t<T...>>{a...});
}

template<class... T>
void in(T&... a) {
    (cin >> ... >> a);
}


void out() { cout << "\n"; }
template <typename T, class... U, char sep = ' '>
void out(const T& t, const U &...u) {
    cout << t;
    if (sizeof...(u)) cout << sep;
    out(u...);
}

template <typename T>
bool nxp(vector<T>& v) {
    return next_permutation(begin(v), end(v));
}

#define inl(...) long long __VA_ARGS__; in(__VA_ARGS__)
#define ins(...) string  __VA_ARGS__; in(__VA_ARGS__)

template <class T>
using v = vector<T>;
template <class T>
using vv = vector<v<T>>;
template <class T>
using vvv = vector<vv<T>>;

using pint = pair<int, int>;
using tint = tuple<int, int, int>;
using qint = tuple<int, int, int, int>;

double LOG(int a, int b) {
    return log(b) / log(a);
}
int DISTANCE(pint a, pint b) {
    return (abs(a.first - b.first) * abs(a.first - b.first) + abs(a.second - b.second) * abs(a.second - b.second));
}

inline bool BETWEEN(int x, int min, int max) {
    if (min <= x && x <= max)
        return true;
    else
        return false;
}
inline bool between(int x, int min, int max) {
    if (min < x && x < max) return true;
    else return false;
}
inline bool BETWEEN2(int i, int j, int H, int W) {
    if (BETWEEN(i, 0, H - 1) && BETWEEN(j, 0, W - 1)) return true;
    else return false;
}

template<class T>
inline bool chmin(T& a, T b) {
    if (a > b) {
        a = b;
        return true;
    }
    return false;
}
template<class T>
inline bool chmax(T& a, T b) {
    if (a < b) {
        a = b;
        return true;
    }
    return false;
}

inline bool bit(int x, int i) {
    return x >> i & 1;
}


void  yn(bool x) {
    if (x) {
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }
}
void  YN(bool x) {
    if (x) {
        cout << "YES" << endl;
    }
    else {
        cout << "NO" << endl;
    }
}

int ipow(int x, int n) {
    int ans = 1;
    while (n > 0) {
        if (n & 1) ans *= x;
        x *= x;
        n >>= 1;
    }
    return ans;
}

template <typename T>
vector<T> compress(vector<T>& X) {
    vector<T> vals = X;
    sort(ALL(vals));
    vals.erase(unique(ALL(vals)), vals.end());
    rep(i, SZ(X))
        X[i] = lower_bound(ALL(vals), X[i]) - vals.begin();
    return vals;
}

v<pint> prime_factorize(int N) {
    v<pint>  res;
    for (int i = 2; i * i <= N; i++) {
        if (N % i != 0) continue;
        int ex = 0;
        while (N % i == 0) {
            ++ex;
            N /= i;
        }
        res.push_back({ i, ex });
    }
    if (N != 1) res.push_back({ N, 1 });
    return res;
}



struct Eratosthenes {
    v<bool> isprime;
    v<int> minfactor;

    Eratosthenes(int N) : isprime(N + 1, true),
        minfactor(N + 1, -1) {
        isprime[0] = false;
        isprime[1] = false;
        minfactor[1] = 1;
        for (int p = 2; p <= N; ++p) {
            if (!isprime[p]) continue;
            minfactor[p] = p;
            for (int q = p * 2; q <= N; q += p) {
                isprime[q] = false;
                if (minfactor[q] == -1) minfactor[q] = p;
            }
        }
    }
    v<pint> factorize(int n) {
        v<pint> res;
        while (n > 1) {
            int p = minfactor[n];
            int exp = 0;
            while (minfactor[n] == p) {
                n /= p;
                ++exp;
            }
            res.emplace_back(p, exp);
        }
        return res;
    }
};

int number_of_divisors(v<pint> p) {
    int ans = 1;
    for (pint x : p) {
        ans *= x.second + 1;
    }
    return ans;
}
int sum_of_divisors(v<pint> p) {
    int ans = 1;
    for (pint x : p) {

    }
    return ans;
}

//constexpr int MOD = 1000000007;
constexpr int MOD = 998244353;
//using mint = modint1000000007;
using mint = modint998244353;
//using mint = static_modint<16637>;

string base_to_k(int n, int k) {
    //n(10)→n(k)
    string ans = "";
    while (n) {
        ans += to_string(n % k);
        n /= k;
    }
    reverse(ALL(ans));
    return ans;
}

int N, T, M;
int ans = 0;
v<pint> C;
//set<set<set<int>>> ssse;

void dfs(set<set<int>> x, int i) {
    if (i == N) {
        /*
        cout << "*" << endl;
        for (auto y : x) {
            for (auto z : y)cout << z+1 << " ";
            cout << endl;
        }
        */

        bool ch = true;
        rep(j, M) {
            auto [a, b] = C[j];
            for (set<int> se : x) {
                if (se.count(a) == 1 && se.count(b) == 1)ch = false;
            }
        }
        if (SZ(x) != T)ch = false;
        //cout << ch << endl << endl;
        if (ch) {
            //ssse.insert(x);
            ans++;
        }
        return;
    }

    vector<pair<set<int>, set<int>>> li;
    set<set<int>> temp = x;
    for (set<int> se : x) {
        set<int> copy = se;
        copy.insert(i);
        li.push_back({ se,copy });
    }
    rep(j, SZ(li)) {
        x.erase(li[j].first);
        x.insert(li[j].second);
        dfs(x, i + 1);
        x.erase(li[j].second);
        x.insert(li[j].first);
    }
    x.insert({ i });
    dfs(x, i + 1);
}

void solve() {
    inl(N);
    yn(SZ(prime_factorize(N)) <= 2);
}

signed main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    //cout << fixed << setprecision(14);
    //cout << setfill('0') << right << setw(3);
    solve();
}
0