qpoly (307B)
1 # Qpoly 2 3 [computational_problem] of solving an [equation] involving a [quadratic_polynomial]: given a, b, c in [binary_encoding], determine if there exist [natural_numbers] x and y such that a x^2 + b y = c 4 5 - shown [np_hard] in [manders1976np] 6 - used in [boeker2024complexity] 7 8 Up: [computational_problem]