NP-complete presentation1 oryx