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

_i, _j

₁

₂

_k

₁, ₃

₁, ₁

₁, ₁₀

₃, ₅

одноэквивалентная, но 2-различимая (пары ₁, ₁₀ – нет в таблице)

₁, ₅

₂, ₆

₄, ₄

₁₀, ₁₂

одноэквивалентная, но 2-различимая (пары ₂, ₆ – нет в таблице)

₃, ₅

₁, ₁

₆, ₈

₁, ₁

одноэквивалентная, но 4-различимая (пара ₆, ₈ – выделена на 2 шаге)

₁₀, ₁₂

₁, ₅

₁₂, ₁₂

₆, ₈

одноэквивалентная, но 3-различимая (пара ₁, ₅ – выделена на 1 шаге)

₆, ₈

₁, ₃

₃, ₅

₁₀, ₁₂

одноэквивалентная, но 3-различимая (пара ₁, ₃ – выделена на 1 шаге)

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

P₁ =

{{1, 3, 5, 8, 12},

{2, 4, 6, 10},

{7, 9, 11}}

1







P₂ =

{{1, 8},

{3, 5},

{12},

{2, 4, 6, 10},

{7, 9, 11}}

2







P₃ =

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