Линейная алгебра на F-light

Программы для лямбда-процессора Heron можно писать на минималистичном функциональном языке F-light (и пока только на нём). Указанный выше процессор обладает низкоуровневым параллелизмом, который может позволить эффективно реализовывать операции линейной алгебры, которая активно используется в различных задачах обработки данных.

В рамках работы предлагается написать небольшую библиотеку операций линейной алгебры на F-light, выразить через неё некоторые алгоритмы анализа графов, оценить производительность полученного решения.

Требования к студенту
  • Хороший уровень программирования на функциональных языках (Haskell, OCaml, F#): алгебраические типы данных, сопоставление с образцом, рекурсия и т.д.
  • Хороший уровень алгоритмической подготовки: деревья, графы, списки, их обходы и другие базовые операции.
  • Базовая линейная алгебра: матрицы, вектора, операции над ними, (полу)кольца.
  • Базовая теория графов: граф (не/ориентированный, не/помеченный), его представление в памяти, обходы (BFS, DFS), транзитивное замыкание, кратчайшие пути.
Уровень

2 курс

Руководитель

Григорьев Семен Вячеславович

Консультант

Grigorev Semyon

Источник

Кафедра системного программирования СПбГУ