دانلود مقاله ISI انگلیسی شماره 111688
ترجمه فارسی عنوان مقاله

در مسیر عرض برنامه ریزی خطی عدد صحیح

عنوان انگلیسی
On the path-width of integer linear programming
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
111688 2017 15 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 12427 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 19 روز بعد از پرداخت 149,124 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 10 روز بعد از پرداخت 298,248 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Information and Computation, Volume 253, Part 2, April 2017, Pages 257-271

ترجمه کلمات کلیدی
برنامه ریزی خطی عدد صحیح، محدود مسیر عرض، منطق مرتبه اول در نمودار، خودکار
کلمات کلیدی انگلیسی
Integer linear programming; Bounded path-width; First-order logic on graphs; Automata;
پیش نمایش مقاله
پیش نمایش مقاله در مسیر عرض برنامه ریزی خطی عدد صحیح

چکیده انگلیسی

We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it. However, one of these graphs is of path-width at most 2n, where n is the number of variables in the instance. Since FO is decidable on graphs of bounded path-width, we obtain an alternative decidability result for ILP. The technique we use underlines a common principle to prove decidability which has previously been employed for automata with auxiliary storage. We also show how this new result links to automata theory and program verification.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 12427 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 19 روز بعد از پرداخت 149,124 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 10 روز بعد از پرداخت 298,248 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.