回答編集履歴
2
文言の微修正
answer
CHANGED
|
@@ -28,12 +28,12 @@
|
|
|
28
28
|
|
|
29
29
|
なので、安定ソートで実装されているかを検証するためには、どうしてもソースコードを見る必要があると思います。
|
|
30
30
|
|
|
31
|
-
### ある関数が常に安定ソートを行うかどうかを正しく判定する関数は存在しないことの証明
|
|
31
|
+
### あるソート関数が常に安定ソートを行うかどうかを正しく判定する関数は存在しないことの証明
|
|
32
32
|
|
|
33
|
-
理論上、ある関数が常に安定ソートを行うかどうかを正しく判定する関数は存在しないと思われます。
|
|
33
|
+
理論上、あるソート関数が常に安定ソートを行うかどうかを正しく判定する関数は存在しないと思われます。
|
|
34
34
|
停止性問題と同じ要領で以下のように証明できると思います。
|
|
35
35
|
|
|
36
|
-
もしも、ある関数が常に安定ソートを行うかどうかを正しく判定する関数 `isStable` が存在すると仮定する。
|
|
36
|
+
もしも、あるソート関数が常に安定ソートを行うかどうかを正しく判定する関数 `isStable` が存在すると仮定する。
|
|
37
37
|
|
|
38
38
|
```javascript
|
|
39
39
|
function isStable(sortFunction) {
|
|
@@ -67,4 +67,4 @@
|
|
|
67
67
|
`isStable(mySort)` は `false` のため、`mySort` の定義から `mySort` は常に安定でないソートを行う。
|
|
68
68
|
これは、`mySort` が安定でないソートを行うという仮定に矛盾する。
|
|
69
69
|
|
|
70
|
-
いずれにしろ矛盾するため、ある関数が常に安定ソートを行うかどうかを正しく判定する関数 `isStable` は存在しない。
|
|
70
|
+
いずれにしろ矛盾するため、あるソート関数が常に安定ソートを行うかどうかを正しく判定する関数 `isStable` は存在しない。
|
1
「ある関数が常に安定ソートを行うかどうかを正しく判定する関数は存在しないことの証明」を追記
answer
CHANGED
|
@@ -26,4 +26,45 @@
|
|
|
26
26
|
のように実装されていると、ソースコードを見ない限り安定でないソートを行うコード部分を実行させることは困難です。
|
|
27
27
|
特に、ソートでは複数のアルゴリズムを組み合わせて実装することが珍しくなく、データに合わせて条件分岐でアルゴリズムを切り替えていると思われるので、上記のコードほど極端ではないとしても似たコードになっていても不思議はありません。
|
|
28
28
|
|
|
29
|
-
なので、安定ソートで実装されているかを検証するためには、どうしてもソースコードを見る必要があると思います。
|
|
29
|
+
なので、安定ソートで実装されているかを検証するためには、どうしてもソースコードを見る必要があると思います。
|
|
30
|
+
|
|
31
|
+
### ある関数が常に安定ソートを行うかどうかを正しく判定する関数は存在しないことの証明
|
|
32
|
+
|
|
33
|
+
理論上、ある関数が常に安定ソートを行うかどうかを正しく判定する関数は存在しないと思われます。
|
|
34
|
+
停止性問題と同じ要領で以下のように証明できると思います。
|
|
35
|
+
|
|
36
|
+
もしも、ある関数が常に安定ソートを行うかどうかを正しく判定する関数 `isStable` が存在すると仮定する。
|
|
37
|
+
|
|
38
|
+
```javascript
|
|
39
|
+
function isStable(sortFunction) {
|
|
40
|
+
if (sortFunction が常に安定ソートを行う) {
|
|
41
|
+
return true
|
|
42
|
+
} else {
|
|
43
|
+
return false
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
```
|
|
47
|
+
|
|
48
|
+
ここで、配列をソートする `mySort` 関数を以下のように定義する。
|
|
49
|
+
|
|
50
|
+
```javascript
|
|
51
|
+
function mySort(array) {
|
|
52
|
+
if (isStable(mySort)) {
|
|
53
|
+
array を安定でないソートする
|
|
54
|
+
} else {
|
|
55
|
+
array を安定ソートする
|
|
56
|
+
}
|
|
57
|
+
}
|
|
58
|
+
```
|
|
59
|
+
|
|
60
|
+
もしも、`mySort` が常に安定ソートを行うと仮定する。
|
|
61
|
+
その場合、`isStable(mySort)` は `true` となる。
|
|
62
|
+
`isStable(mySort)` は `true` のため、`mySort` の定義から `mySort` は安定でないソートを行う。
|
|
63
|
+
これは、`mySort` が常に安定ソートを行うという仮定に矛盾する。
|
|
64
|
+
|
|
65
|
+
もしも、`mySort` が安定でないソートを行うと仮定する。
|
|
66
|
+
その場合、`isStable(mySort)` は `false` となる。
|
|
67
|
+
`isStable(mySort)` は `false` のため、`mySort` の定義から `mySort` は常に安定でないソートを行う。
|
|
68
|
+
これは、`mySort` が安定でないソートを行うという仮定に矛盾する。
|
|
69
|
+
|
|
70
|
+
いずれにしろ矛盾するため、ある関数が常に安定ソートを行うかどうかを正しく判定する関数 `isStable` は存在しない。
|