問題一覧 > 教育的問題

No.2749 Introduction to Adjoint Functors

レベル : / AI推定難易度 : 243 / 実行時間制限 : 1ケース 2.000秒 / メモリ制限 : 512 MB / 標準ジャッジ問題
タグ : (AC するまで非表示) / 解いたユーザー数 82
作問者 : 👑 p-adic / テスター : Taka
お気に入りにしたユーザー ProblemId : 9476 / 自分の提出
問題文最終更新日: 2023-11-27 22:57:49
This statement was translated by AI (claude-opus-5-5, effort medium) and may contain errors or differ in nuance from the original. The original statement takes precedence. Back to the original
yukicoder contest 429 (順位表) の他の問題:

Problem Statement

A positive integer $N$ is given as input.

 

For each positive integer $n$, let $F_n$ denote the $n$-th term of the Fibonacci sequence.

That is, $F_n$ is defined by the following recurrence:

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

 

For any positive integer $n$, there exists a unique positive integer $m$ satisfying the following condition, and we denote it by $a(n)$:

  • For any positive integer $k$, the following $2$ conditions are equivalent:
    • $F_k$ is a multiple of $n$.
    • $k$ is a multiple of $m$.

 

Find $a(N)$.

Background

This section explains the background for those familiar with category theory. In fact, the sequence $(a(n))_{n=1}^{\infty}$ can be characterized in the language of category theory. Define a small category $C$ by the following data:

  • The set $\textrm{Ob}(C)$ of all objects of $C$ is the set of all positive integers.
  • For each pair of positive integers $n$ and $m$, the set $\textrm{Hom}_C(n,m)$ of all morphisms $n \to m$ in $C$ is:
    • the set $\{(n,m)\}$ consisting only of the pair $(n,m)$, if $m$ is a multiple of $n$;
    • the empty set $\{\}$, if $m$ is not a multiple of $n$.
  • For positive integers $n$, $m$, and $l$ and morphisms $f \colon n \to m$ and $g \colon m \to l$ in $C$, the composition $g \circ f$ in $C$ is the pair $(n,l)$.

It is known that $(F_n)_{n=1}^{\infty}$ and $(a(n))_{n=1}^{\infty}$ both define functors from $C$ to $C$, and the definition of $(a(n))_{n=1}^{\infty}$ is precisely the property called left adjointness of $(F_n)_{n=1}^{\infty}$.

Input

The input is given from standard input in $1$ line in the following format:

$N$

Constraints

The input satisfies the following constraints:

  • $N$ is an integer satisfying $1 \leq N \leq 400$.

Output

Output $a(N)$ in $1$ line.

Print a newline at the end.

Sample

Sample 1
Input
1
Output
1

For any positive integer $k$, $F_k$ is a multiple of $1$ and $k$ is a multiple of $1$.

Sample 2
Input
2
Output
3

For any positive integer $k$, $F_k$ being a multiple of $2$ is equivalent to $k$ being a multiple of $3$. This can be verified from the fact that the remainders of $F_k$ divided by $2$ cycle as $1,1,0,1,1,0,\ldots$ with period $3$.

Sample 3
Input
3
Output
4

For any positive integer $k$, $F_k$ being a multiple of $3$ is equivalent to $k$ being a multiple of $4$. This can be verified from the fact that the remainders of $F_k$ divided by $3$ cycle as $1,1,2,0,2,2,1,0,1,1,2,0,2,2,1,0,\ldots$ with period $8$.

Sample 4
Input
400
Output
300

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