2017年6月1日木曜日

MaxSAT Competition 2017 のIncompleteのルール

事務局に問い合わせたので、メモしておきます。

60秒と300秒は、別なトラックになります。各々Unweight/Weightのカテゴリーがあるので,好きな方(もしくは両方)に参加してもよい。

Webには、

 Incomplete score:
    ∑i ∈ instances (cost of solution for i found by solver)
                      / (cost of best solution for i found by any solver)

現実には、こういうことらしい。

Σ i ∈ instances A Score

A Scoreは、best_solutionのとき1、それ以外は0、従い、virtual best solverのスコアは、インスタンス数になる。(スコアが高いほど1位を取ったインスタンス数が多い) 


0 件のコメント:

コメントを投稿