template/constant.hpp

• View this file on GitHub
• Last update: 2025-04-05 10:48:22+09:00
• Include: #include "template/constant.hpp"

Depends on

• template/type_alias.hpp

Required by

• template/procon.hpp
• template/template.hpp

Verified with

• verify/aoj/aoj_0233.test.cpp
• verify/aoj/aoj_0560.test.cpp
• verify/aoj/aoj_0560_2.test.cpp
• verify/aoj/aoj_alds1_14_b.test.cpp
• verify/aoj/aoj_grl_1_b.test.cpp
• verify/aoj/aoj_grl_1_c.test.cpp
• verify/aoj/aoj_ntl_1_d.test.cpp
• verify/aoj/aoj_ntl_1_e.test.cpp
• verify/unit_test/F2.test.cpp
• verify/unit_test/action.test.cpp
• verify/unit_test/binom_table.test.cpp
• verify/unit_test/bit_vector.test.cpp
• verify/unit_test/famous_function_table.test.cpp
• verify/unit_test/isprime_table_extend.test.cpp
• verify/unit_test/large_fact_arb_mod.test.cpp
• verify/unit_test/lpf_table_extend.test.cpp
• verify/unit_test/monoid.test.cpp
• verify/unit_test/multiplicative_function_table.test.cpp
• verify/unit_test/offline_dynamic_connectivity.test.cpp
• verify/unit_test/partial_persitent_unionfind.test.cpp
• verify/unit_test/prime_factorize_table.test.cpp
• verify/unit_test/prime_table_extend.test.cpp
• verify/unit_test/wavelet_matrix.test.cpp
• verify/yosupo_convolution/convolution_and.test.cpp
• verify/yosupo_convolution/convolution_arbitrary.test.cpp
• verify/yosupo_convolution/convolution_gcd.test.cpp
• verify/yosupo_convolution/convolution_lcm.test.cpp
• verify/yosupo_convolution/convolution_multi_truncated.test.cpp
• verify/yosupo_convolution/convolution_ntt_friendly.test.cpp
• verify/yosupo_convolution/convolution_or.test.cpp
• verify/yosupo_convolution/convolution_subset.test.cpp
• verify/yosupo_convolution/convolution_xor.test.cpp
• verify/yosupo_ds/ds_dynamic_sequence_range_affine_range_sum.test.cpp
• verify/yosupo_ds/ds_ordered_set_binary_trie.test.cpp
• verify/yosupo_ds/ds_ordered_set_max_right.test.cpp
• verify/yosupo_ds/ds_ordered_set_min_left.test.cpp
• verify/yosupo_ds/ds_point_add_range_sum_2.test.cpp
• verify/yosupo_ds/ds_point_set_range_composite.test.cpp
• verify/yosupo_ds/ds_point_set_range_composite_2.test.cpp
• verify/yosupo_ds/ds_potentiailized_uf_non_commutattive.test.cpp
• verify/yosupo_ds/ds_potentialized_unionfind.test.cpp
• verify/yosupo_ds/ds_predecessor_problem.test.cpp
• verify/yosupo_ds/ds_range_affine_range_sum.test.cpp
• verify/yosupo_ds/ds_range_set_range_composite.test.cpp
• verify/yosupo_ds/ds_set_xor_min.test.cpp
• verify/yosupo_ds/ds_static_range_inversions.test.cpp
• verify/yosupo_ds/ds_static_range_sum.test.cpp
• verify/yosupo_ds/ds_static_rmq.test.cpp
• verify/yosupo_ds/ds_static_rmq_2.test.cpp
• verify/yosupo_ds/ds_unionfind.test.cpp
• verify/yosupo_fps/fps_composition.test.cpp
• verify/yosupo_fps/fps_composition_inv.test.cpp
• verify/yosupo_fps/fps_exp.test.cpp
• verify/yosupo_fps/fps_exp_arb.test.cpp
• verify/yosupo_fps/fps_inv.test.cpp
• verify/yosupo_fps/fps_inv_arb.test.cpp
• verify/yosupo_fps/fps_log.test.cpp
• verify/yosupo_fps/fps_log_arb.test.cpp
• verify/yosupo_fps/fps_multipoint_evaluation.test.cpp
• verify/yosupo_fps/fps_multipoint_evaluation_geometric.test.cpp
• verify/yosupo_fps/fps_pow.test.cpp
• verify/yosupo_fps/fps_product_of_polynomial_sequence.test.cpp
• verify/yosupo_fps/fps_sparse_exp.test.cpp
• verify/yosupo_fps/fps_sparse_inv.test.cpp
• verify/yosupo_fps/fps_sparse_log.test.cpp
• verify/yosupo_fps/fps_sparse_pow.test.cpp
• verify/yosupo_fps/fps_sprase_sqrt.test.cpp
• verify/yosupo_fps/fps_sqrt.test.cpp
• verify/yosupo_fps/poly_division.test.cpp
• verify/yosupo_fps/poly_interpolation.test.cpp
• verify/yosupo_fps/poly_interpolation_geometric.test.cpp
• verify/yosupo_fps/poly_inv.test.cpp
• verify/yosupo_fps/poly_root_finding.test.cpp
• verify/yosupo_fps/poly_sample_point_shift.test.cpp
• verify/yosupo_fps/poly_taylor_shift.test.cpp
• verify/yosupo_fps/poly_to_newton_basis.test.cpp
• verify/yosupo_geometry/arg_sort.test.cpp
• verify/yosupo_geometry/static_convex_hull.test.cpp
• verify/yosupo_geometry/static_convex_hull_1.test.cpp
• verify/yosupo_geometry/static_convex_hull_2.test.cpp
• verify/yosupo_geometry/static_convex_hull_3.test.cpp
• verify/yosupo_graph/graph_bcc.test.cpp
• verify/yosupo_graph/graph_cycle_detection.test.cpp
• verify/yosupo_graph/graph_cycle_detection_directed.test.cpp
• verify/yosupo_graph/graph_matching_bipartite.test.cpp
• verify/yosupo_graph/graph_scc.test.cpp
• verify/yosupo_graph/graph_shortest_path.test.cpp
• verify/yosupo_graph/graph_two_edge_connected_components.test.cpp
• verify/yosupo_graph/tree_cartesian.test.cpp
• verify/yosupo_graph/tree_diameter.test.cpp
• verify/yosupo_graph/tree_lca.test.cpp
• verify/yosupo_graph/tree_lca_static.test.cpp
• verify/yosupo_linalg/matrix_det.test.cpp
• verify/yosupo_linalg/matrix_det_f2.test.cpp
• verify/yosupo_linalg/matrix_inv.test.cpp
• verify/yosupo_linalg/matrix_inv_f2.test.cpp
• verify/yosupo_linalg/matrix_pow.test.cpp
• verify/yosupo_linalg/matrix_product.test.cpp
• verify/yosupo_linalg/matrix_product_f2.test.cpp
• verify/yosupo_linalg/matrix_rank.test.cpp
• verify/yosupo_linalg/matrix_rank_F2.test.cpp
• verify/yosupo_linalg/solution_of_linear_equations.test.cpp
• verify/yosupo_linalg/solution_of_linear_equations_F2.test.cpp
• verify/yosupo_math/binomial_coefficient_prime_mod.test.cpp
• verify/yosupo_math/discrete_logarithm.test.cpp
• verify/yosupo_math/enumerate_bell_number.test.cpp
• verify/yosupo_math/enumerate_primes.test.cpp
• verify/yosupo_math/enumerate_quotients.test.cpp
• verify/yosupo_math/enumerate_stirling_number_of_the_first_kind.test.cpp
• verify/yosupo_math/factrize.test.cpp
• verify/yosupo_math/kth_root_int.test.cpp
• verify/yosupo_math/kth_root_int_ceil.test.cpp
• verify/yosupo_math/kth_term_of_linearly_recurrent_sequence.test.cpp
• verify/yosupo_math/many_factrials.test.cpp
• verify/yosupo_math/prefix_sum_of_multiplicative_function.test.cpp
• verify/yosupo_math/primality_test.test.cpp
• verify/yosupo_math/prime_counting.test.cpp
• verify/yosupo_math/primitive_root.test.cpp
• verify/yosupo_math/sqrt_mod.test.cpp
• verify/yosupo_math/sum_of_floor_linear.test.cpp
• verify/yosupo_others/longest_increasing_subsequence.test.cpp
• verify/yosupo_others/many_a_plus_b.test.cpp
• verify/yosupo_others/many_a_plus_b_128bit.test.cpp
• verify/yosupo_others/many_a_plus_b_128bit_2.test.cpp
• verify/yosupo_string/string_number_of_substrings.test.cpp
• verify/yosupo_string/string_suffix_array.test.cpp
• verify/yosupo_string/string_z_algorithm.test.cpp
• verify/yosupo_string/string_z_roliha.test.cpp
• verify/yuki/yuki_0430.test.cpp
• verify/yuki/yuki_0430_2.test.cpp
• verify/yuki/yuki_1326.test.cpp
• verify/yuki/yuki_1510.test.cpp

Code

#ifndef KK2_TEMPLATE_CONSTANT_HPP
#define KK2_TEMPLATE_CONSTANT_HPP 1

#include "type_alias.hpp"

template <class T> constexpr T infty = 0;
template <> constexpr int infty<int> = (1 << 30) - 123;
template <> constexpr i64 infty<i64> = (1ll << 62) - (1ll << 31);
template <> constexpr i128 infty<i128> = (i128(1) << 126) - (i128(1) << 63);
template <> constexpr u32 infty<u32> = infty<int>;
template <> constexpr u64 infty<u64> = infty<i64>;
template <> constexpr u128 infty<u128> = infty<i128>;
template <> constexpr double infty<double> = infty<i64>;
template <> constexpr long double infty<long double> = infty<i64>;

constexpr int mod = 998244353;
constexpr int modu = 1e9 + 7;
constexpr long double PI = 3.14159265358979323846;

#endif // KK2_TEMPLATE_CONSTANT_HPP

#line 1 "template/constant.hpp"



#line 1 "template/type_alias.hpp"



#include <functional>
#include <queue>
#include <utility>
#include <vector>

using u32 = unsigned int;
using i64 = long long;
using u64 = unsigned long long;
using i128 = __int128_t;
using u128 = __uint128_t;

using pi = std::pair<int, int>;
using pl = std::pair<i64, i64>;
using pil = std::pair<int, i64>;
using pli = std::pair<i64, int>;

template <class T> using vc = std::vector<T>;
template <class T> using vvc = std::vector<vc<T>>;
template <class T> using vvvc = std::vector<vvc<T>>;
template <class T> using vvvvc = std::vector<vvvc<T>>;

template <class T> using pq = std::priority_queue<T>;
template <class T> using pqi = std::priority_queue<T, std::vector<T>, std::greater<T>>;


#line 5 "template/constant.hpp"

template <class T> constexpr T infty = 0;
template <> constexpr int infty<int> = (1 << 30) - 123;
template <> constexpr i64 infty<i64> = (1ll << 62) - (1ll << 31);
template <> constexpr i128 infty<i128> = (i128(1) << 126) - (i128(1) << 63);
template <> constexpr u32 infty<u32> = infty<int>;
template <> constexpr u64 infty<u64> = infty<i64>;
template <> constexpr u128 infty<u128> = infty<i128>;
template <> constexpr double infty<double> = infty<i64>;
template <> constexpr long double infty<long double> = infty<i64>;

constexpr int mod = 998244353;
constexpr int modu = 1e9 + 7;
constexpr long double PI = 3.14159265358979323846;

Back to top page