1: Computing minimal models, stable models and answer sets 2: Quantum Complexity of Testing Group Commutativity