הצגת המקור של משתמש:אור שחף/עבודה ב"שימושי המתמטיקה ביומיום"

== הבעיה ==
באי מסוים כל התושבים הם או אבירים, הדוברים תמיד אמת, או נוכלים, אשר תמיד משקרים. בחלק מהבעיות מוסיפים סוג נוסף – מרגלים, שעונים אמת או שקר באקראי. החידות בנוגע לאי דנות באורח באי המנסה להסיק מספר מסקנות (בדרך כלל את הסוג של כמה מהתושבים) על סמך טענות שהתושבים טענו או על סמך שאלות כן/לא שהוא יכול לשאול, ולפעמים גם על סמך כמה עובדות שידועות לו. 

* '''דוגמה 1:''' האורח נתקל בתושבים <math>A,B,C,D</math>. אין מרגלים, וידוע ש־<math>A,C</math> מסוגים שונים. <math>A</math> טוען ש־<math>B,C</math> מאותו סוג, <math>B</math> טוען ש־<math>A</math> נוכל ו־<math>C</math> טוען ש־<math>D</math> מאותו סוג כמוהו. יש למצוא את הסוג של כל תושב.
* '''דוגמה 2:''' האורח נתקל בשלושה תושבים. אחד מהם אביר, אחד נוכל ואחד מרגל. אילו 3 שאלות של כן/לא הוא יכול לשאול על מנת לגלות את הסוג של כל אחד מהם?

נרצה ליצור מודל מתמטי לפתרון בעיות מסוג זה. 

== סימונים ==
באלגברה בוליאנית מסמנים <math>\mathrm T</math> כפסוק אמת ו־<math>\mathrm F</math> כפסוק שקר. באופן דומה, אם תושב <math>A</math> הוא אביר אז נסמן <math>A=\mathrm T</math> ואם נוכל – <math>A=\mathrm F</math>. אם הוא מרגל נסמן <math>A=\mathrm S</math>. אם תושב <math>B</math> יכול להיות מרגל אז נסמן את נכונות הטענה ה־<math>i</math> במספר שלו כ־<math>b_i</math>. כלומר, אם הטענה נכונה נסמן <math>b_i=\mathrm T</math> ואחרת <math>b_i=\mathrm F</math>. מכך נובע שאם הטענה ה־<math>i</math> של <math>B</math> היא <math>P</math> אז <math>b_i\Leftrightarrow P</math>, ומסיבות שיובנו בהמשך נעדיף את הסימון השקול <math>b_i\leftrightarrow P\Leftrightarrow\mathrm T</math>. מובן שאם <math>B</math> אביר או נוכל אז <math>\forall i:\ b_i=B</math>, ולכן אם אנו כבר יודעים שתושב <math>B</math> אינו מרגל אז נסמן את טענותיו פשוט כ־<math>B</math>.

באמצעות סימונים אלו נפתור את דוגמה 1 כמערכת משוואות פשוטה. <math>A</math> טוען ש־<math>B,C</math> מאותו סוג, כלומר הוא טוען <math>B\leftrightarrow C</math>. לפיכך, מהטענות של <math>B,C</math> ומהעובדה ש־<math>A,C</math> שונים:
{{left|<math>\begin{array}{llcl}
(1)&A\leftrightarrow B\leftrightarrow C&\Leftrightarrow&\mathrm T\\
(2)&B\leftrightarrow A\leftrightarrow\mathrm F&\Leftrightarrow&\mathrm T\\
(3)&C\leftrightarrow C\leftrightarrow D&\Leftrightarrow&\mathrm T\\
(4)&A\leftrightarrow C&\Leftrightarrow&\mathrm F\end{array}</math>}}
באופן שקול:
{{left|<math>\begin{array}{llcl}
(1)&A\leftrightarrow B\leftrightarrow C&\Leftrightarrow&\mathrm T\\
(2)&A\leftrightarrow B&\Leftrightarrow&\mathrm F\\
(3)&D&\Leftrightarrow&\mathrm T\\
(4)&A\leftrightarrow C&\Leftrightarrow&\mathrm F\end{array}</math>}}
עתה נציב את (2) ב־(1) ונקבל <math>\mathrm F\leftrightarrow C\Leftrightarrow\mathrm T</math>, כלומר <math>C\Leftrightarrow\mathrm F</math>. נציב זאת ב־(4) ונקבל <math>A\Leftrightarrow\mathrm T</math>, ואם נציב את התוצאה ב־(2) נקבל <math>B\Leftrightarrow\mathrm F</math>. לסיכום, <math>A,D</math> אבירים ו־<math>B,C</math> נוכלים.

== חידות ללא מרגלים ==
=== חידות לינאריות ===
{| class="wikitable" style="float:left; clear:left; direction:ltr;"
|+ טבלה 1
|-
! <math>x</math> !! <math>y</math> !! <math>\varphi(x+y)</math> !! <math>\varphi(x)\leftrightarrow\varphi(y)</math>
|-
| 0 || 0 || T || T
|-
| 0 || 1 || F || F
|-
| 1 || 0 || F || F
|-
| 1 || 1 || T || T
|}
{| class="wikitable" style="float:left; clear:left; direction:ltr;"
|+ טבלה 2
|-
! <math>x</math> !! <math>y</math> !! <math>\varphi(x\cdot y)</math> !! <math>\varphi(x)\or\varphi(y)</math>
|-
| 0 || 0 || T || T
|-
| 0 || 1 || T || T
|-
| 1 || 0 || T || T
|-
| 1 || 1 || F || F
|}
אלו חידות שניתן לפתור כמערכת משוואות לינאריות. ניצור איזומורפיזם מהשדה <math>(\mathbb Z_2,+,\cdot)</math> ל־<math>(\{\mathrm T,\mathrm F\},\leftrightarrow,\or)</math> ע״י <math>\varphi:x\mapsto\begin{cases}\mathrm T,&x=0\\\mathrm F,&x=1\end{cases}</math>. נראה שזהו אכן איזומורפיזם:
* חח״ע ועל – טריוויאליים.
* <math>\varphi(x+y)\Leftrightarrow\varphi(x)\leftrightarrow\varphi(y)</math>: טבלה 1.
* <math>\varphi(x\cdot y)\Leftrightarrow\varphi(x)\or\varphi(y)</math>: טבלה 2.

מכך נובע ש־<math>\{\mathrm T,\mathrm F\}</math> שדה. נגדיר סכום <math>\sum_{i=1}^m P_i</math> (כאשר <math>\forall i:\ P_i\in\{\mathrm T,\mathrm F\}</math>) בתור <math>P_1\leftrightarrow\dots\leftrightarrow P_m</math> ומכפלה <math>\prod_{i=1}^m P_i</math> בתור <math>P_1\or\dots\or P_m</math>.

כעת, אם התושבים הם <math>X_1,\dots,X_n</math> אז נגדיר <math>\mathbf x:=\begin{pmatrix}X_1\\\vdots\\X_n\end{pmatrix}</math>. אם כל <math>P_i</math> מייצג נעלם <math>X_j</math> או קבוע <math>\mathrm T,\mathrm F</math> אז נוכל להציג כל שרשור <math>P_1\leftrightarrow\dots\leftrightarrow P_n\Leftrightarrow P_{n+1}</math> בתור סכום של נעלמים שונים השווה לקבוע. לדוגמה, <math>B\leftrightarrow A\leftrightarrow\mathrm F\Leftrightarrow\mathrm T</math> מפתרון דוגמה 1 שקול ל־<math>A\leftrightarrow B\Leftrightarrow\mathrm F</math>, ששקול ל־<math>\sum_{X_i\in\{A,B\}}X_i\Leftrightarrow\mathrm F</math>. ביטוי זה ניתן להציג גם כ־<math>\begin{pmatrix}\mathrm T&\mathrm T&\mathrm F&\mathrm F\end{pmatrix}\mathbf x\Leftrightarrow\mathrm F</math>, ולכן נוכל להגדיר מטריצת מקדמים <math>\mathbf A</math> ווקטור מקדמים חופשיים <math>\mathbf b</math> כך ש־<math>\mathbf{Ax}\Leftrightarrow\mathbf b</math>. למשל, את דוגמה 1 ניתן להציג באופן הבא:
{{left|<math>\begin{pmatrix}\mathrm T&\mathrm T&\mathrm T&\mathrm F\\\mathrm T&\mathrm T&\mathrm F&\mathrm F\\\mathrm F&\mathrm F&\mathrm F&\mathrm T\\\mathrm T&\mathrm F&\mathrm T&\mathrm F\end{pmatrix}\begin{pmatrix}A\\B\\C\\D\end{pmatrix}\Leftrightarrow\begin{pmatrix}\mathrm T\\\mathrm F\\\mathrm T\\\mathrm F\end{pmatrix}</math>}}

הצגה זו מאפשרת לנו למצוא מה הסוג של כל תושב ע״י פתרון מערכת משוואות לינאריות. יתרה מזאת, לפי משפט רושה–קפלי (Rouché–Capelli) יש פתרון ל־<math>\mathbf{Ax}=\mathbf b</math> אם״ם <math>\mathbf b\in\operatorname{span}\left\{\operatorname{Col}_i(\mathbf A)\right\}_{i=1}^n</math> כאשר <math>\operatorname{Col}_i(\mathbf A)</math> העמודה ה־<math>i</math> של <math>\mathbf A</math>, ואם כן אז מרחב הפתרונות הוא ממימד <math>n-\operatorname{rank}(\mathbf A)</math>. מכאן נובע שאנו יכולים לבדוק האם קיים פתרון לחידה, ואם כן אז כמה פתרונות יש. מובן שבד״כ יש רק פתרון אחד לחידות הללו, כלומר <math>\mathbf A</math> הפיכה.

== ראו גם ==
* [http://en.wikipedia.org/wiki/Knights_and_Knaves Knights and Knaves] בוויקיפדיה האנגלית.
* [http://en.wikipedia.org/wiki/The_Hardest_Logic_Puzzle_Ever The Hardest Logic Puzzle Ever] בוויקיפדיה האנגלית.