14/09/29 22:49:16.91
>>168
悪いけどプログラムを見てみないと具体的なことは言えないなあ。
ちゃんと停止するかに気をつけて自分で簡単なデータでプログラムを追いかけてみればと言えるだけなんだけど、
＞だから3>3の場合は3>3は否定されるわけではなく保留されるって理解で
良いですよね？ 3>1や 3<5は振り分けられるけど3>3は保留ってことですよね…
大小どちらかの集合には振り分けられる必要はあるでしょ
比較のしかたでどちらの集合に分けられるかは違うけど。
とは言うものの、プログラムは基準値になっている要素自身は別扱いするようになっているはずだから
どんな比較の仕方をしても停止性の問題ないはずではある。
（５、３、１、４、３）
＜＝で比較し「大」を決める
ーー＞（１）３（５、４、３）
ーー＞ １ ３ （４、３）５
ーー＞ １ ３ （３）４ ５
ーー＞ １ ３ ３ ４ ５
＜で比較し「大」を決める
ーー＞（１、３）３（５、４）
ーー＞ １（３）３（４）５
ーー＞ １ ３ ３ ４ ５
こんな感じ