Professional Documents
Culture Documents
2
סיבוכיות קומבינטורית של המרחב החופשי
נצייר מעגל ברדיוס dמסביב לנקודה .p
עבור כל "צלע נצפית" מנקודה ,pנעביר קוטר דרך הקצוות שלה שנמצאות בתוך המעגל.
כעת כל נגזרת במעגל בעלת צלע נצפית אחת לכל היותר ,כאשר השטח שבין הצלע הנצפית ל pהינה נקודה
במרחב החופשי.
כעת נביט בזוג גזרות נגדיות בעלות צלע נצפית כל אחת ובקטעים אשר עוברים דרך pונוגעים בצלעות
הנצפות .נגדיר "נקודת שינוי" כנקודה שבה קטעים אלה הופכים להיות קטנים מ .dעבור כל זוג צלעות נצפות
נגדיות קיימות לכל היותר שתי נקודות שינוי ,דרך כל אחת מהן נעביר קוטר נוסף .בסה"כ חילקנו כל זוג גזרות
נגדיות ל 3גזרות כל אחת לכל היותר.
כעת נסיר כל זוג נקודות נגדיות במרחב החופשי אשר מסמלות זוג צלעות נצפות במרחק קטן מ dמנקודה .p
אחרת ,ישנן לכל היותר 3nנקודות וצלעות במרחב החופשי ולכן הוא בעל ) O(nאיברים.
נסיר כל זוג נקודות נגדיות במרחב החופשי אשר מסמלות זוג צלעות נצפות במרחק קטן מ dמנקודה .O(n) p