Python的差集運算 - 何者更快?