logo
Теор

Метод таблиц пар.

Пара должна быть выделена, если она переходит в пару, несодержащуюся в основном столбце, или же переходит в пару, выделенную в предыдущей таблице.

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}}