小妹是键盘数学家、30cm、E cup、温拿、高富帅、胜利组。
在图论（graph theory）中，无向图（undirected graph）指的是一堆点和其间的边，其
中每个边可以将两个点连起来、并且没有特定的方向。以下将“无向图”都简称为“图”
。
如果一个图中，每个点接触的边数都相同，则称之为正规图（regular graph）。
图的相邻矩阵（adjacency matrix）是一个方阵（square matrix），其中第i列第j栏表
示是否有边连接第i点与第j点，若有，则第i列第j栏为1、否则为0。
正规图的相邻矩阵的最大特征值（eigenvalue）会等于每个点接触到的边数，如果除了最
大特征值外，诸特征值取绝对值后的最大者与最大特征值相差很大，则称该图为拉马努金
图。在此不赘述“很大”是多大。
拉马努金图的诸多性质与随机正规图很类似，对拉马努金图上的任两个点集S、T而言，
S、T之间的边数会与随机正规图上S、T间的边数相仿，这是扩张混合引理（expander
mixing lemma）的特例。
对各种有一定机率犯错的随机算法而言，我们可借由重复执行该算法多次、并取诸次
输出的多数决，来减小错误机率，这个过程中需要的乱数个数可利用拉马努金图有效地减
少。
拉马努金图是一种扩张图（expander graph），一个悬宕多年的问题是：如何利用最少的
内存判断任意给定图中的两点是否能用一条路径连起来，这个问题在数年前被利用扩张
图解决了。
※ 引述《ma4wanderer (师大之狼)》之铭言：
: 大家好 乳头 坚挺!!
: 拉马努金，除了谷山丰、艾迪续以外，哥崇拜的数学家之一
: 家里穷，没受过正规高等数学教育，32岁英年早逝
: 但在仓促的一生中写下上千条恒等式
: 能在他的诸多恒等式中看出他惊人的洞察力，如
: 1/PI=(2sqrt(2)/9801)＊ sum{ [(4k)!(1103+26390k)] / [(k!)^4＊369^(4k)] }
: 传说哈代探望拉马努金病情的时候，哈代说他搭车牌1729的出租车来，
: 哈代说这个数字没什么特别之处，相当无趣
: 拉马努金跟他说，1729很有趣，
: 1729能写成两个数的立方和，而且有两种表示：1729=1^3+12^3=9^3+10^3
: 不只如此，这种情况下，1729是最小的
: 告诉我有没有拉马努金的八卦，好扑好!!