این پایان نامه به معرفی فرمول بندی تنگ محدب برنامه های غیرخطی صحیح مرکب(آمیخته) شامل محدودیت های «فعال/غیرفعال» (محدودیتی جبری که فعال است اگر و تنها اگر یک متغیر «صفر/یک» متناظر با آن، مساوی با یک باشد) با استفاده از برنامه ریزی تفکیک پذیر و برنامه ریزی محدب می پردازد.