פונקציית זוגיות

באלגברה בוליאנית, פונקציית זוגיות היא פונקציה בוליאנית המחזירה 1 אם מספר האחדות בווקטור הקלט הוא אי זוגי.

פונקציית הזוגיות ראויה לציון בשל תפקידה במחקר תאורטי של סיבוכיות מעגלים.

תכונות

פונקציית הזוגיות היא פונקציה בוליאנית סימטרית.

פונקציית הזוגיות ב-n משתנים ושלילתה הן היחידות עבורן הצורה הנורמלית הדיסיונקטיבית תהיה בהכרח בעלת המספר המקסימלי של  פרדיקטים באורך n וכן הצורה הנורמלית הקוניוקטיבית תהיה בעלת המספר המקסימלי של  פסוקיות מאורך n.

סיבוכיות מעגלים

בשנות השמונים המוקדמות של המאה העשרים מריק פורסט, ג'יימס סאקס ומייקל סיפסר ובאופן בלתי תלוי מיקלוס אג'טאי מצאו חסם תחתון על-פולינומי על הגודל של מעגלים בוליאניים קבועי-עומק עבור פונקציית הזוגיות. כלומר, הם הראו כי לא קיים מעגל קבוע-עומק מגודל פולינומי שיכול לחשב את פונקציית הזוגיות. תוצאות דומות הושגו גם עבור פונקציות הרוב, הכפל והסגור הטרנזיטיבי, על ידי רדוקציה למקרה של פונקציית הזוגיות. עד אותו זמן היו ידועים רק חסמים תחתונים ליניאריים עבור פונקציות טבעיות אחדות.
בעקבות זאת פורסמו מספר הולך וגדל של חסמים תחתונים. לבסוף, בשנת 1984 ג'ואן הסטאד (שזכה ב-1994 בפרס גדל עבור עבודתו זו) מצא חסם תחתון אקספוננציאלי הדוק על גודל המעגלים הבוליאניים קבועי העומק עבור פונקציית הזוגיות. למעשה, למת המיתוג של הסטאד טומנת בחובה את הקושי הטכני שבמציאת חסמים תחתונים שכאלו.

הגרסה האינסופית

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

הערות שוליים

קטגוריה:אלגברה בוליאנית
זוגיות