怠けた仕出し屋の数列
 |
 | この項目「怠けた仕出し屋の数列」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：英語版 "lazy caterer's sequence" 09:07, 12 Jun 2019 (UTC)） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2023年12月） |
怠けた仕出し屋の数列（なまけたしだしやのすうれつ、英: lazy caterer's sequence）、より堅い言葉でいうと中心多角形数[訳語疑問点]（ちゅうしんたかくけいすう、central polygonal numbers）は、円板を与えられた数の直線で切って作ることのできるピース（断片）の最大数を表す数列である。たいていは円板をパンケーキやピザにたとえて、怠惰で仕事が雑な仕出し屋が最少回数で最大人数分に切りわけるという設定で描写される。例えば、パンケーキを3回切るとき、全ての切断線が円内のある1点で交わる場合は6個になるが、そうしない場合の中には7個になるものがある。
この問題は、直線配置におけるセル（小部屋）の数え上げの一例として数学的に定式化できる。高次元への一般化については、超平面配置を見ること。
この数列の3次元における類似はケーキ数である。
公式と数列
n(≥0) 回の切断で作ることのできるピースの最大数 p は、式
連続したカットからのピースの最大値が怠けた仕出し屋の数列の数である。 最大数の破片を作るために円をn回カットする場合、p = f(n)と表しn番目のカットを考慮する必要がある。最後のカットの前の破片の数はf(n − 1)であり、最後のカットにより加わった破片の数はnである。
破片の最大数を得るには、n番目のカットラインが園内の他の全てのそれまでのカットラインと交差する必要があるが、それまでのカットラインの交点は交わらない。それゆえn番目の線自体はn-1個の場所で切られ、n個の線分に分けられる。各線分はn-1本で切られたパンケーキの1つのピースを2つに分割し、ピースの数はn増える。新たな線は前からある各線を一度だけ横切ることができるため、これ以上区分を増やすことはできない。既にある交点ではない点を中心にナイフを小さな角度で回転させると、角度が十分小さい場合、追加する最後の線含む前からある線すべてと交差するため、カット線は、前からある線全てを常に横切ることができる。
よって、n回カットした後のピースの総数は
Portal:数・プロジェクト:数
- 怠けた仕出し屋の数列のページへのリンク
