adding references
problem def: existence of optimal paths