Stern–Brocot 树与 Farey 序列 引入 本文介绍存储最简分数的数据结构以及其它相关概念。它们与 连分数 紧密相关,在算法竞赛中可以用于解决一系列数论问题,并可能作为某些题目的隐含背景出现。
Stern–Brocot 树 Stern–Brocot 树是一种维护分数的优雅的结构,包含所有不同的正有理数。这个结构分别由 Moritz Stern 在 1858 年和 Achille Brocot 在 1861 年独立发现。
构造 逐层构造 Stern–Borcot 树可以在迭代构造第 k 阶 Stern–Brocot 序列(Stern–Brocot sequence of order k )的过程中得到。第 0 阶 Stern–Brocot 序列由两个简单的分数组成:
0 1 , 1 0 . 此处的 1 0 严格意义上并不算是有理分数,可以理解为表示 ∞ 的最简分数。
在第 k 阶 Stern–Brocot 序列相邻的两个分数 a b 和 c d 中间插入它们的中位分数(mediant)a + c b + d ,就得到第 k + 1 阶 Stern–Brocot 序列。尽管中位分数的定义本身允许分数的约分,但是在 Stern–Brocot 树的构造中,只需要直接将分子和分母分别相加即可,而不必担心约分的问题。由此,可以迭代地构造出所有阶的 Stern–Brocot 序列。前几次迭代的结果如下:
0 1 , 1 1 , 1 0 0 1 , 1 2 , 1 1 , 2 1 , 1 0 0 1 , 1 3 , 1 2 , 2 3 , 1 1 , 3 2 , 2 1 , 3 1 , 1 0 将每次迭代中新添加的分数连结成树状结构,就得到了 Stern–Brocot 树。如下图所示:
第 k 阶 Stern–Brocot 序列,不计左右端点,就是深度为 k − 1 的 Stern–Brocot 树的中序遍历。
三元组构造 另一种等价的构造方式是以三元组
( 0 1 , 1 1 , 1 0 ) 作为根节点,且在每个节点
( a b , p q , c d ) 后都分别添加
( a b , a + p b + q , p q ) , ( p q , p + c q + d , c d ) 为左右子节点,就可以构造出整个 Stern–Brocot 树。Stern–Brocot 树的每个节点记录的三元组中,实际存储的分数是位于三元组中间的分数 p q ,而左右两个分数 a b 和 c d 是更早就出现过的分数。而且,考虑前一种构造就会发现,分数 p q 正是通过插入 a b 和 c d 的中位分数得到的。
矩阵表示与 Stern–Brocot 数系 三元组构造意味着每个 Stern–Brocot 树上的节点都对应着一个矩阵
S = ( b d a c ) . Stern–Brocot 树的根节点是单位矩阵 I ,而向左子节点移动和向右子节点移动则分别对应将当前节点矩阵右乘以矩阵
L = ( 1 1 0 1 ) , R = ( 1 0 1 1 ) . 每个节点实际对应的分数就是 f ( S ) = a + c b + d 。每个节点的矩阵 S 都可以写成一系列矩阵 L 和 R 的乘积,这也可以理解为是由 L 和 R 构成的字符串,表示了从根节点到达它的路径。将所有正的有理数唯一地表示为这样的字符串,这可以看作得到了正有理数的一种表示,故而也称作 Stern–Brocot 数系 (Stern–Brocot number system)。
建树实现 建树算法只需要模拟上述过程即可。下面是对前 n 层的 Stern–Brocot 树做中序遍历的代码。
建树 C++ Python
// In-Order Transversal of Stern-Brocot Tree till Layer N.
void build ( int n , int a = 0 , int b = 1 , int c = 1 , int d = 0 , int level = 1 ) {
if ( level > n ) return ; // Only first n layers.
int x = a + c , y = b + d ;
build ( n , a , b , x , y , level + 1 );
std :: cout << x << '/' << y << ' ' ; // Output the current fraction.
build ( n , x , y , c , d , level + 1 );
}
# In-Order Transversal of Stern-Brocot Tree till Layer N.
def build ( n , a = 0 , b = 1 , c = 1 , d = 0 , level = 1 ):
if level > n :
return
x , y = a + c , b + d
build ( n , a , b , x , y , level + 1 )
print ( f " { x } / { y } " , end = " " )
build ( n , x , y , c , d , level + 1 )
建树算法的复杂度是 O ( n 2 ) 的。
性质 接下来讨论 Stern–Brocot 树的性质。简而言之,Stern–Brocot 树是包含所有正的最简有理分数的 二叉搜索树 ,它也是分子和分母的 堆 ,也是分母和分子构成的二元组的 笛卡尔树 。如果考虑前文的三元组构造中的左右端点形成的区间,则 Stern–Brocot 树也可以看作是 [ 0 , ∞ ] 上的 线段树 。这些陈述可以通过如下的三条基本性质导出:
单调性 在上面的构造中,每一层的分数都是单调递增的。为此只需要归纳证明。因为如果 a b < c d ,那么必然有
a b < a + c b + d < c d . 这一点可以通过消去不等式的分母得出。归纳起点是 0 1 < 1 0 ,单调性也显然成立。
最简性 在上面的构造中,每个分数都是最简分数。为此同样需要归纳证明上面的构造中,每一层相邻的分数 a b 和 c d 都满足等式
b c − a d = det ( b d a c ) = 1. 根节点处是单位矩阵,这显然成立。向下移动时,乘以的矩阵 L 和 R 的行列式都是 1 ,根据 行列式 的性质可知,在下一层同样成立
det ( b b + d a a + c ) = det ( b + d d a + c c ) = 1. 对于归纳起点 0 1 和 1 0 这也是显然的。由此,根据 裴蜀定理 ,必然可知每个分数的分子和分母都是互素的,即所有分数都是最简分数。
完全性 最后,需要说明 Stern–Brocot 树包括了所有正的最简分数。因为前两条性质已经说明 Stern–Brocot 树是二叉搜索树,而任何正的最简分数 p q 必然位于 0 1 和 1 0 之间,根据二叉搜索树上做搜索的方法,二叉搜索树上没有 p q 的唯一可能性就是搜索过程无限长。这是不可能的。
假设现在已经知道
a b < p q < c d , 那么必然有
b p − a q ≥ 1 , c q − d p ≥ 1. 将两个不等式分别乘以 ( c + d ) 和 ( a + b ) ,就能够得到
( c + d ) ( b p − a q ) + ( a + b ) ( c q − d p ) ≥ a + b + c + d . 利用前面已经说明的等式 b c − a d = 1 可知
p + q ≥ a + b + c + d . 每次搜索更深入一层的时候,等式右侧都严格地增加,而左侧保持不变,因此搜索必然在有限步内停止。
查找分数 在实际应用 Stern–Brocot 树的过程中,经常需要查询给定分数在 Stern–Brocot 树上的位置。
朴素算法 因为 Stern–Brocot 是二叉搜索树,只需要通过比较当前分数和要寻找的分数的大小关系,就可以确定从根节点到给定分数的路径。将路径上向左子节点移动和向右子节点移动分别记作 L 和 R ,则每个路径就对应一个由 L 和 R 构成的字符串,这就是上文提到的有理数在 Stern–Brocot 数系中的表示。求得到达某个有理数的路径的过程就相当于求得该有理数在 Stern–Brocot 数系中的表示。
朴素的分数查找算法的实现如下:
朴素分数查找 C++ Python
// Locate a given fraction in the Stern-Brocot tree.
std :: string find ( int x , int y , int a = 0 , int b = 1 , int c = 1 , int d = 0 ) {
int m = a + c , n = b + d ;
if ( x == m && y == n ) return "" ;
if ( x * n < y * m ) {
return 'L' + find ( x , y , a , b , m , n );
} else {
return 'R' + find ( x , y , m , n , c , d );
}
}
# Locate a given fraction in the Stern-Brocot tree.
def find ( x , y , a = 0 , b = 1 , c = 1 , d = 0 ):
m = a + c
n = b + d
if x == m and y == n :
return ""
if x * n < y * m :
return "L" + find ( x , y , a , b , m , n )
else :
return "R" + find ( x , y , m , n , c , d )
算法的复杂度是 O ( p + q ) 的,因此在算法竞赛中并不实用。
在 Stern–Brocot 数系中,每个正的无理数都对应着唯一的无限长的字符串。可以使用同样的算法构造出这个字符串。这个无限长的字符串的每个前缀都对应着一个有理的最简分数。将这些最简分数排成一列,数列中的分数的分母是严格递增的,而数列的极限就是该无理数。因此,Stern-Brocot 树可以用于找到某个无理数的任意精度的有理逼近。但是,应当注意的是,这个有理数数列和无理数之间的差距并非严格递减的。对于有理逼近的严格理论,应当参考连分数页面的 丢番图逼近 一节。在实际应用 Stern-Brocot 树寻找某个实数在分母不超过某范围的最佳逼近时,最后应当注意比较左右区间端点到该实数的距离。
快速算法 查找分数的朴素算法效率并不高,但是经过简单的优化就可以得到 O ( log ( p + q ) ) 的快速查找算法。优化的关键是将连续的 L 和 R 合并处理。
如果要查找的分数 p q 落入 a b 和 c d 之间,那么连续 t 次向右移动时,右侧边界保持不动,而左侧节点移动到 a + t c b + t d 处;反过来,连续 t 次向左移动时,左侧边界保持不动,而右侧节点移动到 t a + c t b + d 处。因此,可以直接通过 a + t c b + t d < p q 或 p q < t a + c t b + d 来确定向右和向左移动的次数。此处取严格不等号,是因为算法移动的是左右端点,而要寻找的分数是作为最后得到的端点的中位分数出现的。
快速分数查找 C++ Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21 // Locate a given fraction in the Stern-Brocot tree.
auto find ( int x , int y ) {
std :: vector < std :: pair < int , char >> res ;
int a = 0 , b = 1 , c = 1 , d = 0 ;
bool right = true ;
while ( x != a + c || y != b + d ) {
if ( right ) {
auto t = ( b * x - a * y - 1 ) / ( y * c - x * d );
res . emplace_back ( t , 'R' );
a += t * c ;
b += t * d ;
} else {
auto t = ( y * c - x * d - 1 ) / ( b * x - a * y );
res . emplace_back ( t , 'L' );
c += t * a ;
d += t * b ;
}
right ^= 1 ;
}
return res ;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 # Locate a given fraction in the Stern-Brocot tree.
def find ( x , y ):
res = []
a , b , c , d = 0 , 1 , 1 , 0
right = True
while x != a + c or y != b + d :
if right :
t = ( b * x - a * y - 1 ) // ( y * c - x * d )
res . append (( t , "R" ))
a += t * c
b += t * d
else :
t = ( y * c - x * d - 1 ) // ( b * x - a * y )
res . append (( t , "L" ))
c += t * a
d += t * b
right ^= 1
return res
当前查找算法需要在分数 p q 已知。如果目标分数未知,往往需要在每次向右或向左移动时,对移动次数进行倍增查找或者二分查找。此时,分数查找算法的复杂度是 O ( log 2 ( p + q ) ) 。
基于连分数的算法 对于分数已知的情形,可以利用连分数给出更为简单的算法。不妨假设首组移动是向右的;如果不然,则设首组向右移动的次数为零。向右、向左交替移动端点,将每组移动后的端点位置排列如下:
p 0 q 0 , p 1 q 1 , p 2 q 2 , ⋯ , p n − 2 q n − 2 , p n − 1 q n − 1 , p n q n . 其中,偶数组移动是向右的,故而记录的是左端点的位置;奇数组移动是向左的,故而记录的是右端点的位置。在这一列端点前面再添加两个端点
p − 2 q − 2 = 0 1 , p − 1 q − 1 = 1 0 . 设第 k 组移动的次数为 t k ,那么根据上面得到的移动次数与端点位置之间的关系可知
p k q k = t k p k − 1 + p k − 2 t k q k − 1 + q k − 2 . 根据连分数的 递推关系 就可以知道,端点
p k q k = [ t 0 , t 1 , ⋯ , t k ] . 最后得到的连分数是
p q = p k + p k − 1 q k + q k − 1 = [ t 0 , t 1 , ⋯ , t n − 1 , t n , 1 ] . 因此,在目标分数的末尾为一的 连分数表示 中,不计最后的一,前面的项就编码了 Stern–Brocot 树上自根节点到当前节点的路径。其中,偶数项(下标自 0 开始)是向右子节点的边,奇数项是向左子节点的边。
有理数的连分数表示可以通过辗转相除法求得,因此基于连分数表示的分数查找算法的复杂度是 O ( log min { p , q } ) 的。
基于连分数的分数查找 利用连分数表示,可以简单地表达出某个节点的父节点和子节点。对于节点 [ t 0 , t 1 , ⋯ , t n , 1 ] ,它的父节点就是沿最后的移动方向少移动一步的节点:在 t k > 1 时,父节点是 [ t 0 , t 1 , ⋯ , t n − 1 , 1 ] ;否则,父节点是 [ t 0 , t 1 , ⋯ , t n − 1 , 1 ] 。它的两个子节点则分别是 [ t 0 , t 1 , ⋯ , t n + 1 , 1 ] 和 [ t 0 , t 1 , ⋯ , t n , 1 , 1 ] ;两个节点哪个是左子节点,哪个是右子节点,需要根据 n 的奇偶性判断。
Calkin–Wilf 树 另外一种更为简单的存储正有理分数的结构是 Calkin–Wilf 树。它通常如下所示:
树的根节点为 1 1 。然后,对于分数 p q 所在的节点,其左右子节点分别为 p p + q 和 p + q q 。与 Stern–Brocot 树类似,它的每个分数都是最简分数,且包括全体正的最简分数各恰好一次。
与连分数的关系 与 Stern–Brocot 树不同,Calkin–Wilf 树不是二叉搜索树,因此不能用于二分查找有理数。
在 Calkin–Wilf 树中,当 p > q 时,分数 p q 的父节点为 p − q q ;当 p < q 时,为 p q − p 。对于第一种情形,自 p q 出发,它是父节点的右子节点,可以一直通过父节点的右边向上移动,直到分子不再大于分母为止,此时节点存储的分数是 p mod q q ,本组移动的次数是 ⌊ p q ⌋ ;对于第二种情形,它是父节点的左子节点,可以一直通过父节点的左边向上移动,直到分母不再大于分子为止,此时节点存储的分数是 p q mod p ,本组移动的次数是 ⌊ q p ⌋ 。
利用连分数的语言,设当前的节点存储的是某个连分数的余项 s k ,则沿父节点的右边向上移动 ⌊ s k ⌋ 次,到达分数 1 s k + 1 ,随后沿父节点的左边移动 ⌊ s k + 1 ⌋ 次,到达分数 s k + 2 。因此,从节点 s 0 = p q 开始向上到达根节点 1 1 的路径由连分数 [ t 0 , t 1 , ⋯ , t n , 1 ] 编码:除去最后的 1 ,偶数项(下标自 0 开始)表示沿父节点的右边移动的次数,奇数项表示沿父节点的左边移动的次数。
对于分数 p q = [ t 0 , t 1 , ⋯ , t n , 1 ] 所在的节点,它的父节点有如下表示:
当 t 0 > 0 时,它的父节点为 p − q q = [ t 0 − 1 , t 1 , ⋯ , t n , 1 ] ; 当 t 0 = 0 且 t 1 > 1 时,它的父节点为 p q − p = [ 0 , t 1 − 1 , t 2 , ⋯ , t n , 1 ] ; 当 t 0 = 0 且 t 1 = 1 时,它的父节点为 p q − p = [ t 2 , t 3 , ⋯ , t n , 1 ] 。 反过来,它的子节点则分别是 p + q q = [ t 0 + 1 , t 1 , ⋯ , t n , 1 ] 和 p p + q = [ 0 , 1 , t 0 , t 1 , ⋯ , t n , 1 ] 。对于第二个子节点的连分数表示,在 t 0 = 0 时,应当理解为 [ 0 , 1 + t 1 , ⋯ , t n , 1 ] 。
与 Stern–Brocot 树的关系 同样和连分数建立起联系,Stern–Brocot 树中路径上节点呈现的是渐近分数的递归关系,而 Calkin–Wilf 树中路径上节点呈现的是余项的递归关系。同一个分数的连分数表示是一定的,因此它在 Calkin–Wilf 树上到达根节点的路径的编码和 Stern–Brocot 树的根节点到它的路径的编码是完全一样的。但是,由于路径的方向相反,所以虽然 Stern–Brocot 树和 Calkin–Wilf 树同一层存储的分数是一样的,但是位置并不相同。
如果对两个树分别做 广度优先搜索 并依次对节点编号,根节点编号为 1 ,那么编号为 v 的节点的左右子节点分别是 2 v 和 2 v + 1 。从编号的二进制表示来看,除去起始的 1 ,从高位至低位每个 1 均表示向右子节点移动,每个 0 均表示向左子节点移动。Calkin–Wilf 树上,连分数 [ t 0 , t 1 , ⋯ , t n , 1 ] 表示的有理数所在节点的编号是
1 ⋯ 0 ⋯ 0 ⏟ t 3 1 ⋯ 1 ⏟ t 2 0 ⋯ 0 ⏟ t 1 1 ⋯ 1 ⏟ t 0 . 相应地,Stern–Brocot 树上,连分数 [ t 0 , t 1 , ⋯ , t n , 1 ] 表示的有理数所在节点的编号是
1 1 ⋯ 1 ⏟ t 0 0 ⋯ 0 ⏟ t 1 1 ⋯ 1 ⏟ t 2 0 ⋯ 0 ⏟ t 3 ⋯ . 删去初始的 1 ,余下的二进制位组成的编号,恰为同一层的顶点自左向右的编号(自 0 开始)。此处的推导说明,Stern–Brocot 树和 Calkin–Wilf 树中同一层的分数的排列互为位逆序置换(bit-reversal permutation),即将下标的二进制位(补齐起始的 0 )反转得到的 0 ∼ ( 2 k − 1 ) 上的置换。
正因如此,Stern–Brocot 树上的节点有时会按照对应的 Calkin–Wilf 树上的节点编号,由此得到的编号如下图所示:
这个编号可以递归地构造:根节点编号为 1 ,每次移动到左子节点时,就将编号首位的 1 替换成 10 ,而移动到右子节点时,就将编号首位的 1 替换成 11 。对该编号自右向左解读就可以得到自根节点到该节点的路径。
Stern 双原子序列 将 Calkin–Wilf 树中的所有分数按照广度优先搜索的编号排列,或将 Stern–Brocot 树中的所有分数按照上图所示的编号排列,就得到如下序列:
1 1 , 1 2 , 2 1 , 1 3 , 3 2 , 2 3 , 3 1 , 1 4 , 4 3 , 3 5 , 5 2 , ⋯ . 利用 Calkin–Wilf 树的构造过程,可以证明,该序列中相邻的两个分数,前一个的分母必然等于后一个的分子。将分子单独列出,就得到 Stern 双原子序列(Stern diatomic sequence,OEIS A002487 ),也称为 Stern–Brocot 序列(Stern–Brocot sequence)。上述序列的编号从 1 开始,并补充规定第 0 个数是 0 。
设 a n 是 Stern 双原子序列中第 n 个数,那么,它满足如下递归关系:
a 2 n = a n , a 2 n + 1 = a n + a n + 1 . 递归起点是 a 0 = 0 和 a 1 = 1 。要求得 Stern 双原子序列中 a n 的值,直接利用递归关系复杂度为 O ( log 2 n ) ,并不优秀。更好的做法是,将它视为 Calkin–Wilf 树上编号为 n 的分数的分子,利用上文描述的基于连分数的递归关系求解,复杂度为 O ( log n ) 。
Farey 序列 Farey 序列与 Stern–Brocot 树有着极其相似的特征。记 第 n 阶 Farey 序列 (Farey sequence of order n )为 F n 。它表示把分母小于等于 n 的所有位于 [ 0 , 1 ] 之间的最简分数按大小顺序排列形成的序列:
F 1 = { 0 1 , 1 1 } F 2 = { 0 1 , 1 2 , 1 1 } F 3 = { 0 1 , 1 3 , 1 2 , 2 3 , 1 1 } F 4 = { 0 1 , 1 4 , 1 3 , 1 2 , 2 3 , 3 4 , 1 1 } F 5 = { 0 1 , 1 5 , 1 4 , 1 3 , 2 5 , 1 2 , 3 5 , 2 3 , 3 4 , 4 5 , 1 1 } 根据 Farey 序列的定义,它自然满足单调性、最简性和完全性。如上图所示,F k 相较于 F k − 1 新添加的分数总是 F k − 1 中相邻分数的中位分数。
上文中构建 Stern–Brocot 树的算法同样适用于构建 Farey 序列。因为 Stern–Brocot 树中包括所有最简分数,因此只要将边界条件修改为对分母的限制就可以得到构造 Farey 序列的代码。可以将第 n 阶 Farey 序列 F n 看作是第 n − 1 阶 Stern–Brocot 序列的子序列。
构建 Farey 序列 C++ Python
// Farey Sequence of Order N.
void build ( int n , int a = 0 , int b = 1 , int c = 1 , int d = 1 ,
bool init = true ) {
int x = a + c , y = b + d ;
if ( y > n ) return ; // Only first n layers.
if ( init ) std :: cout << "0/1 " ; // Output 0/1;
build ( n , a , b , x , y , false );
std :: cout << x << '/' << y << ' ' ; // Output the current fraction.
build ( n , x , y , c , d , false );
if ( init ) std :: cout << "1/1 " ; // Output 1/1;
}
1
2
3
4
5
6
7
8
9
10
11
12 # Farey Sequence of Order N.
def build ( n , a = 0 , b = 1 , c = 1 , d = 1 , init = True ):
x , y = a + c , b + d
if y > n :
return
if init :
print ( "0/1" , end = " " )
build ( n , a , b , x , y , False )
print ( f " { x } / { y } " , end = " " )
build ( n , x , y , c , d , False )
if init :
print ( "1/1" , end = " " )
直接构建 Farey 序列的复杂度是 O ( | F n | ) = O ( n 2 ) 的。
序列长度与分数查找 Farey 序列的长度可以递归求出。相较于 F n − 1 ,序列 F n 多出来的分数的分母都是 n ,而分子不超过 n 且与 n 互素,因此有:
| F n | = | F n − 1 | + φ ( n ) = 1 + ∑ k = 1 n φ ( k ) . 此处的 φ ( n ) 是 欧拉函数 。该式利用 线性筛 可以 O ( n ) 求出,而利用 杜教筛 可以将复杂度降到 O ( n 2 / 3 ) 。
相较于直接求出序列的长度,更为常见的情景是需要求出序列 F k 中某一分数 r = p q 的编号。这相当于求值
1 + ∑ k = 1 n ∑ i = 1 ⌊ r k ⌋ [ i ⊥ k ] = 1 + ∑ d = 1 n μ ( d ) ∑ j = 1 ⌊ n / d ⌋ ⌊ r j ⌋ . 要得到右式,应用了 莫比乌斯反演 。线性筛和枚举因子结合,可以做到 O ( n ) 预处理和 O ( n log n ) 询问;杜教筛和 类欧几里得算法 结合,可以做到 O ( n 2 / 3 ) 预处理和 O ( n log n ) 询问。
反过来,已知编号求解分数,需要对 [ 0 , 1 ] 之间的实数进行二分,或者在 Stern–Brocot 树上进行 二分 。前者可能受到浮点数精度限制,对分数编号的询问次数为 O ( log V ) ,其中 V 是精度范围;后者不受浮点数精度限制,但是对分数编号的询问次数为 O ( log 2 n ) 。
Farey 邻项 如果分数 a b 和 c d 在某个 Farey 序列中相邻,就称它们为 Farey 邻项 (Farey neighbors),也称为 Farey 对(Farey pair)。
设 a b < c d 。从 Farey 序列的构造过程可知,两个相邻分数中后加入的分数必然是另一个分数与它先前的邻项的中位分数,因此 Farey 邻项在某一阶 Stern–Brocot 序列中也相邻,根据 最简性 中证明的结论可知,必然也有
b c − a d = 1. 反过来,这也是两个最简真分数成为 Farey 邻项的充分条件。现在说明这一点。不妨设 a b 是两个分数中分母较大的,那么两个分数都会出现在 F b 中。设 e f 是序列 F b 中排在 a b 右侧的一项,按照已经说明的必要性可知,b e − a f = 1 。但是,线性同余方程 b x − a y = 1 只有一组 y ≤ b 的正整数解,故而必然有 ( e , f ) = ( c , d ) 。
其实,因为下一个会出现在两者之间的最简分数必然是 a + c b + d ,所以 a b 和 c d 在第 max { b , d } 到第 ( b + d − 1 ) 阶 Farey 序列中都是相邻的。
分母不超过 9 的 Farey 邻项关系如下图所示:
图中的圆称为 Ford 圆 :对于每个 [ 0 , 1 ] 内的最简分数 p q ,都以 ( p q , 1 2 q 2 ) 为圆心、以 1 2 q 2 为半径绘制一个圆。图示说明,两个分数对应的 Ford 圆只能相切或相离,且两圆相切,当且仅当两分数是 Farey 邻项。而且,对于图中相切的任何两个圆,总存在唯一的第三个圆和两圆都相切。这第三个圆对应的分数就是两个圆对应的分数的中位分数。
要验证相切的圆总是对应着 Farey 邻项,可以直接计算两圆心的距离:
( a b − c d ) 2 + ( 1 2 b 2 − 1 2 d 2 ) 2 = ( 1 2 b 2 + 1 2 d 2 ) 2 + ( b c − a d ) 2 − 1 b 2 d 2 . 因为两个最简分数并不相同,所以 | b c − a d | ≥ 1 ,故而两圆只能相切或相离。而且,两圆相切,当且仅当 | b c − a d | = 1 ,这就等价于两分数是 Ford 邻项。
最后,要计算 Farey 邻项的数目。除了 ( 0 1 , 1 1 ) ,其余 Farey 邻项的分母都不相同。不妨设 p q 是其中分母较大的那个,则另一个分数必然可以从线性同余方程
q x − p y = ± 1 中解得。两个方程各恰有一组满足 y < q 的正整数解,分别对应位于 p q 左右两侧的邻项。因而,每个位于 ( 0 , 1 ) 内的真分数都有两个分母小于它的分母的 Farey 邻项,再加上 0 1 和 1 1 ,这说明序列 F n 中共计 ( 2 | F n | − 3 ) 对 Farey 邻项。
当然,在这个过程中找到的分数 a b < c d 就是在序列中插入 p q 时它的左右邻项。因此,它们本就是 Farey 邻项且 p q 是它们的中位分数。设 p q = [ t 0 , t 1 , ⋯ , t n , 1 ] ,则这两个分母更小的 Farey 邻项就分别是 [ t 0 , t 1 , ⋯ , t n ] 和 [ t 0 , t 1 , ⋯ , t n − 1 ] 。
要计算当前分数 p q 的其它 Farey 邻项,只需要利用 扩展欧几里得算法 求出所有符合条件的解即可。
递推关系 Farey 序列有一个简洁的递推关系,可以自左向右地顺序求出第 n 阶 Farey 序列的全部分数。
首先,前面的分析指出,在 F n 中,新添加的项 p n 总是左右相邻两个分数的中位分数。其实,这个关系对于 F n 中(除了两端点)所有分数都成立。设 a b < p q < c d ,根据 Farey 邻项的充要条件,总是有
b p − a q = 1 = c q − d p ⟺ p q = a + c b + d . 不过,对于一般的情形,分数 a + c b + d 可能需要约分。
利用这个观察就可以构建如下的递推关系。设 a b 和 p q 是已知的,要求出第三个分数 c d 的值。此时,存在 k 使得
a + c = k p , b + d = k q 成立。因为差值
k p − a k q − b − p q = b p − a q q ( k q − b ) = 1 q ( k q − b ) 随着 k 增加而减小,且紧邻着 p q 的应该是所有满足 k q − d ≤ n 的分数中该差值最小的那个,因而,必然有
k = ⌊ n + b q ⌋ . 可以验证这样得到的分数必然在 F n 中。因此,F n 中的分数的分子和分母满足递推关系:
p k = ⌊ n + q k − 2 q k − 1 ⌋ p k − 1 − p k − 2 , q k = ⌊ n + q k − 2 q k − 1 ⌋ q k − 1 − q k − 2 . 递推起点是 ( p 0 , q 0 ) = ( 0 , 1 ) 和 ( p 1 , q 1 ) = ( 1 , n ) 。
习题 以本文材料为背景的题目:
需要在 Stern–Brocot 树上作二分的题目:
参考资料与注释 本页面部分内容译自博文 Дерево Штерна-Броко. Ряд Фарея 与其英文翻译版 The Stern-Brocot Tree and Farey Sequences 。其中俄文版版权协议为 Public Domain + Leave a Link;英文版版权协议为 CC-BY-SA 4.0。本页面另有部分内容译自博文 Continued fractions ,版权协议为 CC-BY-SA 4.0。内容均有改动。
本页面最近更新:2025/5/21 16:47:50 ,更新历史 发现错误?想一起完善? 在 GitHub 上编辑此页! 本页面贡献者:StudyingFather , Enter-tainer , sshwy , Tiphereth-A , Great-designer , H-J-Granger , c-forrest , countercurrent-time , NachtgeistW , CCXXXI , diauweb , iamtwz , Ir1d , Xeonacid , AngelKitty , cjsoft , Early0v0 , ezoixx130 , GekkaSaori , Konano , LovelyBuggies , Makkiy , Menci , mgt , minghu6 , P-Y-Y , PotassiumWings , SamZhangQingChuan , Suyun514 , weiyong1024 , 1804040636 , c8ef , caijianhong , Chrogeek , CookiePieWw , GavinZhengOI , Gesrua , HeRaNO , jiang1997 , ksyx , kxccc , LLLMMKK , lyccrius , lychees , Peanut-Tang , shawlleyw , shuzhouliu , SukkaW , TianKong-y , untitledunrevised , yanboishere , yusancky 本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供,附加条款亦可能应用