algorithms related to computational social choice lectures I'm attending