A graph is bipartite if it does not contain an odd cycle

• 一个图是二部图，如果它不包含奇圈。