#578890 (C++14) No.1260 たくさんの多項式

提出ソース

結果

問題	No.1260 たくさんの多項式
ユーザー	kaage
提出日時	2020-11-12 20:39:19
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	203 ms / 2,000 ms
コード長	9,361 bytes
コンパイル時間	1,533 ms
コンパイル使用メモリ	122,668 KB
実行使用メモリ	5,376 KB
最終ジャッジ日時	2024-07-22 19:46:57
合計ジャッジ時間	8,358 ms
ジャッジサーバーID （参考情報）	judge4 / judge2

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	3 ms 5,248 KB
testcase_01	AC	4 ms 5,376 KB
testcase_02	AC	3 ms 5,376 KB
testcase_03	AC	3 ms 5,376 KB
testcase_04	AC	3 ms 5,376 KB
testcase_05	AC	4 ms 5,376 KB
testcase_06	AC	3 ms 5,376 KB
testcase_07	AC	4 ms 5,376 KB
testcase_08	AC	4 ms 5,376 KB
testcase_09	AC	3 ms 5,376 KB
testcase_10	AC	4 ms 5,376 KB
testcase_11	AC	3 ms 5,376 KB
testcase_12	AC	4 ms 5,376 KB
testcase_13	AC	4 ms 5,376 KB
testcase_14	AC	4 ms 5,376 KB
testcase_15	AC	4 ms 5,376 KB
testcase_16	AC	2 ms 5,376 KB
testcase_17	AC	4 ms 5,376 KB
testcase_18	AC	4 ms 5,376 KB
testcase_19	AC	4 ms 5,376 KB
testcase_20	AC	200 ms 5,376 KB
testcase_21	AC	58 ms 5,376 KB
testcase_22	AC	174 ms 5,376 KB
testcase_23	AC	142 ms 5,376 KB
testcase_24	AC	147 ms 5,376 KB
testcase_25	AC	115 ms 5,376 KB
testcase_26	AC	139 ms 5,376 KB
testcase_27	AC	112 ms 5,376 KB
testcase_28	AC	194 ms 5,376 KB
testcase_29	AC	144 ms 5,376 KB
testcase_30	AC	92 ms 5,376 KB
testcase_31	AC	146 ms 5,376 KB
testcase_32	AC	145 ms 5,376 KB
testcase_33	AC	119 ms 5,376 KB
testcase_34	AC	188 ms 5,376 KB
testcase_35	AC	86 ms 5,376 KB
testcase_36	AC	78 ms 5,376 KB
testcase_37	AC	148 ms 5,376 KB
testcase_38	AC	160 ms 5,376 KB
testcase_39	AC	191 ms 5,376 KB
testcase_40	AC	145 ms 5,376 KB
testcase_41	AC	180 ms 5,376 KB
testcase_42	AC	133 ms 5,376 KB
testcase_43	AC	187 ms 5,376 KB
testcase_44	AC	122 ms 5,376 KB
testcase_45	AC	116 ms 5,376 KB
testcase_46	AC	108 ms 5,376 KB
testcase_47	AC	132 ms 5,376 KB
testcase_48	AC	29 ms 5,376 KB
testcase_49	AC	100 ms 5,376 KB
testcase_50	AC	54 ms 5,376 KB
testcase_51	AC	192 ms 5,376 KB
testcase_52	AC	66 ms 5,376 KB
testcase_53	AC	89 ms 5,376 KB
testcase_54	AC	194 ms 5,376 KB
testcase_55	AC	202 ms 5,376 KB
testcase_56	AC	93 ms 5,376 KB
testcase_57	AC	136 ms 5,376 KB
testcase_58	AC	85 ms 5,376 KB
testcase_59	AC	143 ms 5,376 KB
testcase_60	AC	203 ms 5,376 KB

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

ソースコード

raw source code

#line 2 "library/other/template.hpp"
#define _CRT_SECURE_NO_WARNINGS
#pragma target("avx2")
#pragma optimize("O3")
#pragma optimize("unroll-loops")
#include <algorithm>
#include <bitset>
#include <cassert>
#include <cfloat>
#include <climits>
#include <cmath>
#include <complex>
#include <ctime>
#include <deque>
#include <fstream>
#include <functional>
#include <iomanip>
#include <iostream>
#include <iterator>
#include <list>
#include <map>
#include <memory>
#include <queue>
#include <random>
#include <set>
#include <stack>
#include <string>
#include <string.h>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>
#define rep(i,n) for(int i=0;i<(n);i++)
#define REP(i,n) for(int i=1;i<=(n);i++)
#define all(V) V.begin(),V.end()
typedef unsigned int uint;
typedef long long lint;
typedef unsigned long long ulint;
typedef std::pair<int, int> P;
typedef std::pair<lint, lint> LP;
constexpr int INF = INT_MAX/2;
constexpr lint LINF = LLONG_MAX/2;
constexpr double eps = DBL_EPSILON;
constexpr double PI=3.141592653589793238462643383279;
template<class T>
class prique :public std::priority_queue<T, std::vector<T>, std::greater<T>> {};
template <class T, class U>
inline bool chmax(T& lhs, const U& rhs) {
	if (lhs < rhs) {
		lhs = rhs;
		return 1;
	}
	return 0;
}
template <class T, class U>
inline bool chmin(T& lhs, const U& rhs) {
	if (lhs > rhs) {
		lhs = rhs;
		return 1;
	}
	return 0;
}
inline lint gcd(lint a, lint b) {
	while (b) {
		lint c = a;
		a = b; b = c % b;
	}
	return a;
}
inline lint lcm(lint a, lint b) {
	return a / gcd(a, b) * b;
}
bool isprime(lint n) {
	if (n == 1)return false;
	for (int i = 2; i * i <= n; i++) {
		if (n % i == 0)return false;
	}
	return true;
}
template<typename T>
T mypow(T a, lint b) {
	T res(1);
	while(b){
		if(b&1)res*=a;
		a*=a;
		b>>=1;
	}
	return res;
}
lint modpow(lint a, lint b, lint m) {
	lint res(1);
	while(b){
		if(b&1){
			res*=a;res%=m;
		}
		a*=a;a%=m;
		b>>=1;
	}
	return res;
}
template<typename T>
void printArray(std::vector<T>& vec) {
	rep(i, vec.size()){
		std::cout << vec[i];
		std::cout<<(i==(int)vec.size()-1?"\n":" ");
	}
}
template<typename T>
void printArray(T l, T r) {
	T rprev = std::prev(r);
	for (T i = l; i != rprev; i++) {
		std::cout << *i << " ";
	}
	std::cout << *rprev << std::endl;
}
LP extGcd(lint a,lint b) {
	if(b==0)return {1,0};
	LP s=extGcd(b,a%b);
	std::swap(s.first,s.second);
	s.second-=a/b*s.first;
	return s;
}
LP ChineseRem(const lint& b1,const lint& m1,const lint& b2,const lint& m2) {
	lint p=extGcd(m1,m2).first;
	lint tmp=(b2-b1)*p%m2;
	lint r=(b1+m1*tmp+m1*m2)%(m1*m2);
	return std::make_pair(r,m1*m2);
}
template<typename F>
inline constexpr decltype(auto) lambda_fix(F&& f){
	return [f=std::forward<F>(f)](auto&&... args){
		return f(f,std::forward<decltype(args)>(args)...);
	};
}
#line 3 "library/algebraic/DynamicModInt.hpp"
class DynamicModInt {
	lint value;
public:
	static unsigned int modulo;
	DynamicModInt() : value(0) {}
	template<typename T>
	DynamicModInt(T value = 0) : value(value) {
		if (value < 0)value = -(lint)(-value % modulo) + modulo;
		this->value = value % modulo;
	}
	static inline void setMod(const unsigned int& mod){modulo=mod;}
	inline DynamicModInt inv()const{return mypow(*this,modulo-2);}
	inline operator int()const { return value; }
	inline DynamicModInt& operator+=(const DynamicModInt& x) {
		value += x.value;
		if (value >= modulo)value -= modulo;
		return *this;
	}
	inline DynamicModInt& operator++() {
		if (value == modulo - 1)value = 0;
		else value++;
		return *this;
	}
	inline DynamicModInt operator++(int){
		DynamicModInt res=*this;
		--*this;
		return res;
	}
	inline DynamicModInt operator-()const {
		return DynamicModInt(0) -= *this;
	}
	inline DynamicModInt& operator-=(const DynamicModInt& x) {
		value -= x.value;
		if (value < 0)value += modulo;
		return *this;
	}
	inline DynamicModInt& operator--() {
		if (value == 0)value = modulo - 1;
		else value--;
		return *this;
	}
	inline DynamicModInt operator--(int){
		DynamicModInt res=*this;
		--*this;
		return res;
	}
	inline DynamicModInt& operator*=(const DynamicModInt& x) {
		value = value * x.value % modulo;
		return *this;
	}
	inline DynamicModInt& operator/=(const DynamicModInt& rhs) {
		return *this*=rhs.inv();
	}
	template<typename T> DynamicModInt operator+(const T& rhs)const { return DynamicModInt(*this) += rhs; }
	template<typename T> DynamicModInt& operator+=(const T& rhs) { return operator+=(DynamicModInt(rhs)); }
	template<typename T> DynamicModInt operator-(const T& rhs)const { return DynamicModInt(*this) -= rhs; }
	template<typename T> DynamicModInt& operator-=(const T& rhs) { return operator-=(DynamicModInt(rhs)); }
	template<typename T> DynamicModInt operator*(const T& rhs)const { return DynamicModInt(*this) *= rhs; }
	template<typename T> DynamicModInt& operator*=(const T& rhs) { return operator*=(DynamicModInt(rhs)); }
	template<typename T> DynamicModInt operator/(const T& rhs)const { return DynamicModInt(*this) /= rhs; }
	template<typename T> DynamicModInt& operator/=(const T& rhs) { return operator/=(DynamicModInt(rhs)); }
};
unsigned int DynamicModInt::modulo=1000000007;
std::istream& operator>>(std::istream& ist, DynamicModInt& x) {
	lint a;
	ist >> a;
	x = a;
	return ist;
}
#line 4 "library/algebraic/StaticModInt.hpp"
template<unsigned int modulo>
class StaticModInt {
	lint value;
public:
	static constexpr unsigned int mod_value = modulo;
	StaticModInt() : value(0) {}
	template<typename T>
	StaticModInt(T value = 0) : value(value) {
		if (value < 0)value = -(lint)(-value % modulo) + modulo;
		this->value = value % modulo;
	}
	inline StaticModInt inv()const{return mypow(*this,modulo-2);}
	inline operator int()const { return value; }
	inline StaticModInt& operator+=(const StaticModInt& x) {
		value += x.value;
		if (value >= modulo)value -= modulo;
		return *this;
	}
	inline StaticModInt& operator++() {
		if (value == modulo - 1)value = 0;
		else value++;
		return *this;
	}
	inline StaticModInt operator++(int){
		StaticModInt res=*this;
		--*this;
		return res;
	}
	inline StaticModInt operator-()const {
		return StaticModInt(0) -= *this;
	}
	inline StaticModInt& operator-=(const StaticModInt& x) {
		value -= x.value;
		if (value < 0)value += modulo;
		return *this;
	}
	inline StaticModInt& operator--() {
		if (value == 0)value = modulo - 1;
		else value--;
		return *this;
	}
	inline StaticModInt operator--(int){
		StaticModInt res=*this;
		--*this;
		return res;
	}
	inline StaticModInt& operator*=(const StaticModInt& x) {
		value = value * x.value % modulo;
		return *this;
	}
	inline StaticModInt& operator/=(const StaticModInt& rhs) {
		return *this*=rhs.inv();
	}
	template<typename T> StaticModInt operator+(const T& rhs)const { return StaticModInt(*this) += rhs; }
	template<typename T> StaticModInt& operator+=(const T& rhs) { return operator+=(StaticModInt(rhs)); }
	template<typename T> StaticModInt operator-(const T& rhs)const { return StaticModInt(*this) -= rhs; }
	template<typename T> StaticModInt& operator-=(const T& rhs) { return operator-=(StaticModInt(rhs)); }
	template<typename T> StaticModInt operator*(const T& rhs)const { return StaticModInt(*this) *= rhs; }
	template<typename T> StaticModInt& operator*=(const T& rhs) { return operator*=(StaticModInt(rhs)); }
	template<typename T> StaticModInt operator/(const T& rhs)const { return StaticModInt(*this) /= rhs; }
	template<typename T> StaticModInt& operator/=(const T& rhs) { return operator/=(StaticModInt(rhs)); }
};
template<unsigned int modulo>
std::istream& operator>>(std::istream& ist, StaticModInt<modulo>& x) {
	lint a;
	ist >> a;
	x = a;
	return ist;
}
#line 5 "library/algebraic/Combinatorics.hpp"
template<typename T>
class Combinatorics{
protected:
	std::vector<T> factorial;
	void append(int n)noexcept{
		while(factorial.size()<=n){
			factorial.emplace_back(factorial.back()*factorial.size());
		}
	}
public:
	Combinatorics()noexcept:factorial(1,1){}
	Combinatorics(int n)noexcept:factorial(1,1){append(n);}
	virtual T getComb(int a,int b)noexcept{
		append(a);
		return factorial[a]/factorial[a-b]/factorial[b];
	}
	virtual T getDcomb(int a,int b)noexcept{
		return getComb(a+b-1,b);
	}
};
template<typename T>
class ModCombinatorics:Combinatorics<T>{
	static_assert(std::is_same<T,StaticModInt<T::mod_value>>::value
		||std::is_same<T,DynamicModInt>::value);
	using Combinatorics<T>::factorial;
	std::vector<T> inv;
	void append(int n)noexcept{
		int tmp=factorial.size();
		if(n<tmp)return;
		Combinatorics<T>::append(n);
		inv.resize(n+1);
		inv[n]=T(1)/factorial.back();
		for(int i=n;i>tmp;i--)inv[i-1]=inv[i]*i;
	}
public:
	ModCombinatorics()noexcept:Combinatorics<T>(),inv(1,1){}
	ModCombinatorics(int n)noexcept:Combinatorics<T>(n),inv(1,1){append(n);}
	T getComb(int a,int b)noexcept override{
		append(a);
		return factorial[a]*inv[a-b]*inv[b];
	}
	T getDcomb(int a,int b)noexcept override{
		return getComb(a+b-1,b);
	}
	T perm(int a,int b)noexcept{
		append(a);
		return factorial[a]*inv[a-b];
	}
};
#line 4 "main.cpp"
using ModInt=StaticModInt<1000000007>;
lint N;
int main(){
	std::cin>>N;
	lint M=std::sqrt(N);
	ModInt ans=0;
	for(int i=2;i<=M;i++){
		lint a=N;
		while(a){
			ans+=a%i;
			a/=i;
		}
	}
	REP(i,M){
		lint l=std::max(M,N/(i+1))+1,r=N/i;
		ans+=i*(r-l+1)+ModInt(2*N-i*l-i*r)*(r-l+1)/2;
	}
	std::cout<<ans<<std::endl;
}

yukicoder

結果

テストケース

ソースコード