Конечный граф - это граф, у которого:

Неориентированный граф называют простым графом, если этот граф:

Конечный неориентрованный граф имеет эйлеров цикл тогда и тольо тогда, когда:

Любой планарный граф:

Как формально определяется граф:

Двухсвязный негамильтонов граф:

Граф называется негамильтоновым, если он:

Любой четырехсвязный планарный граф:

Граф называется гамильтоновым, если он:

Какой граф называют плоским:

По определению, граф называется связным, если: