How would you define a superproblem?

Question

Assuming that we have a problem, how would one classify its superproblem? There could be multiple ways to generalize a problem and for example two superproblems (although including the original as a subproblem) may not be compatible.

I am not sure whether there is a formal concept of a superproblem. But can you guide me to any formal source on this type of generalization?

Answer 1

I would say that A is a superproblem of B if B is a special case of A; in other words, A has a number of parameters such that, when some constant values are substituted for some of those parameters, the resulting problem is equivalent to B.

If you look at my questions and answers, you will see that many of them are generalizations of someone else's problem.

The way I put this internally is that I would rather solve an infinite number of problems than just one.

Answer 2

This is clearly an informal term, but my view is that for a problem $A$, a superproblem $B$ of problem $A$ has the following properties:

• Solving $B$ either solves $A$ directly or leads to a natural solution to $A$, but not vice versa.
• Solving $B$ leads to a natural solution of other problems ($C, D, \ldots$) but solving $A$ does not lead to a natural solution of those other problems.
• $A$ is a special case of $B$ but $B$ is not a special case of $A$.