‫תרגיל בית ‪ -2‬הסעיפים המסומנים בצהוב הינם רשות‬

‫תרגיל ‪:1‬‬

‫האם הקודים הבאים אפשריים?‬

‫‪𝑞 = 2 ; 𝑛 = 8 ; 𝑘 = 2 ; 𝑡 = 3 (1‬‬
‫‪𝑞 = 2 ; 𝑛 = 1024 ; 𝑘 = 829 ; 𝑑 = 200 (2‬‬
‫‪𝑞 = 2 ; 𝑛 = 127 ; 𝑘 = 109 ; 𝑑 = 7 (3‬‬

‫רמז‪ :‬היעזרנה בחסמים הנמצאים בקובץ חסמים על קודים‪.‬‬

‫תרגיל ‪:2‬‬

‫נתונות שלוש מטריצות יוצרות‪:‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫= 𝐺‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫= 𝐺‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫= 𝐺‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫א‪ .‬האם יש שתיים מהן היוצרות קודים אקוויוולנטים? אם כן‪ ,‬אילו? הסבירי‪.‬‬
‫ב‪ .‬האם יש שתיים מהן היוצרות קודים דואלים? אם כן‪ ,‬אילו? הסבירי‪.‬‬
‫ג‪ .‬מצאי מטריצה בודקת עבור )כל(אחת מהן‪.𝐻 ; 𝐻 ; 𝐻 :‬‬

‫תרגיל ‪:3‬‬

‫הוכחנה את הטענות הבאות‪:‬‬

‫‪ .1‬מרחק מינימלי של קוד הוא ‪ d‬אמ"מ ‪ d‬הוא המספר הגדול ביותר המקיים שכל ‪d  1‬‬
‫או פחות עמודות של ‪ H‬הן בלתי תלויות‪.‬‬
‫‪ .2‬הקוד המתקבל מקוסט מוזז של קוד ליניארי )אוסף מילות הקוד הליניארי הוזזו על‬
‫ידי חיבור עם וקטור ‪ A‬כלשהו שאינו מילת קוד( הינו קוד לא ליניארי‪.‬‬
‫עבור הקוד החדש מה אורך הקוד? מה מספר המילים? מה המרחק המינימלי?‬
‫‪ .3‬פונקציית המרחק מקיימת ‪:‬‬
 ‫‪ .a‬סימטריה‪d ( x , y )  d ( y , x ) :‬‬
‫‪ .b‬אי שלילית ‪ d ( x , y )  0‬ושווה ל‪ 0-‬אם"ם ‪x  y‬‬
‫‪ .c‬אי שוויון המשולש ) ‪d ( x , y )  d ( y , z )  d ( x, z‬‬

‫תרגיל ‪:4‬‬

‫‪1 2 1 1‬‬
‫‪ . G  ‬ממשנה‬ ‫נתון קוד ליניארי מעל )‪ GF (3‬הנפרש על ידי המטריצה היוצרת ‪‬‬
‫‪0 1 1 0‬‬
‫מעגל מקודד )צירופי( על פי מטריצה ‪ . G‬ניתן להשתמש ברכיבים שתכננו בכתה כקופסא שחורה‪ .‬אין‬
‫צורך לעשות מינימיזציה‪.‬‬

‫תרגיל ‪:5‬‬

‫‪ 2 1 2 0 0‬‬
‫‪‬‬ ‫‪‬‬
‫קוד טרנרי מוגדר על ידי המטריצה הבודקת‪H   2 1 0 1 0  :‬‬
‫‪0 2 0 0 2‬‬
‫‪‬‬ ‫‪‬‬
‫א‪ .‬האם המטריצה סיסטמטית? אם כן הסבירי מדוע‪ ,‬אם לא‪ ,‬מצאי מטריצה בודקת‬
‫סיסטמטית עבור קוד זה‪.‬‬
‫ב‪ .‬מהם פרמטרי הקוד )אורך‪ ,‬מימד‪ ,‬מרחק מינימלי(? מהי יכולת הגילוי ומהי יכולת‬
‫התיקון של הקוד? כמה מילים יש בקוד?‬
‫ג‪ .‬רשמי מטריצה יוצרת עבור הקוד‪ .‬האם היא יחידה? אם כן‪ ,‬הסבירי מדוע‪ ,‬אם לא‪,‬‬
‫תני דוגמא למטריצה יוצרת נוספת‪.‬‬
‫ד‪ .‬תני דוגמא לשלוש מילות קוד‪.‬‬
‫ה‪ .‬תני דוגמא לשלושה וקטורים שאינם מילות קוד‪.‬‬
‫ו‪ .‬תני דוגמא לוקטור שהסינדרום שלו הוא ‪ . s  [0,1, 0]T‬האם הוקטור הזה הוא מילת‬
‫קוד?‬
‫ז‪ .‬מה מספר הוקטורים שהסינדרום שלהם הוא ‪? s  [0,1, 2]T‬‬

‫תרגיל ‪:6‬‬

‫‪ 01 111 0 0 ‬‬

‫‪‬‬ ‫‪‬‬
‫‪G   1 0 110 1 0 ‬‬
‫‪ 1 1 010 01 ‬‬
‫‪‬‬ ‫נתון קוד ליניארי מעל ‪ GF  2 ‬הנפרש על ידי המטריצה היוצרת ‪‬‬

‫א‪ .‬מצאנה את מאפייני הקוד ‪ -‬אורך‪ ,‬מימד‪ ,‬מספר מילות הקוד‪ ,‬מרחק מינימאלי‪ ,‬קצב‬
‫הקוד‪,‬יכולת גילוי ויכולת תיקון השגיאות‪.‬‬
‫ב‪ .‬בצענה כל אחד מששת שינויי הקוד – ניקוב‪ ,‬קיצור‪ ,‬הרחבה‪ ,‬הארכה‪ ,‬דילול והגדלה‪.‬‬
‫השינויים יתבצעו כך שפרמטרי הקוד ישתפרו ו‪/‬או לא יינזקו במידת האפשר‪ .‬ערוכנה‬
‫השוואה בין הקוד המקורי לקודים שהתקבלו‪.‬‬
 ‫ג‪ .‬תהא 𝐺 מטריצה יוצרת של קוד לינארי בעל מימד 𝑘‪ ,‬ותהא 𝐺 המטריצה המתקבלת‬
‫ממחיקת עמודה ב‪ .𝐺 -‬הוכחי או הפרכי‪ :‬המימד מימד הקוד הנפרש ע"י ‪ 𝐺′‬הוא 𝑘‪.‬‬
‫תרגיל ‪:7‬‬

‫נתונים שני קודים ] ‪ [n1 , k , d1 ],[n2 , k , d 2‬המוגדרים בעזרת המטריצות היוצרות ‪. G1 , G2‬‬

‫‪ G1 0 ‬‬
‫‪ G  ‬הוא קוד ]) ‪. [n1  n2 , 2  k , min(d1 , d 2‬‬ ‫א‪ .‬הראו שהקוד המוגדר ע"י ‪ ‬‬
‫‪ 0 G2 ‬‬
‫ב‪ .‬הראו שהקוד המוגדר על ידי ‪ G   G1 | G2 ‬הוא קוד ] ‪ [n1  n 2 , k , d‬כאשר‬

‫‪d  d1 d 2‬‬

‫תרגיל ‪:8‬‬

‫א‪ .‬מצא את מטריצת הבדיקה ואת המטריצה היוצרת של קוד ‪ Hamming‬עבור‬

‫‪q  2,r  3‬‬
‫ב‪ .‬בנה טבלת ‪ CL-Syndrome‬עבור קוד ‪ Hamming‬בינרי באורך ‪.7‬‬
‫על סמך הטבלה‪ ,‬מה ניתן לומר על הקשר בין הסינדרום לבין וקטור השגיאה?‬
‫מה יהיה הסינדרום עבור המקרים הבאים )נסה לענות ללא הכפלה במטריצה‬
‫הבודקת(‪:‬‬
‫נפלה שגיאה בשידור ובמקום ‪ 1110000‬התקבל ‪1110010‬‬
‫נפלה שגיאה בשידור ובמקום ‪ 1110000‬התקבל ‪1010100‬‬
‫נפלה שגיאה בשידור ובמקום ‪ 1110000‬התקבל ‪0110000‬‬
‫ג‪ .‬תכנן באמצעות שערים לוגיים מפענח לקוד ‪ Hamming‬בינרי )‪ (𝑞 = 2‬באורך ‪(𝑛 =) 7‬‬
‫‪.7‬‬
‫רמז‪ :‬השתמש בקשר שמצאת בסעיף ב'‪.‬‬

‫תרגיל ‪:9‬‬

‫‪1 1 0 0 0‬‬
‫‪‬‬ ‫‪‬‬
‫נתונה המטריצה היוצרת ‪ G   0 1 0 1 0 ‬מעל א"ב ‪ ,q=2‬המטריצה יוצרת את‬
‫‪0 0 1 0 1‬‬
‫‪‬‬ ‫‪‬‬
‫הקוד ‪.C‬‬
‫מהו ‪?n‬‬ ‫א‪.‬‬
‫מהו ‪?k‬‬ ‫ב‪.‬‬
‫מהו ‪?r‬‬ ‫ג‪.‬‬
‫מה קצב הקוד?‬ ‫ד‪.‬‬
‫תני דוגמא ל‪ 4-‬מילות קוד‪.‬‬ ‫ה‪.‬‬
‫כמה מילים יש בקוד?‬ ‫ו‪.‬‬
‫האם הקוד סיסטמתי?‬ ‫ז‪.‬‬
 ‫תן דוגמא למטריצה יוצרת עבור קוד אקוויוולנטי לקוד ‪.C‬‬ ‫ח‪.‬‬
‫מצא ‪ -H‬מטריצה בודקת לקוד הנתון‪.‬‬ ‫ט‪.‬‬
‫תן דוגמא למילה באורך ‪ n‬מעל א"ב ‪ q=2‬אשר אינה כלולה בקוד‪ .‬חשב עבורה את‬ ‫י‪.‬‬
‫הסינדרום‪.‬‬
‫מהו ‪?d‬‬ ‫יא‪.‬‬
‫מה יכולת הגילוי של הקוד?‬ ‫יב‪.‬‬
‫מה יכולת התיקון של הקוד?‬ ‫יג‪.‬‬
‫סטודנטית הציעה להגדיל את הקוד על ידי הוספת שורת אחדות למטריצה ‪ .G‬מה יהיו‬ ‫יד‪.‬‬
‫ערכי ‪ n,k,r,d‬החדשים? מה יקרה ליכולת הגילוי של הקוד? מה יקרה ליכולת התיקון של‬
‫הקוד?‬
‫מהי המטריצה היוצרת את הקוד הדואלי ל‪?C -‬‬ ‫טו‪.‬‬
‫סטודנטית הציעה לדלל את הקוד על ידי הוספת שורת אחדות למטריצה ‪ .H‬מה יהיו‬ ‫טז‪.‬‬
‫ערכי ‪ n,k,r,d‬החדשים? מה יקרה ליכולת הגילוי של הקוד? מה יקרה ליכולת התיקון של‬
‫הקוד?‬

‫תרגיל ‪:10‬‬

‫הוכיחי או הפריכי‪:‬‬
‫א‪ .‬בקוד לינארי‪ ,‬הגדלת הקוד בהכרח מקטינה את המרחק המינימלי‪.‬‬
‫ב‪ .‬בקוד ליניארי‪ ,‬דילול הקוד בהכרח מגדיל את המרחק המינימלי‪.‬‬
‫ג‪ .‬בקוד ליניארי‪ ,‬ניקוב הקוד בהכרח משנה את המרחק המינימלי‪.‬‬

‫תרגיל ‪:11‬‬

‫בהרצאה )מצגת ‪ ,1‬שקף ‪ (13‬ראינו חסמים על הסתברות השגיאה עבור א"ב בגודל ‪ .2‬הרחיבי‬
‫חסמים אילו עבור א"ב כללי בגודל ‪.q‬‬

‫תרגיל ‪:12‬‬

‫בהרצאה ראינו את חסם המינג עבור קוד לינארי ]‪:[n,k,d‬‬

‫𝑛‬
‫𝑞‬ ‫)‪(𝑞 − 1‬‬ ‫𝑞≤‬
‫𝑖‬

‫התאימי חסם זה עבור קוד לא לינארי‪.‬‬

‫בהצלחה!‬