حل مسائل بهینه‌سازی و استدلال استقرایی