סדרת דה ברויין

סדרת דה ברויין B ( k , n ) {\displaystyle \displaystyle B(k,n)} היא סדרה מעגלית מעל אלפבית A {\displaystyle \displaystyle A} בגודל k {\displaystyle \displaystyle k} שמכילה כל רצף באורך n {\displaystyle \displaystyle n} מעל A {\displaystyle \displaystyle A} בדיוק פעם אחת. אורך סדרה כזאת הוא בדיוק k n {\displaystyle \displaystyle k^{n}} . הסדרות קרויות על שמו של המתמטיקאי ההולנדי ניקולאס חוברט דה ברויין שכתב עליהן מאמר ב-1946. מאוחר יותר הסתבר שסדרות אלה היו ידועות קודם לכן. באותה תקופה גם המתמטיקאי היהודי-אנגלי אירווינג ג'ון גוד (I. J. Good) גילה את הסדרות ובנייתן. סדרות כאלה שימושיות למשל כדי לאתר מקום בסדרה לצורכי סנכרון - לאחר קריאת תת-סדרה כלשלהי באורך n {\displaystyle \displaystyle n} ניתן לדעת את מיקומה המדויק. ניתן להגדיר סדרת דה ברויין בינארית באמצעות גרף המכונה גרף דה ברויין. גרף דה ברויין מסדר   n {\displaystyle \ n} מעל אלפבית בגודל   k {\displaystyle \ k} הוא גרף מכוון עם k n {\displaystyle \displaystyle k^{n}} קודקודים, שכל קודקוד מייצג מחרוזת מעל A {\displaystyle \displaystyle A} באורך n {\displaystyle \displaystyle n} , כלומר V = { ( v 1 , v 2 , … , v n ) : v i ∈ A } . {\displaystyle V=\{(v_{1},v_{2},\ldots ,v_{n}):v_{i}\in A\}.} . קבוצת הקשתות מוגדרת על ידי E = { ( ( v 1 , v 2 , … , v n ) , ( w 1 , w 2 , … , w n ) ) : v 2 = w 1 , v 3 = w 2 , … , v n = w n − 1 } . {\displaystyle E=\{((v_{1},v_{2},\dots ,v_{n}),(w_{1},w_{2},\dots ,w_{n})):v_{2}=w_{1},v_{3}=w_{2},\dots ,v_{n}=w_{n-1}\}.} , דהיינו כל קודקוד v {\displaystyle \displaystyle v} מחובר לקודקודים שמתקבלים על ידי הזזה במקום אחד של המחרוזת שלו תוך השמטת האות הראשונה ותוספת של אות כלשהי בקוארדינטה האחרונה. נסמן באופן טבעי את הקשתות באות החדשה שנוספה. ניתן לראות כי דרגת היציאה ודרגת הכניסה שתיהן k {\displaystyle \displaystyle k} וכי הגרף קשיר היטב (כדי להגיע מ ( v 1 , v 2 , … , v n ) {\displaystyle (v_{1},v_{2},\dots ,v_{n})} אל ( w 1 , w 2 , … , w n ) {\displaystyle (w_{1},w_{2},\dots ,w_{n})} יש לעקוב אחרי המסלול שקשתותיו מסומנות ב w 1 , w 2 , … , w n {\displaystyle w_{1},w_{2},\dots ,w_{n}} ) ולכן יש בגרף מעגל אוילרי. המעגל האוילרי מגדיר סדרה על פי סימוני הקשתות שלאורכו. נוסף, ניתן לראות כי המעגל האוילרי בגרף מסדר   n − 1 {\displaystyle \ n-1} מגדיר באופן טבעי מעגל המילטון בגרף מסדר   n {\displaystyle \ n} ושניהם מגדירים את אותה סדרה. כדי לודא כי הסדרה המוגדרת היא אכן סדרת דה ברויין, נראה כי הרצף ( b 1 , b 2 , … , b n ) {\displaystyle (b_{1},b_{2},\ldots ,b_{n})} מופיע בסדרה בדיוק ב-   n {\displaystyle \ n} המקומות שמובילים אל הצומת ( b 1 , b 2 , … , b n ) {\displaystyle (b_{1},b_{2},\ldots ,b_{n})} במעגל ההמילטוני בגרף דה ברויין מסדר   n {\displaystyle \ n} . לגרף דה ברויין יש חשיבות גם כטופולוגיית רשת המאפשרת ניתוב מהיר ויעיל. הוא אף קשור לשיטות ריצוף של DNA.‏ מדיה וקבצים בנושא סדרת דה ברויין בוויקישיתוף סדרת דה ברויין, באתר MathWorld (באנגלית) de Bruijn, N. G. "A Combinatorial Problem." Koninklijke Nederlandse Akademie v. Wetenschappen 49, 758-764, 1946. *de Bruijn, N. G. "Acknowledgement of Priority to C. Flye Sainte-Marie on the counting of circular arrangements of 2n zeros and ones that show each n-letter word exactly once", T.H.-Report 75-WSK-06, Technological University Eindhoven, 13 pages, 1975. Good, I. J. (1946). "Normal recurring decimals". Journal of the London Mathematical Society. 21 (3): 167–169. doi:10.1112/jlms/s1-21.3.167. לדוגמה Pavel A. Pevzner, Haixu Tang, Glenn Tesler: De novo repeat classification and fragment assembly. RECOMB 2004, 213-222 ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.