Я это отправил

mystery :: (Num a) => a -> a
mystery n = length [k |
  i <- [1 .. n - 1],
  j <- [i + 1 .. n],
  k <- [1 .. j] ]

Но спасибо

ору

mystery :: (Num a) => a -> a
mystery n = length [k |
  i <- [1 .. n - 1],
  j <- [i + 1 .. n],
  k <- [1 .. j] ]

Жестко

а что ? не правильно ?

да нет, правильно..

не важна

Ну человек наверное не знает матан. Мне вот приходит в голову только построить график из значений которые выдает код из задания, после чего найти графики всяких функций и искать похожий

Или нет, не так записал(

Капец это задание сложное, я за час только 1 цикл сократил до математического действия. И мне уже кажется, что там невозможно прям функцией записать

((n-1)^2 + (n-1)(n^2) - ((n-1)(n-2))/2 - (n(n-1)(2n-1))/6)/2

Мой рот отвалился, как из тех циклов получить это

если соктратить, то (1/3)n(n^2 - 1)

Слишком магическая магия

сначала получаешь сколько раз выполниться k(j), получаешь k(j) = j, j(i, n) выполняеться n - i раз, при чём j меняеться от i + 1 до n, а это сумма арифметической прогрессии((i + 1 + n)(n-i)/2), если разложить всё то получаешь (in + n + n^2 - i^2 - i - in), первый цикл выполняеться n - 1 раз и i меняеться от 1 до n - 1. получаешь сумму квадратов n-1 первых натуральных чисел, арифметическую прогрессию от 1 до n-1 с шагом 1, остальное просто умножаеться на n - 1

примерно 45 минут ушло чтобы догадаться

лол мне даже лень столько читать

три цикла - ну скорее всего ен куб

все, готово