名词解释Wythoff（威佐夫）数对序列

Wythoff数对序列，也叫威佐夫数对序列，是一个无限序列，由两个数对 $(w_n, l_n)$ 组成，其中 $w_n$ 和 $l_n$ 分别是满足以下条件的非负整数序列：

1. $w_n$ 和 $l_n$ 中的数都不相等；
2. 对于任意的正整数 $n$，都有 $w_n < l_n$；
3. 对于任意的正整数 $n$，$w_n$ 和 $l_n$ 满足以下公式：

$$\lfloor n \varphi \rfloor = w_n + \frac{l_n}{2}$$

其中 $\varphi = \frac{1 + \sqrt{5}}{2}$ 是黄金分割比例。例如，前几个数对是：

$(0, 1), (1, 3), (2, 4), (3, 7), (4, 11), (5, 8), (6, 13), (7, 18), (8, 12), (9, 21), (10, 15), (11, 26), \dots$

这个数列的一个重要性质是，它包含了所有正整数，即对于任意正整数 $n$，要么 $n = w_k$，要么 $n = l_k$，其中 $k$ 是某个正整数。这个性质使得 Wythoff 数对序列在数论和组合数学中有广泛的应用。