A DNA Computing Model for the Graph Vertex Coloring Problem Based on a Probe Graph. (February 2018)