結果

問題 No.886 Direct
ユーザー QCFiumQCFium
提出日時 2019-08-19 22:50:29
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 1,674 ms / 4,000 ms
コード長 3,120 bytes
コンパイル時間 1,693 ms
コンパイル使用メモリ 173,004 KB
実行使用メモリ 15,088 KB
最終ジャッジ日時 2023-08-21 15:09:55
合計ジャッジ時間 14,940 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 3 ms
4,376 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 1 ms
4,380 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,380 KB
testcase_09 AC 1 ms
4,376 KB
testcase_10 AC 2 ms
4,376 KB
testcase_11 AC 2 ms
4,376 KB
testcase_12 AC 1 ms
4,376 KB
testcase_13 AC 2 ms
4,380 KB
testcase_14 AC 1 ms
4,376 KB
testcase_15 AC 1 ms
4,376 KB
testcase_16 AC 1 ms
4,380 KB
testcase_17 AC 3 ms
4,380 KB
testcase_18 AC 8 ms
4,376 KB
testcase_19 AC 6 ms
4,376 KB
testcase_20 AC 3 ms
4,376 KB
testcase_21 AC 2 ms
4,380 KB
testcase_22 AC 9 ms
4,376 KB
testcase_23 AC 219 ms
8,460 KB
testcase_24 AC 521 ms
9,044 KB
testcase_25 AC 194 ms
6,612 KB
testcase_26 AC 160 ms
7,988 KB
testcase_27 AC 917 ms
13,856 KB
testcase_28 AC 939 ms
13,572 KB
testcase_29 AC 26 ms
14,876 KB
testcase_30 AC 26 ms
15,088 KB
testcase_31 AC 1,674 ms
14,772 KB
testcase_32 AC 1,665 ms
14,856 KB
testcase_33 AC 1,662 ms
14,656 KB
testcase_34 AC 1,659 ms
14,968 KB
testcase_35 AC 1,663 ms
14,720 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define MOD 1000000007

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}

template<int mod>
struct ModInt{
    int x;
    ModInt():x(0){}
    ModInt(long long y):x(y>=0?y%mod:(mod-(-y)%mod)%mod){}
    ModInt &operator+=(const ModInt &p){
        if((x+=p.x)>=mod)x-=mod;
        return *this;
    }
    ModInt &operator-=(const ModInt &p){
        if((x+=mod-p.x)>=mod)x-=mod;
        return *this;
    }
    ModInt &operator*=(const ModInt &p){
        x=(int)(1LL*x*p.x%mod);
        return *this;
    }
    ModInt &operator/=(const ModInt &p){
        *this*=p.inverse();
        return *this;
    }
	ModInt &operator^=(long long p){
		ModInt res = 1;
		for (; p; p >>= 1) {
			if (p & 1) res *= *this;
			*this *= *this;
		}
		return *this = res;
	}
    ModInt operator-()const{return ModInt(-x);}
    ModInt operator+(const ModInt &p)const{return ModInt(*this)+=p;}
    ModInt operator-(const ModInt &p)const{return ModInt(*this)-=p;}
    ModInt operator*(const ModInt &p)const{return ModInt(*this)*=p;}
    ModInt operator/(const ModInt &p)const{return ModInt(*this)/=p;}
	ModInt operator^(long long p)const{return ModInt(*this)^=p;}
    bool operator==(const ModInt &p)const{return x==p.x;}
    bool operator!=(const ModInt &p)const{return x!=p.x;}
    explicit operator int() const { return x; }                           // added by QCFium
    ModInt operator=(const int p) {x = p; return ModInt(*this);} // added by QCFium
    ModInt inverse()const{
        int a=x,b=mod,u=1,v=0,t;
        while(b>0){
            t=a/b;
            a-=t*b;
            std::swap(a,b);
            u-=t*v;
            std::swap(u,v);
        }
        return ModInt(u);
    }
    friend std::ostream &operator<<(std::ostream &os,const ModInt<mod> &p){
        return os<<p.x;
    }
    friend std::istream &operator>>(std::istream &is,ModInt<mod> &a){
        long long x;
        is>>x;
        a=ModInt<mod>(x);
        return (is);
    }
};
typedef ModInt<MOD> mint;

mint solve(int h, int w) {
	if (h < w) std::swap(h, w);
	
	std::vector<int> pf_table(h + 1);
	for (int i = 2; i <= h; i++)
		if (!pf_table[i]) for (int j = i; j <= h / i; j++) pf_table[j * i] = i;
	
	mint res = mint(h) * (w - 1) + mint(w) * (h - 1);
	for (int i = 1; i < w; i++) {
		std::vector<int> facts;
		for (int cur = i; ; ) {
			if (!pf_table[cur]) {
				if (cur > 1) facts.push_back(cur);
				break;
			}
			facts.push_back(pf_table[cur]);
			cur /= pf_table[cur];
		}
		std::sort(facts.begin(), facts.end());
		facts.erase(std::unique(facts.begin(), facts.end()), facts.end());
		
		int n_fact = facts.size();
		mint so_num = 0;
		mint so_sum = 0;
		for (int i = 0; i < 1 << n_fact; i++) {
			int cur = 1;
			for (int j = 0; j < n_fact; j++) if (i >> j & 1) cur *= facts[j];
			int num = (h - 1) / cur;
			mint sum = mint(num) * (num + 1) / 2 * cur;
			if (__builtin_popcount(i) & 1) so_num -= num, so_sum -= sum;
			else so_num += num, so_sum += sum;
		}
		res += mint(2) * (w - i) * (so_num * h - so_sum);
	}
	
	return res;
}

int main() {
	int h = ri(), w = ri();
	std::cout << solve(h, w) << std::endl;
	return 0;
}
0