使用C语言设计算法，实现无向图的邻接矩阵存储，并验证下列无向网，其中包括五个顶点（v1,v2,v3,v4,v5）和7条边。顶点之间的连接如下：v1与v2相连，v1与v3相连，v1与v4相连，v2与v3相连，v2与v5相连，v3与v5相连，v4与v5相连

在C语言中，可以使用二维数组来实现无向图的邻接矩阵存储。邻接矩阵是一种用0和1表示图中节点间是否存在边的数据结构，其中行代表起点，列代表终点，值为1表示有边，0表示无边。

首先，我们创建一个大小为5x5的布尔型矩阵`adjMatrix`，因为总共有5个顶点：

#define NUM_VERTICES 5
int adjMatrix[NUM_VERTICES][NUM_VERTICES] = {
    {0, 1, 1, 0, 0},  // v1-v2, v1-v3, v1-v4 (其他边为0)
    {1, 0, 0, 1, 1},  // v2-v1, v2-v3, v2-v5
    {1, 0, 0, 0, 1},  // v3-v1, v3-v5
    {0, 1, 0, 0, 1},  // v4-v2, v4-v5
    {0, 1, 1, 1, 0}   // v5-v2, v5-v3, v5-v4
};

接下来，我们可以编写一些函数来进行基本的无向图操作，如添加边、检查是否有边等：

// 添加边到邻接矩阵
void addEdge(int src, int dest) {
    adjMatrix[src][dest] = 1;
    adjMatrix[dest][src] = 1;  // 对称处理，由于是无向图
}

// 检查两点之间是否有边
int isConnected(int vertex1, int vertex2) {
    return adjMatrix[vertex1][vertex2];
}

至于提供的那个具体的无向网，已经直接在邻接矩阵中体现出来了。例如，`isConnected(1, 2)`会返回1，表明v1与v2相连。