دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Johnson. David S, Trick M.A. (eds.) سری: Dimacs Series in Discrete Mathematics and Theoretical Computer Science 26 ISBN (شابک) : 9780821866092, 0821866095 ناشر: American Mathematical Society سال نشر: 1996 تعداد صفحات: 657 [670] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
در صورت تبدیل فایل کتاب Cliques, coloring, and satisfiability: 2. DIMACS Implementation Challenge October 11-13, 1993 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دسته، رنگآمیزی و رضایتپذیری: 2. چالش اجرای DIMACS 11-13 اکتبر 1993 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
هدف از چالش DIMACS تشویق و هماهنگی تحقیقات در تحلیل تجربی الگوریتمها است. اولین چالش DIMACS کار آزمایشی را در زمینه جریان شبکه و تطابق تشویق کرد. دومین چالش DIMACS، که این جلد بر اساس آن است، همراه با سال ویژه DIMACS در بهینه سازی ترکیبی برگزار شد. در اینجا سه مسئله بهینهسازی ترکیبی دشوار بررسی میشود: یافتن دستهها در یک نمودار، رنگآمیزی رئوس یک نمودار، و حل نمونههایی از مسئله رضایتپذیری. این مسائل هم به دلیل علاقه عملی و هم به دلیل غیرقابل حل بودن نظری انتخاب شدند.
The purpose of a DIMACS Challenge is to encourage and co-ordinate research in the experimental analysis of algorithms. The First DIMACS Challenge encouraged experimental work in the area of network flow and matchings. The Second DIMACS Challenge, on which this volume is based, took place in conjunction with the DIMACS Special Year on Combinatorial Optimization. Addressed here are three difficult combinatorial optimization problems: finding cliques in a graph, colouring the vertices of a graph, and solving instances of the satisfiability problem. These problems were chosen both for their practical interest and because of their theoretical intractability.