サクサク読めて、アプリ限定の機能も多数!
omega314 のブックマーク 2020/03/31 22:26
クイックソートは半順序でもソート可能であることをCoq/SSReflectで証明する - Qiita[アルゴリズム][プログラミング][証明]2020/03/31 22:26
このブックマークにはスターがありません。 最初のスターをつけてみよう!
qiita.com/nekonibox2020/03/30
はじめに 前回の記事で、全順序が仮定されているからこそうまくいくソートアルゴリズムを半順序で使用するとどうなるかを見ました。結果としてクイックソートなら半順序でもうまくソートできることを見ましたが、...
21 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
omega314 のブックマーク 2020/03/31 22:26
このブックマークにはスターがありません。
最初のスターをつけてみよう!
クイックソートは半順序でもソート可能であることをCoq/SSReflectで証明する - Qiita
qiita.com/nekonibox2020/03/30
はじめに 前回の記事で、全順序が仮定されているからこそうまくいくソートアルゴリズムを半順序で使用するとどうなるかを見ました。結果としてクイックソートなら半順序でもうまくソートできることを見ましたが、...
21 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /