משפט תומאסן על מעגלים זרים – הבדלי גרסאות

'''משפט תומסון''' הוא משפט מתורת הגרפים שאמר שאם הדרגה היצאת של כל קודקוד בגרף מכוון נתון גדולה מספיק אז בגרף יש מספר גדול כרצונינו של מעגלים זרים בקודקודיהם. המשפט הוכח בשנת [[1983]] על ידי [[קרטן תומסון]].{{הערה| C. Thomassen, Disjoint cycles in digraphs, Combinatorica 3 (1983), 393-396.}} בשנת [[1996]] הוכיח [[נוגה אלון]] גרסה הדוקה יותר של המשפט.{{הערה| N. Alon, Disjoint directed cycles, J. Combinatorial Theory, Ser. B 68 (1996), 167-178}} מלבד שימושים בתורת הגרפים, למשפט גם שימוש בתורת המשחקים.