为什么这个用于约瑟夫斯问题的算法在 c 中不起作用，而它在 python 中起作用？

问：

因此，我需要解决约瑟夫斯问题的一个版本，在这个版本中，我们假设我们有 n 个机器人站成一个圆圈，所有这些机器人在开始时都处于开启状态。我们开始一轮一轮地关闭机器人。 1号机器人在第一轮中被关闭，然后我们计算打开的机器人，直到我们达到k号，然后我们关闭该机器人。 这个过程一直持续到一个机器人保持开启状态。

所以问题在于，我们应该编写一个算法，将 n 和 k 作为输入，并按顺序打印每轮关闭的机器人数组。 例如，如果 n = 13 且 k = 2，则答案为 1、3、5、7、9、11、13、4、8、12、6、2

我为这个问题写了一个 python 代码，打算之后将其转换为 C 下面是 python 代码，用于显示算法的一般思路：

n = int(input())
first = list(range(1 , n + 1)) 

k = int(input())

result = [] # with n - 1 segments

def removal(i):
    while i < len(first) - 1:
        first[i] = first[i + 1]
        i += 1
    first.pop() # n -= 1

i = 0
while len(first) > 1: # n > 1
    result.append(first[i])
    removal(i)
    i += k-1
    i %= len(first)

print(result)

这是 C 版本：

#include <stdio.h>

int main()
{
    int n , k;
    scanf("%d" , &n);
    scanf("%d" , &k);
    int len = n;
    int first[n + 1];
    
    int j = 0; //Taking array first as input
    while (j < n)
    {
        first[j] = j + 1;
        j++;
    }

    int result[n - 1];
    int i = 0;
    j = 0;

    while (n > 1)
    {
        result[j] = first[i]; 
        j++;

        while (i < n-1) //Removing the i th item of array first
        {
            first[i] = first[i + 1];
            i++;
        }
        n--;
        i += (k-1);
        i %= n;

    }
    
    j = 0;
    while (j < len-1)
    {
        printf("%d " , result[j]);
        j++;
    } 

    return 0;

}

例如，在我上面提到的情况下，当 n = 13 和 k = 2 时，C 代码打印： 1 3 4 5 6 7 8 9 10 11 12 13

正如我所说，python 代码有效，但它的 C 版本无效，我无法弄清楚为什么。 谁能解释一下我应该怎么做才能修复 c 中的代码？