אולי למישהו גם הייתה את הבעיה הזאת?

מנהל: The Architect

נעול
Shirley_sw
הודעות: 22
הצטרף: 13:00 12/12/2008

אולי למישהו גם הייתה את הבעיה הזאת?

שליחה על ידי Shirley_sw » 14:42 03/01/2009

היי, סיימתי לכתוב את התוכנית אבל היא מחזירה לי NULL תמיד
בעיקרון אם נותנים לתוכנית למשל N=4
אז עבור התנאי של השורות ושל הטורים היא מוצאת פיתרון!
ואז מוסיפים את התנאים עבור האלכסונים ואז אומרת שאין פיתרו!ן
את התנאים של האלכסונים הוספתי ככה- עשיתי מערך שיש בו את כל האלכסונים
ואז בלולאת פור כל פעם לוקחים אלכסון אחד, עושים לו ATMOSTONE ומוסיפים את זה לתנאים הקודמים, ככה עד שעברנו על כל האלכסונים..

למישהו יש רעיון איפה הטעות שלי?
אני לא יודעת אם הטעות ב- 6 כי עברתי עליו כבר עם כל הדוגמאות ולא הייתה בעיה, ועובדה שכן יש פיתרון עבור שורות וטורים, אולי משהו בתנאים של האלכסונים?

אם למישהו הייתה גם את הבעיה הזו והוא הצליח לפתור אותה , אשמח לשמוע
תודה

eladlev
הודעות: 67
הצטרף: 03:50 03/12/2008

שליחה על ידי eladlev » 15:32 03/01/2009

הצעה לבעיה קטנה ומעצבנת שאולי קרתה אצלך:
בדקי את כל השורות return בעבודה וודאי שאף אחת לא מוגדרת כ
return null
הקובץ בסיס שקיבלנו הכיל שורות שכאלה וייתכן כי כתבת את הפונקציה בצורה נכונה ביותר רק שכחת לשנות את הreturn בסוף.
בדקי וספרי לנו אם זו הבעיה.

Shirley_sw
הודעות: 22
הצטרף: 13:00 12/12/2008

היי אלעד,

שליחה על ידי Shirley_sw » 15:38 03/01/2009

תודה על הרעיון,
בדקתי ולצערי זו לא הבעיה, לא שכחתי להחליף את הNULL בסוף הפונקציות
אתה ב- 5 גם בחרת בליטרל עם הקלאוז הכי קטן? או שהלכת על מי שמופיע הכי הרבה?

hico
הודעות: 49
הצטרף: 19:21 06/12/2008

בעיה דומה..

שליחה על ידי hico » 13:51 06/01/2009

שירלי, האם הצלחת לפתור את הבעיה?
לדעתי אותו הדבר קורה גם אצלי. :(
למרות שפונקציה6 הצליחה לפתור את Phi7, את ה-CNF עבור n=4 (למשל), היא לא מצליחה לפתור.. :( וכותבת שאין פיתרון.
אז אם הצלחת, אשמח אם תוכלי לתת לי כיוון מה לבדוק.. וגם, כמה פסוקיות מכיל ה-CNF כאשר n=4 (וכאשר n=5)...?

תודה רבה!

הילה.

hico
הודעות: 49
הצטרף: 19:21 06/12/2008

שליחה על ידי hico » 17:30 06/01/2009

לא משנה, הכל הסתדר..!!! :)
עובד מצוין...

Solving Queens for a 17x17 board - number of clauses: 7650
Solving runtime = 45.146 secs
Solution found for n = 17

עבור n=20 הוא עדיין חושב...נראה איך לייעל את זה עכשיו..

נעול

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