Applications of graph theory, graph coloring, introduction to approximation algorithms, Boolean modeling and optimization, quadratic functions, Horn functions