توضیحاتی در مورد کتاب :
یادداشت هایی که در نهایت به این کتاب تبدیل شد، بین سال های 1977 و 1985 برای دوره ای به نام ترکیبیات سازنده در دانشگاه مینه سوتا نوشته شد. این یک دوره یک چهارم (10 هفته) برای دانشجویان مقطع کارشناسی ارشد است. این کلاس معمولاً شامل رشته های ریاضی و علوم کامپیوتر است که گاهی اوقات یک دانشجوی مهندسی نیز در آن حضور دارند. تعدادی از دانشجویان فارغ التحصیل در رشته علوم کامپیوتر نیز در آن شرکت می کنند. در مینه سوتا، Constructive Combinatorics ربع سوم یک دنباله سه چهارم است. فصل اول، ترکیبات شمارشی، در سطح متون بوگارت [Bo]، بروآلدی [Br]، لیو [Li] یا تاکر [Tu] است و پیش نیاز این دوره است. سه ماهه دوم، نظریه گراف و بهینه سازی، پیش نیاز نیست. فرض میکنیم که دانشآموزان با تکنیکهای شمارش آشنا هستند: اصول اولیه شمارش، توابع تولید و شمول/حذف. این دوره از یک دوره در مورد الگوریتم های ترکیبی تکامل یافته است. آن دوره شامل ترکیبی از الگوریتمهای نمودار، الگوریتمهای بهینهسازی و فهرستبندی بود. تکالیف رایانه عموماً شامل آزمایش الگوریتمها بر روی نمونهها بود. در حالی که ما احساس می کردیم که چنین مطالبی مفید است و بدون محتوای ریاضی نیست، فکر نمی کردیم که این درس دارای تمرکز ریاضی منسجم باشد. علاوه بر این، بسیاری از آن در جاهای دیگر تدریس می شد، یا می توانست تدریس شود. برای مثال، الگوریتمهای گراف و بهینهسازی در درس تئوری گراف، جایی که به طور طبیعی متعلق بودند، وارد شدند. بخش علوم کامپیوتر قبلاً برخی از مطالب را آموزش داده است: الگوریتمهای سادهتر در یک دوره ریاضی مجزا. کارایی الگوریتم ها در دوره های پیشرفته تر
فهرست مطالب :
Cover
......Page 1
Series title
......Page 3
Title
......Page 5
Copyright
......Page 6
Preface......Page 7
Table of Contents......Page 11
CHAPTER 1
Listing Basic Combinatorial Objects......Page 13
§1.1 Permutations
......Page 14
§1.2 Subsets......Page 19
§1.3 Integer Partitions......Page 23
§1.4 Product Spaces......Page 27
§1.5 Set Partitions......Page 30
Exercises......Page 34
§2.1 Six Posets......Page 38
§2.2 Matching in the Boolean algebra......Page 45
§2.3 The Littlewood-Offord Problem......Page 51
§2.4 Extremal Set Theory......Page 55
Exercises......Page 62
CHAPTER 3
Bijections......Page 69
§3.1 The Catalan Family......Page 71
§3.2 The Prüfer Correspondence
......Page 76
§3.3 Partitions......Page 81
§3.4 Permutations......Page 85
§3.5 Tableaux......Page 93
§3.6 The Schensted Correspondence......Page 97
§3.7 Properties of the Schensted Correspondence......Page 105
Exercises......Page 114
CHAPTER 4
Involutions
......Page 122
§4.1 The Euler Pentagonal Number Theorem......Page 123
§4.3 The Cayley-Hamilton Theorem......Page 132
§4.4. The Matrix· Tree Theorem......Page 137
§4.5 Lattice Paths......Page 142
§4.6 The Involution Principle......Page 153
Notes......Page 159
Exercises......Page 160
Bibliography......Page 168
A.1 Permutations
......Page 171
A.2 Subsets......Page 174
A.3 Set Partitions......Page 176
A.4 Integer Partitions......Page 178
A.5 Product Spaces
......Page 179
A.6 Match to First Available......Page 181
A.7 The Schensted Correspondence......Page 183
A.8 The Prüfer Correspondence
......Page 188
A.9 The Involution Principle......Page 190
Index......Page 192
Back cover
......Page 200
توضیحاتی در مورد کتاب به زبان اصلی :
The notes that eventually became this book were written between 1977 and 1985 for the course called Constructive Combinatorics at the University of Minnesota. This is a one-quarter (10 week) course for upper level undergraduate students. The class usually consists of mathematics and computer science majors, with an occasional engineering student. Several graduate students in computer science also attend. At Minnesota, Constructive Combinatorics is the third quarter of a three quarter sequence. The fIrst quarter, Enumerative Combinatorics, is at the level of the texts by Bogart [Bo], Brualdi [Br], Liu [Li] or Tucker [Tu] and is a prerequisite for this course. The second quarter, Graph Theory and Optimization, is not a prerequisite. We assume that the students are familiar with the techniques of enumeration: basic counting principles, generating functions and inclusion/exclusion. This course evolved from a course on combinatorial algorithms. That course contained a mixture of graph algorithms, optimization and listing algorithms. The computer assignments generally consisted of testing algorithms on examples. While we felt that such material was useful and not without mathematical content, we did not think that the course had a coherent mathematical focus. Furthermore, much of it was being taught, or could have been taught, elsewhere. Graph algorithms and optimization, for instance, were inserted into the graph theory course where they naturally belonged. The computer science department already taught some of the material: the simpler algorithms in a discrete mathematics course; effIciency of algorithms in a more advanced course.