#410008 (C++14) No.955 ax^2+bx+c=0

提出ソース

結果

問題	No.955 ax^2+bx+c=0
ユーザー	kopricky
提出日時	2019-12-18 11:51:32
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	4 ms / 2,000 ms
コード長	20,878 bytes
コンパイル時間	3,254 ms
コンパイル使用メモリ	206,144 KB
実行使用メモリ	5,376 KB
最終ジャッジ日時	2024-09-18 22:10:15
合計ジャッジ時間	6,252 ms
ジャッジサーバーID （参考情報）	judge5 / judge2

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	4 ms 5,248 KB
testcase_01	AC	3 ms 5,376 KB
testcase_02	AC	2 ms 5,376 KB
testcase_03	AC	2 ms 5,376 KB
testcase_04	AC	2 ms 5,376 KB
testcase_05	AC	2 ms 5,376 KB
testcase_06	AC	2 ms 5,376 KB
testcase_07	AC	2 ms 5,376 KB
testcase_08	AC	2 ms 5,376 KB
testcase_09	AC	2 ms 5,376 KB
testcase_10	AC	2 ms 5,376 KB
testcase_11	AC	2 ms 5,376 KB
testcase_12	AC	2 ms 5,376 KB
testcase_13	AC	2 ms 5,376 KB
testcase_14	AC	2 ms 5,376 KB
testcase_15	AC	2 ms 5,376 KB
testcase_16	AC	2 ms 5,376 KB
testcase_17	AC	2 ms 5,376 KB
testcase_18	AC	2 ms 5,376 KB
testcase_19	AC	2 ms 5,376 KB
testcase_20	AC	2 ms 5,376 KB
testcase_21	AC	2 ms 5,376 KB
testcase_22	AC	2 ms 5,376 KB
testcase_23	AC	2 ms 5,376 KB
testcase_24	AC	2 ms 5,376 KB
testcase_25	AC	2 ms 5,376 KB
testcase_26	AC	2 ms 5,376 KB
testcase_27	AC	2 ms 5,376 KB
testcase_28	AC	2 ms 5,376 KB
testcase_29	AC	2 ms 5,376 KB
testcase_30	AC	2 ms 5,376 KB
testcase_31	AC	2 ms 5,376 KB
testcase_32	AC	2 ms 5,376 KB
testcase_33	AC	2 ms 5,376 KB
testcase_34	AC	4 ms 5,376 KB
testcase_35	AC	4 ms 5,376 KB
testcase_36	AC	4 ms 5,376 KB
testcase_37	AC	4 ms 5,376 KB
testcase_38	AC	4 ms 5,376 KB
testcase_39	AC	3 ms 5,376 KB
testcase_40	AC	4 ms 5,376 KB
testcase_41	AC	4 ms 5,376 KB
testcase_42	AC	3 ms 5,376 KB
testcase_43	AC	3 ms 5,376 KB
testcase_44	AC	4 ms 5,376 KB
testcase_45	AC	4 ms 5,376 KB
testcase_46	AC	3 ms 5,376 KB
testcase_47	AC	4 ms 5,376 KB
testcase_48	AC	4 ms 5,376 KB
testcase_49	AC	3 ms 5,376 KB
testcase_50	AC	4 ms 5,376 KB
testcase_51	AC	4 ms 5,376 KB
testcase_52	AC	4 ms 5,376 KB
testcase_53	AC	4 ms 5,376 KB
testcase_54	AC	4 ms 5,376 KB
testcase_55	AC	4 ms 5,376 KB
testcase_56	AC	3 ms 5,376 KB
testcase_57	AC	4 ms 5,376 KB
testcase_58	AC	2 ms 5,376 KB
testcase_59	AC	3 ms 5,376 KB
testcase_60	AC	2 ms 5,376 KB
testcase_61	AC	2 ms 5,376 KB
testcase_62	AC	4 ms 5,376 KB
testcase_63	AC	4 ms 5,376 KB
testcase_64	AC	2 ms 5,376 KB
testcase_65	AC	4 ms 5,376 KB
testcase_66	AC	2 ms 5,376 KB
testcase_67	AC	4 ms 5,376 KB
testcase_68	AC	2 ms 5,376 KB
testcase_69	AC	4 ms 5,376 KB
testcase_70	AC	4 ms 5,376 KB
testcase_71	AC	2 ms 5,376 KB
testcase_72	AC	2 ms 5,376 KB
testcase_73	AC	4 ms 5,376 KB
testcase_74	AC	4 ms 5,376 KB
testcase_75	AC	2 ms 5,376 KB
testcase_76	AC	2 ms 5,376 KB
testcase_77	AC	4 ms 5,376 KB
testcase_78	AC	4 ms 5,376 KB
testcase_79	AC	4 ms 5,376 KB
testcase_80	AC	2 ms 5,376 KB
testcase_81	AC	4 ms 5,376 KB
testcase_82	AC	2 ms 5,376 KB
testcase_83	AC	2 ms 5,376 KB
testcase_84	AC	2 ms 5,376 KB
testcase_85	AC	2 ms 5,376 KB
testcase_86	AC	2 ms 5,376 KB
testcase_87	AC	2 ms 5,376 KB
testcase_88	AC	2 ms 5,376 KB
testcase_89	AC	2 ms 5,376 KB
testcase_90	AC	2 ms 5,376 KB
testcase_91	AC	2 ms 5,376 KB
testcase_92	AC	2 ms 5,376 KB
testcase_93	AC	2 ms 5,376 KB
testcase_94	AC	2 ms 5,376 KB
testcase_95	AC	2 ms 5,376 KB
testcase_96	AC	2 ms 5,376 KB
testcase_97	AC	3 ms 5,376 KB
testcase_98	AC	2 ms 5,376 KB
testcase_99	AC	2 ms 5,376 KB
testcase_100	AC	2 ms 5,376 KB
testcase_101	AC	2 ms 5,376 KB
testcase_102	AC	2 ms 5,376 KB
testcase_103	AC	2 ms 5,376 KB
testcase_104	AC	2 ms 5,376 KB
testcase_105	AC	2 ms 5,376 KB
testcase_106	AC	2 ms 5,376 KB
testcase_107	AC	2 ms 5,376 KB
testcase_108	AC	2 ms 5,376 KB
testcase_109	AC	2 ms 5,376 KB
testcase_110	AC	2 ms 5,376 KB
testcase_111	AC	2 ms 5,376 KB
testcase_112	AC	2 ms 5,376 KB
testcase_113	AC	2 ms 5,376 KB
testcase_114	AC	2 ms 5,376 KB
testcase_115	AC	2 ms 5,376 KB
testcase_116	AC	2 ms 5,376 KB
testcase_117	AC	2 ms 5,376 KB
testcase_118	AC	2 ms 5,376 KB
testcase_119	AC	2 ms 5,376 KB
testcase_120	AC	2 ms 5,376 KB
testcase_121	AC	2 ms 5,376 KB
testcase_122	AC	4 ms 5,376 KB
testcase_123	AC	3 ms 5,376 KB
testcase_124	AC	4 ms 5,376 KB

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

ソースコード

raw source code

#include <bits/stdc++.h>
#define ll long long
#define INF 1000000005
#define MOD 1000000007
#define EPS 1e-10
#define rep(i,n) for(int i=0;i<(int)(n);++i)
#define rrep(i,n) for(int i=(int)(n)-1;i>=0;--i)
#define srep(i,s,t) for(int i=(int)(s);i<(int)(t);++i)
#define each(a,b) for(auto& (a): (b))
#define all(v) (v).begin(),(v).end()
#define len(v) (int)(v).size()
#define zip(v) sort(all(v)),v.erase(unique(all(v)),v.end())
#define cmx(x,y) x=max(x,y)
#define cmn(x,y) x=min(x,y)
#define fi first
#define se second
#define pb push_back
#define show(x) cout<<#x<<" = "<<(x)<<endl
#define sar(a,n) {cout<<#a<<":";rep(pachico,n)cout<<" "<<a[pachico];cout<<endl;}

using namespace std;

template<typename S,typename T>auto&operator<<(ostream&o,pair<S,T>p){return o<<"{"<<p.fi<<","<<p.se<<"}";}
template<typename T>auto&operator<<(ostream&o,set<T>s){for(auto&e:s)o<<e<<" ";return o;}
template<typename S,typename T,typename U>
auto&operator<<(ostream&o,priority_queue<S,T,U>q){while(!q.empty())o<<q.top()<<" ",q.pop();return o;}
template<typename K,typename T>auto&operator<<(ostream&o,map<K,T>&m){for(auto&e:m)o<<e<<" ";return o;}
template<typename T>auto&operator<<(ostream&o,vector<T>v){for(auto&e:v)o<<e<<" ";return o;}
void ashow(){cout<<endl;}template<typename T,typename...A>void ashow(T t,A...a){cout<<t<<" ";ashow(a...);}
template<typename S,typename T,typename U>
struct TRI{S fi;T se;U th;TRI(){}TRI(S f,T s,U t):fi(f),se(s),th(t){}
bool operator<(const TRI&_)const{return(fi==_.fi)?((se==_.se)?(th<_.th):(se<_.se)):(fi<_.fi);}};
template<typename S,typename T,typename U>
auto&operator<<(ostream&o,TRI<S,T,U>&t){return o<<"{"<<t.fi<<","<<t.se<<","<<t.th<<"}";}

typedef pair<int, int> P;
typedef pair<ll, ll> pll;
typedef TRI<int, int, int> tri;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef vector<vi> vvi;
typedef vector<vl> vvl;
typedef vector<P> vp;
typedef vector<double> vd;
typedef vector<string> vs;

const int MAX_N = 100005;

template<int acc> class AMP : public deque<int> {
private:

    static constexpr int root = 5;
    static constexpr int MOD_ = 924844033;

    static void trim_digit(AMP& num){
        while((int)num.size() >= 1 && num.back() == 0) num.pop_back();
        if((int)num.size() == 1 && num[0] == 0){ num.zero = true; return; }
        while((int)num.size() < acc) num.push_front(0), num.ex--;
        while((int)num.size() > acc + 1) num.pop_front(), num.ex++;
        rounding(num);
    }
    static void rounding(AMP& num){
        if((int)num.size() != acc + 1) return;
        if(num[0] >= 5){
            int pos = 1;
            do{ num[pos]++;
                if(num[pos] != 10) break;
                num[pos] = 0;
            }while(++pos <= acc);
            if(pos == acc+1) num.push_back(1), num.pop_back(), num.ex++;
        }
        num.pop_front(), num.ex++;
    }
    static bool abs_less(const AMP& a, const AMP& b){
        if(a.ex != b.ex) return a.ex < b.ex;
        for(int index = acc - 1; index >= 0; index--){
            if(a[index] != b[index]) return a[index] < b[index];
        }
        return false;
    }
    static void num_sbst(AMP& a, const AMP& b){
        a.resize(acc), a.zero = false, a.ex = b.ex;
        for(int i = 0; i < acc; i++) a[i] = b[i];
    }
    static void add(const AMP& a, const AMP& b, AMP& res){
        int diff = a.ex - b.ex, carry = 0;
        if(abs(diff) > acc) return (diff > 0) ? num_sbst(res, a) : num_sbst(res, b);
        if(diff >= 0){
            num_sbst(res, a);
            if(diff) res.push_front(0), res.ex--;
            for(int i = !diff; i <= acc; i++){
                int val = res[i-!diff] + (i <= acc-diff ? b[i+diff-1] : 0) + carry;
                carry = val/10;
                res[i-!diff] = val%10;
            }
            if(carry) res.push_back(1);
        }else{
            num_sbst(res, b);
            res.push_front(0), res.ex--;
            for(int i = 0; i <= acc; i++){
                int val = res[i] + (i <= acc+diff ? a[i-diff-1] : 0) + carry;
                carry = val/10;
                res[i] = val%10;
            }
            if(carry) res.push_back(1);
        }
        trim_digit(res);
    }
    static void sub(const AMP& a, const AMP& b, AMP& res){
        int diff = a.ex - b.ex, carry = 0;
        num_sbst(res, a);
        if(diff > acc) return;
        if(diff){
            res.push_front(0), res.ex--;
            int carry = 0;
            for(int i = 0; i <= acc; i++){
                int val = res[i] - carry - (i <= acc-diff ? b[i+diff-1] : 0);
                if(val < 0){
                    carry = 1, val += 10;
                }else{
                    carry = 0;
                }
                res[i] = val;
            }
        }else{
            for(int i = 0; i < acc; i++){
                int val = res[i] - carry - b[i];
                if(val < 0){
                    carry = 1, val += 10;
                }else{
                    carry = 0;
                }
                res[i] = val;
            }
        }
        trim_digit(res);
    }
    static int add_(const int x, const int y) { return (x + y < MOD_) ? x + y : x + y - MOD_; }
    static int mul_(const int x, const int y) { return (long long)x * y % MOD_; }
    static int power(int x, int n){
        int res = 1;
        while(n > 0){
            if(n & 1) res = mul_(res, x);
            x = mul_(x, x);
            n >>= 1;
        }
        return res;
    }
    static int inverse(const int x) { return power(x, MOD_ - 2); }
    static void ntt(vector<int>& a, const bool rev = false){
        int i,j,k,s,t,v,w,wn;
        const int size = (int)a.size();
        const int height = (int)log2(2 * size - 1);
        for(i = 0; i < size; i++){
            j = 0;
            for(k = 0; k < height; k++) j |= (i >> k & 1) << (height - 1 - k);
            if(i < j) std::swap(a[i], a[j]);
        }
        for(i = 1; i < size; i *= 2) {
            w = power(root, (MOD_ - 1) / (i * 2));
            if(rev) w = inverse(w);
            for(j = 0; j < size; j += i * 2){
                wn = 1;
                for(k = 0; k < i; k++){
                    s = a[j + k], t = mul_(a[j + k + i], wn);
                    a[j + k] = add_(s, t);
                    a[j + k + i] = add_(s, MOD_ - t);
                    wn = mul_(wn, w);
                }
            }
        }
        if(rev){
            v = inverse(size);
            for (i = 0; i < size; i++) a[i] = mul_(a[i], v);
        }
    }
    static void mul(const AMP& a, const AMP& b, AMP& res){
        const int size = (int)a.size() + (int)b.size() - 1;
        int t = 1;
        while (t < size) t <<= 1;
        vector<int> A(t, 0), B(t, 0);
        for(int i = 0; i < (int)a.size(); i++) A[i] = a[i];
        for(int i = 0; i < (int)b.size(); i++) B[i] = b[i];
        ntt(A), ntt(B);
        for(int i = 0; i < t; i++) A[i] = mul_(A[i], B[i]);
        ntt(A, true);
        res.resize(size);
        int carry = 0;
        for(int i = 0; i < size; i++){
            int val = A[i] + carry;
            carry = val / 10;
            res[i] = val % 10;
        }
        if(carry) res.push_back(carry);
        trim_digit(res);
    }

    class MPI : public deque<int> {
    public:
        MPI(){ push_back(0); }
        inline static void trim_digit(MPI& num){
            while(num.back() == 0 && (int)num.size() >= 2) num.pop_back();
        }
        bool isZero() const {
            return (int)size() == 1 && (*this)[0] == 0;
        }
        static void add(const MPI& a, const MPI& b, MPI& res){
            res = a;
            int mx = (int)max(a.size(), b.size());
            res.resize(mx, 0);
            int carry = 0;
            for(int i = 0; i < mx; i++){
                int val = res[i] + ((i < (int)b.size()) ? b[i] : 0) + carry;
                carry = val/10;
                res[i] = val%10;
            }
            if(carry) res.push_back(1);
        }
        static void sub(const MPI& a, const MPI& b, MPI& res){
            res = a;
            int carry = 0;
            for(int i = 0; i < (int)res.size(); i++){
                int val = res[i] - carry - ((i < (int)b.size()) ? b[i] : 0);
                if(val < 0){
                    carry = 1, val += 10;
                }else{
                    carry = 0;
                }
                res[i] = val;
            }
            trim_digit(res);
        }
        bool operator<(const MPI& another) const {
            if(size() != another.size()) return size() < another.size();
            for(int index = (int)size() - 1; index >= 0; index--){
                if((*this)[index] != another[index]) return (*this)[index] < another[index];
            }
            return false;
        }
        static bool div_geq(const MPI& mod, const MPI& num){
            if((int)mod.size() != (int)num.size()) return (int)mod.size() > (int)num.size();
            int n = (int)mod.size();
            for(int i = 0; i < n; i++){
                if(mod[n-1-i] != num[n-1-i]){
                    return mod[n-1-i] > num[n-1-i];
                }
            }
            return true;
        }
        static void div_(const MPI& a, const MPI& b, MPI& res){
            vector<MPI> mult(9);
            MPI mod;
            mult[0] = b;
            for(int i = 0; i < 8; i++) add(mult[i], b, mult[i+1]);
            for(int i = (int)a.size() - 1; i >= 0; i--){
                if(mod.isZero()){
                    mod.back() = a[i];
                }else{
                    mod.push_front(a[i]);
                }
                if(div_geq(mod, b)){
                    int l = 0, r = 9;
                    while(r-l>1){
                        int mid = (l+r)/2;
                        if(mod < mult[mid]){
                            r = mid;
                        }else{
                            l = mid;
                        }
                    }
                    MPI mod_ = mod;
                    sub(mod_, mult[l], mod);
                    res.push_front(l+1);
                }else{
                    res.push_front(0);
                }
            }
            trim_digit(res);
        }
    };

    static void mpi_AMP(MPI& a, const AMP& b){
        if(b.zero){ a = MPI(); return; }
        int n = (int)b.size();
        a.resize(n);
        for(int i = 0; i < n; i++) a[i] = b[i];
    }

    static void AMP_mpi(AMP& a, const MPI& b){
        if(b.isZero()){ a = AMP(); return; }
        int n = (int)b.size();
        a.resize(n);
        for(int i = 0; i < n; i++) a[i] = b[i];
    }

public:

    friend ostream& operator<<(ostream& os, const AMP& num) {
        if(num.zero){ os << "0."; for(int i = 0; i < acc-1; i++) os << '0';
                    os << "+e0"; return os; }
        if(num.sign) os << '-';
        os << num.back() << '.';
        for(int i = 0; i < acc-1; i++) os << num[acc-2-i];
        os << 'e';
        if(num.ex+acc-1 >= 0) os << '+';
        os << num.ex+acc-1;
        return os;
    }

    friend istream& operator>>(istream& is, AMP& num) {
        string s;
        is >> s;
        num = AMP(s);
        return is;
    }

    void print_decimal(int decimal) const {
        if(zero){ cout << "0."; for(int i = 0; i < decimal; i++) cout << '0';}
        if(sign) cout << '-';
        for(int i = max(ex+acc-1,0LL); i >= -decimal; i--){
            cout << ((i-ex >= 0 || i-ex >= acc)?(*this)[i-ex]:'0');
            if(i == 0) cout << '.';
        }
    }

    double to_double() const {
        if(zero){ return 0.0; }
        double res = 0.0, d = 1.0;
        for(int i = 0; i < acc; i++){
            res += (*this)[i] * d, d *= 10.0;
        }
        return sign ? -res * pow(10.0, ex) : res * pow(10.0, ex);
    }

    AMP& operator=(long long num) {
        *this = AMP(num);
        return *this;
    }

    bool operator<(const AMP& num) const {
        if(zero) return !num.zero && !num.sign;
        if(num.zero) return sign;
        if(sign ^ num.sign) return sign;
        if(ex != num.ex) return (ex < num.ex) ^ sign;
        for(int index = acc - 1; index >= 0; index--){
            if((*this)[index] != num[index]) return ((*this)[index] < num[index]) ^ sign;
        }
        return false;
    }

    bool operator<(const long long num) const {
        return *this < AMP(num);
    }

    friend bool operator<(const long long num, const AMP& another){
        return AMP(num) < another;
    }

    bool operator>(const AMP& num) const {
        return num < *this;
    }

    bool operator>(const long long num) const {
        return *this > AMP(num);
    }

    friend bool operator>(const long long num, const AMP& another){
        return AMP(num) > another;
    }

    bool operator<=(const AMP& num) const {
        return !(*this > num);
    }

    bool operator<=(const long long num) const {
        return *this <= AMP(num);
    }

    friend bool operator<=(const long long num, const AMP& another){
        return AMP(num) <= another;
    }

    bool operator>=(const AMP& num) const {
        return !(*this < num);
    }

    bool operator>=(const long long num) const {
        return *this >= AMP(num);
    }

    friend bool operator>=(const long long num, const AMP& another){
        return AMP(num) >= another;
    }

    bool operator==(const AMP& num) const {
        if(zero || num.zero) return zero && num.zero;
        if(sign ^ num.sign) return false;
        if(ex != num.ex) return false;
        for(int index = acc - 1; index >= 0; index--){
            if((*this)[index] != num[index]) return false;
        }
        return true;
    }

    bool operator==(const long long num) const {
        return *this == AMP(num);
    }

    friend bool operator==(const long long num, const AMP& another){
        return AMP(num) == another;
    }

    bool operator!=(const AMP& num) const {
        return !(*this == num);
    }

    bool operator!=(const long long num) const {
        return *this != AMP(num);
    }

    friend bool operator!=(const long long num, const AMP& another){
        return AMP(num) != another;
    }

    explicit operator bool() const noexcept { return !zero; }
    bool operator!() const noexcept { return !static_cast<bool>(*this); }

    explicit operator int() const noexcept { return (int)this->to_ll(); }
    explicit operator long long() const noexcept { return this->to_ll(); }

    AMP operator+() const {
        return *this;
    }

    AMP operator-() const {
        AMP res = *this;
        res.sign = !sign;
        return res;
    }

    friend AMP abs(const AMP& num){
        AMP res = num;
        res.sign = false;
        return res;
    }

    AMP operator+(const AMP& num) const {
        if(zero){ AMP res = num; return res; }
        if(num.zero){ AMP res = *this; return res; }
        AMP res; res.sign = sign;
        if(sign != num.sign){
            if(abs_less(*this, num)){
                res.sign = num.sign;
                sub(num, *this, res);
                return res;
            }else{
                sub(*this, num, res);
                return res;
            }
        }
        add(*this, num, res);
        return res;
    }

    AMP operator+(long long num) const {
        return *this + AMP(num);
    }

    friend AMP operator+(long long a, const AMP& b){
        return b + a;
    }

    AMP& operator+=(const AMP& num){
        *this = *this + num;
        return *this;
    }

    AMP& operator+=(long long num){
        *this = *this + num;
        return *this;
    }

    AMP& operator++(){
        return *this += 1;
    }

    AMP operator++(int){
        AMP res = *this;
        *this += 1;
        return res;
    }

    AMP operator-(const AMP& num) const {
        if(zero){ AMP res = num; res.sign = !res.sign; return res; }
        if(num.zero){ AMP res = *this; return res; }
        AMP res; res.sign = sign;
        if(sign != num.sign){
            add(*this, num, res);
            return res;
        }
        if(abs_less(*this, num)){
            res.sign = !sign;
            sub(num, *this, res);
        }else{
            sub(*this, num, res);
        }
        return res;
    }

    AMP operator-(long long num) const {
        return *this - AMP(num);
    }

    friend AMP operator-(long long a, const AMP& b){
        return AMP(a) - b;
    }

    AMP& operator-=(const AMP& num){
        *this = *this - num;
        return *this;
    }

    AMP& operator-=(long long num){
        *this = *this - num;
        return *this;
    }

    AMP& operator--(){
        return *this -= 1;
    }

    AMP operator--(int){
        AMP res = *this;
        *this -= 1;
        return res;
    }

    AMP operator*(const AMP& num) const {
        if(zero || num.zero) return AMP();
        AMP res; res.zero = false; res.sign = (sign^num.sign);
        res.ex = ex + num.ex;
        mul(*this, num, res);
        return res;
    }

    AMP operator*(long long num) const {
        return *this * AMP(num);
    }

    friend AMP operator*(long long a, const AMP& b){
        return b * a;
    }

    AMP& operator*=(const AMP& num){
        *this = *this * num;
        return *this;
    }

    AMP& operator*=(long long num){
        *this = *this * num;
        return *this;
    }

    AMP operator/(const AMP& num) const {
        assert(!num.zero);
        if(zero){ return AMP(); }
        MPI kp, res_, num_;
        mpi_AMP(num_, num);
        AMP res; res.zero = false; res.sign = (sign^num.sign); res.ex = ex - num.ex;
        mpi_AMP(kp, *this);
        if(abs_less(*this, num)) kp.push_front(0), res.ex--;
        for(int i = 0; i < acc; i++) kp.push_front(0), res.ex--;
        MPI::div_(kp, num_, res_);
        AMP_mpi(res, res_);
        trim_digit(res);
        return res;
    }

    AMP operator/(long long num) const {
        return *this / AMP(num);
    }

    friend AMP operator/(long long a, const AMP& b){
        return AMP(a) / b;
    }

    AMP& operator/=(const AMP& num){
        *this = *this / num;
        return *this;
    }

    AMP& operator/=(long long num){
        *this = *this / num;
        return *this;
    }

    AMP div2() const {
        if(zero) return AMP();
        AMP res = *this;
        int carry = 0;
        for(int i = acc-1; i >= 0; i--){
            int val = (*this)[i]+carry*10;
            carry = val%2;
            if(i != acc-1 || val >= 2){
                res[i] = val/2;
            }else{
                res[i] = 0;
            }
        }
        if(carry) res.push_front(5), res.ex--;
        trim_digit(res);
        return res;
    }

    friend AMP sqrt(AMP x){
        if(x <= AMP(0)) return AMP();
        AMP s = 1, t = x;
        while(s < t){
            s = s + s, t = t.div2();
        }
        do{ t = s, s = (x / s + s).div2();
        }while(s < t);
        trim_digit(t);
        return t;
    }

    friend AMP log10(const AMP& x){
        assert(x > AMP(0));
        return AMP(acc + x.ex);
    }

    friend AMP pow(AMP a, long long b){
        if(a.zero) return AMP();
        assert(b >= 0);
        AMP res(1);
        while(b){
            if(b % 2) res *= a;
            a *= a;
            b = b/2;
        }
        return res;
    }

    bool sign, zero;
	long long ex;

    AMP() : zero(true){}

    AMP(long long val) : sign(false), zero(false), ex(0){
        if(val == 0){ zero = true; return; }
        if(val < 0) sign = true, val = -val;
        while(val) push_back(val%10), val /= 10;
        trim_digit(*this);
    }

    AMP(const string& s) : sign(false), zero(false), ex(0){
        if(s.empty() || s == "0"){ zero = true; return; }
        if(s[0] == '-') sign = true;
        for(int i = (int)s.size() - 1; i >= sign; i--){
            if(s[i] == '.'){
                ex = i + 1 - (int)s.size();
            }else{
                push_back(s[i]-'0');
            }
        }
        trim_digit(*this);
    }
};

int main()
{
    int a, b, c;
    scanf("%d%d%d",&a,&b,&c);
    if(a == 0){
        if(b == 0){
            if(c == 0){
                printf("-1\n");
            }else{
                printf("0\n");
            }
        }else{
            printf("1\n");
            printf("%.17lf\n", -(double)c / b);
        }
    }else{
        ll D = (ll)b*b-4LL*a*c;
        if(D == 0){
            printf("1\n");
            printf("%.17lf\n", -(double)b / (2 * a));
        }else if(D > 0){
            AMP<100> _a(a), _b(b), _c(c);
            auto res1 = ((-_b - sqrt(_b*_b-4*_a*_c))/(2*_a)).to_double();
            auto res2 = ((-_b + sqrt(_b*_b-4*_a*_c))/(2*_a)).to_double();
            printf("2\n");
            if(res1 < res2){
                printf("%.17lf\n", res1);
                printf("%.17lf\n", res2);
            }else{
                printf("%.17lf\n", res2);
                printf("%.17lf\n", res1);
            }
        }else{
            printf("0\n");
        }
    }
    return 0;
}

yukicoder

結果

テストケース

ソースコード