Strong exponential time hypothesis