Source-backed question

נגדיר את בעיית האופטימיזציה הבאה, WMAXSAT. קלט: נוסחה φ בצורת CNF שבה בכל הסגר מופיעים 3 משתנים שונים בדיוק. ו…

1Exams0Assignments0Lessons1Source documents
שאלה פתוחהq-40819eab12e9

נוסח השאלה

נגדיר את בעיית האופטימיזציה הבאה, WMAXSAT. קלט: נוסחה φφ בצורת CNF שבה בכל הסגר מופיעים 3 משתנים שונים בדיוק. ופונקציית משקל w המתאימה משקל חיובי לכל הסגר בנוסחה. מטרה: למצוא השמה המקיימת כי משקל ההסגרים המסופקים הוא מקסימלי. יהי φ,wφ, w קלט לבעיה, ונסמן ב W את סך כל המשקלים בגרף, כלומר,W=ΣC∈φw(C), W = Σ_{C\in φ} w(C). מהו הערך הגדול ביותר α∈[0,1]α \in [0,1] עבורו ידוע שקיימת השמה שבה משקל ההסגרים המסופקים הוא לפחות αWαW ! שימו לב כי עבור הערך שתבחרו יש להוכיח כי לכל קלט קיימת השמה קלט כדרוש, וגם קיים קלט עליו לא קיימת השמה המספקת משקל גדול יותר של הסגרים.

תמלול ראשון מתוך עמוד המקור ב־tools/summary/.work. צילום העמוד מצורף למטה כדי שאפשר יהיה לאמת סימון מתמטי וניסוח.

Exact provenance

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.

Exam

2025 C · moed B

shalon_131111_2025_s3_g06_moed2.pdf

Question 3Page 23Visual reading

Byte-identical aliases: נושא 131111 קבוצה 13111106 שנה 2025 סמסטר 3 מועד 2.pdf

View source scan — page 23Source page 23 from shalon_131111_2025_s3_g06_moed2.pdf Open full size

Near variants — not duplicates