Различное поведение набора мощности на основе рекурсии в C и Python

При попытке реализовать метод, основанный на рекурсии, для поиска набора мощности списка, в реализации C и Python наблюдалось различное поведение. Впервые это было опробовано на Python с использованием псевдокода следующим образом.

def(f, n):
  if n<N:
    f(s+[n+1], n+1)
    f(s, n+1)

  if n==N:
    # all elements end up here

f([], 1)

Это вызывает наборы до N, начиная с 2, добавляя еще один элемент и не добавляя еще один.

Мой код c выглядит следующим образом

#include <stdint.h>
#include <stdbool.h>
#include <stdio.h>
#define u8 uint8_t


#define N 4
void f(bool *s, u8 n){


  printf("%*s", 4*n, "");
  printf("[");
  for(int i=2;i<=N;i++)
    if (s[i]) printf("%d ", i);
  printf("]\n");



  if (n<N){
    f(s, n+1);
    s[n+1] = true;
    f(s, n+1);
  }

  if (n==N){}

}

int main(){
  bool s[N+1] = {false};
  f(s, 1);
}

Чтобы избежать использования динамического списка, я использовал логический массив. Проблемный код, вероятно, — это блок if с проверкой n<N. В этом коде используются табуляции для разделения различных уровней рекурсии, чтобы упростить отладку.

То же самое для Python

N = 4
def f(s, n):
    print('\t'*n, s)
    if n<N:
        f(s+[n+1], n+1)
        f(s, n+1)
    if (n==N):
        pass
            

f([], 1)

Выход C

 []
        []
            []
                []
                [4 ]
            [3 4 ]
                [3 4 ]
                [3 4 ]
        [2 3 4 ]
            [2 3 4 ]
                [2 3 4 ]
                [2 3 4 ]
            [2 3 4 ]
                [2 3 4 ]
                [2 3 4 ]

Вывод Python

     []
         [2]
             [2, 3]
                 [2, 3, 4]
                 [2, 3]
             [2]
                 [2, 4]
                 [2]
         []
             [3]
                 [3, 4]
                 [3]
             []
                 [4]
                 []