CATS

Problems currently within the scope of CATS are listed below. Since many of these problems go by a variety of names and include named subproblems, you can also search through all site pointers for some keyword or collection of keywords.

• Maximum Flow
• Unit Flow and Bipartite Matching
• Minimum-Cost Flow
• Shortest Paths
• Minimum Spanning Tree
• Priority Queues
• Travelling Salesperson
• Graph Colorability
• Satisfiability
• Clique