Coqみたいな厳密な再帰構造なら循環しないし、厳密な余再帰構造なら（循環しない無限構造を許す以上）判定不能　なまじアドレス同一性判定ができるせいで最悪O(nm)の比較をすることに…

yhoriz のブックマーク 2021/08/24 16:27

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4707294393988926978/comment/yhoriz" data-user-id="yhoriz" data-entry-url="https://b.hatena.ne.jp/entry/s/tarao.hatenablog.com/entry/deep-equality" data-original-href="https://tarao.hatenablog.com/entry/deep-equality" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Ftarao.hatenablog.com%2Fentry%2Fdeep-equality" data-user-icon="/users/yhoriz/profile.png">再帰的な構造のデータの同値性判定はどうしたらいいか - 貳佰伍拾陸夜日記</a><br><p style="clear: left">Coqみたいな厳密な再帰構造なら循環しないし、厳密な余再帰構造なら（循環しない無限構造を許す以上）判定不能　なまじアドレス同一性判定ができるせいで最悪O(nm)の比較をすることに…</p><a class="datetime" href="https://b.hatena.ne.jp/yhoriz/20210824#bookmark-4707294393988926978"><span class="datetime-body">2021/08/24 16:27</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

再帰的な構造のデータの同値性判定はどうしたらいいか - 貳佰伍拾陸夜日記

tarao.hatenablog.com2021/08/23

数日前にTwitterで, JavaScriptのオブジェクトに対する===の挙動が初心者には難しいみたいな話を見かけた. 発端や周辺の議論をちゃんと追いかけてないからとくに出典は貼らない. たぶん元々の話は「へぇ, こうい...

213 人がブックマーク・21 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

再帰的な構造のデータの同値性判定はどうしたらいいか - 貳佰伍拾陸夜日記

はてなブックマーク

公式Twitter

はてなのサービス