נוסח השאלה
נגדיר את בעיית האופטימיזציה הבאה, WMAXSAT. קלט: נוסחה בצורת CNF שבה בכל הסגר מופיעים 3 משתנים שונים בדיוק. ופונקציית משקל w המתאימה משקל חיובי לכל הסגר בנוסחה. מטרה: למצוא השמה המקיימת כי משקל ההסגרים המסופקים הוא מקסימלי. יהי קלט לבעיה, ונסמן ב W את סך כל המשקלים בגרף, כלומר. מהו הערך הגדול ביותר עבורו ידוע שקיימת השמה שבה משקל ההסגרים המסופקים הוא לפחות ! שימו לב כי עבור הערך שתבחרו יש להוכיח כי לכל קלט קיימת השמה קלט כדרוש, וגם קיים קלט עליו לא קיימת השמה המספקת משקל גדול יותר של הסגרים.
תמלול ראשון מתוך עמוד המקור ב־tools/summary/.work. צילום העמוד מצורף למטה כדי שאפשר יהיה לאמת סימון מתמטי וניסוח.
Appearances by source document
Each card is a genuinely distinct file. Printed versions inside one PDF stay in that card and do not inflate the sitting count.
2025 C · moed B
shalon_131111_2025_s3_g06_moed2.pdf
Byte-identical aliases: נושא 131111 קבוצה 13111106 שנה 2025 סמסטר 3 מועד 2.pdf
View source scan — page 23
Open full sizeNear variants — not duplicates
- q-baff6a1f627268%parameter, class, relation