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

@Mysterious Light · Регистрация: 19.07.2009

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

Решил предложить несложную задачку интереса ради, вдруг кто-то придумает красивое решение.

Написать функцию filterN :: (a -> a -> a) -> [a] -> [a], которая принимает на вход список xs и критерий p и возвращает наибольший* подсписок, соседние элементы которого удовлетворяют p. Слово «наибольший» не точно описывает результат; первый элемент всегда входит в ответ как первый, второй элемент в ответе — это самый левый элемент списка (tail xs), который удовлетворяет p (head xs), и т.д. То есть алгоритм жадный.

СПОЙЛЕР: вот некрасивый код, который решает задачу

Haskell
1
2
3
4
5
6
7
filterN p []  = []
filterN p [x] = [x]
filterN p (x:xs) = x : filterN' x xs
  where
    filterN' s ys = case dropWhile (p s) ys of
      [] -> []
      (y:ys') -> y : filterN' y ys'

Не по теме:

Ещё объявляю конкурс на осмысленное название этой темы.

@Curry · 12.09.2015, 13:39

Haskell
1
filterN :: (a -> a -> Bool) -> [a] -> [a]

?

@Somebody · 12.09.2015, 13:52

Прочитал условие. Для проверки понимания посмотрел под спойлер. То ли я не так понял, то ли там не тот код.
Как я понял условие:

Haskell
1
filterN (==)  [1, 2, 2, 3, 4, 1, 1, 7, 7, 7, 8, 9] == [7,7,7]

Код даёт:

Haskell
1
filterN (==)  [1, 2, 2, 3, 4, 1, 1, 7, 7, 7, 8, 9] == [1,2,3,4,1,7,8,9]

что в случае, когда p является оношением эквивалентности, аналогично groupBy.

@Mysterious Light · 12.09.2015, 14:03 **[ТС]**

И действительно, groupBy делает то, что нужно, даже если p не является отношением эквивалентности.

Haskell
1
2
3
4
5
6
7
8
9
10
groupBy                 :: (a -> a -> Bool) -> [a] -> [[a]]
groupBy _  []           =  []
groupBy eq (x:xs)       =  (x:ys) : groupBy eq zs
                           where (ys,zs) = span (eq x) xs
 
span                    :: (a -> Bool) -> [a] -> ([a],[a])
span _ xs@[]            =  (xs, xs)
span p xs@(x:xs')
         | p x          =  let (ys,zs) = span p xs' in (x:ys,zs)
         | otherwise    =  ([],xs)

@Catstail · 13.09.2015, 13:54

На всякий случай - велосипедное решение:

Haskell
1
2
3
4
5
6
7
8
9
bike :: (a -> a -> Bool) -> [a] -> [a] -> [a] -> Int -> Int -> [a]
 
bike p [] acc res na nr = reverse $ if na > nr then acc else res
bike p (x:xs) [] res na nr = bike p xs [x] res 1 nr
bike p (x:xs) acc res na nr | (p x (head acc)) = bike p xs (x:acc) res (na+1) nr
                            | (na > nr)  = bike p xs [x] acc 1 na
                            | otherwise = bike p xs [x] res 1 nr
  
task p x = bike p x [] [] 0 0

Новые блоги и статьи Все статьи Все блоги /
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Символьное дифференцирование 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 с альфа-каналом (с прозрачным. . .

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

Решение