Из рекурсивной функции в не рекурсивную

@Praud · Регистрация: 25.02.2013

Студворк — интернет-сервис помощи студентам

Есть рекурсивная функция сортировки слиянием.
Нужно переделать на функцию без рекурсий.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
void mergeSort(long* a, int begin, int end)
{
    long split;                   // индекс, по которому делим массив
 
    if (begin < end)
    {                // если есть более 1 элемента
 
        split = (begin + end) / 2;
 
        mergeSort(a, begin, split);       // сортировать левую половину 
        mergeSort(a, split + 1, end);// сортировать правую половину 
        merge(a, begin, split, end);    // слить результаты в общий массив
    }
}

Мой вариант

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
void mergeSort(long* a, int begin, int end)
{
    long split;
 
    do{
        split = (begin + end) / 2;
 
        do{
            split = (begin + end) / 2;
        } while (begin < end);
 
        do{
            split += 1;
            split = (begin + end) / 2;
        } while (begin < end);
 
        merge(a, begin, split - 1, end);
 
    } while (begin < end);
}

не работает( Помогите исправить

@TheCalligrapher · 23.10.2014, 23:30

Сообщение от Praud

C++
1
2
3
do{
  split = (begin + end) / 2;
} while (begin < end);

А что вы пытались сказать этим бесконечным циклом?

Цикл, следующий за ним не менее бесконечный и еще более бессмысленный.

@Praud · 23.10.2014, 23:50 **[ТС]**

Я уже понял. Не понимаю я эту рекурсивную запись и не знаю как она работает.

Вот та же запись

C++
1
2
3
4
5
6
7
8
9
10
  long split;                   // индекс, по которому делим массив
 
    if (begin < end)
    {   
 
        split = (begin + end) / 2;
 
        mergeSort(a, begin, split);       // сортировать левую половину
        ....
* * }

Как код переходит дальше функции Merge по ветке if? По моим соображением это бесконечный цикл.
Каждый раз когда вызывается Merge мы заново входим в функцию же...

@TheCalligrapher · 24.10.2014, 00:07

Сообщение от Praud

По моим соображением это бесконечный цикл.
Каждый раз когда вызывается Merge мы заново входим в функцию же...

Каждый раз, когда мы снова входим в функцию 'mergeSort', мы получаем снаружи новые значения 'begin' и 'end'. И с каждым новым входом значения 'begin' и 'end' все ближе и ближе друг к другу. В один прекрасный момент условие в 'if' перестает выполняться и "бесконечность" заканчивается.

В процитированном вам же кусочке кода следующий вложенный вызов 'mergeSort' получает значение 'split' в качестве значения 'end'. То есть если тупо перевести эту рекурсию на язык цикла, то получится

C++
1
2
3
4
do{
    split = (begin + end) / 2;
    end = split;
} while (begin < end);

и цикл уже не бесконечный.

@Praud · 24.10.2014, 01:00 **[ТС]**

Этот момент понял, спасибо.

Теперь как в конечном итоге должна выглядеть функция?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
long split;
    long z = (begin + end / 2);
    z += 1;
 
    do{
        do{
            split = (begin + end) / 2;
            end = split;
        } while (begin < end);
 
        do
        {
            z = (begin + end) / 2;
            end = z;
        } while (begin < end);
 
        merge(a, begin, split, end);
    } while (begin < end);

Получается в цикле будут вложены еще 2 цикла, верно?

Добавлено через 26 минут
help, Завтра сдавать,а спать хочется

@TheCalligrapher · 24.10.2014, 04:57

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
void mergeSort(long* a, int begin, int end)
{
  long begin_stack[64];
  long end_stack[64];
  bool forward_stack[64];
  long top = 0;
 
  begin_stack[top] = begin;
  end_stack[top] = end;
  forward_stack[top] = true;
  ++top;
 
  do
  {
    bool forward;
 
    --top;
    begin = begin_stack[top];
    end = end_stack[top];
    forward = forward_stack[top];
 
    long split = (begin + end) / 2;
 
    if (forward)
    {
      if (begin < end)
      {
        begin_stack[top] = begin;
        end_stack[top] = end;
        forward_stack[top] = false;
        ++top;
 
        begin_stack[top] = split + 1;
        end_stack[top] = end;
        forward_stack[top] = true;
        ++top;
 
        begin_stack[top] = begin;
        end_stack[top] = split;
        forward_stack[top] = true;
        ++top;
      }
    }
    else
      merge(a, begin, split, end);
 
  } while (top > 0);
}

Сортировку слиянием можно реализовать чисто циклически без использования дополнительного стека, но это уже будет не буквальная трансляция вашего исходного варианта.

Добавлено через 3 часа 25 минут
Отдельно стоит добавить, что вы не привели кода функции 'merge'. Однако ее можно заменить вызовом стандартной функции 'std::inplace_merge' из <algorithm>. Тогда в вышеприведенном коде ее вызов будет выглядеть как

C++
1
2
3
    ...
    else
      std::inplace_merge(&a[begin], &a[split + 1], &a[end + 1]);

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 19.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .