three-colorable graph