WikiDer > Метод последовательной подстановки - Википедия

Method of successive substitution - Wikipedia

В модульная арифметика, то метод последовательной замены это метод решения проблем одновременные сравнения с помощью определения уравнения сравнения. Обычно применяется в тех случаях, когда условия Китайская теорема об остатках не удовлетворены.

Существует также несвязанный метод численного анализа последовательной замены: рандомизированный алгоритм используется для поиск корня, приложение итерация с фиксированной точкой.

Метод последовательной подстановки также известен как обратная замена.

Примеры

Пример первый

Рассмотрим простой набор одновременных сравнений

Икс ≡ 3 (мод 4)
Икс ≡ 5 (мод 6)

Теперь для Икс ≡ 3 (mod 4), чтобы быть правдой, Икс = 3 + 4j для некоторого целого числа j. Подставьте это во второе уравнение

3+4j ≡ 5 (мод 6)

так как мы ищем решение обе уравнения.

Вычтите 3 с обеих сторон (это разрешено в модульной арифметике)

4j ≡ 2 (мод. 6)

Мы упрощаем, разделив на наибольший общий делитель из 4,2 и 6. Деление на 2 дает:

2j ≡ 1 (мод. 3)

Евклидова модульный мультипликативный обратный 2 по модулю 3 равно 2. После умножения обеих частей на обратное получаем:

j ≡ 2 × 1 (мод 3)

или же

j ≡ 2 (мод. 3)

Чтобы вышесказанное было правдой: j = 2 + 3k для некоторого целого числа k. Теперь замените обратно на 3 + 4j и получаем

Икс = 3 + 4(2 + 3k)

Расширять:

Икс = 11 + 12k

получить решение

Икс ≡ 11 (мод 12)

Пример 2 (более простой метод)

Хотя метод, использованный в предыдущем примере, является последовательным, он не работает для каждой проблемы.

Рассмотрим эти четыре системы сравнений:

  • x ≡ 1 (мод 2)
  • x ≡ 2 (мод. 3)
  • x ≡ 3 (мод. 5)
  • x ≡ 4 (мод.11)

Чтобы продолжить поиск выражения, представляющего все решения, удовлетворяющие этой системе линейных сравнений, важно знать, что а (мод б) имеет аналогичную идентичность:

    • a (mod b) ⇔ bk + a, ∀k ∈ Z, где k - произвольная постоянная.

ПРОЦЕДУРА

1. Начнем с того, что переписываем первое сравнение в виде уравнения:

  • x = 2a + 1, ∀a ∈ Z

2. Перепишите второе сравнение как уравнение и приравняйте уравнение, найденное на первом шаге, к этому уравнению, поскольку Икс заменим x во втором сравнении:

  • x ≡ 2 (мод. 3)
  • х = 2a + 1 ≡ 2 (модуль 3)
  • 2a ≡ 1 (мод. 3)
  • а ≡ 2⁻¹ (мод 3)
  • а = -1.

Потому что а должен быть положительный неотрицательный обратный, нам нужен положительный а. Таким образом, мы добавляем любой наш текущий модуль к a, который равен a = -1 + 3 = 2.

3. Теперь перепишем а = 2 с точки зрения нашего текущего модуля:

  • а = 2 (мод 3)
  • ∴ а = 3b + 2

4. Теперь подставляем текущее значение а в наше уравнение, которое мы нашли в шаг 1 относительно Икс:

  • х = 2а + 1
  • = 2 (3b + 2) + 1, ∀b ∈ Z
  • = 6b + 5.

∴ х = 6b + 5.

5. Теперь заменим наше новое значение на Икс в x в нашей третьей линейной конгруэнции и перепишем 3 (мод 5) к его эквивалентному выражению:

  • x ≡ 3 (мод. 5)
  • = 6b + 5 ≡ 3 (мод 5)
  • = 6b + 5 = 5b + 3
  • = Ь = -2.

Потому что Ь = -2, мы добавляем наш ток к модулю к нему, чтобы получить б = 3.

∴ Ь = 5с + 3.

6. Мы снова заменяем наше новое значение на б в наше уравнение, которое мы нашли в шаг 4 относительно Икс:

  • х = 6b + 5
  • = 6 (5c + 3) + 5
  • = 30c + 23

∴ x = 30c + 23, c ∈ Z

7. Теперь заменим наше новое значение на Икс в x нашего окончательного линейного сравнения, переписывая 4 (мод.11) к его эквивалентному выражению:

  • x ≡ 4 (мод.11)
  • = 30c + 18 ≡ 4 (мод.11)
  • = 30c + 23 = 11c + 4
  • = 19c = -19
  • = c = -1.

Добавляем наш текущий модуль к значению, которое c представляет, наш новый c = 10.

∴ c = 11d + 10, ∀d ∈ Z.

8. Наш последний шаг - заменить c в уравнение относительно x что мы нашли в шаг 6:

  • х = 30c + 23
  • = 30 (11d + 10) + 23
  • = 330d + 323.

∴ 330d + 323 представляет все решения, которые удовлетворяют системе сравнений, с которой мы начали.

Проверка нашей работы

Чтобы проверить правильность нашего ответа, мы выводим, возникает ли каждый соответствующий остаток, когда мы вычисляем 323 по модулю каждого сравнения:

323 ≡ 1 (мод 2)

  • 323 = 161 * 2+ 1

323 ≡ 2 (мод 3)

  • 323 = 107 * 3 + 2

323 ≡ 3 (мод 5)

  • 323 = 64 * 5 + 3

323 ≡ 4 (мод 11)

  • 323 = 29 * 11 + 4

Альтернативный метод заключался бы в том, чтобы определить, делит ли каждый модуль разность 323 и соответствующий остаток каждого сравнения:

2 | (323 - 1) верно.

3 | (323 - 2) верно.

5 | (323 - 3) верно.

11 | (323 - 4) верно.

Другой способ решить систему линейных сравнений - использовать Китайская теорема об остатках, и это даст нам тот же результат.

Пример 3 (аналогичный метод, использованный выше, но с изюминкой)

При решении системы линейных сравнений с использованием метода, использованного в приведенном выше примере, будут ситуации, когда решение для переменной даст рациональное решение.

Ключом к решению для переменной является добавление текущего модуля к другой стороне уравнения до тех пор, пока не станет кратным коэффициенту переменной, которая решается для

закупается. Вот пример:

  • x ≡ 2 (мод. 3)
  • x ≡ 3 (мод. 5)
  • x ≡ 2 (мод. 7)

ПРОЦЕДУРА

1. Перепишите первое линейное сравнение в эквивалентное ему уравнение:

  • x ≡ 2 (мод. 3)
  • x = 3a + 2, ∀a ∈ Z.

2. Перепишите второе сравнение как уравнение и установите выражение, равное выражению, найденному на предыдущем шаге:

  • x ≡ 3 (мод. 5)
  • x = 5a + 3, ∀a ∈ Z
  • 3а + 2 = 5а + 3
  • -1 = 2а

Здесь метод, использованный в примере 2, кажется, вызывает проблемы, но я нашел решение: добавьте любой текущий модуль в ту сторону уравнения, где переменная не указана, до тех пор, пока коэффициент не сможет разделить его. Причина, по которой мы можем это сделать, заключается в определении класс конгруэнтности Таким образом,

3. Добавьте 5, который является нашим модулем, к -1, чтобы получить:

  • -1 + 5 = 4
  • 4 = 2а
  • а = 2.

4. Перепишите а = 2 как его эквивалентное модульное уравнение

  • a = 2 становится a = 5b + 2, ∀b ∈ Z.

5. Подставляем наш текущий а в уравнение, полученное в шаг 1 относительно x:

  • х = 3a + 2 = 3 (5b + 2) + 2 = 15b + 8.
  • ∴ х = 15b + 8.

6. Наконец, перепишите третье сравнение и приравняйте его к уравнению, полученному на предыдущем шаге, решая для б.

  • x ≡ 2 (мод. 7) можно переписать поскольку x = 7b + 2

Подставляя вместо x, мы имеем

  • 15b + 8 = 7b + 2
  • 8b = -6

Добавьте наш текущий модуль, равный 7, к -6, пока не будет получено значение, кратное 8:

  • -6 + 7 = 1 + 7 = 8.

Таким образом,

  • 8b = 8
  • б = 1.

Переписывая b по его модулю, мы имеем

  • b = 7c + 1, ∀c ∈ Z

7. Подставим наше новое уравнение б для b в уравнении относительно x, которое мы задумали в шаг 6:

  • х = 15b + 8
  • = 15 (7c + 1) + 8
  • = 105c + 23
  • ∴ х = 105c + 23.

105c + 23 представляет все решения, которые удовлетворяют системе сравнений, с которой мы начали.

Проверка нашей работы

Чтобы проверить правильность нашего ответа, мы выводим, возникает ли каждый соответствующий остаток, когда вычисляем 23 по модулю каждого сравнения:

23 ≡ 2 (мод 3)

  • 23 = 7 * 3 + 2

23 ≡ 3 (мод 5)

  • 23 = 4 * 5 + 3

23 ≡ 2 (мод 7)

  • 23 = 3 * 7 + 2

Общий алгоритм

В целом:

  • запишите первое уравнение в его эквивалентной форме
  • замените его на следующий
  • продолжать до последнего уравнения
  • обратно заменить, затем упростить
  • переписать обратно в форме сравнения

Если модули совмещать, то Китайская теорема об остатках дает простую формулу для получения решения.

Смотрите также

внешняя ссылка