Sageを使った非順序根付き三叉木の組み合わせ論的冒険

2025-04-08
Sageを使った非順序根付き三叉木の組み合わせ論的冒険

このブログ記事は、解析的組合せ論、特にFlajolet-Sedgewickの方法を用いて、非順序根付き三叉木を数えるという難しい問題に取り組んでいます。著者はまず、より簡単な順序木のケースを解き、母関数と特異点解析を用いて漸近近似を導き出し、Sageで実装および検証します。より複雑な非順序のケースは、Pólya-Redfield計数を使用して扱われ、数値解と漸近式が得られ、これもSageで検証されます。この記事は、Puiseux級数などの複素解析の概念を明確かつ魅力的に説明しており、すぐに使用できるSageコードを提供しているため、アルゴリズムと数学の交差点に関心のある人にとって貴重なリソースとなります。

続きを読む

学部レベルの約数問題の背後にある数学的マジック

2025-01-20
学部レベルの約数問題の背後にある数学的マジック

この記事では、学部レベルの数学の授業でよく見られる、「多項式が常に特定の整数の倍数であることを証明する」といった問題の起源を探ります。著者は、これらの問題は組合せ論的な数え上げ、特にポリア・レッドフィールド数え上げに由来すると指摘しています。この方法は、群作用の下での軌道計算公式を用いて、多項式の値と特定の組合せ構造の数え上げを結びつけ、多項式が常に特定の整数の倍数であることを保証します。この記事では、ブレスレットの数え上げと三目並べの盤面の数え上げという2つの例を用いて、ポリア・レッドフィールド数え上げがどのようにこれらの問題を構成するために用いられるかを説明しています。また、これらの多項式がすべてポリア・レッドフィールド数え上げに由来するかどうかについての予想も提示しています。

続きを読む