数据结构三元组的规则与正确性判断程序

在学习数据结构时，我们可能会用到N元组这个概念。尤其是在矩阵中，矩阵的元的行、列、值即构成一个三元组。

三元组的规则

   以矩阵为例子，下面的m代表一个矩阵。

其中m_row,m_col,m_value的长度为分别表示一个非0元的行数、列数和值，其满足列相互对应

    例如：

    int m_row[]  ={1,2,2};

    int m_col[]  ={2,2,3};

    int m_value[]={1,2,4};

    表示：在1行2列有值1，在2行2列有值2，在2行3列有值4

     m_row[0]表示第一个非0元的行数，m_row[1]表示第二个非0元的行数，以此类推

    三元组表的排列应该满足一定规则，即：

    三个数组的长度应该相等

    且他们的长度应该大于等于1

    不应该有重复的行列

    而且row必须满足单增，而在row相同的条件下，col也必须按照单增顺序排列

    例如：

    int m_row[]  ={3,1,2,2};

    int m_col[]  ={3,3,3,2};

    int m_value[]={9,5,2,4};

    是错误的，因为

    1. m_row[]  ={3,1,2,2}不满足单增

    2. 在row都是2时 m_col[]  ={3,3,3,2}对应项目（最后两项）不满足单增

    正确排序应该是：

    int m_row[]  ={1,2,2,3};

    int m_col[]  ={3,2,3,3};

    int m_value[]={5,2,4,9};

程序检测三元组的正确性

下面的程序可以检测输入的三元组的值是否正确，其中m是一个矩阵

#include<stdio.h>
#include<stdlib.h>
#include<stdbool.h>

int main(){
//--------您 可 以 修 改 以 下 代 码 ---------
    int m_rownum=3;//m的行数
    int m_colnum=3;//m的列数

    int m_row[]  ={1,2,3};
    int m_col[]  ={2,3,3};
    int m_value[]={1,2,4};
    //m的非零元三元组表
    //其中m_row,m_col,m_value的长度为分别表示一个非0元的行数、列数和值，其满足列相互对应
    //例如：
    // int m_row[]  ={1,2,2};
    // int m_col[]  ={2,2,3};
    // int m_value[]={1,2,4};
    //表示：在1行2列有值1，在2行2列有值2，在2行3列有值4

    //三元组表的排列应该满足一定规则，即：
    //三个数组的长度应该相等，且他们的长度应该大于等于1
    //且不应该有重复的行列。
    //m_row[0]表示第一个非0元的行数，m_row[1]表示第二个非0元的行数，以此类推
    //而且row必须满足单增，而在row相同的条件下，col也必须按照单增顺序排列
    //例如：
    // int m_row[]  ={3,1,2,2};
    // int m_col[]  ={3,3,3,2};
    // int m_value[]={9,5,2,4};
    //是错误的，因为
    //1. m_row[]  ={3,1,2,2}不满足单增
    //2. 在row都是2时 m_col[]  ={3,3,3,2}对应项目（最后两项）不满足单增
    //正确排序应该是：
    // int m_row[]  ={1,2,2,3};
    // int m_col[]  ={3,2,3,3};
    // int m_value[]={5,2,4,9};
    //别担心会在这里犯错，我们的程序会检测这个的。

//--------您 可 以 修 改 以 上 代 码 ---------


   
    int m_row_len=sizeof(m_row)/sizeof(m_row[0]);
    int m_col_len=sizeof(m_col)/sizeof(m_col[0]);



    int m_len=sizeof(m_value)/sizeof(m_value[0]);
   
    if(m_len<=0){
        printf("三元组表的长度为非正数，请检查！\n程序自动终止\n");
        return 0;
    }
    if(m_row_len!=m_col_len||m_row_len!=m_len){
        printf("三元组表的长度不等，请检查！\n程序自动终止\n");
        return 0;
    }


    //检查数组是否超出界限
    for(int i=0;i<m_row_len;i++){
        if(m_row[i]<=0||m_row[i]>m_rownum){
            printf("三元组表的m_row[%d]超出界限(正确范围为[1,%d],含端点)，请检查！\n程序自动终止\n",i,m_rownum);
            return 0;
        }
    }
    for(int i=0;i<m_col_len;i++){
        if(m_col[i]<=0||m_col[i]>m_colnum){
            printf("三元组表的m_col[%d]超出界限(正确范围为[1,%d],含端点)，请检查！\n程序自动终止\n",i,m_colnum);
            return 0;
        }
    }

   
   


    //检查输入的合法性
    for(int a=0;a<m_len;a++){
        for(int b=a;b<m_len;b++){
        if(m_row[a]>m_row[b]){
            printf("输入数据不满足要求,m_row[]需要为不减数列\n程序自动终止，请修改后重新运行\n");
            return 0;
        }
        if(m_row[a]==m_row[b]&&m_col[a]>m_col[b]){
            printf("输入数据不满足要求,m_col[]在m_row相同时需要为单增数列\n程序自动终止，请修改后重新运行\n");
            return 0;
        }
        if(m_row[a]==m_row[b]&&m_col[a]==m_col[b]&&a!=b){
            printf("对于M矩阵，输入数据行列有相同\n程序自动终止，请修改后重新运行\n");
            return 0;
        }
        }
        }
    
    
    printf("您输入的三元组符合要求。\n");
    return 0; 
}