Розробка уроку

Тема: бінарний пошук, тернарний пошук, пошук з поверненням мовою C#.

Мета:

Після вивчення матеріалу учень:

Обладнання: комп'ютери зі встановленими ОС та середовищем програмування мовою C#.

Структура уроку

  1. Організаційний момент.
  2. Актуалізація опорних знань.
  3. Інструктаж з ТБ.
  4. Вивчення нового матеріалу.
  5. Закріплення вивченого матеріалу.
  6. Підбиття підсумків уроку.
  7. Домашнє завдання.
Хід уроку

1. Організаційний момент
Привітання з класом, знайомство з класом. Перевірка присутності учнів.

2. Актуалізація опорних знань.
Дати відповіді на запитання:

  1. Як здійснюють оголошення:
    • використаних модулів;
    • цілих змінних;
  2. Яким символом розмежовують вказівки у коді програми?
  3. Що таке масив? Які властивості має масив? Що таке форма масиву?
  4. Назвіть відомі вам методи упорядкування лінійних масивів.

3. Вивчення нового матеріалу

Бінарний пошук традиційно вивчають вже при першому знайомстві з масивами — див. опис.

Тернарний пошук використовують для пошуку:

Алгоритм (тернарного пошуку максимуму за умови, що він досяжний лише в одній точці)

  1. Вибрати довільні точки m1 і m2, що задовольняють нерівності: l < m1 < m2 < r. Наприклад, надати значень:
    m1 = l + (rl)/3;
    m2 = r − (rl)/3.

  2. Порахувати значення функції f (m1) і f (m2).

  3. Якщо f (m1) < f (m2) — шуканий максимум поза проміжком [l, m1) — надати значення:
    l = m1.

  4. Якщо f (m1) > f (m2) — шуканий максимум поза проміжком (m2, r] — надати значення:
    r = m2.

  5. Якщо f (m2) = f (m2) — шуканий максимум поза проміжками [l, m1) і (m2, r] при строгому зростанні й спаданні f до і після точки максимума при зростанні аргумента — надати значення:
    l = m1;
    r = m2.

  6. Якщо rl < ε, вивести значення (l + r)/2, значення f у цій точці і закінчити виконання алгоритму. Інакше перейти до пункту 1.

Тут ε — дійсне число — деяка наперед задана точність пошуку. Див. програму обчислення найбільшого значення функції f (x) = 1 − x2 на проміжку [−3, 2].

Пошук з поверненням. Деякі задачі можна розв'язати, лише перебираючи гіпотези. При цьому рівнів прийняття гіпотез може бути кілька. При переборі відкидають гіпотези у разі несумісності їх з умовою задачі. Інакше кажучи, задачу розв'язують оптимізованим перебором гіпотез. Це еквівалентно руху деревом можливих кроків алгоритму з відрізанням у разі несумісності з умовою відповідних гілок дерева. Рух здійснюють доти, поки не буде отримано шуканого розв'язку (чи всіх шуканих розв'язків) або встановлено, що розв'язків немає. Такий алгоритм називають алгоритмом з поверненням.

Програмне втілення алгоритму з поверненням проілюструємо на прикладі задачі з назаю «Хід коня». На шахівниці N × N клітин стоїть на полі (x, y) шаховий кінь. Потрібно знайти такий маршрут коня (ходити згідно із шаховими правилами) обходу всієї шахівниці із заходом у кожну клітин по одному разу.

Загальна структура алгоритму така: на кожному кроці аналізувати, чи можна ще зробити хід куди-небудь (перебирати всі варіанти). Якщо можливо, робити хід (приймати гіпотезу), якщо неможливо, повертатися на один хід назад (відхиляти останню прийняту гіпотезу). Так робити до тих пір, поки кількість відвіданих клітин не стане дорівнювати N 2.

Загальний вигляд основної процедури такого алгоритму такий:

//здійснення ходів з номером i з клітини (x,y)
  static boolean step (int x, int y, int i, int[,] sol)
  { int k, next_x, next_y; 
    if (i == N * N) return true; // якщо дошку заповнено
    // вибір ходу з клітини (x,y);
    { if (хід узгоджений з умовою)
      {  // здійснення ходу;
        if (існує результативне продовження, тобто
           справджується step після зробленого ходу) return true; 
        else // відміна ходу;
      } 
    } 
    return false; 
  }

У поданому вище тексті коментарі, виділені червоним кольором, потребують заміни на вказівки чи вирази, записані мовою програмування. Нижче описано, як це зробити.

Примітка. Процедура step є рекурсивною: вона викликає сама себе.

Позиції можна описати за допомогою двовимірного масиву:

int[,] sol = new int[N,N]; 

Кожний елемент масиву sol буде зберігати номер ходу, на якому було відвідано це поле, або -1, якщо «сюди кінь ще не ходив».

Опишемо (можливу) реалізацію схеми перебору ходів коня. Запровадимо сталі масиви dx, dy зі значеннями елементів −2, −1, 1, 2 у таких комбінаціях, щоб виконання вказівок:

next_x = x + dx[k]; 
next_y = y + dy[k];

при j = 0, 1, 2, …, 7 відповідало ходу коня.

static int[] dx = {2, 1,-1,-2,-2,-1, 1, 2};
static int[] dy = {1, 2, 2, 1,-1,-2,-2,-1}; 

До першого звернення до процедури step потрібно заповнити масив sol значенням −1 і надати значення:

sol[0,0]:=0;

Тут 0, 0 — номери рядка й стовпчика клітинки, з якої кінь починає обхід таблиці. Лише після цього викликати функцію step у головній програмі.

Перевірку умови прийнятності ходу у поле (next_x, next_y) можна записати таким чином:

if (next_x >= 0 && next_x < N &&
    next_y >= 0 && next_y < N &&
    sol[next_x, next_y] == -1)

— кінь не ходить за межі шахівниці та не ходить на поле, де він побував раніше (відмінені ходи не враховувати).

У поданому коді передбачено припинення виконання програми після знаходження й виведення першого розв'язку.

Результат виконання програми при N = 5 такий:

  0  5 14  9 20
 13  8 19  4 15
 18  1  6 21 10
  7 12 23 16  3
 24 17  2 11 22

Характерним для реалізованого алгоритму є те, що під час пошуку розв'язку ми поступово:

Це пояснює назву «пошук з поверненням».

Примітка. Розв'язана задача «Хід коня» — частковий випадок пошуку гамільтонового циклу.

4. Інструктаж з ТБ
5. Вироблення практичних навичок


Завдання 1. Змінити код для тернарного пошуку проміжку значень x з [0, 4], при яких вираз |x − 1| + |x − 2| набуває найменших значень.

Вказівка до виконання

  1. Нерівності-порівняння для f1 = f (m1) і f2 = f (m2) змінити на протилежні за змістом.

  2. Якщо однакові значення функції на кінцях поточного відрізка [l, r] такі самі, що й для попереднього відрізка, то мінімум функції досягається на цьому відрізку. Передбачити галуження для цього випадку.

  3. Для знаходження меж найбільшого проміжку, на якому досягається мінімум функції, використати поділ (неперервного) діапазону значень між відповід­ними межами поточного й початкового відрізків.

Завдання 2. Створити програму пошуку з поверненням для дешифрації запису дії додавання ten + ten + forty = sixty.

Вказівка до виконання

  1. Занумерувати літери у порядку першої появи при зростанні старшинства розряду.

  2. Приймати гіпотези щодо значення змінної-літери у встановленому порядку.

  3. Вести облік використаних цифр.

  4. Можна використати вкладені цикли.

6. Підбиття підсумків уроку
Виставлення оцінок.

7. Домашнє завдання

  1. Вивчити матеріал уроку.
  2. При потребі доробити завдання 1 та 2.
  3. Ознайомитися з умовами та ідеями розв'язання задач відбірково-тренувальних зборів команди міста Києва: 1.1, 4.2, 6.2, 15.2 (до крапки вказано номер завдання, після крапки вказано номер задачі) — див. посилання. Пересвідчитися у тому, що усі ці задачі розв'язано пошуком з поверненням. Звернути особливу увагу на задачу 6.2, в описі якої подано єдиний алгоритм оптимального розв'язання логічних задач. Звичайний пошук з поверненням (оптимізований перебір) без проміжних логічних висновків має істотно більший час виконання програми, ніж запропонований автором задачі.


Текст упорядкував Олександр Рудик.