stanford-oval/wikipedia huggingface dataset:
בג"ץ התנועה למען איכות השלטון בישראל נגד יושב ראש הכנסת
בעקבות פסיקת בג"ץ

ב-25 במרץ תקף אדלשטיין בחריפות את התערבות בית המשפט בענייניה הפנימיים של הכנסת ואמר כי פסק הדין איננו מבוסס על החוק אלא על ”פרשנות חד-צדדית וקיצונית שלו”. הוא הודיע כי הוא מתפטר מתפקיד יושב ראש הכנסת, כדי להימנע מהגעה למצב של אנרכיה. מיד לאחר הודעתו נעל אדלשטיין את ישיבת המליאה ללא דיון במינוי יושב ראש חדש. כיוון שההתפטרות נכנסת לתוקף לאחר 48 שעות, נוצר מצב תקדימי בו לא היה יו"ר או סגן יו"ר שיכול היה למלא את מקומו, ולנהל ישיבה לבחור יושב ראש כנסת חדש.
היועץ המשפטי לכנסת, איל ינון, הודיע לאדלשטיין שאין בהתפטרותו בעת הזו כדי להשליך על החובה לקיים את צו בית המשפט, אך אדלשטיין ענה שאין בכוונתו להעלות את נושא בחירת יו"ר קבוע לכנסת ה-23 על סדר יומה של מליאת הכנסת. גם היועץ המשפטי לממשלה, אביחי מנדלבליט, סבר בתגובתו לבג"ץ שהודעתו של אדלשטיין על התפטרותו מתפקידו איננה מאפשרת את הימנעותו מקיום פסק הדין, וכי עליו לקיימו.
בעקבות התפטרותו של אדלשטיין, אישרה הוועדה המסדרת, את מינויו של ותיק חברי הכנסת, עמיר פרץ, ליו"ר הכנסת הזמני מיום 27 במרץ בשעה 11:00 (מועד סיום כהונתו המתוכנן של אדלשטיין) ועד ההצבעה על יו"ר חדש, אלא אם בג"ץ יורה להקדים את בחירת היו"ר החדש.
בעקבות הימנעותו של אדלשטיין מקיום הצו של בג"ץ עתרה עמותת "חוזה חדש" לבג"ץ בדרישה לאכוף על אדלשטיין לקיים את פסק הדין ככתבו וכלשונו. במענה לעתירה שב אדלשטיין ומתח ביקורת על פסק הדין של בג"ץ, והוסיף: ”אני מצר על כך שבית המשפט החליט את אשר החליט ובחר באופן תקדימי להתערב בעבודתה של הכנסת ובשיקול דעתי, אך צו מצפוני לא מאפשר לי לקיים את פסק דינו. בשל כך הודעתי על התפטרותי”.
בעקבות האירועים אמר נשיא המדינה, ראובן ריבלין, כי ”רובה ככולה של ההנהגה הישראלית, מימין ומשמאל, יודעת שחובה על כולנו לציית לצווי בית המשפט, וכי לא יעלה על דעתו של איש שלא לקיימם. וזאת גם אם סבור מאן דהוא כי שגה בית המשפט בהחלטתו.” ריבלין הביע את ביטחונו כי ”עתה, משהתפטר יושב ראש הכנסת, אני בטוח שהוראת בג"ץ תכובד ושהדמוקרטיה הישראלית תצא מחוזקת ואיתנה מתקופת מבחן זאת.”
גם מחוץ למערכת הפוליטית התקיים דיון ער האם יו"ר הכנסת פגע בערך שלטון החוק ובכפיפות למערכת המשפט בכך שנמנע מלקיים את פסק הדין, או שבג"ץ פגע בעיקרון הדמוקרטי של הפרדת הרשויות בכך שהתערב בענייניה הפנימיים של הכנסת.
פסק הדין הנוסף

בג"ץ קיבל פסק דין נוסף ב-25 במרץ בערב, שבו נקבע כי על אף שהתפטרותו של אדלשטיין טרם נכנסה לתוקף, תוקנה לעמיר פרץ, ותיק חברי הכנסת, סמכות תחומה ומוגדרת מתוך סמכויות יושב ראש הכנסת, כדי שיוכל לקיים את פסק הדין הראשון שהורה על כינוס המליאה לדיון על בחירת יושב ראש חדש: לפנות לוועדה המסדרת (בתפקידה כוועדת הכנסת, לפי סעיף 19 לתקנון הכנסת) על-מנת לכנס את מליאת הכנסת למחרת, אף שיום זה איננו נמנה עם הימים שבהם היא מתכנסת על פי התקנון; לקבוע את סדר היום של אותה ישיבה לפי סעיף 25 לתקנון הכנסת ולכלול בו את ההצעה לבחירת יו"ר קבוע לכנסת; ולנהל את אותה הישיבה. כל הצדדים שנכחו בדיון נתנו את הסכמתם להחלטה זו. יולי אדלשטיין ובא כוחה של סיעת הליכוד לא נכחו בדיון. בסיום פסק-הדין הודגש כי הצו שניתן יעמוד בתוקפו גם אם אדלשטיין יחזור בו מהתפטרותו.
לאחר אישור הוועדה המסדרת, נתכנסה המליאה ב-26 במרץ, בישיבה זו נבחר בני גנץ ליושב ראש הכנסת ה-23.
ראו גם

ביקורת שיפוטית על התנהלות הכנסת
הערות שוליים

1 2 3 4 5  בג"ץ 2144/20 התנועה למען איכות השלטון בישראל ואחרים נ' יושב ראש הכנסת ואחרים, ניתן ב־23 במרץ 2020
1 2  בג"ץ 2144/20 התנועה למען איכות השלטון בישראל ואחרים נ' יושב ראש הכנסת ואחרים, ניתן ב־25 במרץ 2020
↑   ביני אשכנזי, פסק הדין ההיסטורי של בג"ץ מצטרף לפעמים הספורות שבהן התערב בעבודת הכנסת, באתר TheMarker‏, 24 במרץ 2020
↑  אריק בנדר, אנה רייבה ברסקי, ‏כחול לבן: דורשים לקיים הצבעה על בחירת יו"ר כנסת חדש; הליכוד: "אפס במנהיגות", באתר מעריב אונליין, 13 במרץ 2020
↑  תקנון הכנסת, באתר הכנסת
↑  ציוץ בטוויטר של יולי אדלשטיין, 15 במרץ 2020
↑  בג"ץ 2144/20 התנועה למען איכות השלטון בישראל נ' יושב ראש הכנסת, ניתן ב־23 במרץ 2020
↑  הודעה של יריב לוין, מובאת בציוץ של מיכאל שמש בטוויטר, 23 במרץ 2020
↑  ציוץ בטוויטר של אמיר אוחנה, 23 במרץ 2020
↑  ציוץ בטוויטר של גלעד ארדן, 23 במרץ 2020
↑  "קיווינו שבגצ לא יתערב בפעילות הכנסת", קול ברמה, 23 במרץ 2020
↑  חזקי ברוך, אדלשטיין לבג"ץ: "לא אסכים לאולטימטום", 23.03.2020
↑  מורן אזולאי, אדלשטיין התפטר מתפקיד היו"ר: "בג"ץ מחריב את הכנסת", באתר ynet, 25 במרץ 2020
↑  הודעתו של איל ינון לבג"ץ, 25 במרץ 2020
↑  תגובה מטעם היועץ המשפטי לממשלה, 25 במרץ 2020
↑  מורן אזולאי ויעל פרידסון, אחרי התפטרות אדלשטיין: יועמ"ש הכנסת מבקש לכנס את המליאה, באתר ynet, 25 במרץ 2020
↑  בקשה מטעם העותרת בהתאם לפקודת ביזיון בית משפט, 25 במרץ 2020
↑  אנה ברסקי, אריק בנדר, מתן וסרמן, ‏אדלשטיין מנמק את החלטתו: "צו מצפוני לא מאפשר לי לקיים את פסק דינו של בג"ץ", באתר מעריב אונליין, 25 במרץ 2020
↑  יקי אדמקר ודניאל דולב‏, ריבלין נגד אדלשטיין: "חובה על כולנו לציית לצווי בית המשפט", באתר וואלה, 25 במרץ 2020
↑  מליאת הכנסת מתכנסת רק בימי ב', ג' וד'. על פי סעיף 19(ב) לתקנון הכנסת, ניתן לבקש כינוס ביום אחר באישור ועדת הכנסת
↑  מתן וסרמן, ‏תיעוד הדיון נגד אדלשטיין דלף: שופטי בג"ץ התירו את פרסומו, באתר מעריב אונליין, 19 באפריל 2020
בעיית התיחום

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

תאוריה
השערה (מדע)
עבודת גבול
תורה ומדע
תורת ההכרה
ערך זה הוא קצרמרבנושא מדעים ובנושא פילוסופיה. אתם מוזמנים לתרום לוויקיפדיה ו.
בילי הבובה (המסור)

| --- | --- |

בילי הבובה
 סוג:  דמות בדיונית
 הופעה ראשונה:  המסור (סרט קצר)
 הופעה אחרונה:  המסור  X
 יוצרים:  ג'יימס ואן  לי ונל
 גילום הדמות:  טובין בל 
 דיבוב:  טובין בל
 מידע
 כינויים:  ג'יגסו  ג'יגסו הבובה
 גזע:  בובה
 מין:  זכר
 כלי רכב:  תלת אופן
 
בילי (באנגלית: Billy the Puppet או Billy Jigsaw) הוא בובה המופיעה בסדרת סרטי המסור. הבובה שימשה את ג'ון קרמר "ג'יגסו", לתקשר עם הקורבנות על ידי מסירת הודעות מוקלטות, המופיעות לעיתים קרובות על מסך טלוויזיה, ולעיתים באופן אישי, כדי לתאר את פרטי המלכודות, חוקי המשחק והאמצעים שבהם יכלו הקורבנות לשרוד.
ג'ון, לפני שהפך לרוצח, יצר בובת צעצוע הדומה לבילי, עבור בנו שטרם נולד. ג'יל טאק, אשתו של ג'ון, נפגעת בבטנה על ידי בחור בשם, ססיל, ומפילה. הכעס הבלתי פתור של ג'ון היה כנראה המניע העיקרי לשימוש בגרסה מרושעת יותר של הבובה כדי להעביר את הוראותיו לקורבנות. ניתן לראות במלכודות שיצר ביטוי לכעס שלו על אנשים שלדעתו אינם מעריכים את חייהם, כאשר תינוקו שטרם נולד נהרג לפני שזכה לחיים משלו.
למרות שמעולם לא זוהה בסרטים, "בילי" הוא השם שבו מתייחסים אליו תסריטאים, במאים וחברי צוות השחקנים והצוות בסרטים דוקומנטריים ובראיונות. השם ניתן לו על ידי היוצר האוסטרלי ג'יימס ואן, הבמאי והמפיק של סרטי המסור.
הפופולריות ארוכת השנים של סדרת הסרטים הביאה למרצ'נדייזינג של בילי.
בניית הבובה

לדברי וואן, בניית הפנים של הבובה המקורית עבור הסרט כללה חימר, עיסת נייר וכדורי פינג פונג שחורים עם קשתיות מצוירות לעיניים. נעשה שימוש פנימי בגלילי מגבת נייר. כדי לגרום לו לזוז, הבובנאים משכו אותו על חוט.
עבור הסרט המסור 2, בילי עוצב מחדש עם תכונות מכניות שניתן להפעלה על בשלט רחוק.
עבור הסרט המסור 3, צוות האביזרים קיבל את הבובה המקורית, אך מצא אותה לא מתאימה לעבודה, מכיוון שהיותה פגומה. במקום זאת, הם יצרו מחדש את בילי, תוך שימוש בקצף בחיתוך סילון מים לגופו במקום בפיברגלס, מצויד בצלחות שיחזיקו את הבובה יחד ובמגנטים שיחברו אותו לתלת אופן שלו. חלקו האחורי של ראשו היה ניתן להסרה, כדי להקל על החלקה של החלקים האנימטרונים.
עבור הסרט המסור 4, צוות האביזרים יצר את הגוף מקצף בחיתוך סילון מים, מוחזק יחד על ידי מוטות מתכת. הם השתמשו במגנטים חזקים כדי ליצור משטח אחורי שטוח לבובה, כך שניתן היה למקם אותה בקלות על כל משטח מתכת. הפה ועיני כדור הפינג-פונג המלאות בשרף הועברו בשלט רחוק.
הופעות בזיכיון > המסור (2004)

בסרט, בילי מתגלה לראשונה בטלוויזיה לעיניה של אמנדה יאנג, ומסביר לה מה עליה לעשות "במשחק". לאמנדה מחובר מלכודת (מלכודת הדובים ההפוכה) דרך הלסת שלה, ובילי רומז לה שהמפתח להסרת המלכודת נמצא בבטנו של שותפה המורדם. לאחר שאמנדה הרגה את שותפה ומצאה את המפתח היא משתחררת לחופשי. בילי נכנס לחדר על תלת אופן כדי לברך אותה על הישרדותה. מאוחר יותר, אדם סטנהייט, נזכר בכך שראה את הבובה בדירתו, אשר מחפש בחדר חשוך באמצעות הפלאש של המצלמה שלו, צחוקו של בילי הושמע, ואדם מכה בה במחבט.
הופעות בזיכיון > המסור 2

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

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

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

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

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

בילי מופיע ב- מסור 7, הוא נותן לבראד וריאן הנחיות למלכודת שלהם באופן אישי., עושה את אותו הדבר עבור המשחק השני של בובי דגן, ומופיע בקלטת וידאו עבור הקורבנות האחרים. כאשר מארק הופמן הולך למחבוא שלו לאחר שהרג את ג'יל טאק עם מלכודת הדובים ההפוכה, ניתן לראות את בילי. הופעתו הסופית של בילי נמצאת במחבואו הסודי של הופמן בסוף הסרט הופמן מפוצץ את המקום.
הופעות בזיכיון > המסור 8

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

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

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

↑  Saw: Uncut special features
↑  Saw DVD special features
↑  Saw 2: Diary #2
1 2  Jason Ehl (props builder) (2007). The Details of Death: The Props of Saw III (DVD). Lionsgate Home Entertainment. Event occurs at 0:32–1:41.
1 2  "Tobin Bell Previews Saw V Surprises"
בעיית יצרן-צרכן

במדעי המחשב, בעיית יצרן צרכן (באנגלית: Producer/Consumer problem) היא דוגמה קלאסית לתיאור בעיית סינכרון בין שני תהליכים או יותר הנגרמת במערכות המאפשרות ריבוי משימות.
הבעיה נגרמת כאשר שני תהליכים או יותר חולקים חוצץ המוגבל בגודלו. חלק מהתהליכים אחראים להכניס מידע לחוצץ (יצרנים) וחלק אחראים לשלוף ממנו מידע (צרכנים).
פתרון הבעיה דורש מנגנון שימנע משני תהליכים לעדכן בו-זמנית את אותה רשומה, בעזרת שימוש בסנכרון בין התהליכים.
פתרון לא מספק יגרום בחלק מהמקרים למצב של קיפאון, כאשר שני התהליכים "ישנים" וממתינים ש"יעירו" אותם.
פתרון אפשרי לבעיה מתבצע באמצעות סמפורים או מוניטורים. כאשר יש יותר מיצרן אחד וצרכן אחד, יש להשתמש גם במנעול.
ראו גם

סמפור (מדעי המחשב)
בעיית הפילוסופים הסועדים
בעיית שני הצבאות
| תחומים במדעי המחשב |
| --- | --- | --- |
| יסודות מתמטים | לוגיקה מתמטית • תורת הקבוצות • תורת המספרים • תורת הגרפים  • תורת הטיפוסים •  תורת הקטגוריות  • אנליזה נומרית • תורת האינפורמציה |  |
| תורת החישוביות | תורת האוטומטים • תורת הרקורסיה • תורת הסיבוכיות • מחשוב קוונטי |  |
| אלגוריתמים ומבנה נתונים | אנליזה של אלגוריתמים • גאומטריה חישובית |  |
| שפות תכנות ומהדרים | מפרש • פרדיגמת תכנות (תכנות פרוצדורלי • תכנות מונחה עצמים • תכנות פונקציונלי • תכנות לוגי) |  |
| חישוב מבוזר ועיבוד מקבילי | עיבוד מקבילי • מחשוב סריגי • בקרת מקביליות |  |
| הנדסת תוכנה | ניתוח מערכות מידע • עיצוב תוכנה • תכנות מחשבים • שיטות פורמליות • בדיקות תוכנה • מתודולוגיית פיתוח תוכנה |  |
| תקשורת | ניתוב • טופולוגיית רשת • קריפטוגרפיה |  |
| מסד נתונים | מסד נתונים יחסי • SQL • תנועה • אינדקסים • כריית מידע • CAP theorem |  |
| בינה מלאכותית | חשיבה אוטומטית • בלשנות חישובית • ראייה ממוחשבת • עיבוד שפה טבעית • בינה חישובית • מערכת מומחה • למידה חישובית • רובוטיקה |  |
| גרפיקה | הדמיה ממוחשבת • הנפשה ממוחשבת • עיבוד תמונה |  |
| שפות פורמליות | שפה רגולרית • שפה חסרת הקשר • שפה תלוית הקשר • ההיררכיה של חומסקי |  |
| שימושים במדע | ביואינפורמטיקה • מדעים קוגניטיביים • כימיה חישובית • פיזיקה חישובית • אנליזה נומרית |  |
ערך זה הוא קצרמרבנושא מדעי המחשב. אתם מוזמנים לתרום לוויקיפדיה ו.
בעיית השלשות הפיתגוריות הבוליאנית

בעיית השלשות הפיתגוריות הבוליאנית היא בעיה מתמטית במסגרת תורת רמזי, העוסקת בצביעה של המספרים הטבעיים תחת אילוצים. לבעיה נמצאה במאי 2016 הוכחה בעזרת מחשב, שהתפרסמה בעיתונות הפופולרית כהוכחה "הארוכה ביותר בעולם".
הבעיה שואלת האם יש צביעה בוליאנית (בשני צבעים, למשל אדום וכחול) של המספרים הטבעיים, כך שלא תימצא אף שלשה פיתגורית שכל שלושת המספרים המרכיבים אותה יהיו באותו צבע. שלשה פיתגורית היא שלשה של מספרים טבעיים  a,b,c המקיימת את השוויון  a^{2}+b^{2}=c^{2}, כמו למשל 3,4,5 או 5,12,13. השאלה היא, אם כך, האם אפשר לצבוע את כל המספרים הטבעיים כך שאחד מבין המספרים 3,4,5  אדום ואחד כחול; אחד מבין המספרים 5,12,13 אדום ואחד כחול; וכן הלאה. מכיוון שיש אינסוף שלשות פיתגוריות, המשימה היא לבחור צבעים לאינסוף מספרים, באופן שיעמוד באינסוף אילוצים.
התברר שהצביעה הנדרשת אינה אפשרית. הפותרים - מרין היולה (Marijn J. H. Heule), אוליבר קולמן (Oliver Kullmann) וויקטור מארק (Victor W. Marek) -  הראו כי אפשר לצבוע את המספרים מ-1 עד 7,824, כך שאף אחת מ-19,233 השלשות הפיתגוריות הנמצאות בטווח הזה אינה נצבעת באותו צבע; עם זאת, אי אפשר לצבוע את המספרים מ-1 עד 7,825 בלי ליצור שלשה פיתגורית באותו צבע. כדי להוכיח זאת השאלה נוסחה כבעיית SAT-3 ב-7,825 משתנים, עם אילוץ עבור כל שלשה פיתגורית. מספר הצביעות (או ההשמות) במקרה זה הוא  \ 2^{7,825}, גודל שאינו מאפשר חיפוש בכוח גס. לאחר צמצום מספר המשתנים ל-3745, הופעלה שיטה לפתרון בעיות ספיקות שידועה כ"שלש ומשול" (Cube and Conquer) שהודגמה כבר כיעילה בעבר ומאפשרת מקביליות. הפותרים הריצו את המערכת על מחשב-על של אוניברסיטת טקסס באוסטין, שעבד על כך במשך יומיים. לבעיות ספיקות שהתשובה עליהן היא שלילית אין בדרך כלל הוכחה קצרה לחוסר הספיקות (הבעיה היא שלמה ל-co-NP). במקרה זה ההוכחה שנוצרה גודלה היה 200 טרה-בית של נתונים, שאותם הצליחו החוקרים לדחוס ל-68 גיגה-בית.
הפותרים  פרסמו מאמר המתאר את ההוכחה ב-arXiv ב-3 במאי 2016, והציגו אותה בכנס SAT 2016 שהתקיים ביולי 2016 בבורדו שבצרפת; המאמר קיבל את פרס המאמר המצטיין בכנס. המתמטיקאי רונלד גרהאם, שהבטיח בשנות ה-80 של המאה ה-20 פרס של 100 דולר למי שיפתור את הבעיה, העניק אותו לאחד משלושת השותפים.
מחברי המאמר שיערו באופן יותר כללי, שלא ניתן לצבוע את המספרים הטבעיים במספר סופי של צבעים באופן שאף שלשה פיתגורית לא תהיה צבועה באותו צבע.
הערות שוליים

↑  Everything's Bigger in Texas
↑  SAT 2016 - אתר הכנס
בלוגראדצ'יק

ערך זה עוסק בעיר בבולגריה. אם התכוונתם למצודה במחוז וידין בבולגריה, ראו .
| --- | --- |
סמל בלוגראדצ'יקסמל בלוגראדצ'יק
מראה העיר
מראה העיר
 מדינה:  בולגריה בולגריה
 מחוז:  וידין
 חבל ארץ:  מורדות הרי הבלקן
 ראש העיר:  אמיל יבגנייב צאנקוב
 תאריך ייסוד:  המאה ה-14
 שטח:  22.234 קמ"ר
 גובה:  522 מטרים
 אוכלוסייה:  ‏
  ‑ בעיר:  5,440 (15 במרץ 2024)
 קואורדינטות:  43°37′N 22°41′E﻿ / ﻿43.617°N 22.683°E﻿ / 43.617; 22.683
 אזור זמן:  UTC +2
 http://www.belogradchik.org
  מפת מיקום  מפה מפורטת   (למפת בולגריה מוגדלת) סופיה פלובדיב וארנה בורגס רוסה פלבן סטארה זאגורה טורקיה יוון מקדונ. הצפו.  סרביה רומניה הים השחור בלוגראדצ'יק(למפת בולגריה רגילה) סופיה פלובדיב וארנה בורגס רוסה פלבן סטארה זאגורה טורקיה יוון מקדונ. הצפו.  סרביה רומניה הים השחור בלוגראדצ'יק(למפת מחוז וידין רגילה) וידין קולה ברגובו גרמאדה דימובו רומניה מונטנה סרביהבלוגראדצ'יק(למפת מחוז וידין מוגדלת) וידין קולה ברגובו גרמאדה דימובו רומניה מונטנה סרביהבלוגראדצ'יק  he tabBackground:;tabBorder:#aaa;defaultTab:0;
בלוגראדצ'יק (בבולגרית: Белоградчик) היא עיר בצפון מערב בולגריה, השנייה בגודלה מבחינת כמות האוכלוסין במחוז וידין ושוכנת כ-117 ק"מ מהבירה סופיה, 52 ק"מ מבירת המחוז וידין וסמוכה לגבול סרביה. משמעות השם בלוגראדצ'יק היא עיר לבנה קטנה.
היסטוריה

ראשית התיישבות אנושית פזורה באזור מתוארכת לתקופת האבן החדשה והתיישבות מאורגנת מתוארכת למאה ה-5 לפנה"ס, עידן הממלכה התראקית. במהלך המאה ה-1 לפנה"ס נכבש המקום על ידי צבא הרפובליקה הרומית. במקום נמצאו שרידי בית מרחץ רומי מתקופת אספסיאנוס ומצודה שהוקמה בתקופת ולריאנוס ועמדה במתקפות ההונים. בהמשך עבר האזור לשליטת האימפריה הביזנטית. היישוב המודרני נוסד בתקופת האימפריה הבולגרית השנייה והגיע לשיא פריחתו בתקופת איוון סרצימיר, קיסר בולגריה, כאשר היה חלק ממערך המבצרים של צארות וידין.
ב-1396 נכבש היישוב על ידי צבאו של באיזיט הראשון סולטאן האימפריה העות'מאנית. במהלך תקופת בין המלכים של האימפריה נשלט היישוב בידי דספוטט סרביה ובהמשך ולאכיה. האזור נכבש מחדש על ידי מהמט הראשון ובעת הזו מוזכר שמו המודרני של היישוב בתעודות עות'מאניות. ב-1771 נבנה במקום מסגד "חאג' חוסיין". היישוב הפך לזירת קרבות בין האימפריה העות'מאנית לאימפריה האוסטרית וידע מרידות רבות של תושביו כנגד העות'מאנים בשלהי המאה ה-18 ובמהלך המאה ה-19. האזור נודע בהיידוקים שבו אשר תקפו ללא הרף את משמרות הצבא העות'מאני. בין 1794 ל-1807 נשלט היישוב בידי הוואלי המורד אוסמאן פאזוואנטואולו ובתקופתו ידע תנופת בנייה ופיתוח.
ב-28 בפברואר 1878 נכבשה העיר על ידי צבא האימפריה הרוסית במהלך המלחמה העות'מאנית-רוסית (1877–1878) ובהמשך הפכה חלק מהנסיכות הבולגרית. ב-1894 נבנו במקום ספרייה ותיאטרון, ב-1901 בית ספר תיכון וב-1912 בית חולים קטן.
כלכלה

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

בעיר שורר אקלים ממוזג עם השפעות מקצינות מכיוון הרי הבלקן, הגורמות להפרשי טמפרטורה משמעותיים בין הקיץ לחורף. הטמפרטורה השנתית הממוצעת היא 15oc וערכי הקיצון נעים מ-1oc בינואר ועד 29oc באוגוסט. כמות המשקעים החודשית הממוצעת נעה בין 96 מילימטרים בינואר ועד 297 מילימטרים ביוני.
ערים תאומות

סרביה קנאיז'באץ, סרביה
אוקראינה דובנו, אוקראינה
ראו גם

קרחון בלוגראדצ'יק בארץ גרהאם שבאנטארקטיקה נקרא על שמה של העיר בלוגראדצ'יק.
הערות שוליים

↑  בלוגראדצ'יק-סקירה היסטורית, באתר belogradchik.org (בבולגרית).
↑  בלוגראדצ'יק-סקירה כלכלית, באתר belogradchik.hit.bg (באנגלית).
↑  האקלים בבלוגראדצ'יק, באתר www.world66.com (באנגלית).
↑  קרחון וסלייה באתר הגאזט האנטארקטי המשווה SCAR של ממשלת אוסטרליה
| --- | --- |
בקרת זהויות :  NLI: 987007550227905171  LCCN: n79099496  NKC: ge1139933  VIAF: 127831525   WorldCat (עם VIAF): 127831525
בג"ץ המרכז האקדמי למשפט ולעסקים נגד שר האוצר

| --- | --- |

 מידע החלטה
 ערכאה:  בית המשפט העליון
 תאריך החלטה:  19 בנובמבר 2009
 החלטה
 בית המשפט העליון ביטל תיקון בפקודת בתי הסוהר שאפשר הקמה של בית סוהר פרטי
 חברי המותב
 חברי המותב:  דורית ביניש, אליעזר ריבלין, איילה פרוקצ'יה, אדמונד לוי, אשר גרוניס, מרים נאור, עדנה ארבל, סלים ג'ובראן, אסתר חיות
 דעות בפסק הדין
 דעת רוב:  דעת הרוב: העברת סמכויות פוגעניות הכרוכות בהפעלת בית סוהר, לזכיין פרטי הפועל למטרות רווח, מהווה פגיעה בלתי מידתית בכבודם ובחירותם של האסירים, ועל כן החוק שהסדיר את הנושא בטל.
 דעות נוספות:  אדמונד לוי (בדעת מיעוט): אין לבטל את החוק. יש לאפשר את הפעלת בית הסוהר, ולבחון האם קיימת פגיעה בפועל בזכויותיהם של האסירים.
 
בג"ץ 2605/05 המרכז האקדמי למשפט ולעסקים ואח' נ' שר האוצר ואח' (מכונה בקיצור בג"ץ הפרטת בתי הסוהר) הוא פסק דין של בית המשפט העליון (בשבתו כבית המשפט הגבוה לצדק) שבו נפסל תיקון מס' 28 לפקודת בתי הסוהר, שאפשר הקמה של בית סוהר בניהול פרטי. נשיאת בית המשפט העליון, דורית ביניש, קבעה בפסק דינה, ואליה הצטרפו שבעה שופטים נוספים, כי בעצם העברת סמכויות פוגעניות הכרוכות בהפעלת בית סוהר לזכיין פרטי הפועל למטרות רווח, יש פגיעה בלתי מידתית בכבודם ובחירותם של האסירים. בדעת המיעוט, סבר השופט אדמונד לוי כי מוטב היה להתחיל בהפעלת בית הסוהר, ולבחון האם בהפעלתו נגרמת פגיעה באסירים.
פסק הדין ניתן ב-19 בנובמבר 2009. פסק דין זה הוא השישי בעידן המהפכה החוקתית שבו פסל בית המשפט העליון חוק שחוקקה הכנסת. ככל הנראה, מדובר בפסק הדין הראשון בעולם שבו אסר בית משפט על הפעלת בית סוהר בידי גורם פרטי.
הרקע לעתירה

במרץ 2004 אישרה הכנסת את תיקון מס' 28 לפקודת בתי הסוהר, שאפשר את הקמתו של בית סוהר פרטי. החוק נחקק ביוזמת משרד האוצר והמשרד לביטחון הפנים, במטרה להתמודד עם המצוקה במקומות הכליאה בבתי הסוהר בישראל.
לפי החוק הוסמך שירות בתי הסוהר, באישור השר לביטחון הפנים, להתקשר עם זכיין פרטי לשם הקמה, ניהול והפעלה של בית סוהר. כיוון שדובר על ניסיון ראשון, נקבע בחוק כי יוקם בית סוהר אחד בלבד במתכונת זו (בסמוך לבאר שבע), ובו תפוסה של 800 אסירים. כמו כן נקבעה אוכלוסיית היעד של בית הסוהר:
אסירים שתקופת מאסרם אינה עולה על שנה, ושלא נקבע לגביהם – על פי פקודות שירות בתי הסוהר – כי אין להוציאם לחופשה.
אסירים שתקופת מאסרם (או יתרת תקופת מאסרם) אינה עולה על שלוש שנים ושניתן להוציאם לחופשה לפי פקודות שירות בתי הסוהר.
עם זאת, נקבע כי במקרה שהתפוסה בבית הסוהר לא תהיה מלאה, ניתן יהיה לשכן בבית הסוהר גם אסירים שתקופת מאסרם אינה עולה על שבע שנים, אם ריצו לפחות רבע מתקופת מאסרם.
כחלק מאמצעי הפיקוח על הזכיין, נקבע כי תוקם ועדה מייעצת לנציב בתי הסוהר, שתייעץ בכל הנוגע לזכויות האסירים בבית הסוהר הפרטי, לרבות שיקומם, רווחתם ובריאותם. חברי הוועדה יהיו שופט בית משפט מחוזי בדימוס, נציג הסניגוריה הציבורית, נציג לשכת עורכי הדין, נציג המועצה לקרימינולוגיה, עובד סוציאלי ונציג הרשות לשיקום האסיר.
בנובמבר 2005 זכתה חברת "א.ל.א. ניהול והחזקה", בבעלותן של "אפריקה ישראל" ו"מנרב", במכרז להקמתו ולהפעלתו של בית הסוהר למשך 25 שנים. עלות ההסכם בין המדינה לבין החברה נאמדה ב-1.4 מיליארד דולר, מתוכם הוקצו 250 מיליון דולר להקמת בית הסוהר.
עוד קודם לכן, במרץ 2005, הגישו חטיבת זכויות האדם של המרכז האקדמי למשפט ולעסקים ברמת גן וגונדר (בדימוס) שלמה טוויזר עתירה לבית המשפט העליון, בבקשה להורות על ביטולו של תיקון מס' 28. מאוחר יותר הצטרף לעתירה האסיר המשוחרר ידין מכנס. המשיבים היו שר האוצר, השר לביטחון הפנים וחברת "א.ל.א. ניהול והפעלה". מאוחר יותר הגישה גם הכנסת תשובה לעתירה מטעמה.