"Зочем вы кгасите" (с) или истинно декларативная проверка графа на двудольность

[yvl]

Рождество - прекрасное время, когда оценки выставлены и есть время высказаться по поводу двудольных графов. Вторая реализация ("в декларативном стиле"), написанная _adept_ элегантна и эффективна (настолько, насколько эффективны используемые библиотечные функции). Но все же, она использует алгоритм для проверки двудольности, а не определение двудольности

Comments

[ircat]

Однако, Ярослав, ты бы хоть на рождество немного расслабился :-)

[antilamer]

Уж если на то пошло, то powerset = filterM (const [True,False]). Это куда понятнее и, гм, декларативнее и ближе к определению, чем написанный foldr.

[yvl]

filterM nelzya, zabivator ne velit. Pro catamor on ne vozmushalsya, potomu ya i napisal foldom. No na vsyakij slu4ay napisal i bez folda, i eto samij blizkij k opredeleniyu variant. Vash s filterM - samij dalekij, on ispolzuet samuyu slozhnuju abstrakciyu.

[yvl]

Y pro4ital pro nenavist' k monadam zdes', i reshil, 4to Vi ih ne lubite v celom. Esli Vi ih ne lubite izbiratelno - proshu prosheniya. :) V lubom slu4ae - ya stavil sebe zada4u napisat' bez monad.

Рассылка рекламы на форумы доски и др сайты и др.

[anonymous]

wats7@mail.ru