扩张器图（expander graph），理学-计算机科学技术-计算机科学理论-概率统计-随机过程，一类具有优越连通性的稀疏图。扩张器图有组合和代数两种方式定义。组合定义：图中任意局部都与其余部分保持良好的连通性。严格地，如下定义的“图扩张度”（graph expansion）有固定下界：式中抽象地代表顶点集合的边界。代数定义：图具有较大的“谱隙”（spectral gap），即邻接矩阵的第一、第二大特征值之间的差有固定下界。通过齐格不等式（Cheeger's inequality），上述两种定义方式在度数受限的无向正则图上等价。扩张器图的定义可以自然地推广到多重图（multigraph）、有向图、带权图、超图（hypergraph）等。超图版本的扩张器图亦被称为高维扩张器（high-dimensional expander）。扩张器图的概念最初由俄罗斯数学家M.S.平斯克（Mark Semenovich Pinsker）等人于20世纪70年代在对电信交换网络的数学原理的研究中提出。后因其在计算理论方面的重要应用，获得了来自理论计算机科学领域的持续关注。