Influence Propagation in Large Graphs – Theorems and Algorithms