結果

問題 No.1322 Totient Bound
ユーザー chocoruskchocorusk
提出日時 2020-12-08 12:31:16
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 759 ms / 5,000 ms
コード長 3,223 bytes
コンパイル時間 1,673 ms
コンパイル使用メモリ 136,064 KB
実行使用メモリ 9,008 KB
最終ジャッジ日時 2023-10-18 22:46:48
合計ジャッジ時間 15,718 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge11
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 12 ms
4,456 KB
testcase_01 AC 12 ms
4,456 KB
testcase_02 AC 12 ms
4,460 KB
testcase_03 AC 11 ms
4,460 KB
testcase_04 AC 12 ms
4,460 KB
testcase_05 AC 12 ms
4,460 KB
testcase_06 AC 12 ms
4,460 KB
testcase_07 AC 13 ms
4,456 KB
testcase_08 AC 12 ms
4,460 KB
testcase_09 AC 11 ms
4,456 KB
testcase_10 AC 12 ms
4,460 KB
testcase_11 AC 11 ms
4,460 KB
testcase_12 AC 12 ms
4,460 KB
testcase_13 AC 13 ms
4,516 KB
testcase_14 AC 13 ms
4,500 KB
testcase_15 AC 12 ms
4,484 KB
testcase_16 AC 12 ms
4,496 KB
testcase_17 AC 12 ms
4,476 KB
testcase_18 AC 144 ms
5,600 KB
testcase_19 AC 217 ms
6,120 KB
testcase_20 AC 548 ms
7,960 KB
testcase_21 AC 613 ms
8,216 KB
testcase_22 AC 620 ms
8,480 KB
testcase_23 AC 759 ms
9,008 KB
testcase_24 AC 758 ms
9,008 KB
testcase_25 AC 745 ms
9,008 KB
testcase_26 AC 740 ms
9,008 KB
testcase_27 AC 733 ms
9,008 KB
testcase_28 AC 735 ms
9,008 KB
testcase_29 AC 732 ms
9,008 KB
testcase_30 AC 11 ms
4,456 KB
testcase_31 AC 11 ms
4,456 KB
testcase_32 AC 12 ms
4,456 KB
testcase_33 AC 733 ms
9,008 KB
testcase_34 AC 725 ms
9,008 KB
testcase_35 AC 733 ms
9,008 KB
testcase_36 AC 728 ms
9,008 KB
testcase_37 AC 723 ms
9,008 KB
testcase_38 AC 730 ms
9,008 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#include <utility>
#include <functional>
#include <time.h>
#include <stack>
#include <array>
#define popcount __builtin_popcount
using namespace std;
typedef long long int ll;
typedef pair<int, int> P;
const int MAX=1000000;
bitset<MAX> isprime;
void sieve(){
	for(int i=3; i<MAX; i++, i++) isprime[i]=1;
	isprime[2]=1;
	for(int i=3; i<MAX; i++){
		if(isprime[i]){
			for(int j=(i<<1); j<MAX; j+=i) isprime[j]=0;
		}
	}
}
ll p[MAX];
ll n, sq;
int isq;
vector<ll> divs, pc;
inline ll idx(ll x){
	return (x<=sq)?x-1:(ll)divs.size()-n/x;
}
void calc(){
	sieve();
	while((sq+1)*(sq+1)<=n) sq++;
	for(int i=1; i<=sq; i++) divs.push_back(i);
	for(int i=sq; i>=1; i--) if(n/i>sq) divs.push_back(n/i);
	int k=0; isq=-1;
	for(int i=2; i<MAX; i++){
		if(isprime[i]){
            p[k]=i;
            if(i>sq && isq==-1) isq=k;
            k++;
		}
	}
}
void primecount(){
	vector<ll> dp=divs;
	pc.resize(divs.size(), -1);
	int l;
	for(l=0; l<divs.size() && divs[l]<p[0]*p[0]; l++){
		if(divs[l]<=1) pc[l]=0;
		else if(divs[l]==2) pc[l]=1;
		else pc[l]=2;
	}
	for(int i=1; i<=isq; i++){
		int r=lower_bound(divs.begin(), divs.end(), p[i]*p[i])-divs.begin();
		for(int j=(int)divs.size()-1; j>=l; j--){
			int k=idx(divs[j]/p[i-1]);
			if(pc[k]!=-1){
				dp[j]-=pc[k]-i+2;
			}else{
				dp[j]-=dp[k];
			}
		}
		for(int j=l; j<r; j++) pc[j]=dp[j]+i-1;
		l=r;
	}
}
ll solve(){
	vector<ll> dp(divs.size());
	for(int i=isq; i>=0; i--){
		int l=lower_bound(divs.begin(), divs.end(), p[i]*(p[i]-1))-divs.begin();
		for(int j=(int)divs.size()-1; j>=l; j--){
            ll q=p[i]-1;
            ll a=dp[j];
            if(p[i+1]*(p[i+1]-1)>divs[j]){
                a=1+pc[j]-(i+1);
            }
            while(divs[j]>=q){
                ll x=divs[j]/q;
                int k=idx(x);
                ll b=dp[k];
                if(x<p[i+1]-1) b=1;
                else if(p[i+1]*(p[i+1]-1)>x){
                    b=1+pc[k]-(i+1);
                }
                a+=b;
                q*=p[i];
            }
			dp[j]=a;
		}
	}
    dp[0]=2;
	return dp.back();
}
ll powmod(__int128_t a, ll k, ll m){
	__int128_t ap=a, ans=1;
	while(k){
		if(k&1){
			ans*=ap;
			ans%=m;
		}
		k>>=1;
		ap=ap*ap%m;
	}
	return ans;
}
bool is_prime(ll n){
    if(n<MAX) return isprime[n];
	if(n<=1 || !(n&1)) return (n==2);
	ll d=n-1;
	int k=0;
	while(!(d&1)){
		d>>=1;
		k++;
	}
	vector<ll> va{2, 325, 9375, 28178, 450775, 9780504, 1795265022}; // http://miller-rabin.appspot.com/
	for(auto aa:va){
		ll a=aa%n;
		if(a==0) continue;
		bool comp=1;
		ll ap=powmod(a, d, n);
		if(ap==1 || ap==n-1) continue;
		for(int r=1; r<k; r++){
			ap=(__int128_t)ap*ap%n;
			if(ap==n-1){
				comp=0;
				break;
			}
		}
		if(comp) return false;
	}
	return true;
}
int main()
{
	cin>>n;
	calc();
	primecount();
    for(int i=0; i<divs.size(); i++){
        if(is_prime(divs[i]+1)) pc[i]++;
    }
	cout<<solve()<<endl;
	return 0;
}
0