[verify] extra/math/yosupo_factorization_test.nimのverifyが失敗する

[haruyama480]

% oj-verify run verify/extra/math/yosupo_factorization_test.nim

(略)
[INFO] fixed_RNG_buster_00
[INFO] time: 60.003001 sec
[INFO] $ /Users/kazusaku/Library/Caches/online-judge-tools/library-checker-problems/math/factorize/checker /Users/kazusaku/ghq/github.com/zer0-star/Nim-ACL/src/.verify-helper/cache/63dcd6151007c9a7ae546792ae5f0b96/test/fixed_RNG_buster_00.in /private/var/folders/30/zw80dxvd191gs471jg1llzc00000gr/T/tmpdr42ag6l/actual.out /Users/kazusaku/ghq/github.com/zer0-star/Nim-ACL/src/.verify-helper/cache/63dcd6151007c9a7ae546792ae5f0b96/test/fixed_RNG_buster_00.out
wrong answer Unexpected EOF in the participants output
judge's output:
(empty)
[FAILURE] TLE
input:
1
124376107291

output:
(empty)
expected:
2_352523_352817
(略)

[haruyama480]

% .verify-helper/cache/63dcd6151007c9a7ae546792ae5f0b96/a.out < .verify-helper/cache/63dcd6151007c9a7ae546792ae5f0b96/test/fixed_RNG_buster_00.in

たしかにoutputがでずに文鎮化してしまう

[haruyama480]

ポラードローを学習 https://qiita.com/t_fuki/items/7cd50de54d3c5d063b4a#%E3%83%95%E3%83%AD%E3%82%A4%E3%83%89%E3%81%AE%E5%BE%AA%E7%92%B0%E6%A4%9C%E5%87%BA%E6%B3%95%E3%81%AB%E5%9F%BA%E3%81%A5%E3%81%8F%E7%B4%84%E6%95%B0%E3%81%AE%E6%8E%A2%E7%B4%A2

[haruyama480]

(よくわかってないので間違ったこと書くかもです)

「フロイドの循環検出法に基づく約数の探索」に疑似乱数cを使っている

これはプログラムでいうと、以下の式

proc f(a:int64):auto = mul(a, a, n) + 1

固定値1の代わりに3を使うと通った、88とか使うと無限ループしてそう

無限ループを検知して疑似乱数をいくつか試すと良さそう?

[chaemon]

こちらは前にUbuntuで書いたときには動いていたのでapple silicon特有の問題の気がします。

[haruyama480]

手元の intel mac でも失敗しました どうやら9か月前に強力なテストケースが追加されていたみたいです https://github.com/yosupo06/library-checker-problems/pull/918

[chaemon]

あーそれでだめだったんですね！ライブラリが弱かったということですね。