結果

問題 No.2782 メルセンヌ数総乗
ユーザー maeshun
提出日時 2024-06-15 09:17:26
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 10 ms / 2,000 ms
コード長 1,175 bytes
コンパイル時間 4,438 ms
コンパイル使用メモリ 257,364 KB
最終ジャッジ日時 2025-02-21 22:36:02
ジャッジサーバーID
(参考情報)
judge4 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define rep(i, n) for(int i=0;i<(n);++i)
#define rep1(i, n) for(int i=1;i<=(n);i++)
#define ll long long
using mint = modint998244353;
using P = pair<ll,ll>;
using lb = long double;
using T = tuple<ll, ll, ll>;
#ifdef LOCAL
#  include <debug_print.hpp>
#  define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#  define dbg(...) (static_cast<void>(0))
#endif

int main()
{
    int n;
    cin >> n;
    map<int, int> mp;
    for(int i=2;i<=n;i++){
        ll v = 1ll<<i;
        v-=1;
        ll x = v;
        for(ll j=2;j*j<=v;j++){
            while(x%j==0) {
                x /= j;
                mp[j]++;
            }
        }
        if(x!=1) mp[x]++;
    }
    ll v = 1<<(n+1);
    v-=1;
    dbg(v);
    ll x = v;
    map<int, int> g;
    for(ll j=2;j*j<=v;j++){
        while(x%j==0) {
            x /= j;
            g[j]++;
        }
    }
    if(x!=1) g[x]++;
    dbg(g, mp);
    for(auto b : g) {
        if(b.second>mp[b.first]) {
            cout << "No" << endl;
            return 0;
        }
    }
    cout << "Yes" << endl;
    return 0;
}
0