КОНЦЕПЦІЯ ПОБУДОВИ БІБЛІОТЕКИ ЗАДАЧ ТА РІШЕНЬ, ЧАСТИНА 2: ПРОСТІ СОРТУВАННЯ

Анотація

Ця робота є продовженням статті "CONCEPT OF BUILDING A LIBRARY OF TASKS AND SOLUTIONS" [1], присвяченій концепції побудови бібліотеки поширених задач та їхніх розв’язків у вигляді обчислювальних процесів і макрооперацій, а також їхніх моделей на основі мереж Петрі. Бібліотека є інструментом для збору та систематизації різноманітних задач, їхніх розв’язків і моделей. Вводиться нумерація задач і рішень. Вона будується на основі деревоподібної структури, зручної як для розробників, так і для практиків у галузі комп’ютерних наук. Особливу увагу в попередній роботі було приділено архітектурі та структурі бібліотеки, яка являє собою дерево, у вузлах якого зберігаються знання про конкретні задачі, методи їхнього розв’язання та відповідні обчислювальні процеси, що забезпечує глибоке розуміння особливостей задачі та її розв’язання. У минулій статті згадувалося про поділ бібліотеки на відкриту частину, доступну користувачеві, і закриту частину, що перебуває у віданні розробника. У цій статті описується наповнення бібліотеки двома завданнями – сортуванням простим вибором і простим обміном. Кожну задачу представлено докладним розв’язком, що містить: модель задачі, метод розв’язання, обчислювальний процес (ОП) у вигляді словесного опису алгоритму, схему алгоритму, список макрооперацій, моделі ОП у вигляді мережі Петрі з описом елементів мережі та сценаріїв її верифікації. Для підтримки стилю представлення розв’язання задачі статтю також доповнюють вставками, яких бракує інформації для сортування: моделлю задачі та методом її розв’язання. Крім того, у вузол "Сортування" бібліотеки вводяться теоретичні відомості про сортування: що таке сортування, види сортувань, їхні особливості, а також для простих сортувань – таблиця оцінок якості процесу сортування.