Есть два алгоритма, решающих одну и ту же задачу. Нужно доказать, что А1 эффективнее (быстрее) А2. Например, алгоритмы сортировки оценивают по кол-ву сравнений и присваений, но мне не подходит.
Во-первых, эти алгоритмы надо как-то описать, например в терминах конечных автоматов и т.п, затем оченить.
Хотелось бы описать алгоритмы в виде графов (а не скажем в матричной форме КА), т.к. нагляднее, проще для понимая и ближе к программрованию.
В какую сторону смотреть?

Забыл сказать. Алгоритмы могут быть параллельные.