Graph-theoretic and computer applications to S-Function theory