他のシャンテン数計算ライブラリでの検証 / Verification with other deficiency number calculation libraries

[Apricot-S]

概要

計算結果が正しいことを検証するため、他のライブラリと比較する
各手牌枚数での組み合わせ総数は https://gist.github.com/Apricot-S/f59903a44909206ad9e79390665f7253 を参照のこと

四人麻雀

既存ライブラリ: Nyanten (https://github.com/Cryolite/nyanten)

• 理論的に正確であることが保証されている
• MIT ライセンス

検証コード: 作成済み

• tests/correctness.rs
• 実行方法 scripts/test_verify_correctness.sh
  実行するテストの手牌枚数を二桁の数字 (01 ~ 14) で指定する
  使用するスレッド数を指定することで並列実行可能
  スレッド数は手牌の組み合わせ数を割り切れる数にする必要がある

検証状況

• 手牌枚数: 1
• 手牌枚数: 2
• 手牌枚数: 4
• 手牌枚数: 5
• 手牌枚数: 7
• 手牌枚数: 8
• 手牌枚数: 10
• 手牌枚数: 11
• 手牌枚数: 13
• 手牌枚数: 14

三人麻雀

既存ライブラリ: Shanten Number (https://github.com/tomohxx/shanten-number)

• 理論的に正確であることが保証されている
• LGPLv3

検証コード: 未作成

• Shanten Number を使う場合はテストコードのみ Shanten Number を使っていること、LGPLv3 に基づくリバースエンジニアリングを許可することを明示すること 調査した結果記載する義務はないことが分かったので不要とする

検証状況

• 手牌枚数: 1
• 手牌枚数: 2
• 手牌枚数: 4
• 手牌枚数: 5
• 手牌枚数: 7
• 手牌枚数: 8
• 手牌枚数: 10
• 手牌枚数: 11
• 手牌枚数: 13
• 手牌枚数: 14

[Apricot-S]

四人麻雀 1,2,4,5,7,8 枚の検証結果

version: 5.0.0
Nyanten: 581aa72ce53e0ffeb0ef8d1ed14df2521ca5fb9b

vscode ➜ /workspaces/xiangting (main) $ for i in 01 02 04 05 07 08; do scripts/test_verify_correctness.sh $i; done
   Compiling xiangting v5.0.0 (/workspaces/xiangting)
   Compiling cxx v1.0.189
    Finished `release` profile [optimized] target(s) in 37.51s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_01 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 0.03s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

   Compiling xiangting v5.0.0 (/workspaces/xiangting)
    Finished `release` profile [optimized] target(s) in 21.69s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_02 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 0.04s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

   Compiling xiangting v5.0.0 (/workspaces/xiangting)
    Finished `release` profile [optimized] target(s) in 23.33s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_04 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 0.07s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

   Compiling xiangting v5.0.0 (/workspaces/xiangting)
    Finished `release` profile [optimized] target(s) in 21.02s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_05 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 0.14s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

   Compiling xiangting v5.0.0 (/workspaces/xiangting)
    Finished `release` profile [optimized] target(s) in 21.23s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_07 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 3.47s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

scripts/test_verify_correctness.sh: line 13: ((: 08: value too great for base (error token is "08")
   Compiling xiangting v5.0.0 (/workspaces/xiangting)
    Finished `release` profile [optimized] target(s) in 23.76s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_08 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 16.35s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

vscode ➜ /workspaces/xiangting (main) $ 

[Apricot-S]

四人麻雀 10 枚の検証結果

version: 5.0.0
Nyanten: 581aa72ce53e0ffeb0ef8d1ed14df2521ca5fb9b

vscode ➜ /workspaces/xiangting (main) $ NUM_THREADS=4 scripts/test_verify_correctness.sh 10
   Compiling xiangting v5.0.0 (/workspaces/xiangting)
    Finished `release` profile [optimized] target(s) in 21.48s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_10 has been running for over 60 seconds
test tests::verify_correctness_10 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 113.71s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

vscode ➜ /workspaces/xiangting (main) $ 

[Apricot-S]

四人麻雀 11 枚の検証結果

version: 5.0.0
Nyanten: 581aa72ce53e0ffeb0ef8d1ed14df2521ca5fb9b

vscode ➜ /workspaces/xiangting (main) $ NUM_THREADS=8 scripts/test_verify_correctness.sh 11
   Compiling xiangting v5.0.0 (/workspaces/xiangting)
    Finished `release` profile [optimized] target(s) in 22.18s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_11 has been running for over 60 seconds
test tests::verify_correctness_11 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 406.53s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

vscode ➜ /workspaces/xiangting (main) $

[Apricot-S]

四人麻雀 13 枚の検証結果

version: 5.0.0
Nyanten: 581aa72ce53e0ffeb0ef8d1ed14df2521ca5fb9b

vscode ➜ /workspaces/xiangting (main) $ NUM_THREADS=8 scripts/test_verify_correctness.sh 13
   Compiling xiangting v5.0.0 (/workspaces/xiangting)
    Finished `release` profile [optimized] target(s) in 21.74s
     Running unittests src/lib.rs (target/release/deps/xiangting-c349420768e704b9)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-0da6bd548915edfa)

running 1 test
test tests::verify_correctness_13 has been running for over 60 seconds
test tests::verify_correctness_13 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 6805.53s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-fb1d4a6cdb0ddb94)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-ed93a439d57d9f2d)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

vscode ➜ /workspaces/xiangting (main) $ 

[Apricot-S]

四人麻雀 14 枚の検証結果

version: 5.0.1
Nyanten: 581aa72ce53e0ffeb0ef8d1ed14df2521ca5fb9b

vscode ➜ /workspaces/xiangting (main) $ NUM_THREADS=5 scripts/test_verify_correctness.sh 14
   Compiling proc-macro2 v1.0.103
   Compiling quote v1.0.42
   Compiling zerocopy v0.8.28
   Compiling serde_core v1.0.228
   Compiling libc v0.2.177
   Compiling scratch v1.0.9
   Compiling getrandom v0.3.4
   Compiling serde v1.0.228
   Compiling rayon-core v1.13.0
   Compiling num-traits v0.2.19
   Compiling cxx v1.0.189
   Compiling rayon v1.11.0
   Compiling syn v2.0.110
   Compiling plotters v0.3.7
   Compiling rand_core v0.9.3
   Compiling rand_pcg v0.9.0
   Compiling serde_json v1.0.145
   Compiling cxx-build v1.0.189
   Compiling zerocopy-derive v0.8.28
   Compiling serde_derive v1.0.228
   Compiling thiserror-impl v2.0.17
   Compiling cxxbridge-macro v1.0.189
   Compiling xiangting v5.0.1 (/workspaces/xiangting)
   Compiling thiserror v2.0.17
   Compiling half v2.7.1
   Compiling ppv-lite86 v0.2.21
   Compiling ciborium-ll v0.2.2
   Compiling rand_chacha v0.9.0
   Compiling rand v0.9.2
   Compiling tinytemplate v1.2.1
   Compiling ciborium v0.2.2
   Compiling criterion v0.7.0
    Finished `release` profile [optimized] target(s) in 55.49s
     Running unittests src/lib.rs (target/release/deps/xiangting-c309afe1babdc005)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 192 filtered out; finished in 0.00s

     Running tests/correctness.rs (target/release/deps/correctness-2d5cf48d86960dc2)

running 1 test
test tests::verify_correctness_14 has been running for over 60 seconds
test tests::verify_correctness_14 ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 23 filtered out; finished in 26955.37s

     Running tests/hand_generator.rs (target/release/deps/hand_generator-c65e8b9f860a6f68)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

     Running tests/nyanten.rs (target/release/deps/nyanten-10dd7765618d7223)

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

vscode ➜ /workspaces/xiangting (main) $