問題一覧 > 教育的問題

No.2755 行列の共役類

レベル : / 実行時間制限 : 1ケース 3.500秒 / メモリ制限 : 512 MB / 標準ジャッジ問題
タグ : / 解いたユーザー数 17
作問者 : 👑 p-adic / テスター : Shirotsume
0 ProblemId : 9388 / 出題時の順位表 / 自分の提出
問題文最終更新日: 2023-10-11 13:13:54

注意

この問題の実行時間制限は3500[ms]です。

問題文

入力に正整数 BBBB の約数である正整数 CC が与えられます。

 

自己ループと多重辺を持たない無限頂点・無限辺の無向グラフ GB,C=(VB,C,EB,C)G_{B,C} = (V_{B,C},E_{B,C}) を以下のように定めます:

  • GB,CG_{B,C} の頂点集合 VB,CV_{B,C} は、以下の 44 条件を全て満たす整数係数 22 次正方行列 (abcd)\displaystyle \left( \begin{array}{cc} a & b \\ c & d \end{array} \right) 全体の集合である。
    • aaBB と互いに素である(つまり双方を割り切る素数が存在しない)。
    • b0(modC)b \equiv 0 \pmod{C} である。
    • c0(modB)c \equiv 0 \pmod{B} である。
    • d1(modB)d \equiv 1 \pmod{B} である。
  • GB,CG_{B,C} の辺集合 EB,CE_{B,C} は、次の条件を満たす VB,CV_{B,C} の相異なる 22P,QP,Q を結ぶ辺 {P,Q}\{P,Q\} 全体の集合である。
    • 次の 22 条件のいずれかを満たす VB,CV_{B,C} の点 RR が存在する。
      • PRRQPR - RQ の各成分が BB の倍数である。
      • QRRPQR - RP の各成分が BB の倍数である。

この時、非自明な事実として

  • GB,CG_{B,C} は連結成分を有限個しか持たないこと。
  • GB,CG_{B,C} の各連結成分が完全グラフであること。

がいずれも証明可能です。GB,CG_{B,C} の連結成分の個数が 100100 より大きいか否かを決定し、100100 以下である場合はその値も求めてください。

背景

群論を知っている人向けに背景を説明します。まず Z/BZ\mathbb{Z}/B \mathbb{Z} 係数正則 22 次正方行列であって (1,2)(1,2) 成分が C+BZC + B \mathbb{Z} の倍元であり第 22 行が (0+BZ,1+BZ)(0 + B \mathbb{Z},1 + B \mathbb{Z}) であるもの全体の集合を GB,C\overline{G}_{B,C} と置くと、GB,C\overline{G}_{B,C} は行列積に関して群となります。

更に GB,CG_{B,C} の任意の頂点 PP に対し、PP の各成分を BB で割った余りを取ることで GB,C\overline{G}_{B,C} の要素 P\overline{P} を得ます。この対応により写像 GB,CGB,CG_{B,C} \to \overline{G}_{B,C} が定まりますが、実は GB,CG_{B,C} の部分集合 SS が連結である必要十分条件は、この写像による SS の像の任意の 22 要素が群 GB,C\overline{G}_{B,C} において共役であることです。

つまりこの問題は、群 GB,C\overline{G}_{B,C} の共役類の総数が 100100 より大きいか否かを判定し、100100 以下である場合は共役類の総数を求めるという問題と等価になります。有限群の共役類の総数は複素既約表現の同型類の数え上げに対応することが知られており、表現論において非常に重要な値となります。

入力

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

BB CC
  • 11 行目に B,CB,C が半角空白区切りで与えられます。

制約

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

  • BB1B6×1021 \leq B \leq 6 \times 10^2 を満たす整数である。
  • CC1CB1 \leq C \leq B を満たす BB の約数である。

出力

GB,CG_{B,C} の連結成分の個数が 100100 より大きければば100+と出力し、100100 以下であればその値を 11 行に出力してください。

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

サンプル

サンプル1
入力
1 1
出力
1

(B,C)=(1,1)(B,C) = (1,1) です。例えば整数係数 22 次単位行列 EEG1,1G_{1,1} の頂点であるため、G1,1G_{1,1} は少なくとも 11 つの連結成分を持ちます。

一方で G1,1G_{1,1} の任意の頂点 PP に対し、Q=EQ = ER=ER = E と定めると PRRQ=PEPR - RQ = P - E の各係数は B=1B = 1 の倍数であるため、PPEE は同じ連結成分に属します。

従って G1,1G_{1,1} の連結成分の個数は 11 です。

サンプル2
入力
3 3
出力
2

(B,C)=(3,3)(B,C) = (3,3) です。例えば整数係数 22 次正方行列 PPQQ

P=(2964), Q=(11232)\displaystyle P = \left( \begin{array}{cc} 2 & 9 \\ -6 & 4 \end{array} \right), \ Q = \left( \begin{array}{cc} 1 & -12 \\ 3 & -2 \end{array} \right)

と定めるとこれらは G3,3G_{3,3} の頂点であり、互いに相異なる連結成分に属します。これらの属す連結成分以外に連結成分はありません。従って G3,3G_{3,3} の連結成分の個数は 22 です。

サンプル3
入力
24 2
出力
30

(B,C)=(24,2)(B,C) = (24,2) です。G24,2G_{24,2} の連結成分の個数は 3030 です。

サンプル4
入力
80 2
出力
100+

(B,C)=(80,2)(B,C) = (80,2) です。G80,2G_{80,2} の連結成分の個数は 110110 です。100100 より多いので100+と出力してください。

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