dijsktra deberías de poner mas retos como este  

int lowerTriangleDesc(const int **A, 
		      const int N)
{
  // Start code here.
  return 1;
}

3
1 0 0 
0 1 0 
0 0 1
lowerTriangleDesc: 1
3
1 2 3
0 4 5
0 0 6
lowerTriangleDesc: 0
3
1 2 3
2 4 5
0 0 6
lowerTriangleDesc: 0
5
1 0 0 0 0
1 2 0 0 0 
1 2 3 0 0
1 2 3 4 0
1 2 3 4 5
lowerTriangleDesc: 1
5
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 1 0
0 0 0 0 1
lowerTriangleDesc: 1
1
1
lowerTriangleDesc: 1
1
0
lowerTriangleDesc: 1

1 2 3    1 2 3    
0 4 5    0 4 5
0 0 2    0 0 0

1 2 3    1 2 3    
0 4 5    2 4 5
0 2 2    0 0 0

5
1 2 3 0 0
0 4 5 0 0 
0 0 0 1 1
0 0 0 3 1
0 0 0 0 1
upperTriangleDesc: 1
3 
1 2 3
0 4 5
0 2 0
upperTriangleDesc: 0
3 
1 2 3
0 4 5
0 0 0
upperTriangleDesc: 1

int upperTriangleDesc(const int **A, 
		      const int N)
{
// Start coding here
    return 0 ; 
}
 
int main(int argc, char *args[])
{
  int **A;
  int N;
  for( ; scanf("%d",&N)==1; )
    {
      if  ((A=(int**)malloc(N*sizeof(int *)))==NULL)
	{
	  perror("calloc");
	  exit(1);
	}
      for(int n=0;n<N;n++)
	{
	  if  ((A[n]=(int*)malloc(N*sizeof(int)))==NULL)
	    {
	      perror("calloc");
	      exit(1);
	    }
	  for(int m=0;m<N;m++)
	    if (scanf("%d",&A[n][m])!=1)
	      {
		perror("scanf");
		exit(1);
	      }
	}
      printf("upperTriangleDesc: %d\n",upperTriangleDesc((const int **)A,N));
      for(int n=0;n<N;n++)
	free(A[n]);
      free(A);
    }
  return 0;
}

• Una misma ficha azul puede ver a las otras azules contiguas en su misma fila y columna, excluyendo ella misma
• Las fichas rojas rompen la contigüidad entre las azules
• Haz click en las fichas para cambiar sus colores. Las fichas "clavadas" del principio no se pueden cambiar
• Los numeros (A/B) describen cuantas fichas azules debe ver cada ficha azul (B) y cuantas ve relamente (A).
• Como mínimo, cualquier ficha azul debe ver otra ficha azul

• El primer problema pide demostrar que el programa dado acaba
• El segundo dice que cuando acabe, el sistema sacará la llamada correspondiente al assert.  

iterator erase (iterator position);

#include <iostream>
#include <list>
#include <algorithm>
using namespace std;
 
// P : length(l) >= 0 , 0 <= i < length(l)  ,k >= 0
void invertSegment(list<char>& l, const int i, const int k){
  list<char>::const_iterator it1,it2;
  it1 = next(l.begin(),i);  //O(l)
  it2 = next(l.begin(),min(i+k,(int)l.size())); // O(i+k)
  for(it2--;it2!=it1 ;it2-- ) // O(k))
    {
      l.insert(it1,*it2);  // O(1)
      it2=l.erase(it2);
    }
  return;    
}
 
 
 
int main() {
  list<char> l;
  int N, i, k;
  char c;
  for ( ; cin >> N >> i >> k; )
    {
      l.clear();
      for (int n = 0; n < N; n++)
	{
	cin >> c ; l.push_back(c);
	}
      invertSegment(l,i,k);
      for (list<char>::const_iterator it=l.begin(); it!=l.end(); it++) cout << *it << " ";
      cout << endl;
    }
  return true;
}
 

 it2=l.erase(it2);

 l.erase(it2);

6 1 2
1 2 3 4 5 6 
1 3 2 4 5 6 
6 1 4
1 2 3 4 5 6
1 5 4 3 2 6 
6 1 5
1 2 3 4 5 6
1 6 5 4 3 2 
6 0 6
1 2 3 4 5 6
6 5 4 3 2 1 

>>> n,a,x = 100000, 350, 449
>>> n,a,x
(100000, 350, 449)
>>> a == sum(range(x,n+1)) - sum(range(0,x+1))
False
>>> a ,  sum(range(x,n+1)) - sum(range(0,x+1))
(350, 4999848399)

 (n-x)x+(n-x)=a

>>> n,x
(100000, 449)
>>> (n-x)*x+(n-x) ==  sum(range(x,n+1)) - sum(range(0,x+1))
False
>>> (n-x)*x+(n-x) , sum(range(x,n+1)) - sum(range(0,x+1))
(44797950, 4999848399)

n(n+1) = 2(a+x^2)

'''
   P :  N >= 0 and a > 0
   Q : x = min i : 0 <= i <= N and N(N+1)==2(a +i^2) : i 
'''
def partition(N,a):
    m = 0
    while (m<=N) and (N*(N+1)!=2*(a+m*m)):
        m=m+1
    return (None if m>N else m)

>>> for n in range(5,10):     
        for a in range(6,10): 
            print n,a , " => Sol : " , partition(n,a)

5 6  => Sol :  3
5 7  => Sol :  None
5 8  => Sol :  None
...
9 7  => Sol :  None
9 8  => Sol :  None
9 9  => Sol :  6

>>> n,a,x = 5,6,3
>>> n,a,x
(5, 6, 3)
>>> a == sum(range(x,n+1)) - sum(range(0,x+1))
True
>>> a , sum(range(x,n+1)) - sum(range(0,x+1))
(6, 6)