Automata, Computation and Complexity

DETERMINISTIC

WEIGHT

GREEDY

PATH

CUT

LAS VEGAS

BRANCHING

SUBSET SUM

INTRACTABLE

MATCHING

SAT

RANDOMISED

PROBABALISTIC

VERTEX COVER

DYNAMIC

TSP