列表不是空的，的IndexError: list assignment index out of range问题

问题遇到的现象和发生背景

列表不是空的，但会弹出IndexError: list assignment index out of range的错误

问题相关代码，请勿粘贴截图

print('输入n:')
n: int = int(input())
print('输入k:')
k: int = int(input())
i: int = 1
a = list()
while i <= n: # 初始化 队
a.append(i)
i += 1

def step1():
global n
j = 1
q = 0
v = n
while v > (k - 2):
while j <= n:
j += 1
if j % k == 0:
q += 1 # 第一回合减去元素的个数
del a[j+1]
v -= 1
n = n - q
return n

def step2():
global n
g = 1
p = 0
x = n
while x > (k - 2):
while g <= n:
g += 1
if g % k == 0:
p += 1 # 第二回合减去元素的个数
del a[n + 1 - g]
x -= 1
n = n - p
return n

def main():
while n > (k - 2):
step1()
step2()
print('输出')
for x in a:
print(x, end=' ')

if name == 'main':
main()

运行结果及报错内容

我想要达到的结果

因为你在删除列表元素的时候，列表长度也在改变，原来索引的位置就变了，比如你要本来要删除a[2]和a[5]，但是当你删除a[2]之后，a[5]的元素位置就变成a[4]了，你再删a[5]可能就越界了。

print('输入n:')
n: int = int(input())
print('输入k:')
k: int = int(input())
i: int = 1
l: int = 0
u: int = 0
a = list()
b = list()
c = list()
while i <= n:  # 初始化 队
    a.append(i)
    i += 1


def step1():
    global n, b, l
    j = 1
    q = 0
    v = n
    while v > (k - 2):
        while j <= n:
            j += 1
            if j % k == 0:
                q += 1  # 第一回合减去元素的个数
                v -= 1
                b.append(j + 1)
    l = len(b) - 1
    while l >= 0:
        del a[b[l]]
        l -= 1
    n = n - q
    b = []
    return n


def step2():
    global n, u, c
    g = 1
    p = 0
    x = n
    while x > (k - 2):
        while g <= n:
            g += 1
            if g % k == 0:
                p += 1  # 第二回合减去元素的个数
                x -= 1
                c.append(n + 1 - g)
    u = len(c) - 1
    while u >= 0:
        del a[c[u]]
        u -= 1
    n = n - p
    c = []
    return n


def main():
    while n > (k - 2):
        step1()
        step2()
    print('输出')
    for x in a:
        print(x, end=' ')


if __name__ == '__main__':
    main()