Added algorithm environment for balanced separator, updated treewidth to use SparseArray