خرید و دانلود نسخه کامل کتاب Proceedings of the 17th annual ACM-SIAM symposium on discrete algorithms

توضیحاتی در مورد کتاب

سمپوزیوم در میامی، فلوریدا، 22 ژانویه 2006 برگزار شد. این سمپوزیوم به طور مشترک توسط گروه علاقه ویژه ACM در الگوریتم ها و نظریه محاسبات و گروه فعالیت SIAM در ریاضیات گسسته حمایت می شود. پیشگفتار؛ قدردانی ها؛ جلسه 1A: مقابله با سختی با استفاده از رویکرد ترکیبی، ویرجینیا واسیلوسکا، رایان ویلیامز، و شان لئونگ ماوریک وو. رویکردی جدید برای اثبات مرزهای بالای MAX-2-SAT، آریست کوجونیکوف و الکساندر اس. کولیکوف، اندازه گیری و تسخیر: الگوریتم مجموعه مستقل O(20.288n)، فدور وی. فومین، فابریزیو گراندونی، و دیتر کراتچ. الگوریتم چند جمله ای برای یافتن مجموعه ای مستقل از حداکثر وزن در یک نمودار بدون چنگال، وادیم وی. لوزین و مارتین میلانیک. سرعت چهارضلعی-نابرابری Knuth-Yao نتیجه یکنواختی کل است، Wolfgang W. Bein، Mordecai J. Golin، Larry L. Larmore، و Yan Zhang. جلسه 1B: خصوصیات محلی در مقابل جهانی فضاهای متریک، سانجیف آرورا، لازلو لوواس، ایلان نیومن، یووال رابانی، یوری رابینوویچ، و سانتوش ومپالا. معیارهای کارگردانی و مسائل پارتیشن بندی نمودار هدایت شده، موسی چاریکار، کنستانتین ماکاریچف، و یوری ماکاریچف. تعبیه بهبود یافته معیارهای نمودار در درختان تصادفی، Kedar Dhamdhere، Anupam Gupta و Harald Räcke. آچارهای پراکنده با قطر هاپ کوچک برای دو برابر کردن متریک، T-H. هوبرت چان و آنوپام گوپتا؛ Metric Cotype، Manor Mendel and Assaf Naor; جلسه 1C: در مورد تعادل نش برای یک بازی ایجاد شبکه، سوزان آلبرز، استفان ایلتس، ایال اون دار، یشای منصور و لیام رودیتی. تقریبی بازی های منحصر به فرد، Anupam Gupta و Kunal Talwar. محاسبه تعادل متوالی برای بازی‌های دو نفره، پیتر برو میلترسن و ترولز بیره سورنسن. الگوریتم نیمه نمایی قطعی برای حل بازی های برابری، مارسین جورزینسکی، مایک پترسون، و اوری زویک. Finding Nucleolus of Flow Game, Xiaotie Deng, Qizhi Fang, and Xiaoxun Sun, Session 2: Invited Plenary Abstract: Predicting the Unpredictable, Rakesh V. Vohra, Northwestern University; جلسه 3 الف: یک کران پایین و الگوریتم تقریبی نزدیک برای مسئله ربات ربوده شده، سون کونیگ، آپوروا مادگال، و کریگ تووی. یک الگوریتم تقریب مجانبی برای بسته بندی نوار سه بعدی، کلاوس یانسن و روبرتو سولیس-اوبا. مکان تسهیلات با هزینه‌های تسهیلات سلسله مراتبی، زویا سویتکینا و ایوا تاردوس. ترکیب می تواند سخت باشد: تقریب مسئله پوشش منحصر به فرد، اریک دی. دماینه، اوریل فایگه، محمدتقی حاجیاقایی و محمد ر. صلواتی پور; محاسبه حداقل درختان Steiner در Hamming Metric، Ernst Althaus و Rouven Naujoks. جلسه 3B: اتصالات شکل قوی از طریق پوسته های لایه بردار و رنده، Pankaj K. Agarwal، Sariel Har-Peled، و Hai Yu. سفت کردن مسیرها و چرخه‌های غیرساده روی سطوح، اریک کالین دو وردیر و جف اریکسون؛ مش بندی سطحی ناهمسانگرد، Siu-Wing Cheng، Tamal K. Dey، Edgar A. Ramos و Rephael Wenger. چرخش های مورب همزمان در مثلث های صفحه، Prosenjit Bose، Jurek Czyzowicz، Zhicheng Gao، Pat Morin و David R. Wood. شکل‌گیری نقشه‌های نمودار مسطح متعامد، آنا لوبیو، مارک پتریک، و مایکل اسپریگز. جلسه 3C: Overhang، Mike Paterson و Uri Zwick. در مورد ظرفیت شبکه های اطلاعاتی، میکا آدلر، نیکلاس جی. ای. هاروی، کمال جین، رابرت کلینبرگ، و آوریل راسالا لیمن؛ مرزهای پایین برای کانال های ارتباطی نامتقارن و کدگذاری منبع توزیع شده، میکا آدلر، اریک دی. دیمین، نیکلاس جی. ای. هاروی، و میهای پاتراشکو. الگوریتم‌های خود-بهبود، نیر آیلون، برنارد شازل، سشادری کوماندور، و دینگ لیو. جف ادموندز و کرک پروهز، برش کیک واقعاً یک تکه کیک نیست. جلسه 4 الف: آزمایش آزاد بودن مثلث در نمودارهای عمومی، نوگا آلون، تالی کافمن، مایکل کریولویچ، و دانا رون. حل محدودیت از طریق پوشش های لبه کسری، مارتین گروه و دانیل مارکس. تست ایزومورفیسم نمودار، الدار فیشر و آری ماتسلیا. ساخت کارآمد مدل‌های دایره‌ای-قوس واحد، مین چیه لین و جیم ال. اسوارکفیتر، بر روی عدد کروماتیک برخی ابرگراف‌های هندسی، ش