結果
問題 | No.800 四平方定理 |
ユーザー |
![]() |
提出日時 | 2019-03-29 01:11:07 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 170 ms / 2,000 ms |
コード長 | 3,824 bytes |
コンパイル時間 | 1,620 ms |
コンパイル使用メモリ | 172,412 KB |
実行使用メモリ | 190,592 KB |
最終ジャッジ日時 | 2024-10-15 13:52:28 |
合計ジャッジ時間 | 6,611 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 30 |
ソースコード
#include <bits/stdc++.h>using namespace std;#define INF_LL (int64)1e18#define INF (int32)1e9#define REP(i, n) for(int64 i = 0;i < (n);i++)#define FOR(i, a, b) for(int64 i = (a);i < (b);i++)#define all(x) x.begin(),x.end()#define fs first#define sc secondusing int32 = int_fast32_t;using uint32 = uint_fast32_t;using int64 = int_fast64_t;using uint64 = uint_fast64_t;using PII = pair<int32, int32>;using PLL = pair<int64, int64>;const double eps = 1e-10;template<typename A, typename B>inline void chmin(A &a, B b){if(a > b) a = b;}template<typename A, typename B>inline void chmax(A &a, B b){if(a < b) a = b;}template<typename T>vector<T> make_v(size_t a){return vector<T>(a);}template<typename T,typename... Ts>auto make_v(size_t a,Ts... ts){return vector<decltype(make_v<T>(ts...))>(a,make_v<T>(ts...));}template<typename T,typename V>typename enable_if<is_class<T>::value==0>::typefill_v(T &t,const V &v){t=v;}template<typename T,typename V>typename enable_if<is_class<T>::value!=0>::typefill_v(T &t,const V &v){for(auto &e:t) fill_v(e,v);}template<::std::uint_fast64_t mod>class ModInt{private:using value_type = ::std::uint_fast64_t;value_type n;public:ModInt() : n(0) {}ModInt(value_type n_) : n(n_ % mod) {}ModInt(const ModInt& m) : n(m.n) {}template<typename T>explicit operator T() const { return static_cast<T>(n); }value_type get() const { return n; }friend ::std::ostream& operator<<(::std::ostream &os, const ModInt<mod> &a) {return os << a.n;}friend ::std::istream& operator>>(::std::istream &is, ModInt<mod> &a) {value_type x;is >> x;a = ModInt<mod>(x);return is;}bool operator==(const ModInt& m) const { return n == m.n; }bool operator!=(const ModInt& m) const { return n != m.n; }ModInt& operator*=(const ModInt& m){ n = n * m.n % mod; return *this; }ModInt pow(value_type b) const{ModInt ans = 1, m = ModInt(*this);while(b){if(b & 1) ans *= m;m *= m;b >>= 1;}return ans;}ModInt inv() const { return (*this).pow(mod-2); }ModInt& operator+=(const ModInt& m){ n += m.n; n = (n < mod ? n : n - mod); return *this; }ModInt& operator-=(const ModInt& m){ n += mod - m.n; n = (n < mod ? n : n - mod); return *this; }ModInt& operator/=(const ModInt& m){ *this *= m.inv(); return *this; }ModInt operator+(const ModInt& m) const { return ModInt(*this) += m; }ModInt operator-(const ModInt& m) const { return ModInt(*this) -= m; }ModInt operator*(const ModInt& m) const { return ModInt(*this) *= m; }ModInt operator/(const ModInt& m) const { return ModInt(*this) /= m; }ModInt& operator++(){ n += 1; return *this; }ModInt& operator--(){ n -= 1; return *this; }ModInt operator++(int){ModInt old(n);n += 1;return old;}ModInt operator--(int){ModInt old(n);n -= 1;return old;}ModInt operator-() const { return ModInt(mod-n); }};template<::std::size_t size, ::std::uint_fast64_t mod=1000000007>class Factorial{private:using value_type = ModInt<mod>;::std::vector<value_type> fact, inv;public:Factorial() : fact(size+1, 1), inv(size+1, 1){for(::std::size_t i = 1; i <= size; ++i){fact[i] = fact[i-1] * value_type(i);inv[i] = fact[i].inv();}}value_type comb(::std::int64_t a, ::std::int64_t b){assert(a >= b);assert(b >= 0);return fact[a]*inv[b]*inv[a-b];}value_type& operator[](::std::size_t k){ return fact[k]; }};const int64 mod = 1e9+7;using Mint = ModInt<mod>;int main(void) {auto cnt = make_v<int64>(2, 2*2000*2000+1);int64 N, D;cin >> N >> D;FOR(i, 1, N+1) {FOR(j, 1, N+1) {cnt[0][i*i+j*j]++;if (i*i-j*j+D >= 0 && i*i-j*j+D < cnt[0].size())cnt[1][i*i-j*j+D]++;}}int64 res= 0;FOR(i, 1, 2*2000*2000+1) {res += cnt[0][i]*cnt[1][i];}cout << res << endl;}