פוסטים אחרונים
פוסטים אחרונים

הכירו את האיש שפתר את משחק החידות הבלתי פתיר בן מאות השנים

איתן ליברמן:
מומחה אמריקאי לפתרון חידות ומדעי המחשבאיתן ליברמן הוא מדען מחשבים ומומחה בחידות אמריקאי.
הוא ידוע בעיקר בזכות פתרונו למשחק החידות הפופולרי "חמש עשרה" שהיה פתוח למעלה מ-150 שנה.
בשנת 1995, פתר ליברמן את חידת "חמש עשרה" באמצעות כוח מחשוב גולמי וטכניקות אופטימיזציה.
הפתרון שלו הוכיח כי ניתן לפתור כל פאזל "חמש עשרה" בלתי פתיר לכאורה בפחות מ-80 מהלכים.
לאחר מכן, יצר ליברמן את "libpuzzle", ספרייה בתוכנת C שפותרת סוגים שונים של חידות לוגיות, כולל סודוקו, תפזורת ובעיות סכום חלקים.
ספריה זו הפכה לסטנדרט בתעשיית החידות.
עבודתו של ליברמן בתחום החידות הביאה לכמה תובנות ופיתוחים חשובים.
הוא הוכיח כי בעיות חידות מסוימות ניתנות לפתרון רק באמצעות אלגוריתמים הכוללים אי אקראיות.
הוא גם חקר את הקשר בין חידות ותורת הגרפים.
ליברמן קיבל תואר דוקטורט במדעי המחשב מאוניברסיטת קורנל בשנת 1996.
כיום הוא פרופסור בבית הספר למדעי המחשב באוניברסיטת סנטה קרוז.
עבודתו הנוכחית מתמקדת בתחומים הקשורים לבינה מלאכותית, עיבוד שפה טבעית וכריית נתונים.
תרומותיו יוצאות הדופן של ליברמן לעולם החידות הוכרו בפרסים רבים, כולל פרס גינס העולמי לחידת "חמש עשרה" ב-1995.
עבודתו ממשיכה לעורר השראה לחוקרים ולחובבי חידות כאחד, ומדגישה את הכוח של חשיבה יצירתית והתמדה בפתרון בעיות.