Логическая ошибка при рекурсии

@FeewrE · Регистрация: 01.09.2017

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

Решил задачу в теме про рекурсию. Использован алгоритм Евклида. Условие:
Напишите рекурсивную функцию вычисления наибольшего общего делителя двух положительных целых чисел (Greatest Common Divisor, GCD). Для этого воспользуйтесь следующими свойствами. Требования к реализации: в данном задании запрещено пользоваться циклами. Вы можете заводить любые вспомогательные функции, если они вам нужны.

Проблема в том, что мой рекурсивный алгоритм в функции, которая вызывает себя, работает корректно ровно до последней итерации(когда одно из значений становится равно 0). А конкретно часть (a = m) и (b = m) попросту игнорируется. И дело даже не в проверке на равенство нулю перед алгоритмом, потому что когда управление передаётся строке 9, условия как раз выполняются. Я проверял, убирал проверку. Вывод в строке 10 добавлен только чтобы показать какие значения принимают аргументы функции на каждом этапе итерации. По логике вещей значение b в последней итерации должно было ровняться 0. Следовательно возвращать я должен бы то значение, которое больше, а не то которое меньше. Почему так происходит? Где ошибка?

Мой код

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
#include <conio.h>
 
unsigned gcd(unsigned a, unsigned b)
{
    unsigned m = 0;
    if ((a != 0) && (b != 0))
    {
    (a > b) ? ((m = a % b) && (a = m)) : ((m = b % a) && (b = m)); 
    std::cout << "a = " << a << "\n" << "b = " << b << "\n\n";
    }
    else return a + b;
 
    if (m!=0) gcd(a, b);
    else if (a > b) return b; else return a;
}
 
int main()
{   
    std::cout<<gcd(18, 462); //значения чисто для примера
    _getch();
    return 0;
}

@SuperKir · 29.03.2018, 20:00

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

if ((a != 0) && (b != 0))

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

else return a + b;

Ну если b = 0, то при проверке условия, мы выйдем в else, и выведем a+b, в твоем случае 0+6 = 6

@FeewrE · 30.03.2018, 15:06 **[ТС]**

Уважаемые знатоки, повторяю ещё раз. Проверка тут не при чём. Для примера, скомпилируйте код без строк 7 и 12, вывод не изменится, если не использовать как аргумент 0, разумеется(тогда программа крашится, потому что происходит деление на 0 в алгоритме). Если вы не знаете, просто не сталкивались с подобной ошибкой, или вам лень думать, то пожалуйста не отвечайте в этой теме

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
#include <conio.h>
 
unsigned gcd(unsigned a, unsigned b)
{
    unsigned m = 0;
    //if ((a != 0) && (b != 0))
    {
    (a > b) ? ((m = a % b) && (a = m)) : ((m = b % a) && (b = m)); 
    std::cout << "a = " << a << "\n" << "b = " << b << "\n\n";
    }
    //else return a + b;
 
    if (m!=0) gcd(a, b);
    else if (a > b) return b; else return a;
}
 
int main()
{   
    std::cout<<gcd(18, 462); //значения чисто для примера
    _getch();
    return 0;
}

Добавлено через 13 минут
Мы не выйдем в else по той простой причине, что в последнем вызове функции gcd m будет равно 0 и вместо очередного вызова функции gcd она вернёт значение в вызывающую функцию gcd, а та в предыдущую, и так далее пока первая вызванная gcd не вернёт значение в main, а та выведет его на экран

@woldemas · 30.03.2018, 15:12

FeewrE, а зачем вы такую, извините, ерунду пишете
(a > b) ? ((m = a % b) && (a = m)) : ((m = b % a) && (b = m));
возможно, у вас он вычисляет первый операнд логического И, он - ноль, второй считать не надо, оптимизация, однако.
Кто вас научил так писать? Пишите обычный if.

@SuperKir · 30.03.2018, 15:19

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

Если вы не знаете, просто не сталкивались с подобной ошибкой

Конечно не сталкивались, код то твой.

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

или вам лень думать, то пожалуйста не отвечайте в этой теме

Преобразуйте тернарный оператор в условный, так легче дебажить. В последний момент b не присваивало значение m.
По правде говоря, сама конструкция такого присвоения весьма чудная.

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
unsigned gcd(unsigned a, unsigned b)
{
    unsigned m = 0;
    if (a && b)
    {
        if (a > b)
        {
            m = a % b;
            a = m;
        }
        else
        {
            m = b % a;
            b = m;
        }
        std::cout << "a = " << a << "\n" << "b = " << b << "\n\n";
    }
 
    if (m != 0) 
        gcd(a, b);
    else if (a > b) 
        return b;
    else
        return a;
}

@likehood · 30.03.2018, 15:22

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

if (m!=0) gcd(a, b);

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

@SuperKir · 30.03.2018, 15:27

likehood, да, причем если нормально писать возвращение из рекурсии, в какой-то момент всплывает

Добавлено через 3 минуты
А вообще, используйте нормальную версию рекурсивной функции, или расширенную (двоичный вариант).

C++
1
2
3
4
5
6
7
int gcd(int a, int b) 
{
    if (b == 0)
        return a;
 
    return gcd(b, a % b);
}

И почему Вам нужен 0 - не ясно, ведь ищется НОД

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Программа принимает математическое выражение в виде строки и выдаёт его производную в виде строки и вычисляет значение производной при заданном х Логарифм записывается как: (x-2)log(x^2+2) -. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@woldemas 677 / 479 / 216 Регистрация: 06.09.2013 Сообщений: 1,312
	30.03.2018, 15:12
	FeewrE, а зачем вы такую, извините, ерунду пишете `(a > b) ? ((m = a % b) && (a = m)) : ((m = b % a) && (b = m));` возможно, у вас он вычисляет первый операнд логического И, он - ноль, второй считать не надо, оптимизация, однако. Кто вас научил так писать? Пишите обычный if. 0

Логическая ошибка при рекурсии

Решение