cafelier@SRM

SRM 531 Div2 250

AS | 14:16 |

今日からここは、とりあえずdiv2 250をターゲットにコードの自動生成の可能性を探る日記になりました。解答例はとりあえずどうでもよくて、解の機械生成ができそう＆＆問題文からの(アルゴリズム的思考完全不要で)直訳で作れそう、なspecを色々書いてみながら言語設計するのが目標。

問題

main(
    s : int<1..100>[1..50]
) {
   let ps = all_permutations(s)
   let pps = ps - {s}
   if #pps == 0
      {- vector<int>() -}
   else
      min(lex, pps)
}

解答例

vector<int> getUnsorted(vector<int> s) {
    sort(s.begin(), s.end());
    if( !next_permutation(s.begin(), s.end()) )
       return vector<int>();
    return s;
}