IC
Size: a a a
2020 February 21
AH
обратная композиция, но с категорной точки зрения правильная. А хаскелисты они такие
IC
import Data.List
takeValids :: Int -> [Int] -> [[Int]]
takeValids n = filter (all (<= n) . take n) . permutations
takeValids 3 [1..5]
[[1,2,3,4,5],[2,1,3,4,5],[3,2,1,4,5],[2,3,1,4,5],[3,1,2,4,5],[1,3,2,4,5],[1,2,3,5,4],[2,1,3,5,4],[2,3,1,5,4],[1,3,2,5,4],[3,1,2,5,4],[3,2,1,5,4]]
функция берет список задач (допустим 1..5) и некий предел (3) который определяет какие задачи должны выполниться раньше
как видишь аутпут выдал все варианты где задачи 1 2 3 появляются в первых трех позициях
смотри, тут берутся все перестановки, получается сложность -
5!?AH
смотри, тут берутся все перестановки, получается сложность -
5!?все верно. Я не знаю кстати как тут без полного перебора сделать.
IC
все верно. Я не знаю кстати как тут без полного перебора сделать.
а надо :(
AH
Хотя знаю. Но все равно факториал будет, просто поменьше
IC
факториалы это плохо
AH
надо сказать что хаскель удачно прожевал за какие-то мс
takeValids 50 [1..100]
на консоль правда выводил час
takeValids 50 [1..100]
на консоль правда выводил час
AH
А не, он выводит на консоль as-you-go, потому что он же ленивый
IC
надо сказать что хаскель удачно прожевал за какие-то мс
takeValids 50 [1..100]
на консоль правда выводил час
takeValids 50 [1..100]
на консоль правда выводил час
это странно!
AH
это странно!
не, он ленивый пидор
IC
не, он ленивый пидор
то есть он не досчитал?
AH
Все еще выводит
AH
Я подозреваю будет еще долго выводить
AH
в хаскеле если результат вычисления не используется, он не вычисляется
IC
а ты сделай, чтобы фильтр всегда был false
IC
что то типа N>90
IC
и айрат такой сидит за Summit и считает факториалы 1000