Reductions Structures

View Structure

This text is displayed if your browser does not support HTML5 Canvas.

Select Colors

Colors

Reductions

Name        

From  

To  

Parameters conjunctions:   dimension:

  min elements:     elements:

Atoms equality   min   max   successor

Export      

Reduction  

Examples & Saved

Saved Reductions

  • Nothing here yet

Example Classes

  • No-Star Graph  
  • Non-Stop Graph  
  • Reach s-t  
  • Strongly Connected  
  • Complete Graph  
  • Empty Graph  
  • Reach 0-1  
  • Non-Reach 0-1  

Testing Examples

  • Nothing here yet