classifications, applications of parameterized and exact computation, and implementation