Four Color Problem Graph Theory Algorithms