HDU 1723 - Distribute Message
Problem : Given a DAG, find the number of path from source to destination.
Solution : DP in the topology order.
Proof : Try to prove it using redunction and in the set union perspective.