Question
יהא גרף פשוט, לא מכוון וקשיר עם פונקציית משקל .
הציעו אלגוריתם המכריע האם ל- יש עפ"מ יחיד.
Answers
אלגוריתם:
- מצא עפ"מ
- צבע את כל שאר הקשתות בצהוב
- מצא עפ"מ צהוב ביותר
- החזר של- יש עפ"מ יחיד אמ"מ לא מכיל קשת צהובה
נכונות: אם ל- יש יותר מעפ"מ אחד אז יש לו עפ"מ שונה מ- ולכן קיים עפ"מ עם קשת צהובה אחת לפחות. מצד שני אם ל- קיים רק עפ"מ אחד אז ולכן אין ב- אף קשת צהובה.
סיבוכיות: מציאת עפ"מ 2 + צביעה של הקשתות - .