The max cut problem