|
||||
|
||||
בגדול, אני חושב שהתשובה היא "לא". קח את האלגוריתם האוקלידי, למשל. לא ברור לי איך אפשר להפוך אותו למשוואה. כשהאלגוריתם עוסק במבני נתונים יותר מורכבים, עוד פחות ברור איך משוואה צריכה להיראות או מה היא צריכה לייצג. את מיון מהיר תייצג באמצעות איזו משוואה? יש גם אלגוריתמים שאני פחות בטוח בקשר אליהם, נניח הקירוב של ניוטון: שם יש לך משוואה רקורסיבית, אז כן יש משוואה כלשהי, ומצד שני אין דרך לפתור את הכל בבת אחת, זה חייב להיות תהליך בשלבים. בסך הכל אלגוריתם הוא *שיטה*, וככזה יש לו הרבה יותר כוח מאשר משוואה אחת. כל האלגוריתמים שהצגתי כאן הם פשוטים מאוד. גם אם האלגוריתם שלך נותן תוצאה מספרית פשוטה, החישוב שלה עשוי להיות מאוד מסובך, ומשוואה לא תיתן את המידע הדרוש עבורו - לא לכל נוסחאות הנסיגה יש פתרון כללי, אז לכל אלגוריתם? |
|
||||
|
||||
גם אני לא מומחה. לכן שאלתי מה ההגדרה ל"משוואה מתימטית" - האם למשל קבוצה של משוואות מתימטיות המגדירות יחדיו בעיה מסויימת זה "משוואה מתימטית"? (כלומר, האם מותר לנו להשתמש בכמתים לוגיים?) בהתייחס לדוגמאות שנתת: לגבי הדוגמא הראשונה, ניתן להציג את הבעיה כך: b בצעד ה i+1 שווה ל-a בצעד ה-i מודולו b בצעד ה-i a בצעד ה- i+1 שווה ל- b בצעד ה-i האם זהו תיאור נכון של הבעיה, ואם כן האם זהו תיאור משוואתי, אלגוריתמי או שניהם? לגבי הדוגמה השניה, עד כמה שאני יודע כאן כבר מדובר באלגוריתם רנדומי, משהו שעוד לא דנו בו כאן עדיין. ספציפית לגבי אלגוריתם זה הוא אמנם מסוג לאס-וגאס, כלומר נותן בסוף פתרון נכון לבעיה, אבל יש גם אלגוריתמים מסוג מונטה-קארלו שלא מחוייבים כלל להגיע לפתרון - לכן נדמה לי שכאן הסיפור כבר יותר מורכב, ואני כלל לא בטוח אם השאלה שלי לגבי הקשר בין משוואות לאלגוריתמים תקפה כאן ללא מגבלות נוספות. |
|
||||
|
||||
התרגום שלך בסדר, אבל הוא עשוי להסתבך אם האלגוריתם יכיל, למשל, פיצולים (if statements). בכל אופן אני לא בטוח שיש משמעות אמיתית לשאלה האם זהו תאור משוואתי או אלגוריתמי. אינני סבור שיש הגדרה מדוייקת של "מהי מערכת משוואות" האוסרת או מתירה כמתים. |
|
||||
|
||||
ההגדרה של ערך מוחלט, שמטבעה יש בה פיצול, היא לא דוגמא להכנסת תנאים, ולו בעקיפין, אל תוך משוואות? המשוואה x=abs(x) בעצם אומרת "אם איקס חיובי, אל תעשה כלום. אם איקס שלילי, הכפל אותו במינוס 1". |
|
||||
|
||||
נכון, אז...? יש שיטות מקובלות לחלק למקרים בהגדרה של פונקציה, וודאי שאפשר לרשום משוואות שונות לכל מיני מצבים. רק ציינתי שאם תתאמץ להפוך אלגוריתם עתיר פיצולים למערכת משוואות תגיע במהירות למצב שבו המשוואות תהיינה הרבה פחות שימושיות או מאירות-עיניים מהתיאור האלגוריתמי. אני לא חושב שהדיון הוא דיון תאורטי על האפשרות להפוך כל אלגוריתם למערכת משוואות (אבל אולי לא הבנתי על מה הדיון). במקרה הכי גרוע אפשר לממש מכונת טיורינג עם גלגילות ומנופים ולרשום את משוואות התנועה הקלאסיות של המערכת. אבל למה שנעשה זאת? בשביל להיווכח שוולפרם לא מציע באמת פרדיגמה חדשה, זה אוברקיל רציני. |
|
||||
|
||||
סוף סוף הזדמנות לשאול - מה עושה ה"מודולו" הזה? בתודה מראש. |
|
||||
|
||||
a mod b=c אם ורק אם a=nb+c כש-n מספר שלם. במילים פשוטות: השארית שמתקבלת מחלוקת a ב-b. יש גם "מחלקות שקילות" מודולו n כלשהו. הדבר הזה הוא קבוצת כל קבוצות המספרים שנותנים אותה שארית כשמחלקים אותם ב-n. למשל, כשאנחנו עובדים עם n=2 יש לנו שתי מחלקות שכאלו: כל המספרים הזוגיים (שנותנים שארית 0) וכל האי-זוגיים (שנותנים שארית 1). |
|
||||
|
||||
a מודולו b או a%b עונה לנוסחה הבאה: a%b = a - floor(a/b) * b או במילים אחרות זאת השארית לאחר שמחלקים את a ב- b floor - עיגול השבר שמתקבל לשלם הכי קרוב אליו מלמטה. דוגמה פשוטה: 7%4. החלוקה נותנת 1.75, אז מעגלים למטה ל - 1 ומכפילים ב- 4. את התוצאה (4) מחסרים מ - 7 ומקבלים את השארית 3. המתימטיקאים שבאתר מוזמנים כמובן לתקן אילו אי-דיוקים שכתבתי כאן. % = מודולו, ולמעשה נאבקתי כחצי שעה בנסיון לכתוב את הדברים בתגובה הקודמת עם סבסקריפטים וסימבולים כמו שצריך (במקום תיאור מילולי של משוואות), אך לא מצאתי כל דרך להעתיק לפה משוואות מ- Word. |
|
||||
|
||||
בעצם כנראה % מקובל רק במחשבים, ובטח רק בשפה מסויימת... 'צטערת |
|
||||
|
||||
למשל, המינימום במספרים חיוביים של הביטוי ax+by (כשמציבים במקום x ו-y מספרים שלמים) ייתן לך את המחלק המשותף המקסימלי בינהם. למה הכוונה בלהפוך אלגוריתם למשוואה? שהפיתרון שלה יהיה ערך המטרה של האלגוריתם, או שאתה רוצה שיהיה שם גם ייצוג לאופן פעולת האלגוריתם? |
|
||||
|
||||
ערך המטרה. אבל כשאתה בונה משוואה, היא צריכה להצביע גם על דרך החישוב. אבל אני מודה שאני לא מבין בזה מספיק וקל לראות איך זה מתערפל: חישוב של מינימום יכול להיות בעייתי, וכשמגיעים לאינטגרלים, שממש מככבים במשוואות, חישוב שלהם יכול להיות סיוט של ממש. אז מוטב שאודה כבר עכשיו שאני לא ממש יכול לומר בודאות למה אני מתכוון. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |