Redutioncatalog is a catalog of reductions between many decision problems (SAT, 3SAT, CLIQUE, etc.). The graphical interface is in the spirit of dictionnary.
A problem is a PROBLEM.js file, where PROBLEM is the name of the problem. This file contains:
- a function PROBLEM_getInstance() that returns a string that represents a typical instance of PROBLEM.
- a function PROBLEM_drawInstance(elementDescription, instanceCode) that fills the div container whose description is elementDescription (for instance #myDiv) with a graphical representation of the instance.
- Then the file contains functions of the form PROBLEM_to_XXX(instance) where XXX could be any other problem. This function implements a reduction from PROBLEM to XXX.