Cantor Pairing Function

カントールの対関数 対関数

カントールの対関数

対関数の一つ

f(x, y) = \frac{1}{2} ((x + y)^2 + 3x + y)や

f(x, y) = \frac{(x + y)(x + y + 1)}{2} + x あるいは

f(x, y) = \binom{x}{1} + \binom{x + y + 1}{2} という形で知られている

関連： Fueter-Polya theorem