Dokazujeme, že počítání grupové barevnosti grafů je úplné pro třídu na druhé úrovni polynomiální hierarchie.
