שאלה הבנתית

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

שלח תגובה
friedman
הודעות: 9
הצטרף: 18:54 25/11/2009

שאלה הבנתית

שליחה על ידי friedman » 15:09 30/11/2009

היי,
לא הבנתי משהו בסיסי בעבודה
במידה ויש לנו מקרה פשוט של 2 ערים עם חיבור יחיד בינהם
אבל יש לנו צבע אחד,
מה הפונקציה SOLVE אמורה להחזיר? NULL? או ערך מספרי כלשהו?

ובעקבות כך איך פונקצית הצביעה GETCOLORING מתפקדת במקרה שיש לנו פונקציה לא "נכונה"?

תודה

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

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

שליחה על ידי TA_Isana » 20:15 30/11/2009

friedman כתב:היי,
לא הבנתי משהו בסיסי בעבודה
במידה ויש לנו מקרה פשוט של 2 ערים עם חיבור יחיד בינהם
אבל יש לנו צבע אחד,
מה הפונקציה SOLVE אמורה להחזיר? NULL? או ערך מספרי כלשהו?
במקרה כזה, לא ניתן לצבוע שני ערים (סמוכות) בצבע יחיד.
על הפונקציה createKColoring להחזיר במקרה זה נוסחה שאינה ספיקה (לא קיימת השמה המספקת אותה).
לכן ההפעלה של solve על הנוסחה המוחזרת מ createKColoring -- תחזיר null.
כל זה קורה ב SatTester ב testKColoring.
friedman כתב: ובעקבות כך איך פונקצית הצביעה GETCOLORING מתפקדת במקרה שיש לנו פונקציה לא "נכונה"?
תודה
במקרה זה אין משמעות לצביעה אם אין תוצאה. ואכן, פונקצית הבדיקה testKColoring לא תפעיל את getColoring אם תוצאת solve היא null.
Course TA: Tamar Pinhas

שלח תגובה

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