Eficient deduplicarea în Python

Am codat un mic cod care atribuie, pentru fiecare element dintr-o listă, un scor... Pentru a face acest lucru, am nevoie pentru a face acest lucru (cod simplificat):

group={1:["Jack", "Jones", "Mike"],
       2:["Leo", "Theo", "Jones", "Leo"],
       3:["Tom", "Jack"]}

already_chose=["Tom","Mike"]
result=[]

for group_id in group:
    name_list = group[group_id]
    y=0;x=0
    repeat=[]
    for name in name_list:
        if name in already_chose:
            y+=1
        elif name not in repeat:
            x+=1
            repeat.append(name)
    score_group=x-y
    result.append([group_id,score_group])

ieșire: [[1, 1], [2, 3], [3, 0]]

Problema este, dacă ai citit acest cod, care nu este optimizat pentru o mare enumerare (mai mult de 7000 de grupuri și 100 de nume de grupuri)...

Sper ca cineva ma poate ajuta ? Multumesc mult