solution finderの使い方
導入
solution finderはJavaを使っているため、Javaを実行できないスマホ・タブレットではできません
①solution finderはこのページからダウンロードできます
https://github.com/knewjade/solution-finder
https://github.com/knewjade/solution-finder
②右側にあるReleaseから最新バージョンをダウンロードできます




パフェ率やパフェパターンを求めたいだけならGUI.zipをダウンロードするのがおすすめです
これは普通のsolution finderも入っています
これは普通のsolution finderも入っています
③ファイルは圧縮されているので解凍してください
④solution finderはこれで終わりです。Javaをダウンロードします
まずはこのページに行って、各OSに合ったものをダウンロードします
https://www.java.com/ja/download/manual.jsp
ここで注意してほしいのが、オンラインを選んでほしいということです
できるだけ簡単に導入を終わらせたいので間違えないでください
まずはこのページに行って、各OSに合ったものをダウンロードします
https://www.java.com/ja/download/manual.jsp
ここで注意してほしいのが、オンラインを選んでほしいということです
できるだけ簡単に導入を終わらせたいので間違えないでください
⑤Javaのインストーラーがダウンロードされたと思うので、それを実行してください
⑥インストール先を選んで(何もしなくてもいい)、進みます
⑦[Install]を押すとインストールされます
GUIでの使用方法
特に複雑な操作をしない場合は補助GUIだけで完結できます。
こっちを開いてください

これが出てくるはずです

こっちを開いてください

これが出てくるはずです

- テト譜
- ミノパターン
例1 I,O,Z,[STJL]p4
例2 I,O,Z,[STJL] (=I,O,Z,[STJL]p1)
例3 *p7 (=[IJLOSTZ]p7)
例4 [IOT]! (=[IOT]p3)
例2 I,O,Z,[STJL] (=I,O,Z,[STJL]p1)
例3 *p7 (=[IJLOSTZ]p7)
例4 [IOT]! (=[IOT]p3)
- 消去するライン数
パフェを取るときに消去するライン数を指定します
このように最初の地形にライン消しが入っている場合でもライン数に含まれます
このように最初の地形にライン消しが入っている場合でもライン数に含まれます
- コマンド
pathはパフェパターン列挙、percentはパフェ率を求めることができます
結果を確認するとき、pathを選んでいたらpath_minimalかpath_uniqueから、percentを選んでいたらlast_outputから確認できます
結果を確認するとき、pathを選んでいたらpath_minimalかpath_uniqueから、percentを選んでいたらlast_outputから確認できます
- 実行
jar実行とbat実行の2つがありますが、どっちでもいいです
いろいろな事情によりjarではエラーのようなものがでる人もいます
※実行の前にライン数をしっかり確認してください。忘れやすい項目です
いろいろな事情によりjarではエラーのようなものがでる人もいます
※実行の前にライン数をしっかり確認してください。忘れやすい項目です
- 結果を確認
結果はoutputというフォルダに入っていて、下の3つのボタンはそれを表示します
path_minimalは必要のないパフェのとり方を省いた最少パターン(理論上最少ではない)、
path_uniqueは全パターンを列挙します
押したボタンがpath/percentに合っていなければ存在しないファイルを参照することになってエラーが出るので注意してください
path_minimalは必要のないパフェのとり方を省いた最少パターン(理論上最少ではない)、
path_uniqueは全パターンを列挙します
押したボタンがpath/percentに合っていなければ存在しないファイルを参照することになってエラーが出るので注意してください
コマンドで実行
solution finderはコマンドプロンプトまたはpowershellから実行できます
まずsolution-finderのあるディレクトリへ移動してください。
まずsolution-finderのあるディレクトリへ移動してください。
cd [solution finderのパス]
solution finderを実行します
以下は主要なコマンドです
以下は主要なコマンドです
java -jar sfinder.jar percent -t [テト譜] -P [テト譜ページ] -p [ミノパターン] -c [パフェの高さ] java -jar sfinder.jar path -t [テト譜] -P [テト譜ページ] -p [ミノパターン] -c [パフェの高さ]
こんな感じになれば成功です。エラーが出る場合はエラーメッセージの内容から間違っているところを探してみてください






また、outputにあるファイルをコマンドから開くこともできます
output\last_output.txt output\path_minimal.html output\path_unique.html
他のコマンドや詳しい情報については
https://solution-finder.readthedocs.io/ja/stable/index.htmlを参照してください
https://solution-finder.readthedocs.io/ja/stable/index.htmlを参照してください