תת־קבוצות וקבוצות־על

חלק מהיחידה לוגיקה וזרימת תוכנית במסלול ה-Python של Coddy. שיעור 36 מתוך 78.

בתורת הקבוצות, תת־קבוצה היא קבוצה שכל האיברים שלה נמצאים בתוך קבוצה אחרת. לעומת זאת, קבוצה עילית היא קבוצה שמכילה את כל האיברים של קבוצה אחרת.

בדיקה אם קבוצה היא תת־קבוצה (<= או issubset()):

set1 = {1, 2}
set2 = {1, 2, 3}
is_subset = set1 <= set2
print(is_subset)
# פלט: True

בדוגמה זו, set1 היא תת־קבוצה של set2, כי כל האיברים של set1 נמצאים גם ב־set2.

בדיקה של תת־קבוצה אמיתית (<):

set1 = {1, 2}
set2 = {1, 2, 3}
is_proper_subset = set1 < set2
print(is_proper_subset)
# פלט: True

כאן, set1 היא תת־קבוצה ממש של set2 משום ש־set1 היא תת־קבוצה של set2, ו־set2 מכילה לפחות איבר אחד שאינו ב־set1.

בדיקה אם קבוצה היא על־קבוצה (>= או issuperset()):

set1 = {1, 2, 3}
set2 = {1, 2}
is_superset = set1 >= set2
print(is_superset)
# פלט: True

במקרה הזה, set1 היא קבוצת-על של set2 כי set1 מכילה את כל האיברים של set2.

בדיקה אם זו קבוצת־על ממש (>):

set1 = {1, 2, 3}
set2 = {1, 2}
is_proper_superset = set1 > set2
print(is_proper_superset)
# פלט: True

כאן, set1 היא על־קבוצה ממש של set2, כי set1 היא על־קבוצה של set2, ו־set1 מכילה לפחות איבר אחד שאינו נמצא ב־set2.

אתגר

קל

צרו פונקציה בשם check_sets שמקבלת שני קבוצות, set1 ו-set2, כארגומנטים. הפונקציה צריכה לבצע את הפעולות הבאות:

בדקו אם set1 היא תת-קבוצה של set2.
בדקו אם set2 היא קבוצת-על של set1.
בדקו אם set1 היא תת-קבוצה ממש של set2.
בדקו אם set2 היא קבוצת-על ממש של set1.
החזירו מילון שמכיל את תוצאות הפעולות האלה, עם המפתחות "is_subset", "is_superset", "is_proper_subset" ו-"is_proper_superset".

נסו בעצמכם

def check_sets(set1, set2):
    # בדוק אם set1 היא תת־קבוצה של set2
    is_subset = 

    # בדוק אם set2 היא קבוצת־על של set1
    is_superset = 

    # בדוק אם set1 היא תת־קבוצה ממש של set2
    is_proper_subset = 

    # בדוק אם set2 היא קבוצת־על ממש של set1
    is_proper_superset = 

    # החזר מילון המכיל את התוצאות
    return {
        "is_subset": is_subset,
        "is_superset": is_superset,
        "is_proper_subset": is_proper_subset,
        "is_proper_superset": is_proper_superset
    }