คุณสมบัติของโปรแกรม · ดัชนีผู้รอดในปัญหาโจเซฟัส

def josephus_index(count, step):
    if type(count) is not int or not 1 <= count <= 10000:
        raise ValueError("circle.count")
    if type(step) is not int or not 1 <= step <= 1000000:
        raise ValueError("circle.step")
    survivor = 0
    for size in range(2, count + 1):
        survivor = (survivor + step) % size
    return survivor