בעיית צביעת המסלולים


כל מה שרצית לדעת על בעיית צביעת המסלולים:
בעיית צביעת המסלולים היא בעיה ידועה בתורת הגרפים, העוסקת בצביעה של קשתות בגרף.
לבעיה יישומים תאורטיים בתורת האוטומטים ובדינמיקה סימבולית, ויישומים פרקטיים בדחיסת מידע, תכנון ממוחשב ובדיקת פרוטוקולים.
הבעיה הוצגה ב-1970 ‏ (ונוסחה במפורש ב-1977 ‏), בקשר להשערה (שהוכחה לבסוף בדרך אחרת), שהאנטרופיה הטופולוגית של מערכת דינמית בעל אופי סופי, קובעת את המערכת (עד כדי שקילות).
הבעיה נפתרה ב-2007 על ידי הפרופסור אברהם טרכטמן מאוניברסיטת בר-אילן ‏.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לבעיית צביעת המסלולים:
משפטים בקומבינטוריקה
משפטים בתורת הגרפים
אוטומטים