joisino https://blog.hatena.ne.jp/joisino/ ｼﾞｮｲｼﾞｮｲｼﾞｮｲ https://joisino.hatenablog.com/ 言語処理系で講義でクリーネの不動点定理をやった時にベルマンフォードの証明にも使えるなぁと思ったので紹介します。 クリーネの不動点定理 を完備半順序集合とし、 をその上のスコット連続写像とする。このとき、 は最小不動点を持つ。 ここで、完備半順序集合とは最小元 を持ち、任意の有向部分集合 について の上限 が存在する半順序集合とします。 が有向集合であるとは任意の についてある元 が存在して が成り立つこととします。 が 上のスコット連続写像であるとは、 の任意の有向部分集合 について が成り立つこととします。 何言ってんだコイツと思った人もブラウザバックを早まらないでください。 あとで有限半順… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjoisino.hatenablog.com%2Fentry%2F2017%2F07%2F30%2F210000" title="クリーネの不動点定理（とベルマンフォード法） - ｼﾞｮｲｼﾞｮｲｼﾞｮｲ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20%28D%2C%5Cle%29 Hatena Blog https://hatena.blog 2017-07-30 21:00:00 rich https://joisino.hatenablog.com/entry/2017/07/30/210000 1.0 100%