The fixed spectrum frequency assignment problem