Confusion with how answers are presented

[norkish]

For decision problems, the answer is either a YES or a NO. Right now, solvers for decision problems don't return YES or NO; they return a certificate. This needs to be made explicit: either a YES or NO and then provide the certificate is appropriate.

For optimization problems, the answer will be the best answer by the solver and should be additionally accompanied by a label indicating the OPTIMALITY of the answer: OPTIMAL, SUB-OPTIMAL, or UNKNOWN.

This same information needs to be displayed somehow in association with visualizations (so that users realize when presented with the visualization of a sub-optimal solution that they are not being presented with as an optimal solution).

Problem definitions need to make it clear whether the question is a decision problem or an optimization problem.

[wrigjl]

This indication will also be useful for quantum solvers. For example, Grover's algorithm produces a probable solution (with pretty high confidence), but it may not be a solution at all.