https://github.com/francoisschwarzentruber/reductioncatalog

Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)
https://github.com/francoisschwarzentruber/reductioncatalog

complexity-theory reduction theoretical-computer-science

Last synced: 2 months ago
JSON representation

Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)

• Host: GitHub
• URL: https://github.com/francoisschwarzentruber/reductioncatalog
• Owner: francoisschwarzentruber
• License: gpl-3.0
• Created: 2021-08-25T20:03:01.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-08-25T20:39:51.000Z (over 3 years ago)
• Last Synced: 2024-10-23T23:06:19.303Z (3 months ago)
• Topics: complexity-theory, reduction, theoretical-computer-science
• Language: JavaScript
• Homepage: https://francoisschwarzentruber.github.io/reductioncatalog/
• Size: 359 KB
• Stars: 3
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# reductioncatalog

Redutioncatalog is a catalog of reductions between many decision problems (SAT, 3SAT, CLIQUE, etc.). The graphical interface is in the spirit of dictionnary.

# How to add a new problem to the catalog?

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.