planar graph in discrete math