ב-19 בספטמבר 1856 התחתן קרל סלבטור עם מריה אימקולאטה, נסיכת בורבון-שתי הסיציליות, בתם של פרננדו השני, מלך שתי הסיציליות ומריה תרזה, ארכידוכסית אוסטריה, ממנה נולדו לו 10 ילדים:
מריה אימקולאטה, נסיכת בורבון-שתי הסיציליות (1844–1899)
מריה אימקולאטה, נסיכת שתי הסיציליות (באיטלקית: Maria Immacolata, Principessa di Borbone delle Due Sicilie; 14 באפריל 1844 – 18 בפברואר 1899), הייתה בתו של פרננדו השני, מלך שתי הסיציליות ואשתו של קרל סלבטור, ארכידוכס אוסטריה.
ביוגרפיה.
מריה אימקולאטה נולדה ב-14 באפריל 1844 בנאפולי, לפרננדו השני, מלך שתי הסיציליות ולמריה תרזה, ארכידוכסית אוסטריה, בתם של הארכידוכס קרל, דוכס טשן והנרייטה, נסיכת נסאו-ויילבורג.
בשנת 1859 מת אביה פרננדו השני, מלך שתי הסיציליות, ואחיה פרנצ'סקו השני, מלך שתי הסיציליות עלה לשלטון במקומו. זמן קצר לאחר מותו ניצחו הכוחות הצרפתיים והסרדיניים את הצבא האוסטרי במלחמת אוסטריה-סרדיניה, מה שהוביל כעבור זמן קצר לאיחוד איטליה ולהדחתו של אחיה מהשלטון. מריה אימקולאטה יחד עם משפחתה ברחו לרומא, ובהמשך עברו משם לווינה. ב-19 בספטמבר 1856 התחתנה מריה אימקולאטה עם קרל סלבטור, ארכידוכס אוסטריה, בנו של לאופולד השני, הדוכס הגדול של טוסקנה, ממנו נולדו לה 10 ילדים. מריה אימקולאטה הייתה אישה יפה מאוד, ואף נכללה על ידי הקיסרית אליזבת באלבום תמונות של הנשים האוסטריות היפות. מריה אימקולאטה קיבלה מבעלה בכל לידה שרשרת פנינים, ומשום כך כונתה במשפחתה "שולת הפנינים".
בשנת 1890 התחתן בנה פרנץ סלבטור, ארכידוכס אוסטריה עם מריה ולריה, ארכידוכסית אוסטריה, בתו של פרנץ יוזף, קיסר אוסטריה, וב-18 בפברואר 1899 מתה מריה אימקולאטה בביתה בווינה.
משפחתה.
ב-19 בספטמבר 1856 התחתנה מריה אימקולאטה עם קרל סלבטור, ארכידוכס אוסטריה, בנו של לאופולד השני, הדוכס הגדול של טוסקנה, ממנו נולדו לה 10 ילדים:
X-fast trie
במדעי המחשב, X-Fast trie הוא מבנה נתונים המאחסן מספרים שלמים מטווח נתון. מבנה הנתונים מתבסס על עצים וטבלאות גיבוב. מבנה הנתונים נחשב מהיר במיוחד מאחר שהוא מאפשר לבצע שאילתות בסיבוכיות זמן formula_1 ועל ידי שימוש בסיבוכיות מקום של formula_2, כאשר n מסמן את מספר הערכים בעץ ו-M את טווח הערכים שהעץ יכול להכיל. על מנת לתת אינטואיציה כמה הפונקציה formula_3 גדלה לאט, מתקיים formula_4. בזמן פרסום המאמר, ווילארד הציג גם מבנה נתונים יעיל יותר בשם Y-fast trie.
הקדמה.
Trie הוא מבנה נתונים פשוט הנועד לאחסון מחרוזות. ניתן לראות במספר טבעי כמחרוזת, לפי הייצוג הבינארי שלו. הרעיון יהיה לשמור את הערכים ב-Trie של ביטים.
טבלת גיבוב.
טבלת גיבוב היא מבנה נתונים המאפשר הכנסה, הוצאה וחיפוש בזמן ממוצע של formula_5, וסיבוכיות מקום ליניארית.
עבור X-fast trie אנחנו מניחים טבלת גיבוב מושלמת, כלומר, מתעלמים מה-worst case.
מבנה.
X-Fast trie הוא Trie בינארי משורשר בו העלים מחוברים ברשימה מקושרת דו כיוונית, וכל הצמתים בכל שלב מאוחסנים בטבלת גיבוב.
Trie בינארי משורשר הוא עץ בינארי המקיים
למצביעים אלה נקרא חוטים
ב-X-Fast trie נבדיל בין צמתים לעלים. כל הערכים יאוחסנו בעלים, בעוד הצמתים נועדו אך ורק לנווט בתוך העץ. לא נשמור צמתים פנימיים אם אין לאותו צומת צאצאים שהם עלים.
בכל דרגה של העץ נשמור טבלת גיבוב בה יש את כל הצמתים של אותה דרגה. על מנת שנוכל להבטיח את זמן הריצה הגרוע של השאילתות, נשתמש בגיבוב דינמי מושלם או בגיבוב קוקייה.
פעולות.
הצצה.
על מנת לבדוק האם מספר (או מפתח) x נמצא בעץ, פשוט נחפש בטבלת הגיבוב של העלים. לכן ניתן לוודא קיום של מפתח בזמן formula_5.
עוקב וקודם.
בX-fast trie ניתן למצוא עוקב לאיבר x בטווח בזמן formula_7.
נחפש את התחילית הארוכה ביותר של x שנמצאת בעץ. אם זה עלה נתקדם לערך הבא. אם זה צומת אזי קיים מצביע לאחד העלים . נעקוב אחרי המצביע הזה, ונחזיר את הערך שהגענו אליו או את זה שאחריו, תלוי בערך של x כמובן.
על מנת שנוכל למצוא את התחילית במהירות, נבצע חיפוש בינארי, כלומר נחפש בטבלת הגיבוב האמצעית את התחילית באורך חצי, אם היא לא קיימת אז נלך לדרגה h/4, ואם היא קיימת נתקדם לדרגה 3h/4. ההמשך כמו חיפוש בינארי רגיל.
הכנסה.
על מנת להכניס ערך x, צריכים
הזמן במקרה הגרוע הוא formula_8 בגלל השלבים הראשון והשלישי.
אלגוריתם להכנסה.
אלגוריתם זה תומך בזמן הכנסה משוערך של formula_9
הכנסה (קלט: x)
מחיקה.
באופן מאוד דומה להכנסה, מחיקה לוקחת זמן משוערך של formula_9
אנחנו צריכים
טריי X מהיר
משתנה היברידי
משתנה היברידי, בקריפטוגרפיה, הוא שיטת הוכחה שנועדה להוכיח ששתי התפלגויות הן דומות (בלתי ניתנות להבחנה חישובית). השיטה הוצגה לראשונה על ידי שפי גולדווסר וסילביו מיקאלי
מבוא.
לרוב, כשרוצים להוכיח שאם טענה מסוימת היא נכונה עבור קבוצת המספרים הטבעיים (או חלק ממנה) משתמשים בשיטות כמו אינדוקציה. במדעי המחשב בכלל ובקריפטוגרפיה בפרט, הוכחות באינדוקציה עשויות לא לעבוד, מכיוון שאנחנו מתייחסים גם לזמן הבניה, ולא רק לנכונותה.
דוגמה.
נניח שיש לנו יצרן פסאודו אקראי הממפה קלט מאורך n ביטים לאורך n+1 ביטים. נרצה להוכיח שקיים יצרן שממפה קלט מאורך n ביטים לאורך 2n ביטים.
בסיס האינדוקציה - קיום יצרן בטוח מ-n ל-n+1
צעד האינדוקציה - אם קיים יצרן formula_1 הממפה מ-k ל-k+1 (עבור k &gt; n) אזי קיים יצרן הממפה מ-k ל-k+2
בנייה עבור קלט formula_2 באורך n
אם נבדוק נראה שאכן זו בנייה בטוחה. אך הבעיה שונה.
בדוגמה זו קל לראות את הבעיה מיד - האינדוקציה לא מגבילה אותנו לאורך - כלומר ניתן להוציא גם אורך אקספוננציאלי. אך הבעיה עמוקה עוד יותר. בצעד ה-k+1 אנחנו מפעילים את היצרן הקודם k+2 פעמים. זאת אומרת שאף על פי שכל צעד בפני עצמו הוא נכון, מתקיים ש:
וזה סופר פולינומי.
הגדרה פורמלית.
נרצה להראות שההתפלגויות formula_8 אינן מובחנות חישובית, כלומר
כאשר formula_11 מסמל דגימה יוניפורמית מ-formula_12, ו-n הוא פרמטר הביטחון.
נגדיר משתנה היברידי formula_13 כאשר t פולינומי בפרמטר הביטחון n.
מתקיים:
ועל פי אי שוויון המשולש, הביטוי שלמעלה קטן או שווה ל-
מאחר ש-t פולינומי ב-n, ועל פי עקרון שובך היונים, אם קיים מבחין A בין formula_16 עם יתרון לא זניח אז ניתן להבחין גם בין formula_17 ל-formula_18 מסוים. מכאן נובע שאם ניתן להוכיח עבור כל זוג היברידים שכנים שהם ניתנים להבחנה בהסתברות זניחה לכל היותר, אזי נובע מיד שלילת הטענה שלמעלה, כלומר זה גורר באופן מיידי שמתקיים formula_19, כלומר ההתפלגויות ניתנות להבחנה עם יתרון זניח לכל היותר.
מזאלאי
מזאלאי (Мазаалай ), הוא הלוויין הראשון של מונגוליה בחלל. MongolSat-1 מדווח בטעות לפעמים כלוויין הראשון של מונגוליה אבל הוא היה לוויין של ABS מתוצרת בואינג ומותג בשם MongolSat-1 לאחר השיגור.
לוויין שם וסוג.
מזאלאי קרוי על שם דב גובי, שהוא מין ילידי למונגוליה ומצוי בסכנת הכחדה. הלוויין הוא מסוג קיובסאט, במשל קטן של 1 ק"ג בלבד. מזאלאי תוכנן ונבנה על ידי סטודנטים של האוניברסיטה הלאומית של מונגוליה.
כריסטופר פולפורד
כריסטופר פולפורד (באנגלית: Christopher Fulford; נולד ב-1955) הוא שחקן בריטי הידוע מהופעותיו בתפקידי משנה בתוכניות טלוויזיה בריטיות רבות. אחד מתפקידיו הראשונים היה בדמות אלכס הפנקיסט בסיטקום "Sorry, I'm A Stranger Here Myself" משנת 1981.
ביוגרפיה.
פולפורד נולד בלונדון. בתחילת הקריירה שלו הרבה להופיע בסדרות פשע בריטיות כשחקן אורח. ב-1990 שיחק בפרק "Driven to Distraction" בסדרה "המפקח מורס", וב-1994 בפרק "Widows and Orphans" בסדרה "A Touch of Frost" שתיהן של רשת ITV. ב-1994 גילם את קסטור ואן בטהובן בסרט "אהובתי הנצחית". ב-1993 כיכב פולפורד בעיבוד של ה-BBC בסדרה "Scarlet and Black" לצדם של יואן מקגרגור, שעדיין לא היה מפורסם, ורייצ'ל וייס. עוד הופיע פולפורד בסדרה "דיאל ופסקו", בתפקיד כדורגלן מושחת בסרט "The Fix", ובדמות מר האנטר בסדרת הטלוויזיה "הורנבלואר - ימאי וג'נטלמן".
ב-2002 השתתף פולפורד בסרט ההוליוודי "טיהור מוחלט" בכיכובו של סילבסטר סטאלון, ושיחק בדמות מטקאלף מנהל בית הספר הסדיסט בעיבוד הטלוויזיוני של "היה שלום מר צ'יפס". ב-2004 הופיע בסרט "מיליונים", וב-2005 שיחק בסרט "פיירפוינט", ובדרמות הטלוויזיוניות "The Last Train" והמיני-סדרה "The Last Train". עוד בטלוויזיה שיחק פולפורד בפרקים רבים בסדרות שונות בהן "המפקח מורס", "המפצח", "החשוד העיקרי", "דיאל ופסקו", "חוק מרפי" (העונה החמישית), "ספוקס", "השופט ג'ון דיד", "להעיר את המתים" והסדרה "The Brief". ב-2009 השתתף בסדרות הדרמה של ITV1 "וייטצ'אפל" ו-"Collision", בשתיהן לצדו של פיל דייוויס. פולפורד גילם את ראש הממשלה האובדני בסדרת הטלוויזיה הבריטית "The Last Enemy", ושיחק במחזה "מתים לזה" במסגרת "עונת שרה קיין" בשפילד.
חיים אישיים.
פולפורד נשוי לשחקנית קאמיל קודורי מאז 1992. לבני הזוג נולדו שני ילדים, רוזה (ילידת 1993) וסנטינו (יליד 1996).
יונתן רום
יונתן רום (נולד בשנת 1977) הוא קצין בצה"ל בדרגת אלוף-משנה. שימש מפקד עוצבת חיצי האש ומפקד יחידת אגוז.
ביוגרפיה.