#902181 (C++14) No.2417 Div Count

提出ソース

結果

問題	No.2417 Div Count
ユーザー	蜜蜂
提出日時	2023-08-12 13:59:38
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	3 ms / 2,000 ms
コード長	4,818 bytes
コンパイル時間	4,534 ms
コンパイル使用メモリ	245,256 KB
実行使用メモリ	5,248 KB
最終ジャッジ日時	2024-11-19 16:56:41
合計ジャッジ時間	5,754 ms
ジャッジサーバーID （参考情報）	judge2 / judge3

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
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,248 KB
testcase_04	AC	2 ms 5,248 KB
testcase_05	AC	2 ms 5,248 KB
testcase_06	AC	2 ms 5,248 KB
testcase_07	AC	1 ms 5,248 KB
testcase_08	AC	2 ms 5,248 KB
testcase_09	AC	2 ms 5,248 KB
testcase_10	AC	2 ms 5,248 KB
testcase_11	AC	2 ms 5,248 KB
testcase_12	AC	2 ms 5,248 KB
testcase_13	AC	2 ms 5,248 KB
testcase_14	AC	2 ms 5,248 KB
testcase_15	AC	2 ms 5,248 KB
testcase_16	AC	2 ms 5,248 KB
testcase_17	AC	2 ms 5,248 KB
testcase_18	AC	2 ms 5,248 KB
testcase_19	AC	2 ms 5,248 KB
testcase_20	AC	2 ms 5,248 KB
testcase_21	AC	2 ms 5,248 KB
testcase_22	AC	2 ms 5,248 KB
testcase_23	AC	2 ms 5,248 KB
testcase_24	AC	2 ms 5,248 KB
testcase_25	AC	2 ms 5,248 KB
testcase_26	AC	2 ms 5,248 KB
testcase_27	AC	2 ms 5,248 KB
testcase_28	AC	2 ms 5,248 KB
testcase_29	AC	2 ms 5,248 KB
testcase_30	AC	2 ms 5,248 KB
testcase_31	AC	2 ms 5,248 KB
testcase_32	AC	2 ms 5,248 KB
testcase_33	AC	2 ms 5,248 KB
testcase_34	AC	2 ms 5,248 KB
testcase_35	AC	2 ms 5,248 KB
testcase_36	AC	2 ms 5,248 KB
testcase_37	AC	2 ms 5,248 KB
testcase_38	AC	3 ms 5,248 KB
testcase_39	AC	2 ms 5,248 KB
testcase_40	AC	2 ms 5,248 KB
testcase_41	AC	2 ms 5,248 KB
testcase_42	AC	2 ms 5,248 KB

権限があれば一括ダウンロードができます

コンパイルメッセージ

main.cpp: In function 'std::vector<long long int> divisor(std::vector<std::pair<long long int, int> >&)':
main.cpp:212:10: warning: structured bindings only available with '-std=c++17' or '-std=gnu++17' [-Wc++17-extensions]
  212 |     auto [a,b]=fac[i];
      |          ^

ソースコード

raw source code

// g++-13 1.cpp -std=c++17 -O2 -I .
#include <bits/stdc++.h>
using namespace std;

#include <atcoder/all>
using namespace atcoder;

using ll = long long;
using ld = long double;
 
using vi = vector<int>;
using vvi = vector<vi>;
using vll = vector<ll>;
using vvll = vector<vll>;
using vld = vector<ld>;
using vvld = vector<vld>;
using vst = vector<string>;
using vvst = vector<vst>;
 
#define fi first
#define se second
#define pb push_back
#define eb emplace_back
#define pq_big(T) priority_queue<T,vector<T>,less<T>>
#define pq_small(T) priority_queue<T,vector<T>,greater<T>>
#define all(a) a.begin(),a.end()
#define rep(i,start,end) for(ll i=start;i<(ll)(end);i++)
#define per(i,start,end) for(ll i=start;i>=(ll)(end);i--)
#define uniq(a) sort(all(a));a.erase(unique(all(a)),a.end())

//https://atcoder.jp/contests/arc122/submissions/24436348
//https://judge.yosupo.jp/submission/53811
//https://yukicoder.me/submissions/680896
//https://atcoder.jp/contests/abc180/submissions/24436784

#include <cassert>
#include <cmath>
#include <initializer_list>
#include <random>
#include <iostream>
#include <algorithm>

std::mt19937_64 mt{std::random_device{}()};
long long rnd(long long n) { return std::uniform_int_distribution<long long>(0, n-1)(mt); }

bool is_prime(long long x){
  using u128=__uint128_t;
  
  if(x==2||x==3||x==5||x==7)return true;
  if(x%2==0||x%3==0||x%5==0||x%7==0)return false;
  if(x<121){
    return x>1;
  }

  long long d = (x-1) >> __builtin_ctzll(x-1);
  long long one=1,minus_one=x-1;

  auto pow = [](long long x,long long n,long long mod){
    u128 res;
    x%=mod;
    if(n==0){
      res=1;return res;
    }
    res=1;
    u128 now=x;
    for(;n;n>>=1,now=(now*now)%mod){
      if(n&1){
        res=res*now%mod;
      }
    }
    return res;
  };

  auto ok = [&](long long a){
    auto y=pow(a,d,x);
    long long t=d;

    while(y!=one&&y!=minus_one&&t!=x-1){
      y=y*y%x;
      t<<=1;
    }

    if(y!=minus_one&&t%2==0)return false;
    return true;
  };

  if(x<(1ull<<32)){
    for(long long a:{2,7,61}){
      if(!ok(a))return false;
    }
  }
  else{
    for(long long a:{2,325,9375,28178,450775,9780504,1795265022}){
      if(x<=a)return true;
      if(!ok(a))return false;
    }
  }

  return true;
}

long long GCD(long long a,long long b){
  if(b==0){
    return a;
  }
  else{
    return GCD(b,(a%b));
  }
}

long long rho(long long n,long long c){
  using u128=__uint128_t;

  assert(n>1);
  long long cc=c;

  auto f = [&](long long x){
    long long res;
    res=(((u128)x)*x+cc)%n;
    return res;
  };

  long long x=1,y=2,z=1,q=1;
  long long g=1;

  long long m= 1LL<<((64-__builtin_ctzll(n))/5);

  for(long long r=1;g==1;r<<=1){
    x=y;
    for(int i=0;i<r;i++){
      y=f(y);
    }
    for(long long k=0;k<r&&g==1;k+=m){
      z=y;
      for(long long i=0;i<std::min(m,r-k);i++){
        y=f(y);
        long long w=(x-y)%n;
        if(w<0)w+=n;
        q=((u128)q*w)%n;
      }
      g=GCD(q,n);
    }
  }

  if(g==n){
    do{
      z=f(z);
      long long w=(x-z)%n;
      if(w<0)w+=n;
      g=GCD(w,n);
    }while(g==1);
  }

  return g;
}

long long prime_factor(long long n){
  assert(n>1);
  if(is_prime(n)) return n;

  for(int i=0;i<100;i++){
    long long m=rho(n,rnd(n));
    if(is_prime(m))return m;
    n=m;
  }
  std::cerr<<"failed\n";
  assert(false);
  return -1;
}

//nを素因数分解 {素因数,個数} で管理 (1は空配列)
std::vector<std::pair<long long,int>> factor(long long n){
  static std::vector<std::pair<long long,int>> res;
  res.clear();

  for(long long i=2;i<=100&&i*i<=n;++i){
    if(n%i==0){
      int cnt=0;
      do{
        cnt++;
        n/=i;
      }while(n%i==0);
      res.emplace_back(i,cnt);
    }
  }

  while(n>1){
    long long p=prime_factor(n);
    int cnt=0;
    do{
      cnt++;
      n/=p;
    }while(n%p==0);
    res.emplace_back(p,cnt);
  }

  std::sort(res.begin(),res.end());
  return res;
}

//nの約数配列(昇順) 引数はfactor(n)
std::vector<long long> divisor(std::vector<std::pair<long long,int>> &fac){
  int sz=fac.size();

  //n=1の時
  if(sz==0){
    return {1};
  }
  
  std::vector<std::vector<long long>> x(sz);
  for(int i=0;i<sz;i++){
    auto [a,b]=fac[i];
    long long now=1;
    for(int j=0;j<=b;j++){
      x[i].emplace_back(now);
      now*=a;
    }
  }
  
  std::vector<std::vector<long long>> res(sz);
  res[0]=x[0];
  
  for(int i=1;i<sz;i++){
    for(int j=0;j<res[i-1].size();j++){
      for(int k=0;k<x[i].size();k++){
        res[i].emplace_back(res[i-1][j]*x[i][k]);
      }
    }
  }

  std::sort(res[sz-1].begin(),res[sz-1].end());
  return res[sz-1];
}

int main(){
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  ll n,k;cin>>n>>k;
  auto f=factor(n-k);
  auto d=divisor(f);

  int ans=0;
  for(ll div:d){
    if(n%div==k)ans++;
  }

  cout<<ans<<endl;
}