Nodo *aux = superior;
while(aux != NULL){
  archivo << aux->indice.id << " | " << aux->indice.NumeroCompras << endl;
  aux = aux->sigue;
} 

Chavalote! Este no te lo puedo bendecir... Tiene un sutil fallo. Te digo cual?
Prueba a evaluar la matriz de 1 fila y 1 columna...
El resultado es indeterminado... porque entonces accedes a una posicion tal como A[0][-1]  . Si acierta, dependera del compilador, o de la conjunci'on de los astros...
Que pasa? que las matrices de 1 fila y 1 columna no son matrices???  Prueba [[1]]!  

 return (N == 1 || (i == N && !A[N-1][N-2])); 

 Bravo... Correcta... pero aun redundante... ya que en

Código

 j=(j<i)||A[i][j-1] 

es equivalente a

Código

 j=(j<i) 

 archivo.close(); 

while(aux != NULL){
  archivo << aux;
  aux = aux->sigue;
}
archivo.close(); 

Hmmm.... Correcta!  

Una objección:

•  La tecnica es estructurada, pero emplea 3 variables... trinangular_superior es redundante...

Se puede conseguir una solucion estructurada y con solo 2 variables locales?

A[i][j] == 0

int upperTriangleDesc(const int **A, const int N){
    size_t i = 1; j = 0; // Declaramos e inicializamos j para poder usarlo en la condicion del bucle externo
    while(i < N && !A[i][j]){
        // El bucle interno no tiene ninguna complicacion
        while(j < i && !A[i][j]){
            ++j;
        }
        // Ahora al salir tenemos dos situaciones:
        // - (j = i) y en tal caso la matriz todavia es triangular superior -> Incrementamos i y restablecemos j a 0 para recorrer otra fila
        // - (A[i][j] != 0) y en tal caso la matriz ya no es triangular superior -> No podemos modificar i ni j para que el bucle de fuera tambien termine
        if(j == i){
            ++i;
            j = 0;
        }
    }
    // Los bucles acaban cuando:
    // Un elemento no es nulo (A[i][j] != 0) -> !triangular
    // Llegamos al final (i == N) -> SI A[N-1][N-2] == 0 ENTONCES triangular SINO !triangular
    return (i == N && !A[N-1][N-2]);
} 

• Todos los elementos de la fila son nulos -> j = i -> triangular (de momento)
• El último elemento comprobado no era nulo -> j < i

int upperTriangleDesc(const int **A, const int N){
    size_t i = 1, j = 0;
    while(i < N && !j){
        while(j < i && !A[i][j]){
            ++j;
        }
        // Al salir: SI j < i ENTONCES A[i][j] != 0 SINO SI A[i][j-1] == 0 ENTONCES triangular (de momento) SINO !triangular
        j = (j < i) || A[i][j-1];
        ++i;
    }
    // Triangular <-> j = 0
    return !j;
} 

• Se empieza en la fila 1
• Para cada fila i se recorren las columnas desde 0 hasta i-1.

int upperTriangleDesc(const int **A, const int N){
	int triangular_superior = 1;
	for(size_t i = 1; i < N && triangular_superior; ++i)
		for(size_t j = 0; j < i && triangular_superior; ++j)
			triangular_superior = (A[i][j] == 0);
	return triangular_superior;
} 

#include <stdlib.h> // Para las funciones rand() y srand()
#include <time.h> // Para la funcion time()
 
int main(){
  // Se establece una semilla que es como un generador de numeros aleatorios.
  // Una semilla con un valor x siempre genera los mismos numeros aleatorios en cada ejecucion. 
  // Para que sea mas aleatorio se usa time(NULL) para usar la hora del sistema y que cambie con cada ejecucion.
  srand(time(NULL));
 
  int numeroAleatorio = rand();
  // El numero aleatorio esta entre 0 y la constante RAND_MAX.
  printf("Numero aleatorio entre %d y %d: %d", 0, RAND_MAX, numeroAleatorio);
 
  // Para obtener un numero entre [a, b):
  numeroAleatorio = a + rand() % (b-a);
 
  // Para obtener un numero entre [a, b]:
  numeroAleatorio = a + rand() % (b-a+1);
}