Ti riporto uno schema che dovrebe chiarirti come si susseguono le chiamate ricorsive; ogni chiamata si dirama in due sottochiamate, la prima imposta il corrente indice k a 0 e l'altra imposta il corrente indice k a 1; l'ordine con cui sono eseguite le chiamate è quello mostrato dalle lettere sugli archi dell'albero; SI = Sottoinsiemi

codice:
                                       
                                       _____D_____SI([000],3,3)
                                      |
                                      |
                      ______C____SI([000],2,3)
                     |                |  
                     |                |______E______SI([001],3,3)
                     |                
        ___B___SI([000],1,3)            _____G______SI([010],3,3)
       |             |                 |
       |             |                 |          
       |             |_____F_____ SI([010],2,3)  
       |                               |        
       |                               |_____H_______SI([011],3,3)
       |                               
       |                                           
       |
A SI([000],0,3)                         
       |                               ______M_______SI([100],3,3)
       |                              |
       |                              |            
       |              _____L_____SI([100],2,3)                 
       |             |                |     
       |             |                |______N_______SI([101],3,3)
       |             |
       |___I____SI([100],1,3)          ______P______SI([110],3,3)
                     |                |        
                     |                |           
                     |____O_____SI([110],2,3)
                                      |
                                      |______Q______SI([111],3,3)