ĐƯỜNG ĐI VÀ CHU TRÌNH EULER

Định lý. Đồ thị vô hướng liên thông G=(V, E) là đồ thị Euler khi và chỉ khi mọi đỉnh của G
đều có bậc chẵn. Đồ thị vô hướng liên thông G=(V, E) là đồ thị nửa Euler khi và chỉ khi nó không
có quá hai đỉnh bậc lẻ.
Thủ tục Euler_Cycle sau sẽ cho phép ta tìm chu trình Euler.
void Euler_Cycle(void){
Stack:=φ; CE:=φ;
Chọn u là đỉnh nào đó của đồ thị;
u=>Stack; /* nạp u vào stack*/
while (Stack≠φ ) { /* duyệt cho đến khi stack rỗng*/
x= top(Stack); /* x là phần tử đầu stack */ if (ke(x) ≠ φ) ) {
y = Đỉnh đầu trong danh sách ke(x);
Stack<=y; /* nạp y vào Stack*/
Ke(x) = Ke(x) \{y};
Ke(y) = Ke(y)\{x}; /*loại cạnh (x,y) khỏi đồ thị}*/
}
else {
x<= Stack; /*lấy x ra khỏi stack*/;
CE <=x; /* nạp x vào CE;*/
}
}