Это зависит от проблемы, но в целом попытайтесь разделить проблему на меньшую проблему плюс еще один шаг или несколько меньших проблем и шаг, который объединяет их.
Я думаю, что ваш ответ правильный. Как ты добрался до ответа? Можете ли вы объяснить процесс, которым вы следовали?
Вот как бы я это сделал:
Вы можете разбить задачу, разбив целые числа на три меньшие группы одинакового размера. Предположим, вы знаете, как найти максимум каждой меньшей группы в T (n / 3), а затем с помощью своего троичного оператора сравнения найти максимум трех максимумов за один дополнительный шаг (давая +1). Это тогда общий максимум. Это дает повторяющиеся отношения, которые вы описали. Вам также нужно определить базовый случай: T (1) = 0 или T (3) = 1. Это не доказывает, что это оптимально, но я думаю, вы можете доказать, что он использует другой аргумент.
Большинство рекурсивных решений следуют аналогичным схемам, но нет строгого и быстрого правила, которому вы всегда можете следовать. Просто попрактикуйтесь на разных примерах, пока не освоитесь.