Genera la primera permutación lexicográfica (vuelta atrás recursiva).

El código tiene dos problemas:

1. La función “verify_permutation” devuelve falso si encuentra un número repetido en la permutación generada, pero no comprueba si todos los números del conjunto {1,…,n} están presentes exactamente 3 veces. Por lo tanto, no garantiza que se generen todas las permutaciones posibles.

2. La función “backtracking” tiene un error lógico en la parte donde se asigna un número a un lugar vacío en la permutación. Después de asignar el número, la función debería llamar a la función “backtracking” recursivamente y luego revertir la asignación y continuar con la siguiente iteración. Sin embargo, el código actual no revierte la asignación antes de continuar, lo que da lugar a permutaciones incorrectas.

Aquí está la traducción del código corregido:

“`cpp
#include <array>
#include <iostream>

using namespace std;

int counters[100] = {3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3};

bool verify_permutation(int V[], int n, int m){
array<int,100> POZ;
POZ.fill(m);
for(int i = 1; i <= 3<em>n; i++){
if(V[i] == 0)
return false;
for(int j = 1; j <= 3</em>n; j++){
if(POZ[V[j]] < m)
return false;
POZ[V[j]] = 0;
for(int k = 1; k <= n; k++){
POZ[k]++;
}
}
}
return true;
}

int j = 1;

void backtracking(int V[], int x, int m, int n){
if(verify_permutation(V, n, m)){
for(int i = 1; i <= 3<em>n; i++)
cout << V[i] << ' ';
return;
}
for(int i = 1; i <= 3</em>n; i++){
if(counters[j] == 0)
continue;
if(V[i] != 0){
counters[V[i]]–;
continue;
}
counters[j]–;
V[i] = j;
backtracking(V, j, m, n);
counters[j]++;
V[i] = 0;
}
return;
}

int main(){
int V[31];
int n, m;
cin >> n >> m;
if(m >= n){
cout << -1;
return 0;
}
for(int i = 1; i <= 3*n; i++){
cin >> V[i];
}
backtracking(V, 1, m, n);
}
“`</int,100>