กราฟออยเลอร์

บทนิยาม วงจร (circuit) คือ แนวเดินที่เส้นเชื่อมทั้งหมดแตกต่างกัน โดยมีจุดเริ่มต้นและจุดสุดท้ายเป็นจุดยอดเดียวกัน

วงจรออยเลอร์(Euler trail) คือ รอยเดินซึ่งผ่านจุดยอดทุกจุดและเส้นเชื่อมทุกเส้นของกราฟ

กราฟที่มีวงจรออยเลอร์ เรียกว่า กราฟออยเลอร์(Eulerian graph )

ทฤษฎีบท 3 กำหนดให้ G เป็นกราฟเชื่อมโยง

G จะเป็นกราฟออยเลอร์ ก็ต่อเมื่อ จุดยอดทุกจุดของ G เป็นจุดยอดคู่