B-соответствие – взаимно однозначное соответствие между
множеством натуральных чисел N
и множеством вещественных чисел промежутка [0, 1], устанавливаемое применением
Алгоритма B.
Алгоритм B действует противоположным образом: генерирует цепочки НЕ в порядке
возрастания их числовых значений, но зато так, чтобы их можно было
перенумеровать линейно (т.е. генерировать их уже процессом линейным).
Номер продукта
|
Продукт Алгоритма B
|
1
2
|
0,0
0,1
|
Во втором цикле
происходят такие действия: берутся по очереди все уже созданные цепочки, к
каждой из них добавляется в конце «1» и образуется новое «число», которое
помещается вслед за прежде созданными и получает очередной номер, а к исходной
цепочке присоединяется в конце «0» (и считается, что 0,1 = 0,10 – это одно и то
же число). Таким образом после второго цикла получаются такие продукты
(сгенерированные во втором цикле отмечены зеленым цветом):
Номер продукта
|
Продукт Алгоритма В
|
1
2
3
4
|
0,00
0,10
0,01
0,11
|
В третьем цикле
производится аналогичная операция и получаем следующий продукт (вновь созданные
продукты отмечены синим цветом):
Номер продукта
|
Продукт Алгоритма В
|
1
2
3
4
5
6
7
8
|
0,000
0,100
0,010
0,110
0,001
0,101
0,011
0,111
|
Так продолжаем до
бесконечности. В продуктах Алгоритма B содержатся все те же
самые цепочки, что и в продуктах Алгоритма A, но только в другом
порядке следования. Они теперь линейно перенумерованы (зато сами находятся в
«беспорядке»). Таким образом мы взаимно однозначное соответствие между
Промежутком и «счетным множеством» установили другим способом, чем прежде. Теперь оно даже линейное соответствие.
Так как продукция
Алгоритма B содержит все те же самые цепочки, что и продукция
Алгоритма А, то к ней относятся и те же самые выводы.[1]
Комментариев нет:
Отправить комментарий