一, 什么是队列
队列 queue 是只允许在一端进行插入操作, 而在另一端进行删除操作的线性表.
队列是先进先出的线性表, 简称 FIFO. 允许插入的一端称为队尾, 允许删除的一端称为队头. 如下图所示
例如聊天室消息发送就是队列形式, 先发出去的消息会先显示, 后发的会后显示.
二, 队列的抽象数据类型
队列的抽象数据类型与线性表的基本相同, 只不过插入删除的位置有限制.
ADT Queue
Data
同线性表, 相邻的元素具有前驱后继关系
Operation
InitQueue(*Q): 初始化操作
DestroyQueue(*Q): 若队列 Q 存在, 销毁他
ClearQueue(*Q): 将队列 Q 清空
QueueEmpty(Q): 若队列 Q 为空, 返回 true, 否则返回 false
GetHead(Q,*e): 若 Q 存在且非空, 用 e 返回队首元素
EnQueue(*Q,e): 若 Q 存在, 插入新元素 e 到队尾
DeQueue(*Q,*e): 删除 Q 中的队首元素, 并用 e 返回其值
QueueLength(Q): 返回队列 Q 的元素个数
endADT
三, 循环队列
1, 在看循环队列之前, 我们首先看一下普通的顺序存储队列.
顺序存储队列由数组实现, 下标 0 一端作为初始队首, 另一端作为队尾, 初始化数组大小应该比要存储的数据要大, 以方便插入. 我们声明一个队首指针 front 指向第一个元素, 一个队尾指针 rear 指向队尾元素的下一个位置.
每删除一个元素, 队首指针就向后移动一个格子, 每插入一个元素, 队尾指针也向后移动一个格子.
这样实现的队列有什么弊端? 由于数组的大小是固定的, 尽管设计者可能考虑到声明一个足够大的数组, 在经年累月的插入删除后, 数组空间总有用完的一天, 这时候只能想办法来扩容. 但是此时数组的前端还剩下许多由于删除而没有使用的空间, 这种现象叫做 "假溢出". 为了解决这种现象, 我们考虑使用循环队列.
2, 循环队列
解决假溢出的办法就是后面满了, 就再从头开始, 也就是头尾相接的循环. 这就是循环队列. 当数组后端位置用到最后一个时, 让 front 指向 0 位置, 这样不会造成指针指向不明的问题.
现在解决了空间浪费和假溢出的问题, 但是现在如何判断队列是满呢? 当 front=rear 时, 队列是空还是满呢?
我们设队列的最大长度为 QueueSize, 且让队列满时, 保留一个元素空间. 也就是说 array.size - 1 = QueueSize. 这时队列满的条件为(rear + 1) % QueueSize == front.
另外, 通用的队列当前长度计算方法为(rear - front + QueueSize) % QueueSize.
3, 循环队列的实现
- package Queue;
- public class ArrayQueueDemo<T> {
- /*
- 仿照 JDK1.8 中的 ArrayQueue 实现一个简单的循环队列, 有些许不同
- JDK 13 中为什么没找到 ArrayQueue?
- */
- private Object[] queue;
- private int capacity; // 实际要装的数据个数
- private int front;
- private int rear;
- public ArrayQueueDemo(int capacity){
- this.capacity = capacity + 1;
- this.queue = new Object[capacity + 1]; //+1 之后是数组长度, 因为要预留一个空位置给 rear. 文中提到的 QueueSize 是没有 + 1 的 capacity
- this.front = 0;
- this.rear = 0;
- }
- public void add(T data){
- queue[rear] = data;
- int newRear = (rear + 1) % capacity;
- if (newRear == front){
- throw new IndexOutOfBoundsException();
- }
- rear = newRear;
- }
- public T remove(){
- if (isFull()){
- throw new IndexOutOfBoundsException();
- }
- Object removed = queue[front];
- queue[front] = null;
- front = (front + 1) % capacity;
- return (T)removed;
- }
- /**
- * 返回最大队列长度
- * @return 最大
- */
- public int capacity(){
- return capacity;
- }
- /**
- * 返回当前队列大小
- * @return
- */
- public int size(){
- return (rear - front + capacity - 1) % (capacity - 1);
- }
- public boolean isFull(){
- return (rear + 1) % (capacity - 1) == front;
- }
- }
四, 队列的链式存储结构及实现.
队列的脸书存储结构, 就是线性表的单链表, 只不过限制了只能尾进头出. 我们把它简称为链队列. 为了操作方便, 我们把队头指针指向链表的表头, 队尾指针指向链表的表尾. 空队列时, front 和 rear 都指向头结点.
由于 JDK 中没有单纯的链式队列, 且链式队列的实现很简单, 所以我选择在这里实现一下 PriorityQueue
五, PriorityQueue 这部分参考和转载自
优先队列是在入队时自动按照自然顺序或者给定的比较器排序的队列.
优先队列是通过数组表示的小顶堆实现的. 小顶堆可以理解为, 父结点的权值总是不大于子节点的完全二叉树.
上图中我们给每个元素按照层序遍历的方式进行了编号, 如果你足够细心, 会发现父节点和子节点的编号是有联系的, 更确切的说父子节点的编号之间有如下关系:
- leftNo = parentNo*2+1
- rightNo = parentNo*2+2
- parentNo = (nodeNo-1)/2
通过上述三个公式, 可以轻易计算出某个节点的父节点以及子节点的下标. 这也就是为什么可以直接用数组来存储堆的原因.
PriorityQueue 的 peek()和 element 操作是常数时间, add(), offer(), 无参数的 remove()以及 poll()方法的时间复杂度都是 log(N).
方法剖析
add()和 offer()
add(E e)和 offer(E e)的语义相同, 都是向优先队列中插入元素, 只是 Queue 接口规定二者对插入失败时的处理不同, 前者在插入失败时抛出异常, 后则则会返回 false. 对于 PriorityQueue 这两个方法其实没什么差别.
新加入的元素可能会破坏小顶堆的性质, 因此需要进行必要的调整.
Poll()方法的实现原理如下
首先记录 0 下标处的元素, 并用最后一个元素替换 0 下标位置的元素, 之后调用 siftDown()方法对堆进行调整, 最后返回原来 0 下标处的那个元素 (也就是最小的那个元素). 重点是 siftDown(int k, E x) 方法, 该方法的作用是从 k 指定的位置开始, 将 x 逐层向下与当前点的左右孩子中较小的那个交换, 直到 x 小于或等于左右孩子中的任何一个为止.
PriorityQueue 的简易代码实现:
- package Queue;
- import java.util.Arrays;
- import java.util.Comparator;
- /*
- 优先队列的作用是能保证每次取出的元素都是队列中权值最小的
- (Java 的优先队列每次取最小元素, C++ 的优先队列每次取最大元素).
- 这里牵涉到了大小关系, 元素大小的评判可以通过元素本身的自然顺序(natural ordering),
- 也可以通过构造时传入的比较器.
- */
- public class PriorityQueueDemo<T> {
- private Object[] queue;
- private int size;
- private Comparator<? super T> comparator;
- public PriorityQueueDemo(int capacity){
- queue = new Object[capacity];
- size = 0;
- }
- public PriorityQueueDemo(int capacity,Comparator<? super T> comparator){
- this.comparator = comparator;
- queue = new Object[capacity];
- size = 0;
- }
- /**
- * 这里给出一个堆排序初始化一个小顶堆队列的方法
- * @param data 要被排序的数组
- * @param comparator 定义比较方式的比较器
- */
- public PriorityQueueDemo(T[] data, Comparator<T> comparator) throws Exception {
- int capacity = data.length;
- queue = new Object[capacity];
- size = 0;
- this.comparator = comparator;
- for (int i = 0; i <data.length; i++) {
- add(data[i]);
- }
- }
- public void add(T data) throws Exception {
- int i = size;
- if (data == null){
- throw new Exception();
- }else if (i>= queue.length){
- grow(i);
- }
- if (size == 0){
- queue[0] = data;
- size++;
- }
- else {
- queue[i] = data;
- shiftUp(i, data);
- size++;
- }
- }
- public T poll(){
- if (size == 0){
- throw new NullPointerException();
- }
- T polled = (T)queue[0];
- int s = --size;
- T x = (T)queue[s];
- queue[0] = queue[s];
- queue[s] = null;
- if (s != 0){
- shiftDown(0,x);
- }
- return polled;
- }
- private void shiftDown(int i, T x) {
- // 父节点是否大于子节点的标志
- // 若为 true, 则需要进入循环.
- boolean flag = true;
- while(flag) {
- int child = (i <<1) + 1;
- T smallerChild = (T) queue[child];
- int right = child + 1;
- if (right>= size || child>= size){
- flag = false;
- break;
- }
- if (comparator.compare(smallerChild, (T) queue[right])> 0) {
- child = right;
- smallerChild = (T) queue[child];
- }
- if (comparator.compare(x, smallerChild) <= 0) {
- flag = false;
- break;
- }
- queue[i] = smallerChild;
- i = child;
- }
- queue[i] = x;
- }
- /**
- * 新结点上浮
- * @param i i 的初始值是 size 的引用, 即尾指针的位置.
- * @param data 新结点的数据
- */
- // 理解.
- private void shiftUp(int i,T data) {
- while(i> 0) {
- int parent = (i - 1)>>> 1;
- Object e = queue[parent];
- if (comparator.compare(data, (T)e)>= 0) {
- break;
- }
- queue[i] = e;
- i = parent;
- }
- queue[i] = data;
- }
- private void grow(int i) {
- Object[] newQueue = Arrays.copyOf(queue, i + 1);
- this.size++;
- }
- }
来源: https://www.cnblogs.com/Joey777210/p/11967893.html