Как найти самый большой элемент - PullRequest
Новая
       21

Как найти самый большой элемент

0 голосов
/ 03 ноября 2019

Я хочу найти самый большой / самый большой элемент среди четырех списков натуральных чисел. Элементы расположены в последовательности (от 1 до n в list1, 1 до n-1 в list2, 1 до n+4 в list3, 1 до n-2в list4) и у меня тоже есть их длины. Я сравнил два списка, чтобы найти список с большей длиной, но у меня возникла проблема при сравнении результатов первых двух списков с третьим и четвертым. 

Definition sort (l1 l2 : list nat) : nat :=
    if leb (length l1) (length l2) then 
      length l2
    else if leb (length l2) (length l1) then
      length l1
    else 0.

Пожалуйста, укажите мне.

...