החיפוש הניב 110 תוצאות

על ידי TA_Isana
11:58 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שיפור selectLiteral
תגובות: 3
צפיות: 409

Re: שיפור selectLiteral

כן. ניתן לשנות את החתימה, הטיפוס המוחזר ואופן הפעולה של selectLiteral. הסיבה היא שפונקציה זו לא תיבדק באופן ישיר. כן. ניתן לשנות את isMember. מאותה סיבה בדיוק. אבל -- שימו לב כי isMember מופעלת ב satisfies הנתונה. שינוי בה יכול לגרום לשינויים ב satisfies. על אחריות המתכנת. לגבי כל שאר הפונקציות שנתו...
על ידי TA_Isana
11:48 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה בנוגע לפונקציית satisfies2
תגובות: 3
צפיות: 483

Re: שאלה בנוגע לפונקציית satisfies2

ניתן להניח כי הארגומנט mu מייצג השמה תקינה.
(אתה כמתכנת לא תהיי אחראי ולא צריך לבדוק התנהגות של הפונקציה עבור ארגומנט mu שאינו תקין).
על ידי TA_Isana
11:43 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שגיאה בנתונים מבחן עבור testKColoring בערכים גדולים
תגובות: 5
צפיות: 530

Re: שגיאה בנתונים מבחן עבור testKColoring בערכים גדולים

כל שיטה שלדעתך יכולה לשפר את זמן החישוב, ניתן להסביר ולהוסיף לתוכנית.
אפילו אם השיפור משמעותי רק בחלק מהמקרים, במסמך טקסט המצורף הסבר לדעתך באילו מקרים יש שיפור.
על ידי TA_Isana
11:37 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה 6
תגובות: 1
צפיות: 357

Re: שאלה 6

ההסבר איך לייצר את ההשמה (בדוגמאות v) לפי הנוסחה (phi) נתונה בתיאור רקורסיבי.
קראי שוב את ה coaching שבשאלה.
לא ניתן להבין את השיטה לפתרון ישירות מהדוגמאות.
על ידי TA_Isana
15:44 19/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: משימה 1 בעבודה 3
תגובות: 1
צפיות: 323

Re: משימה 1 בעבודה 3

לפי הדוגמה ל phi6 מקבלים v6 = null.
השאלה שנשאלה היא: מהי ההשמה שמספקת את phi6?

במשימה 1, השאלה אחרת: האם phi מכילה clause ריק?

השאלות שונות ובהתאם גם התשובה.
על ידי TA_Isana
15:37 19/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שגיאה בנתונים מבחן עבור testKColoring בערכים גדולים
תגובות: 5
צפיות: 530

Re: שגיאה בנתונים מבחן עבור testKColoring בערכים גדולים

כן. הרעיונות מכם.
זמן טוב (תשובה לא מושכלת): אם הלכת להכין קפה וחזרת ויש תשובה זה טוב. אנחנו לא מצפים שתוכלו להפעיל על הקלטים האלה בזמן סביר.
על ידי TA_Isana
12:30 19/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: פונקציה רקורסיבית - שאלה 6
תגובות: 1
צפיות: 382

Re: פונקציה רקורסיבית - שאלה 6

ניתן לכתוב פונקציות עזר כרצונך ולפי הצורך.
אם אתה מעוניין שהרקורסיה תתבצע דווקא בפונקציית העזר זה מקובל - כל עוד:
1. הפונקציות שלך עובדות בהתאם לתיאור הרקורסיבי של המשימה.
2. לא שינית את החתימה של solve, כי היא תהייה הפונקציה אשר תיבדק בסופו של דבר.
על ידי TA_Isana
12:23 19/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה לגבי הבנת משימה 5
תגובות: 4
צפיות: 464

Re: שאלה לגבי הבנת משימה 5

כאשר אתה כותב את משימה 5 תניח כי: You may assume that this function is only called in case that phi is a legal CNF, and contains a literal. במשימות הבאות, כאשר תפעיל/תקרא לפונקציה הנ"ל תצטרך לדאוג לכך שהנוסחה חוקית ושיש בה ליטרל אחד לפחות כאמור. לגבי מה זה בדיוק נוסחה חוקית ראה עמוד 4 באמצע של התרגיל.
על ידי TA_Isana
12:08 19/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שגיאה בנתונים מבחן עבור testKColoring בערכים גדולים
תגובות: 5
צפיות: 530

Re: שגיאה בנתונים מבחן עבור testKColoring בערכים גדולים

כן. שלושת הרשתות האחרונות הינן גדולות ובקובץ מופיעות בהערה. test13 הרשת נקראת queen36, בעלת 37 ערים, וניתן לצבוע אותה רק ב 6 צבעים ולא בחמש. test14 הרשת נקראת huck74 , בעלת 75 ערים test15 הרשת נקראת jean80, בעלת 81 ערים כאשר אתה מוסיף אותן לפי הסדר, גם במערך ה ns צריך שהערכים יהיו באותו סדר (בסוף). ...
על ידי TA_Isana
11:18 19/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: בנוגע לעבודה 3
תגובות: 2
צפיות: 373

Re: בנוגע לעבודה 3

כתוב במשימה: a propositional formula "is true" if it contains no clauses
כלומר, אם נוסחה היא מערך דו-מימדי ופסוקית (clause) היא מערך חד מימדי - מה אומר התנאי של המשימה: בנוסחה אין פסוקיות?

כמו כן מוסבר שנוסחה חוקית אינה null ובמשימה זו עליך להניח כי הנוסחה חוקית.
על ידי TA_Isana
11:11 19/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: עבודה 3 משימות 3-4-4.5
תגובות: 1
צפיות: 383

Re: עבודה 3 משימות 3-4-4.5

צריכה להיות תאימות בין התוצאה של משימה 3 לבין התוצאה של משימה 4.5. אלו הן שיטות שקולות לבדיקה האם הנוסחה phi מסתפקת ע"י ההשמה mu. התיאור המילולי שנתת כאן של משימה 3 לא מדויק (אולי מכאן חוסר ההתאמה בעיניך). אם יש אי התאמה בתוצאות של הפונקציות satisfies ו satisfies2 סביר להניח שיש שגיאה בתכנות של 4.5 ...
על ידי TA_Isana
10:54 19/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: empty clause
תגובות: 6
צפיות: 538

Re: empty clause

אם clause מיוצג ע"י מערך של n ליטרלים (למשל המערך {2-,1-}) אז clause ריק מכיל 0 ליטרלים (כלומר המערך {}).
על ידי TA_Isana
16:10 18/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: משימה 1
תגובות: 2
צפיות: 476

Re: משימה 1

מה לבדוק:
לפי תיאור המשימה:
()We have supplied you with an example of a test function, called testIsFalse"
"which tests the isFalse function which you will write in task 1
אנו ממליצים שתוסיפו לפונקציה זו בדיקות נוספות.

empty clause - היעזר בהגדרת ה clause עמ' 3 באמצע.
על ידי TA_Isana
13:14 18/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: הוספת פונקציות
תגובות: 1
צפיות: 295

Re: הוספת פונקציות

התשובה לשאלתך בגוף העבודה.
על ידי TA_Isana
13:13 18/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: איך למחוק איברים ממערך כלומר CLAUSES
תגובות: 4
צפיות: 580

Re: איך למחוק איברים ממערך כלומר CLAUSES

אם אני לא טועה, בז'רגון של המתמטיקה בעברית clause נקרא פסוקית.

עבור לחיפוש מתקדם