Med tanke på ett simplial komplex med vikter på sina simplier, och en icke-trivial cykel på det, är vi intresserade av att hitta cykeln med minimal vikt som är homolog till den givna. Om vi antar att homologin definieras med heltal (Z) koefficienter, visar vi följande (Theorem 18):
Med tanke på ett viktat simpliciellt komplex och en icke-trivial cykel beräknar REF sin homologa cykel med minimal vikt.
Optimal homologous cycles, total unimodularity, and linear programming
{'venue': "STOC '10", 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}