Метод таблиц пар.
Пара должна быть выделена, если она переходит в пару, несодержащуюся в основном столбце, или же переходит в пару, выделенную в предыдущей таблице.
i, j | 1 | 2 | k |
|
1, 3 | 1, 1 | 1, 10 | 3, 5 | одноэквивалентная, но 2-различимая (пары 1, 10 – нет в таблице) |
1, 5 | 2, 6 | 4, 4 | 10, 12 | одноэквивалентная, но 2-различимая (пары 2, 6 – нет в таблице) |
3, 5 | 1, 1 | 6, 8 | 1, 1 | одноэквивалентная, но 4-различимая (пара 6, 8 – выделена на 2 шаге) |
10, 12 | 1, 5 | 12, 12 | 6, 8 | одноэквивалентная, но 3-различимая (пара 1, 5 – выделена на 1 шаге) |
6, 8 | 1, 3 | 3, 5 | 10, 12 | одноэквивалентная, но 3-различимая (пара 1, 3 – выделена на 1 шаге) |
Пары, состоящие из аналогичных элементов (1, 1; 4, 4), не участвуют в работе метода.
Задача 4:
S\X | Z v | S v + 1 | ||||
| | | | | | |
1 | 0 | 0 | 0 | 2 | 5 | 7 |
2 | 0 | 0 | 1 | 1 | 3 | 6 |
3 | 0 | 0 | 0 | 2 | 3 | 5 |
4 | 0 | 0 | 1 | 1 | 3 | 4 |
5 | 0 | 0 | 0 | 2 | 5 | 3 |
6 | 0 | 0 | 1 | 1 | 5 | 4 |
7 | 1 | 0 | 0 | 3 | 8 | 9 |
8 | 0 | 0 | 0 | 2 | 3 | 9 |
9 | 1 | 0 | 0 | 5 | 8 | 9 |
10 | 0 | 0 | 1 | 5 | 3 | 4 |
11 | 1 | 0 | 0 | 5 | 3 | 9 |
12 | 0 | 0 | 0 | 1 | 5 | 7 |
P1 = {{1, 3, 5, 8, 12}, {2, 4, 6, 10}, {7, 9, 11}} | 1 | | | | P2 = {{1, 8}, {3, 5}, {12}, {2, 4, 6, 10}, {7, 9, 11}} | 2 | | | | P3 = {{1, 8}, {3, 5}, {12}, {2, 4, 6, 10}, {7, 9}, {11}} |
1, 3 | 2, 2 | 5, 3 | 7, 5 | 1, 3 | 2, 2 | 5, 3 | 7, 5 | |||
1, 5 | 2, 2 | 5, 5 | 7, 3 | 1, 5 | 2, 2 | 5, 5 | 7, 3 | |||
1, 8 | 2, 2 | 5, 3 | 7, 9 | 1, 8 | 2, 2 | 5, 3 | 7, 9 | |||
1, 12 | 2, 1 | 5, 5 | 7, 7 | 1, 12 | 2, 1 | 5, 5 | 7, 7 | |||
3, 5 | 2, 2 | 3, 5 | 5, 3 | 3, 5 | 2, 2 | 3, 5 | 5, 3 | |||
3, 8 | 2, 2 | 3, 3 | 5, 9 | 3, 8 | 2, 2 | 3, 3 | 5, 9 | |||
3, 12 | 2, 1 | 3, 5 | 5, 7 | 3, 12 | 2, 1 | 3, 5 | 5, 7 | |||
5, 8 | 2, 2 | 5, 3 | 3, 9 | 5, 8 | 2, 2 | 5, 3 | 3, 9 | |||
5, 12 | 2, 1 | 5, 5 | 3, 7 | 5, 12 | 2, 1 | 5, 5 | 3, 7 | |||
8, 12 | 2, 1 | 3, 5 | 9, 7 | 8, 12 | 2, 1 | 3, 5 | 9, 7 | |||
|
|
|
|
|
|
|
| |||
2, 4 | 1, 1 | 3, 3 | 6, 4 | 2, 4 | 1, 1 | 3, 3 | 6, 4 | |||
2, 6 | 1, 1 | 3, 5 | 6, 4 | 2, 6 | 1, 1 | 3, 5 | 6, 4 | |||
2, 10 | 1, 5 | 3, 3 | 6, 4 | 2, 10 | 1, 5 | 3, 3 | 6, 4 | |||
4, 6 | 1, 1 | 3, 5 | 4, 4 | 4, 6 | 1, 1 | 3, 5 | 4, 4 | |||
4, 10 | 1, 5 | 3, 3 | 4, 4 | 4, 10 | 1, 5 | 3, 3 | 4, 4 | |||
6, 10 | 1, 5 | 5, 3 | 4, 4 | 6, 10 | 1, 5 | 5, 3 | 4, 4 | |||
|
|
|
|
|
|
|
| |||
7, 9 | 3, 5 | 8, 8 | 9, 9 | 7, 9 | 3, 5 | 8, 8 | 9, 9 | |||
7, 11 | 3, 5 | 8, 3 | 9, 9 | 7, 11 | 3, 5 | 8, 3 | 9, 9 | |||
9, 11 | 5, 5 | 8, 3 | 9, 9 | 9, 11 | 5, 5 | 8, 3 | 9, 9 |
P3 = P4 = P` = {{11}, {12}, {1, 8}, {3, 5}, {2, 4, 6, 10}, {7, 9}}