動態最優性猜想