Kohei Morita

まず想定計算量が全くわからないん　助けて〜

やってくれるととても嬉しいです -> 想定解

- 問題ID: factorization_of_polynomials - 問題名: Factorization of Polynomials

- 問題概要 N次の多項式f(x)が与えられます因数分解をしてください - 入力 ``` N a_0 a_1 ... a_{N - 1} ``` - 出力 ``` M K_0 b_0 b_1 ... b_{K_0 - 1} K_1 b_0 b_1 ... b_{K_1...

- monicじゃないと出力が嫌な感じになると思っていて、monicにしたいです - (順序を無視して)一意に定めるなら、定数項として最高次を出力？じゃあ最高次が1の時は？ウーン　みたいな - N次じゃなくて、f(x) = \sum_{i = 0}^{N - 1} a_i x^i ですね - 可変, 固定modは実はどうするかあんまり決めていない(というか、難しすぎるて決められない)んですが、(mod sqrtのように)計算量にmodのサイズが出てくるなら可変という気分になってきました(convolutionを固定から可変に置き換えるだけで動くとかなら固定で良いんじゃないかという気分なんですが、そうではなさそう？) - 同じ因子はまとめなくていいんじゃないかなって気分です そっちのほうが出力チェッカも楽そうですし - 出力の順番は任意で良いんじゃないかなぁと思っています　辞書順でsortもmodintに大小決めることになって変ですし

- https://github.com/yosupo06/library-checker-problems/blob/master/docs/guildline.md ここを参考に想定解と(できればチェッカ)を作っていただけると助かります　その他はどちらでも大丈夫です - フォルダがない状態から僕以外がやるの初めての試みなんで、わからないことがあったら聞いてください(多分ドキュメントとかも僕が気づいてないだけで不明瞭な部分があると思います…) - Assignは衝突を避けるためにつけることにしました - 当然ながら全く急ぐ必要はないんですが、やめたくなったらいつでも言ってください

というかmod sqrtを含むんだから可変ですね(気づき)

x^2 - aの因数分解はmod sqrtを含むアルゴリズムが必要じゃないですか？

😣 > 次数を書いて N a_0 ... a_N のほうが綺麗だと思うな (宗教戦争) (monic しかないので特に) とりあえずmonicじゃない場合はN = 配列長 でもういくつかの問題を準備してしまっています。で、その上でmonicの場合をどちらにするかなんですが、どっちでも理由付けが出来ることに気づいてしまい (monicとか関係なくN = 配列長を貫く / Nをある種の自由度として捉える)、困りました という思考を経て、結論としては、どっちでも大丈夫ということになりました(なので、hosさんのいうN a_0 ... a_Nの方で進めましょう)

この出力形式いいですね　最初に種類数Kも出したいです