問題一覧 > 教育的問題

No.2749 随伴関手入門

レベル : / 実行時間制限 : 1ケース 2.000秒 / メモリ制限 : 512 MB / 標準ジャッジ問題
タグ : / 解いたユーザー数 77
作問者 : 👑 p-adicp-adic / テスター : TakaTaka
1 ProblemId : 9476 / 出題時の順位表 / 自分の提出
問題文最終更新日: 2023-11-27 22:57:49

問題文

入力に正整数 $N$ が与えられます。

 

各正整数 $n$ に対し、フィボナッチ数列の第 $n$ 項を $F_n$ と表します。

すなわち $F_n$ は以下の漸化式で定義されます:

$\displaystyle F_n = \left\{ \begin{array}{ll} 1 & (n = 1,2) \\ F_{n-1} + F_{n-2} & (n \geq 3) \end{array} \right. $

 

任意の正整数 $n$ に対し、次の条件を満たす正整数 $m$ が一意に存在し、それを $a(n)$ と置きます:

  • 任意の正整数 $k$ に対し、以下の $2$ 条件は同値である:
    • $F_k$ が $n$ の倍数である。
    • $k$ が $m$ の倍数である。

 

$a(N)$ を求めてください。

背景

圏論を知っている人向けに背景を説明します。実は数列 $(a(n))_{n=1}^{\infty}$ は圏論の言葉を用いて特徴づけることができます。小圏 $C$ を以下のデータで定めます:

  • $C$ の対象全体の集合 $\textrm{Ob}(C)$ は、正整数全体の集合である。
  • 各正整数 $n$ と $m$ に対し、$C$ における射 $n \to m$ 全体の集合 $\textrm{Hom}_C(n,m)$ は、
    • $m$ が $n$ の倍数であるならば組 $(n,m)$ のみからなる集合 $\{(n,m)\}$ である。
    • $m$ が $n$ の倍数でないならば空集合 $\{\}$ である。
  • 各正整数 $n$ と $m$ と $l$ と、$C$ における射 $f \colon n \to m$ と $g \colon m \to l$ に対し、$C$ における合成 $g \circ f$ は組 $(n,l)$ である。

この時 $(F_n)_{n=1}^{\infty}$ と $(a(n))_{n=1}^{\infty}$ はともに $C$ から $C$ への関手を定めることが知られており、$(a(n))_{n=1}^{\infty}$ の定義はまさに $(F_n)_{n=1}^{\infty}$ の左随伴性と呼ばれる性質そのものです。

入力

入力は次の形式で標準入力から $1$ 行で与えられます:

$N$

制約

入力は以下の制約を満たします:

  • $N$ は $1 \leq N \leq 400$ を満たす整数である。

出力

$a(N)$ を $1$ 行に出力してください。

最後に改行してください。

サンプル

サンプル1
入力
1
出力
1

任意の正整数 $k$ に対し、$F_k$ が $1$ の倍数であり、かつ $k$ が $1$ の倍数です。

サンプル2
入力
2
出力
3

任意の正整数 $k$ に対し、$F_k$ が $2$ の倍数であることと、$k$ が $3$ の倍数であることは同値です。このことは、$F_k$ を $2$ で割った余りが $1,1,0,1,1,0,\ldots$ と周期 $3$ で循環することから確認できます。

サンプル3
入力
3
出力
4

任意の正整数 $k$ に対し、$F_k$ が $3$ の倍数であることと、$k$ が $4$ の倍数であることは同値です。このことは、$F_k$ を $3$ で割った余りが $1,1,2,0,2,2,1,0,1,1,2,0,2,2,1,0,\ldots$ と周期 $8$ で循環することから確認できます。

サンプル4
入力
400
出力
300

提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。