Скачать

Возвратные задачи

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

Рассмотренная мною тема «Возвратные задачи» является небольшой частью дискретной математики, поэтому данная тема на сегодняшний момент является не менее актуальной.

Цель моей работы – изучить имеющийся теоретический и практический материал по данной теме и применить его к решению задач.

Данная работа состоит из введения, двух глав и заключения. Во введении приводятся примеры рекуррентных соотношений, с помощью которых можно задать некоторые последовательности, а так же рекуррентные соотношения, которые могут использоваться при решении задач. В первой главе описываются три задачи: задача о ханойской башне, задача о разрезании пиццы и задача Иосифа Флавия, а также доказываются некоторые факты, которые в литературе предлагаются для самостоятельного доказательства. Вторая глава посвящена решению задач на данную тему. В заключении делаются выводы о проделанной работе и указываются дальнейшие перспективы.

В основе решения возвратных задач лежит идея возвратности (или рекуррентности), согласно которой решение всей задачи зависит от решения той же самой задачи меньших размеров.

Тема «Возвратные последовательности» не является изолированной, нигде не используемой теорией. Наоборот, возвратные последовательности близки к школьному курсу математики (арифметическая и геометрическая прогрессии, последовательности квадратов и кубов натуральных чисел и т.д.), используются в высшей алгебре, геометрии, математическом анализе и других математических дисциплинах. Теория возвратных последовательностей составляет особую главу математической дисциплины, называемой исчислением конечных разностей; представляет собой частную главу о последовательностях.

Таким образом, возвратные последовательности являются настоящей маленькой теорией, законченной, простой, ясной.

Определение: Пусть имеется последовательность {u_n}:

u₁, u₂, u₃,…, u_n, … (1)

Если существует натуральное число k и числа a₁, a₂, a₃, …,a_k (действительные или мнимые) такие что, начиная с некоторого номера n и для всех следующих номеров

u_n+k=a₁∙u_n+k-1 + a₂∙u_n+k-2 +…+a_k∙u_n при n ≥ 1 (2)

то последовательность (1) называется возвратной последовательностью порядка k , а соотношение (2) – возвратным (рекуррентным) уравнением порядка k.

Таким образом, зная k первых членов последовательности можно определить всю последовательность, т.е. вычислить любой наперед заданный член последовательности.

С помощью рекуррентных соотношений можно задать следующие последовательности:

1). Геометрическая прогрессия

u_n+1 = q∙u_n

2). Арифметическая прогрессия

u_n+1 = u_n + d

другой вид u_n+2 = 2∙u_n+1 − u_n

3). Последовательность чисел Фиббоначи

u_n+2 = u_n+1 +u_n

4). Последовательность квадратов натуральных чисел

u_n+1 = u_n + 2∙n + 1

другой вид u_n+3 = 3∙u_n+2 − 3∙u_n+1 + u_n

5). Последовательность кубов натуральных чисел

u_n+4 = 4∙u_n+3 − 6∙u_n+2 +4∙u_n+1 − u_n

6). Все периодические последовательности: u₁, u₂, …, u_k+1, …

u_n+k = u_n.

Также рекуррентные соотношения могут использоваться при решении задач (в частности, при доказательстве равенств):

7). Интегрирование простейших рациональных дробей IV типа

Обозначим I_m= , где t = x+

I_m= ∙I_m-1

8). Интеграл I_n=

I_n=∙I_n-2

9). Формула длины стороны при удвоении числа сторон правильного вписанного многоугольника

a_n= , при n ≥ 2

R – радиус описанной окружности

Если сторона a₁ исходного правильного вписанного многоугольника задана, то a_n есть сторона многоугольника, полученного из исходного (n-1) кратным удвоением числа сторон.

10). Дифференциальные уравнения высших порядков

y⁽ⁿ⁾ = f(x, y, y', y», …, y^(n-1))

11). Определитель Вандермонда

∆_n=∆(x₁, x₂, …, x_n)=

∆ (x₁, x₂, …, x_n) =(x_n−x₁)(x_n-1−x₁)…(x₂−x₁)∙∆(x₂, x₃, …,x_n).

Глава 1

1.1. Задача о ханойской башне

Рассмотрим сначала маленькую изящную головоломку под названием ханойская башня, которую придумал французский математик Эдуард Люка в 1883 г. Башня представляет собой восемь дисков, нанизанных в порядке уменьшения размеров на один из трех колышков. Задача состоит в том, чтобы переместить всю башню на один из других колышков, перенося каждый раз только один диск, и не помещая больший диск на меньший.

Будем решать эту задачу в общем виде, т.е. посмотрим, что будет в случае n дисков.

Будем говорить, что T_n есть минимальное число перекладываний, необходимых для перемещения n дисков с одного колышка на другой по правилам Люка.

Рассмотрим крайние случаи: Т₀=0, T₁=1, T₂=3, T₃=7. Эксперимент с тремя дисками дает ключ к общему правилу перемещения n дисков: сначала мы перемещаем (n−1) меньших дисков на любой из колышков (что требует Т_n-1 перекладываний), затем перекладываем самый большой диск (одно перекладывание ) и, наконец, помещаем (n−1) меньших дисков обратно на самый большой диск (еще Т_n-1 перекладываний). Таким образом, n дисков (при n>0) можно переместить самое большое за 2T_n-1+1 перекладываний (т.е. достаточно перекладываний): T_n≤ 2T_n-1+1.

Сейчас покажем, что необходимо 2T_n-1+1 перекладываний. На некотором этапе мы обязаны переместить самый большой диск. Когда мы это делаем, (n−1) меньших дисков должны находиться на одном колышке, а для того чтобы собрать их вместе, потребуется по меньшей мере Т_n-1 перекладываний. Самый большой диск можно перекладывать и более одного раза. Но после перемещения самого большого диска в последний раз мы обязаны поместить (n−1) меньших дисков (которые опять должны находиться на одном колышке) обратно на наибольший диск, что также требует Т_n-1 перекладываний. Следовательно, T_n≥ 2T_n-1+1.

Эти два неравенства вместе с тривиальным решением при n=0 дают рекуррентное соотношение: