test/yukicoder/0551.test.cpp

• View this file on GitHub
• Last update: 2026-02-17 02:03:35+09:00
• Problem: https://yukicoder.me/problems/no/551

Depends on

• Montgomery modular multiplication (lib/internal/internal_math.hpp)
• lib/math/modint.hpp
• lib/math/sqrt.hpp

Code

// competitive-verifier: PROBLEM https://yukicoder.me/problems/no/551
#include <cstdint>
#include <iostream>
#include "math/modint.hpp"
#include "math/sqrt.hpp"

using Mint = modint;

int main(void) {
    int p, r;
    std::cin >> p >> r;
    Mint::set_mod(p);
    int q;
    std::cin >> q;
    while (q--) {
        std::int64_t a, b, c;
        std::cin >> a >> b >> c;
        std::int64_t d = b * b - 4 * a * c;
        Mint x = Mint(-b) / 2 / a;
        if (has_sqrt_mod<Mint>(d)) {
            Mint y = sqrt_mod<Mint>(d) / 2 / a;
            if (x - y == x + y) std::cout << x + y << '\n';
            else if ((x - y).val() < (x + y).val()) std::cout << x - y << ' ' << x + y << '\n';
            else std::cout << x + y << ' ' << x - y << '\n';
        } else {
            std::cout << -1 << '\n';
        }
    }

    return 0;
}

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/resolver.py", line 291, in resolve
    bundled_code = language.bundle(path, basedir=basedir)
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus.py", line 242, in bundle
    bundler.update(path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 479, in update
    self._resolve(pathlib.Path(included), included_from=path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 286, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
competitive_verifier.oj.verify.languages.cplusplus_bundle.BundleErrorAt: math/modint.hpp: line -1: no such header

Test cases

Env	Name	Status	Elapsed	Memory
g++	Full_Small00	AC	2 ms	3 MB
g++	Full_Small01	AC	2 ms	4 MB
g++	Full_Small02	AC	3 ms	4 MB
g++	Full_Small03	AC	6 ms	3 MB
g++	Full_Small04	AC	8 ms	4 MB
g++	Full_Small05	AC	17 ms	3 MB
g++	Full_Small06	AC	22 ms	3 MB
g++	random_1e11e2_1e2_00	AC	2 ms	3 MB
g++	random_1e11e2_1e2_01	AC	2 ms	3 MB
g++	random_1e11e2_1e2_02	AC	2 ms	3 MB
g++	random_1e11e2_1e2_03	AC	2 ms	4 MB
g++	random_1e11e2_1e2_04	AC	2 ms	4 MB
g++	random_1e11e2_1e2_05	AC	2 ms	3 MB
g++	random_1e11e2_1e2_06	AC	2 ms	3 MB
g++	random_1e11e2_1e2_07	AC	2 ms	3 MB
g++	random_1e11e2_1e2_08	AC	2 ms	4 MB
g++	random_1e11e2_1e2_09	AC	2 ms	3 MB
g++	random_1e41e6_1e2_00	AC	2 ms	3 MB
g++	random_1e41e6_1e2_01	AC	3 ms	4 MB
g++	random_1e41e6_1e2_02	AC	2 ms	3 MB
g++	random_1e41e6_1e2_03	AC	3 ms	4 MB
g++	random_1e41e6_1e2_04	AC	2 ms	3 MB
g++	random_1e41e6_1e2_05	AC	2 ms	4 MB
g++	random_1e41e6_1e2_06	AC	2 ms	3 MB
g++	random_1e41e6_1e2_07	AC	3 ms	3 MB
g++	random_1e41e6_1e2_08	AC	2 ms	3 MB
g++	random_1e41e6_1e2_09	AC	2 ms	3 MB
g++	random_1e61e8_1e4_00	AC	46 ms	3 MB
g++	random_1e61e8_1e4_01	AC	45 ms	3 MB
g++	random_1e61e8_1e4_02	AC	30 ms	3 MB
g++	random_1e61e8_1e4_03	AC	35 ms	4 MB
g++	random_1e61e8_1e4_04	AC	30 ms	3 MB
g++	random_1e61e8_1e4_05	AC	30 ms	4 MB
g++	random_1e61e8_1e4_06	AC	29 ms	3 MB
g++	random_1e61e8_1e4_07	AC	31 ms	4 MB
g++	random_1e61e8_1e4_08	AC	30 ms	3 MB
g++	random_1e61e8_1e4_09	AC	32 ms	4 MB
g++	random_1e81e9_1e4_00	AC	32 ms	3 MB
g++	random_1e81e9_1e4_01	AC	34 ms	3 MB
g++	random_1e81e9_1e4_02	AC	29 ms	3 MB
g++	random_1e81e9_1e4_03	AC	33 ms	4 MB
g++	random_1e81e9_1e4_04	AC	36 ms	3 MB
g++	random_1e81e9_1e4_05	AC	32 ms	4 MB
g++	random_1e81e9_1e4_06	AC	31 ms	4 MB
g++	random_1e81e9_1e4_07	AC	30 ms	3 MB
g++	random_1e81e9_1e4_08	AC	31 ms	3 MB
g++	random_1e81e9_1e4_09	AC	31 ms	3 MB
g++	sample01	AC	2 ms	3 MB
g++	sample02	AC	2 ms	3 MB

Back to top page