משימה9 - Nים ארורים

מנהל: The Architect

נעול
Arco
הודעות: 15
הצטרף: 00:10 19/11/2008

משימה9 - Nים ארורים

שליחה על ידי Arco » 20:56 14/01/2009

אני מצליח לפתור את התרגיל כאשר N=1,4,5,8
אך לא מצליח בשאר,
עשיתי בדיקות מקיפות ידניות, דיבגריות, פירוטכניקה(מתוך יאוש) - הכל.
אני יכול להגיד בוודאות ש-PHI נבנה נכון במשימה 9
וכמו כן משימה 8 ו-7 (לא ראיתי כל סיבה להשתמש ב-7) מתפקדות במלואן.

כאשר אני שולח את התוצר של משימה 9 ל-solve במשימה 6 עבור כל N אני מקבל תמיד חזרה mu כלשהו אך הוא לא הכרח נכון לפתרון של N מלכות - שתי מלכות חולקות לרוב טור או שורה ולעיתים צמודות (!!!) וכל מילה פאשלות כאלה ודומות.

למשל עבור N=6 יוצא לי ליטרל חיובי 35 ו-29, שזה לא טוב כי הם הרי סמוכים על הלוח
אך אם זה משנה תמיד חוזרים מ-solve בדיוק N השמות חיוביות (ליטרלים חיוביים-לא יודע)

אין לי שÆמÅץ של מושג היכן הבעיה
אני מודע לכך ששאלה זו נשאלה בפורום בעבר, אך לא ראיתי מידע שיכול לעזור לי
עבור הנשמה הטובה שי/תנסה לעזור לי אולי הצלחתי למקד את הבעיה ולעזור לו (לעזור לי)

האם חסר לי תנאי הגבלה של מס' המלכות הדרוש?
או שהמתמטיקה של תחשיב הפרדיקטים עושה את הקסם הזה לבד?

תודה רבה.

benny
הודעות: 81
הצטרף: 22:27 29/11/2008

שליחה על ידי benny » 21:20 14/01/2009

זה אומר שפונק' 6 לא תקינה הרי.. כי לא ייתכן 29 ו 35 כאשר קיים קלוז של הנגדיים שלהם (בהנחה ש9 עובדת נכון).
מה הכוונה לא ראית סיבה להשתמש ב7?? יצרת את הקלוז לAtleast בלי הפונ'?

dekelgou
הודעות: 32
הצטרף: 03:25 28/12/2008
מיקום: ב"ש איפה עוד???

שליחה על ידי dekelgou » 02:01 15/01/2009

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

אתר לבניית רשימת השמעה על האינטרנט: www.last.fm

tetinger
הודעות: 26
הצטרף: 21:44 28/12/2008

הוא צודק ..

שליחה על ידי tetinger » 03:07 15/01/2009

פונקציה 7 באמת לא כל כך נחוצה .. הרי מה היא עושה ? מחזירה בדיוק את אותו המערך.. אז בשביל מה לשלוח את המערך המסויים לפונקציה 7 ? אפשר ישר להוסיף אותו ל CNF. זה גם מה שאני עשיתי, ולא הייתה לי שום בעיה ..

Arco
הודעות: 15
הצטרף: 00:10 19/11/2008

שליחה על ידי Arco » 08:29 15/01/2009

לא השתמשתי בפונ' 7 בגלל שידוע היטב מראש (לפחות נדמה לי) שכל הטורים וכל השורות יחד יהוו בסה"כ 2N פסוקיות, באורך N כל אחת, ב-phi הסופי של task9 - השימוש במשימה 7 לצורך זה היה נראה לי מסובך יותר.

משימה 6 אצלי נותנת mu כך שאם phi ספיק - הפיתרון יינתן, בדקתי ידנית עבור n=6, ואכן קיבלתי פיתרון חוקי אך לא כזה שמקיים פיתרון ל-6 מלכות.

המצב דומה עבור n=7 וגם 15,n=9 ,12 ועוד כמה קלטים..

האם יש תנאי כלשהו שכנראה הפונ' שלי לא מקיימות?

tetinger
הודעות: 26
הצטרף: 21:44 28/12/2008

יכול להיות ..

שליחה על ידי tetinger » 13:21 15/01/2009

יכול להיות שפה הטעות שלך.. תגיד לי אם זה מה שעשית:
1.שלחת את כל אחד מהשורות ל atleastone
2.שלחת את כל אחד מהשורות ל atmostone
3. שלחת את כל אחד מהטורים ל atmostone
4. שלחת כל אלכסון אפשרי ל atmostone

dekelgou
הודעות: 32
הצטרף: 03:25 28/12/2008
מיקום: ב"ש איפה עוד???

שליחה על ידי dekelgou » 15:11 15/01/2009

היא צריכה גם לשלוח את הטורים לatleastone
תגיד, איך מזהים תלמיד שנה ראשונה?
פשוט תעקוב אחרי התלונות...

אתר לבניית רשימת השמעה על האינטרנט: www.last.fm

Arco
הודעות: 15
הצטרף: 00:10 19/11/2008

Re: יכול להיות ..

שליחה על ידי Arco » 15:54 15/01/2009

לא עשיתי atMostOne על השורות ולא על העמודות - רק על האלכסונים - איזה טÇמבÇÌל אני.

תודה רבה... זה עבד :)

tetinger
הודעות: 26
הצטרף: 21:44 28/12/2008

לא ..

שליחה על ידי tetinger » 15:39 16/01/2009

dekelgou, אתה טועה חבוב, צריך רק את השורות או רק את הטורים, לא חייב את שתיהם ..תחשוב על זה :)

dekelgou
הודעות: 32
הצטרף: 03:25 28/12/2008
מיקום: ב"ש איפה עוד???

שליחה על ידי dekelgou » 02:58 18/01/2009

רוצה לעזור לי לחשוב? לא הבנתי למה לא.
ואם כבר לא חובה לשלוח גם עמודות וגם שורות ל atleastone אז לפי מה נחליט מי לשלוח?
*יכול לחסוך לי הרבה זמן ריצה*
תגיד, איך מזהים תלמיד שנה ראשונה?
פשוט תעקוב אחרי התלונות...

אתר לבניית רשימת השמעה על האינטרנט: www.last.fm

tetinger
הודעות: 26
הצטרף: 21:44 28/12/2008

אממ

שליחה על ידי tetinger » 13:34 18/01/2009

תחשוב ששלחת את השורות ל atleastone.
ז"א, עכשיו בכל שורה חייבת להיות מלכה!
עכשיו השאלה שלך למה לא צריך לשלוח את הטורים ל atleastone ?
בוא נגיד וקיים טור שאין בו מלכה, ז"א קיים טור שיש בו לפחות 2 מלכות, אך זה בלתי
אפשרי מפני ששלחת את כל הטורים ל atmostone! מקווה שהבנת :o

dekelgou
הודעות: 32
הצטרף: 03:25 28/12/2008
מיקום: ב"ש איפה עוד???

שליחה על ידי dekelgou » 17:38 18/01/2009

סבבה, ננסה את הטענה שלך
תגיד, איך מזהים תלמיד שנה ראשונה?
פשוט תעקוב אחרי התלונות...

אתר לבניית רשימת השמעה על האינטרנט: www.last.fm

נעול

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