Basic algorithmic techniques for graph problems