环形数组技巧

简介: 环形数组通过模运算在逻辑上形成闭环,利用start和end双指针实现头尾O(1)增删。虽物理结构仍为线性数组,但通过取余操作使指针循环跳转,结合左闭右开区间设计,高效支持动态扩容缩容,适用于队列、双端队列等场景。

😸一句话总结
环形数组技巧利用求模(余数)运算,将普通数组变成逻辑上的环形数组,可以让我们用 O(1) 的时间在数组头部增删元素。
环形数组原理
数组可能是环形的么?不可能。数组就是一块线性连续的内存空间,怎么可能有环的概念?
但是,我们可以在「逻辑上」把数组变成环形的,比如下面这段代码:
// 长度为 5 的数组
int[] arr = new int[]{1, 2, 3, 4, 5};
int i = 0;
// 模拟环形数组,这个循环永远不会结束
while (i < arr.length) {
System.out.println(arr[i]);
i = (i + 1) % arr.length;
}
这段代码的关键在于求模运算 %,也就是求余数。当 i 到达数组末尾元素时,i + 1 和 arr.length 取余数又会变成 0,即会回到数组头部,这样就在逻辑上形成了一个环形数组,永远遍历不完。
这就是环形数组技巧。这个技巧如何帮助我们在 O(1) 的时间在数组头部增删元素呢?
是这样,假设我们现在有一个长度为 6 的数组,现在其中只装了 3 个元素,如下(未装元素的位置用 标识):
[1, 2, 3,
, , ]
现在我们要在数组头部删除元素 1,那么我们可以把数组变成这样:
[, 2, 3, , , ]
即,我们仅仅把元素 1 的位置标记为空,但并不做数据搬移。
此时,如果我们要在数组头部增加元素 4 和元素 5,我们可以把数组变成这样:
[4, 2, 3, , , 5]
你可以看到,当头部没有位置添加新元素时,它转了一圈,把新元素加到尾部了。
核心原理
上面只是让大家对环形数组有一个直观地印象,环形数组的关键在于,它维护了两个指针 start 和 end,start 指向第一个有效元素的索引,end 指向最后一个有效元素的下一个位置索引。
这样,当我们在数组头部添加或删除元素时,只需要移动 start 索引,而在数组尾部添加或删除元素时,只需要移动 end 索引。
当 start, end 移动超出数组边界(< 0 或 >= arr.length)时,我们可以通过求模运算 % 让它们转一圈到数组头部或尾部继续工作,这样就实现了环形数组的效果。
动手环节
关键点、注意开闭区间
在我的代码中,环形数组的区间被定义为左闭右开的,即 [start, end) 区间包含数组元素。所以其他的方法都是以左闭右开区间为基础实现的。
那么肯定就会有读者问,为啥要左闭右开,我就是想两端都开,或者两端都闭,不行么?
理论上,你可以随意设计区间的开闭,但一般设计为左闭右开区间是最方便处理的。
因为这样初始化 start = end = 0 时,区间 [0, 0) 中没有元素,但只要让 end 向右移动(扩大)一位,区间 [0, 1) 就包含一个元素 0 了。
如果你设置为两端都开的区间,那么让 end 向右移动一位后开区间 (0, 1) 仍然没有元素;如果你设置为两端都闭的区间,那么初始区间 [0, 0] 就已经包含了一个元素。这两种情况都会给边界处理带来不必要的麻烦,如果你非要使用的话,需要在代码中做一些特殊处理。
最后,我给出一个支持泛型的 Java 实现,你可以参考一下:
public class CycleArray {
private T[] arr;
private int start;
private int end;
private int count;
private int size;

public CycleArray() {
    this(1);
}

@SuppressWarnings("unchecked")
public CycleArray(int size) {
    this.size = size;
    // 因为 Java 不支持直接创建泛型数组,所以这里使用了类型转换
    this.arr = (T[]) new Object[size];
    // start 指向第一个有效元素的索引,闭区间
    this.start = 0;
    // 切记 end 是一个开区间,
    // 即 end 指向最后一个有效元素的下一个位置索引
    this.end = 0;
    this.count = 0;
}

// 自动扩缩容辅助函数
@SuppressWarnings("unchecked")
private void resize(int newSize) {
    // 创建新的数组
    T[] newArr = (T[]) new Object[newSize];
    // 将旧数组的元素复制到新数组中
    for (int i = 0; i < count; i++) {
        newArr[i] = arr[(start + i) % size];
    }
    arr = newArr;
    // 重置 start 和 end 指针
    start = 0;
    end = count;
    size = newSize;
}

// 在数组头部添加元素,时间复杂度 O(1)
public void addFirst(T val) {
    // 当数组满时,扩容为原来的两倍
    if (isFull()) {
        resize(size * 2);
    }
    // 因为 start 是闭区间,所以先左移,再赋值
    start = (start - 1 + size) % size;
    arr[start] = val;
    count++;
}

// 删除数组头部元素,时间复杂度 O(1)
public void removeFirst() {
    if (isEmpty()) {
        throw new IllegalStateException("Array is empty");
    }
    // 因为 start 是闭区间,所以先赋值,再右移
    arr[start] = null;
    start = (start + 1) % size;
    count--;
    // 如果数组元素数量减少到原大小的四分之一,则减小数组大小为一半
    if (count > 0 && count == size / 4) {
        resize(size / 2);
    }
}

// 在数组尾部添加元素,时间复杂度 O(1)
public void addLast(T val) {
    if (isFull()) {
        resize(size * 2);
    }
    // 因为 end 是开区间,所以是先赋值,再右移
    arr[end] = val;
    end = (end + 1) % size;
    count++;
}

// 删除数组尾部元素,时间复杂度 O(1)
public void removeLast() {
    if (isEmpty()) {
        throw new IllegalStateException("Array is empty");
    }
    // 因为 end 是开区间,所以先左移,再赋值
    end = (end - 1 + size) % size;
    arr[end] = null;
    count--;
    // 缩容
    if (count > 0 && count == size / 4) {
        resize(size / 2);
    }
}

// 获取数组头部元素,时间复杂度 O(1)
public T getFirst() {
    if (isEmpty()) {
        throw new IllegalStateException("Array is empty");
    }
    return arr[start];
}

// 获取数组尾部元素,时间复杂度 O(1)
public T getLast() {
    if (isEmpty()) {
        throw new IllegalStateException("Array is empty");
    }
    // end 是开区间,指向的是下一个元素的位置,所以要减 1
    return arr[(end - 1 + size) % size];
}

public boolean isFull() {
    return count == size;
}

public int size() {
    return count;
}

public boolean isEmpty() {
    return count == 0;
}

}
文末思考
数组增删头部元素的效率真的只能是 O(N) 么?
我们都说,在数组增删头部元素的时间复杂度是 O(N),因为需要搬移元素。但是,如果我们使用环形数组,其实是可以实现在 O(1) 的时间复杂度内增删头部元素的。
当然,上面实现的这个环形数组只提供了 addFirst, removeFirst, addLast, removeLast 这几个方法,并没有提供 我们之前实现的动态数组 的某些方法,比如删除指定索引的元素,获取指定索引的元素,在指定索引插入元素等等。
但是你可以思考一下,难道环形数组实现不了这些方法么?环形数组实现这些方法,时间复杂度相比普通数组,有退化吗?好像没有吧。环形数组也可以删除指定索引的元素,也要做数据搬移,和普通数组一样,复杂度是 O(N);环形数组也可以获取指定索引的元素(随机访问),只不过不是直接访问对应索引,而是要通过 start 计算出真实索引,但计算和访问的时间复杂度依然是 O(1);环形数组也可以在指定索引插入元素,当然也要做数据搬移,和普通数组一样,复杂度是 O(N)。
你可以思考一下是不是这样。如果是这样,为什么编程语言的标准库中提供的动态数组容器底层并没有用环形数组技巧。

相关文章
|
3月前
|
存储 人工智能 前端开发
基于若依框架+AI的养老项目
中州养老系统是专为养老院打造的一体化管理软件,覆盖来访、入住、服务、财务等全流程。分管理后台与家属端,实现机构高效运营与家属便捷互动。技术上采用Vue3+Element Plus前端,若依+SpringBoot后端,MySQL+Redis存储,集成阿里云IOT、OSS及AI工具,助力智慧养老。
|
Java Maven
IDEA 2021 整合 SSM 配置离线 Maven 3.8.1 报错大全 Since Maven 3.8.1 http repositories are blocked.
IDEA 2021 整合 SSM 配置离线 Maven 3.8.1 报错大全 Since Maven 3.8.1 http repositories are blocked.
7956 0
IDEA 2021 整合 SSM 配置离线 Maven 3.8.1 报错大全 Since Maven 3.8.1 http repositories are blocked.
|
11月前
|
存储 安全 API
如何下载旧版本的 Postman?
旧版本的 Postman 可能有助于更好地兼容不同的框架。 了解如何找到 Postman 的确切版本,以便优化你的 API 开发!
如何下载旧版本的 Postman?
|
3月前
|
存储 Java API
数组(顺序存储)基本原理
本章讲解数组的底层原理,区分静态数组与动态数组。静态数组是连续内存空间,支持O(1)随机访问,但增删效率低;动态数组基于静态数组封装,提供自动扩容与常用API,使用更便捷。通过手写动态数组,理解其增删查改实现及时间复杂度,为后续数据结构打基础。
|
3月前
|
存储 算法 索引
二叉树基础及常见类型
二叉树是数据结构的核心,不仅是红黑树、堆、图等复杂结构的基础,更蕴含递归思维,贯穿回溯、动态规划等算法。掌握二叉树,等于掌握算法之魂。本站将带你深入理解各类二叉树及其应用。
|
3月前
|
Java API
用数组实现队列/栈
使用数组实现栈时,可将动态数组尾部作为栈顶,利用其O(1)增删特性。也可用环形数组实现头部为栈顶。结合环形数组还可高效实现队列,支持O(1)的入队和出队操作,结构简洁、性能优越。(239字)
|
3月前
|
存储 API 索引
队列/栈基本原理
本文介绍栈和队列的基本原理。二者均为操作受限的数据结构:队列只允许在队尾入、队头出,符合“先进先出”(FIFO);栈则仅在栈顶进行插入和删除,遵循“先进后出”(FILO)。底层多用数组或链表实现,核心API包括push、pop、peek和size,时间复杂度均为O(1)。
|
9月前
|
安全 Java 编译器
JD-GUI,java反编译工具及原理: JavaDecompiler一个Java反编译器
Java Decompiler (JD-GUI) 是一款由 Pavel Kouznetsov 开发的图形化 Java 反编译工具,支持 Windows、Linux 和 Mac Os。它能将 `.class` 文件反编译为 Java 源代码,支持多文件标签浏览、高亮显示,并兼容 Java 5 及以上版本。JD-GUI 支持对整个 Jar 文件进行反编译,可跳转源码,适用于多种 JDK 和编译器。其原理基于将字节码转换为抽象语法树 (AST),再通过反编译生成代码。尽管程序可能带来安全风险,但可通过代码混淆降低可读性。最新版修复了多项识别错误并优化了内存管理。
7414 1
|
算法 Java 数据安全/隐私保护
App逆向百例|06|某App mfsig分析
App逆向百例|06|某App mfsig分析
1724 0
|
开发者
2024 乘风者计划全新启航!快来加入吧!
 2021年,阿里云开发者社区焕新升级,重磅推出“乘风者计划”!诚邀四海技术博主入驻社区,泼墨云间,书写天地。入驻社区,即可享丰厚权益! 新的一年,乘风者计划重磅升级!
252019 81