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

על ידי TA_Isana
09:35 02/12/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שינוי חתימות פ'
תגובות: 6
צפיות: 733

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

אז אולי מבחינת ייעול: אם אני ממיין בsolve לפני הקריאה לפ' רקורסיבית כך שבכל clause יהיו הערכים בסדר יורד, ללא כפילויות (ובמידה ויש ליטרלים מנוגדים הclause יתרוקן), 1. מותר להניח בselectLiteral, substitute כי המערך מכיל לכל היותר רק literal או -literal וגם כי אני יכול להשתמש בחיפוש בינארי בכדי למצוא...
על ידי TA_Isana
08:54 01/12/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה למתרגל האחראי בנוגע לעבודה 3 משימה 11
תגובות: 6
צפיות: 658

Re: שאלה למתרגל האחראי בנוגע לעבודה 3 משימה 11

...או לחילופין לשנות את התשובה הצפויה במערך ה expectedResults ל true כאשר יש צביעה במספר הצבעים המצויין במערך ks.
על ידי TA_Isana
08:52 01/12/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה למתרגל האחראי בנוגע לעבודה 3 משימה 11
תגובות: 6
צפיות: 658

Re: שאלה למתרגל האחראי בנוגע לעבודה 3 משימה 11

עבור הבדיקות של הרשתות הגדולות (כולל queen36) לא ציינו בקובץ הבדיקה את את המספר הנחוץ המדויק של הצבעים.
סאתה יכול לנסות להריץ את הבדיקה עם מספרים שונים ולבדוק מהו מספר הצבעים המינימלי הנחוץ.
על ידי TA_Isana
08:47 01/12/2009
פורום: - מבוא למדעי המחשב 2010
נושא: קלטים אפשריים עבור פי
תגובות: 1
צפיות: 254

Re: קלטים אפשריים עבור פי

אין בתרגיל הנחות כמו שהזכרת, מלבד החוקיות של הנוסחה (כמו שמוגדר).
על ידי TA_Isana
20:15 30/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה הבנתית
תגובות: 1
צפיות: 335

Re: שאלה הבנתית

היי, לא הבנתי משהו בסיסי בעבודה במידה ויש לנו מקרה פשוט של 2 ערים עם חיבור יחיד בינהם אבל יש לנו צבע אחד, מה הפונקציה SOLVE אמורה להחזיר? NULL? או ערך מספרי כלשהו? במקרה כזה, לא ניתן לצבוע שני ערים (סמוכות) בצבע יחיד. על הפונקציה createKColoring להחזיר במקרה זה נוסחה שאינה ספיקה (לא קיימת השמה המספ...
על ידי TA_Isana
13:05 30/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: טסטים עובדים ומציגים הצלחה, אבל יש שתי ערים קשורות באותו צבע
תגובות: 1
צפיות: 321

Re: טסטים עובדים ומציגים הצלחה, אבל יש שתי ערים קשורות באותו צבע

הצביעה לתוך קובץ שסופקה ב SatTester תומכת בכמות מוגבלת של צבעים.
אם מדובר בצביעה של רשת עם מספר גדול מ 4 צבעים - ראה דיון בפורום "שאלות לגבי testSolve - מערכים 14,15 והגרפיקה" איך לשנות את הפונקציה שיוצרת את התמונה.
אם מדובר בצביעה של רשת עם מספר קטן של צבעים, אז יתכן שיש בעיה.
על ידי TA_Isana
12:58 30/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלות לגבי testSolve - מערכים 14,15 והגרפיקה
תגובות: 9
צפיות: 1186

Re: שאלות לגבי testSolve - מערכים 14,15 והגרפיקה

הבדיקות של הרשתות הגדולות שמופיעות בהערה, נועדו למשימת האופטימיזציה (הבונוס). /* queen36, huck74, jean80*/ עבורם לא אנו לא ציינו את המספר הנחוץ המתאים של הצבעים. סטודנט שרוצה, יכול לנסות להריץ אותם ולבדוק מהו מספר הצבעים המינימלי הנחוץ. זה יהיה המספר הקטן ביותר עבורו תימצא צביעה. מצד שני, ניתן גם לה...
על ידי TA_Isana
13:30 29/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלות לגבי testSolve - מערכים 14,15 והגרפיקה
תגובות: 9
צפיות: 1186

Re: שאלות לגבי testSolve - מערכים 14,15 והגרפיקה

כמו שנאמר קודם, עבור בדיקות אלו התוכנית צפויה להחזיר תשובה בזמן לא סביר (תחכה המון זמן).
זה בגלל שבעיית הצביעה היא בעיה קשה.
על ידי TA_Isana
19:54 28/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: עבודת בית 3 סעיף 5 - selectLiteral
תגובות: 2
צפיות: 303

Re: עבודת בית 3 סעיף 5 - selectLiteral

ראה שאלה בפורום שנענתה לא מזמן. עם הכותרת: שינוי חתימות פ'
על ידי TA_Isana
17:56 28/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שינוי חתימות פ'
תגובות: 6
צפיות: 733

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

כן. אתה יכול לשנות את selectLiteral (טיפוס מוחזר וכו'). זוהי פונקציה שלא תיבדק באופן פרטני, אלא כחלק ממשימות אחרות.
על ידי TA_Isana
17:52 28/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה לגבי Satisfies2 בעבודה
תגובות: 2
צפיות: 332

Re: שאלה לגבי Satisfies2 בעבודה

צריך להחזיר כמו שתיארת {{},{}}.
על ידי TA_Isana
17:48 28/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: לגבי משימה 4
תגובות: 2
צפיות: 384

Re: לגבי משימה 4

אין הנחה שזה לא קורה, אז תניח שזה יכול לקרות
על ידי TA_Isana
17:47 28/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: משימה 8
תגובות: 1
צפיות: 307

Re: משימה 8

You may assume that the array variables is
not null and that every value in the array is positive (represents a propositional
variable).
על ידי TA_Isana
17:45 28/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שינוי חתימות פ'
תגובות: 6
צפיות: 733

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

האם זה בסדר לשנות את חתימות הפ' selectLiteral ע"י הוספת מערך? זה מקצר משמעותית את זמן הריצה כן. והאם יהיה סביר לשנות את substitute כך שתחזיר לי סימון במידה ונוצר clause ריק? או שאולי להוסיף משתנה גלובאלי כלשהו? (בכדי לחסוך את הצורך במעברים מיותרים עם isFalse? לא. אין לשנות את טיפוס ערך ההחזרה של su...
על ידי TA_Isana
17:41 28/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה לגבי קובץ הבדיקה setTester
תגובות: 1
צפיות: 286

Re: שאלה לגבי קובץ הבדיקה setTester

עליך להעביר את הקובץ SatSolver קומפילציה קודם.
תנסה להיעזר במעבדה.

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