2019计算机考研408数据结构大题代码实现

题目

【2019统考真题】请设计一个队列，要求满足:①初始时队列为空;②入队时，允许增加队列占用空间;③出队后，出队元素所占用的空间可重复使用，即整个队列所占用的空间只增不减;④入队操作和出队操作的时间复杂度始终保持为$O(1)$。请回答下列问题:
1）该队列是应选择链式存储结构，还是应选择顺序存储结构?
2）画出队列的初始状态，并给出判断队空和队满的条件。
3 ) 画出第一个元素入队后的队列状态。
4）给出入队操作和出队操作的基本过程。

王道给出的解答

1）顺序存储无法满足要求②的队列占用空间随着入队操作而增加。根据要求来分析:要求①容易满足;链式存储方便开辟新空间，要求②容易满足;对于要求③，出队后的结点并不真正释放，用队头指针指向新的队头结点，新元素入队时，有空余结点则无须开辟新空间，赋值到队尾后的第一个空结点即可，然后用队尾指针指向新的队尾结点，这就需要设计成一个首尾相接的循环单链表，类似于循环队列的思想。设置队头、队尾指针后，链式队列的入队操作和出队操作的时间复杂度均为$O(1)$，要求④可以满足。
因此，采用链式存储结构（两段式单向循环链表)，队头指针为front，队尾指针为rear。

2）该循环链式队列的实现可以参考循环队列，不同之处在于循环链式队列可以方便地增加空间，出队的结点可以循环利用，入队时空间不够也可以动态增加。同样，循环链式队列也要区分队满和队空的情况，这里参考循环队列牺牲一个单元来判断。初始时，创建只有一个空闲结点的循环单链表，头指针front和尾指针rear均指向空闲结点，如下图所示。

队空的判定条件: front==rear
队满的判定条件: front==rear->next

3)插入第一个元素后的状态如下图所示。

4)操作的基本过程如下:

代码实现

struct Node{  //结点 
	ElemType data;
	Node *next;
};
struct LinkQueue{ //队列 
	Node *front,*rear;
};

bool QueueEmpty(LinkQueue Q){
	//判断队列是否为空
	return Q.front==Q.rear; 
}

bool QueueFull(LinkQueue Q){
	//判断队列是否已满 
	return Q.rear->next==Q.front;
} 

void InitQueue(LinkQueue &Q){
	//初始化队列 
	Node *node=(Node*)malloc(sizeof(Node));
	node->next=node;//循环单链表
	Q.front=Q.rear=node; 
}

void destroyQueue(LinkQueue &Q){
	//销毁队列
	Node *p=Q.front->next;
	while(p!=Q.front){
		Node *r=p->next;
		free(p);
		p=r;
	}
	free(Q.front);
}

bool EnQueue(LinkQueue &Q,ElemType e){
	//元素入队，成功返回true，失败返回false
	Node *node=Q.rear;
	if(QueueFull(Q)){ //队列已满，需要开辟新节点 
		node=(Node*)malloc(sizeof(Node));
		if(node==NULL) return false;
		Q.rear->next=node;//在rear后插入一个新节点 
		node->next=Q.front;
	} 
	Q.rear->data=e;
	Q.rear=Q.rear->next;
	return true;
} 

bool DeQueue(LinkQueue &Q,ElemType &e){
	//元素出队，成功返回true，失败返回false
	if(QueueEmpty(Q)) return false;
	e=Q.front->data;
	Q.front=Q.front->next; 
	return true;
}

bool getHead(LinkQueue &Q,ElemType &e){
	//获得队头元素，成功返回true，失败返回false 
	if(QueueEmpty(Q)) return false;
	e=Q.front->data;
	return true;
}

总结

本题将循环单链表和循环队列结合在一起，是一道非常不错的题目

参考文献

[1]王道论坛. 2022年数据结构考研复习指导[M]. 北京：电子工业出版社，2021.1