Вопросы с тегом «matroids»

Насколько фундаментальны матроиды и жадные алгоритмы в разработке алгоритмов?

Первоначально матроиды были введены обобщать понятия линейной независимости совокупности подмножеств над некоторыми основаниями установить . Некоторые проблемы, которые содержат эту структуру, позволяют жадным алгоритмам находить оптимальные решения. Позднее понятие жадных текстов было введено для...

Предлагая уточнения типов

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then {...