שינוי חתימות פ'

מנהלים: TA_nimrod, TA_Igor, TA_Adi

שלח תגובה
rvn
הודעות: 39
הצטרף: 23:05 14/11/2008
מיקום: מעונות ג'

שינוי חתימות פ'

שליחה על ידי rvn » 13:37 28/11/2009

האם זה בסדר לשנות את חתימות הפ' selectLiteral ע"י הוספת מערך? זה מקצר משמעותית את זמן הריצה

והאם יהיה סביר לשנות את substitute כך שתחזיר לי סימון במידה ונוצר clause ריק? או שאולי להוסיף משתנה גלובאלי כלשהו? (בכדי לחסוך את הצורך במעברים מיותרים עם isFalse?

TA_Isana
הודעות: 110
הצטרף: 15:19 19/04/2009

Re: שינוי חתימות פ'

שליחה על ידי TA_Isana » 17:45 28/11/2009

rvn כתב:האם זה בסדר לשנות את חתימות הפ' selectLiteral ע"י הוספת מערך? זה מקצר משמעותית את זמן הריצה
כן.
והאם יהיה סביר לשנות את substitute כך שתחזיר לי סימון במידה ונוצר clause ריק? או שאולי להוסיף משתנה גלובאלי כלשהו? (בכדי לחסוך את הצורך במעברים מיותרים עם isFalse?
לא. אין לשנות את טיפוס ערך ההחזרה של substitute. הערך המוחזר יבדק ונצפה שיוחזר כמו שמתואר בעבודה.
Course TA: Tamar Pinhas

borisna
הודעות: 44
הצטרף: 19:15 07/11/2009

Re: שינוי חתימות פ'

שליחה על ידי borisna » 17:51 28/11/2009

אפשר הבהרה קטנה, הכוונה הייתה שאפשר לשנות את ערך ההחזרה של selectLiteral למערך במקום int?

TA_Isana
הודעות: 110
הצטרף: 15:19 19/04/2009

Re: שינוי חתימות פ'

שליחה על ידי TA_Isana » 17:56 28/11/2009

כן. אתה יכול לשנות את selectLiteral (טיפוס מוחזר וכו'). זוהי פונקציה שלא תיבדק באופן פרטני, אלא כחלק ממשימות אחרות.
Course TA: Tamar Pinhas

rvn
הודעות: 39
הצטרף: 23:05 14/11/2008
מיקום: מעונות ג'

Re: שינוי חתימות פ'

שליחה על ידי rvn » 18:07 01/12/2009

אז אולי מבחינת ייעול:

אם אני ממיין בsolve לפני הקריאה לפ' רקורסיבית כך שבכל clause יהיו הערכים בסדר יורד, ללא כפילויות (ובמידה ויש ליטרלים מנוגדים הclause יתרוקן),

1. מותר להניח בselectLiteral, substitute כי המערך מכיל לכל היותר רק literal או -literal וגם כי אני יכול להשתמש בחיפוש בינארי בכדי למצוא אותו?

2. במידה ואי אפשר להשתמש בחיפוש האם אוכל לפחות למיין אותו כך שלא יכיל גם ליטרל וגם את הנגדי שלו? זה נורא משמעותי... או שsubstitute תבדק ללא הsolve שלי?

האם אני יכול להניח כמות ליטרלים מסויימת בשימוש בclause? נניח ליישם חסם עליון של 100000 ליטרלים לכל היותר? או שזה לא מספיק?
(או שבעצם אני צריך להגדיר מערך חדש לפיתרון (mu) ולהעתיקו עם כל איטרציה של הפ'? זה נשמע נורא לא אפקטיבי...

TA_Isana
הודעות: 110
הצטרף: 15:19 19/04/2009

Re: שינוי חתימות פ'

שליחה על ידי TA_Isana » 09:35 02/12/2009

rvn כתב:אז אולי מבחינת ייעול:

אם אני ממיין בsolve לפני הקריאה לפ' רקורסיבית כך שבכל clause יהיו הערכים בסדר יורד, ללא כפילויות (ובמידה ויש ליטרלים מנוגדים הclause יתרוקן),

1. מותר להניח בselectLiteral, substitute כי המערך מכיל לכל היותר רק literal או -literal וגם כי אני יכול להשתמש בחיפוש בינארי בכדי למצוא אותו?
לא ניתן להניח זאת.
rvn כתב: 2. במידה ואי אפשר להשתמש בחיפוש האם אוכל לפחות למיין אותו כך שלא יכיל גם ליטרל וגם את הנגדי שלו? זה נורא משמעותי... או שsubstitute תבדק ללא הsolve שלי?
יש לך חופש. כל פונקציה (של כל משימה) תיבדק בנפרד.
rvn כתב: האם אני יכול להניח כמות ליטרלים מסויימת בשימוש בclause? נניח ליישם חסם עליון של 100000 ליטרלים לכל היותר? או שזה לא מספיק?
(או שבעצם אני צריך להגדיר מערך חדש לפיתרון (mu) ולהעתיקו עם כל איטרציה של הפ'? זה נשמע נורא לא אפקטיבי...
לא ידוע מראש מס' הליטרלים.
Course TA: Tamar Pinhas

rvn
הודעות: 39
הצטרף: 23:05 14/11/2008
מיקום: מעונות ג'

Re: שינוי חתימות פ'

שליחה על ידי rvn » 16:32 03/12/2009

הבנתי, תודה רבה! =)

שלח תגובה

חזור אל “- מבוא למדעי המחשב 2010”