No.2749 随伴関手入門
レベル : / 実行時間制限 : 1ケース 2.000秒 / メモリ制限
: 512 MB / 標準ジャッジ問題
タグ : / 解いたユーザー数 86
作問者 : 👑
p-adic
/ テスター :
Taka
タグ : / 解いたユーザー数 86
作問者 : 👑
問題文最終更新日: 2023-11-27 22:57:49
問題文
入力に正整数 が与えられます。
各正整数 に対し、フィボナッチ数列の第 項を と表します。
すなわち は以下の漸化式で定義されます:
任意の正整数 に対し、次の条件を満たす正整数 が一意に存在し、それを と置きます:
- 任意の正整数 に対し、以下の 条件は同値である:
- が の倍数である。
- が の倍数である。
を求めてください。
背景
圏論を知っている人向けに背景を説明します。実は数列 は圏論の言葉を用いて特徴づけることができます。小圏 を以下のデータで定めます:
- の対象全体の集合 は、正整数全体の集合である。
- 各正整数 と に対し、 における射 全体の集合 は、
- が の倍数であるならば組 のみからなる集合 である。
- が の倍数でないならば空集合 である。
- 各正整数 と と と、 における射 と に対し、 における合成 は組 である。
この時 と はともに から への関手を定めることが知られており、 の定義はまさに の左随伴性と呼ばれる性質そのものです。
入力
入力は次の形式で標準入力から 行で与えられます:
制約
入力は以下の制約を満たします:
- は を満たす整数である。
出力
を 行に出力してください。
最後に改行してください。
サンプル
サンプル1
入力
1
出力
1
任意の正整数 に対し、 が の倍数であり、かつ が の倍数です。
サンプル2
入力
2
出力
3
任意の正整数 に対し、 が の倍数であることと、 が の倍数であることは同値です。このことは、 を で割った余りが と周期 で循環することから確認できます。
サンプル3
入力
3
出力
4
任意の正整数 に対し、 が の倍数であることと、 が の倍数であることは同値です。このことは、 を で割った余りが と周期 で循環することから確認できます。
サンプル4
入力
400
出力
300
提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。