Reductions This repository contains some reductions from theoretical computer science. From To Time 3SAT SAT O ( 1 ) HC TSP O ( n 2 )