רוטר - למישהו יש קוד ל- CNF בג'אווה?

יומן פעילות	לוח שנה	מבזקי חדשות	תקנון	RSS	כותרות	כותרות לפי תגובה	ניקוי קוקיז	IP	להורדת אפליקציה
eBay	AliExpress	GearBest	Amazon	Booking	Kiwi	SkyScanner	Trip Advisor

"למישהו יש קוד ל- CNF בג'אווה?"

גירסת הדפסה

קבוצות דיון פיתוח, תיכנות ובניית אתרים נושא #10548	מנהל סגן המנהל מפקח Winner צל"ש מומחה

אשכול מספר 10548

-KINGMAN-

חבר מתאריך 13.4.03
7284 הודעות, 2 פידבק

00:40 16.12.11

למישהו יש קוד ל- CNF בג'אווה?

אני מחפש באינטרנט ולא מוצא כלום בעיקרון אני רוצה ליצור קריאה מקובץ טקסק שיקבל 0 ו 1 ומינו 1 ויחלית עם זה ספיק או לא אבל זה מאוד קשה ואין לי שמץ אשמח אם למישהו יש כיוון או כל עזרה תודה

שתף

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

האשכול	מחבר	תאריך כתיבה	מספר
אתה מתכוון ל CNF SAT?	Yariv-H	16.12.11 09:39	1
אתה מתבלבל..	VeNom	16.12.11 10:01	2
אמ....	Yariv-H	16.12.11 11:02	4
זה הכל תלוי בגודל הקלט	VeNom	16.12.11 11:49	5
אההההה	Yariv-H	16.12.11 12:21	6
תפריד בין 2 מקרים	VeNom	16.12.11 10:06	3
אני ינסה לבצע אחי תודה רבה !! :)	-KINGMAN-	17.12.11 17:24	7

Yariv-H

חבר מתאריך 24.3.02
5856 הודעות, 1 פידבק

09:39 16.12.11

1. אתה מתכוון ל CNF SAT?
בתגובה להודעה מספר 0

זה בעיית NP , אני לא בטוח שהמחשב שלך יוכל להתמודד עם קריאה של סטרינג מקובץ TXT..
ואם כן קח בחשבון שזה יכול לקחת שעות.
נסה אולי לחפש אלגוריתמים לבעיות אחרות שפותרות לך את ה CNF SAT ותמיר את הקלט שלך בהתאם

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

VeNom

חבר מתאריך 7.6.02
7922 הודעות, 1 פידבק

10:01 16.12.11

2. אתה מתבלבל..
בתגובה להודעה מספר 1

הבעיה CNF SAT שאתה מדבר עליה מקבלת קלט של נוסחא(לא הצבה) וצריכה להחליט האם הנוסחא ספיקה.
זה משהו שאפשר לעשות בזמן אקספוננציאלי בצורה דטרמיניסטית ובזמן פולינומיאלי בזמן בצורה אי דטרמיניסטי.
למה שהמחשב לא יצליח לעמוד בזה?אם הנוסחא לא ממש ענקית לא תהיה לו בעיה בכלל.
המחשב לא יוכל להתמודד עם קריאה של סטרינג מ TXT?למה לא?

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Yariv-H

חבר מתאריך 24.3.02
5856 הודעות, 1 פידבק

11:02 16.12.11

4. אמ....
בתגובה להודעה מספר 2

ערכתי לאחרונה בתאריך 16.12.11 בשעה 11:47 בברכה, Yariv-H

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

עבור מספר קטן של איברים , הזמנים יהיו שם אסטרונומים.

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

VeNom

חבר מתאריך 7.6.02
7922 הודעות, 1 פידבק

11:49 16.12.11

5. זה הכל תלוי בגודל הקלט
בתגובה להודעה מספר 4

עבור נוסחאות ענקיות(ממש) אתה תגיע לזמנים אסטרונומיים.
כי הרי הדרך הפרימיטיבית לבדוק ספיקות של פסוק CNF היא לעבור על כל 2 בחזקת n האופציות שלו.אני בטוח שיש מימושים שעושים את זה בזמן קצת יותר טוב..אבל לא לינארי.

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

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Yariv-H

חבר מתאריך 24.3.02
5856 הודעות, 1 פידבק

12:21 16.12.11

6. אההההה
בתגובה להודעה מספר 5

אז זה משהוא אחר לגמרי =] אני הייתי בטוח שהוא רוצה למצוא את ההצבה =]
אז כן זה אפשרי =]

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

VeNom

חבר מתאריך 7.6.02
7922 הודעות, 1 פידבק

10:06 16.12.11

3. תפריד בין 2 מקרים
בתגובה להודעה מספר 0

1.קריאה מקובץ TXT לתוך מחרוזת.
2.שליחת המחרוזת לפונקציה שתקבע האם הפסוק ספיק.
לגבי 2 אתה יכול לקחת את המחרוזת ולפצל אותה לפסוקיות.לשלוח כל פסוקית לפונקציה שתקבע האם היא אמת.במידה ויש פסוקית אחת שהיא שקר אתה מחזיר FALSE.
אם התהליך מסתיים ללא פסוקית שקר תחזיר TRUE.
לגבי איך פונקציית העזר שמקבלת פסוקית תקבע:מספיק לך שיהיה לך "1" בכל פסוקית בכדי שכל הפסוקית תהיה TRUE כי הרי כל הליטרלים שם מחוברים באופרטור "או".ולכן הפונקציה תבדוק האם בפסוקית יש "1".אם כן תחזיר TRUE,אחרת FALSE.

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

-KINGMAN-

חבר מתאריך 13.4.03
7284 הודעות, 2 פידבק

17:24 17.12.11

7. אני ינסה לבצע אחי תודה רבה !! :)
בתגובה להודעה מספר 0

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד