arXiv:2611.13489v1 Announce Type: new Abstract: Simulation optimization typically returns a single estimated optimal point. When decisions also depend on criteria evaluated independently of simulation, such as resource cost, the decision maker instead needs the set of designs whose expected performance lies within a tolerance of the optimum, often choosing the tolerance only after seeing the tradeoffs. We study how to identify these near-optimal regions on a continuous design space, simultaneously for all tolerances up to a prescribed maximum $T$, with region estimation error at most $\eta$. We show that region identification is not a by-product of optimization. Specifically, when $\alpha>\nu$, any procedure, even one given the optimal design in advance, needs at least $\Omega\bigl(\eta^{-(2+d/\nu)}\min\{1,KT^{d/\alpha}\}\bigr)$ simulation evaluations, where $d$ is the dimension, $\nu$ the smoothness, and $(K,\alpha)$ the covering parameters that describe the geometry of the near-optimal designs. We propose SASORI, which returns an estimated optimal point and the regions for all tolerances from the same evaluations, matching this lower bound up to logarithmic factors. SASORI also achieves the optimal tradeoff between region estimation error and cumulative regret, and reduces to a minimax-optimal simulation optimization procedure at zero tolerance. Numerical experiments illustrate the effectiveness of our proposed method.