投票算法最后留下一个名字，就代表它超过半数了吗？

"""Strict majority for replayable string sequences; candidate then verification."""
from collections import Counter
from itertools import product


def require(condition, message):
    if not condition:
        raise AssertionError(message)


def majority(values, trace=False):
    if not isinstance(values, (list, tuple)):
        raise TypeError("a replayable list or tuple is required")
    if any(type(value) is not str for value in values):
        raise TypeError("this example accepts string labels only")
    candidate, balance, events = None, 0, []
    for index, value in enumerate(values):
        if balance == 0:
            candidate, balance = value, 1
        elif value == candidate:
            balance += 1
        else:
            balance -= 1
            if balance == 0:
                candidate = None
        if trace:
            events.append((index, value, candidate, balance))
    frequency = sum(value == candidate for value in values) if balance else 0
    verified = candidate if frequency * 2 > len(values) else None
    return candidate, balance, frequency, verified, events


def oracle(values):
    winners = [key for key, count in Counter(values).items() if count * 2 > len(values)]
    require(len(winners) <= 1, "strict majority is unique")
    return winners[0] if winners else None


def main():
    values = list("AAABBCC")
    candidate, balance, frequency, verified, events = majority(values, trace=True)
    print(f"values={values}")
    for index, value, current, remaining in events:
        print(f"i={index}; value={value}; candidate={current}; balance={remaining}")
    print(f"candidate={candidate}; balance={balance}; frequency={frequency}; majority={verified}")
    require((candidate, balance, frequency, verified) == ("C", 1, 2, None), "false candidate")
    for label, data in [("has_majority", list("AAAABBC")), ("exact_half", list("AABB")),
                        ("empty", []), ("single", ["Z"])]:
        c, b, f, result, _ = majority(data)
        require(result == oracle(data), label)
        print(f"{label}: candidate={c}; balance={b}; frequency={f}; majority={result}")
    rejected = 0
    for unsupported in [iter(["A", "A"]), [None], [1]]:
        try:
            majority(unsupported)
        except TypeError:
            rejected += 1
        else:
            raise AssertionError("unsupported input accepted")
    cases = 0
    for length in range(9):
        for data in product("ABC", repeat=length):
            expected = oracle(data)
            require(majority(data)[3] == expected, data)
            require(majority(tuple(reversed(data)))[3] == expected, "reversal changed answer")
            cases += 1
    print(f"oracle_sequences={cases}; reversed_sequences={cases}; rejected_inputs={rejected}")
    print("PASS")


if __name__ == "__main__":
    main()