Introduction To Graph Partitioning