מסלול פשוט שעובר בכל צומת בגרף בדיוק פעם אחת.
מסלול העובר בכל קשת בגרף בדיוק פעם אחת.
גרף יקרא אוילרי/המילטוני אם קיים בו מסלול אוילרי/המילטוני בהתאמה.
יהי גרף סופי וקשיר.
נתון שבדיוק ל- מהצמתים יש דרגה אי זוגית עבור .
הוכיחו כי ניתן לחלק את הקשתות ל- מסלולים זרים בקשתות כך שכל קשת מופיעה במסלול אחד בדיוק.
הוכחה:
נסמן את הצמתים מדרגה אי זוגית: .
נוסיף את הקשתות הבאות: . ⟸ הוספנו סה"כ קשתות.
נסמן את הגרף החדש ב-.
- הגרף קשיר.
- לכל מתקיים ש- זוגית ולכן, לפי משפט, ב- קיים מעגל אויילר.
יהי המעגל האוילרי, בכל צומת נוגעת לכל היותר קשת חדשה אחת ולכן, נקבל קטעים חדשים.
לכל קשת חדשה נתאים את המסלול הישן שמגיע אחריה ובסה"כ נקבל מסלולים ישנים.
קיבלנו מסלולים זרים כך שכל קשת בגרף מופיעה בדיוק פעם אחת שכן זהו גרף אוילרי.
∎
בגרף מכוון קיים מעגל אויילרי אם:
- לכל מתקיים .
- גרף התשתית קשיר
גרף דה ברויין קשיר היטב