上三角矩阵对角线以下的元素都为零,即列坐标小于行坐标的元素都为零(若j<i;任意a[i][j]==0):

#include<stdio.h>
int main(){
    int n,a[10][10],i,j,k=1;
    scanf("%d",&n);
    for(i=0;i<n;i++)
        for(j=0;j<n;j++)
            scanf("%d",&a[i][j]);
    for(i=1;i<n;i++){
        for(j=0;j<i;j++)
        if(a[i][j]) {printf("NO\n"); k=0;}
        if(!k) break;           
    }       
    if(!(n-i)&&!(i-j-1)) printf("YES\n");
}