Title: Optimal aircraft carrier deployment scheduling