Дискретная математик ...

называется граф без кратных ребер (и иногда без петель), в котором любые две вершины соединены ребром

функция P типа: Mn → B, где B={0,1}, M – произвольное множество, т.е. функция P, сопоставляющая вектору (m1,m2,...,mn) значение 0 или 1. Множество M называется предметной областью предиката P(m1,m2,...,mn); m1,m2,...,mn – предметными переменными,   P – предикатным символом. 

называется последовательность вершин и ребер графа G Vm0 e1 Vm1 e2 Vm2 e3 … en Vmn , Г(ek) = (Vm(k-1), Vmk) для k = 1, 2,..., n. Вершина Vm0   называется началом, а Vmn  - концом пути; число n называется длиной пути

если  каждое  их  ребро  (соответственно каждая вершина и каждое ребро) входит в последовательность  ровно один раз (не  считая последней вершины в записи цикла)