Extremal combinatorics: Difference between revisions

Revision as of 19:20, 22 April 2024

Latest revision as of 21:15, 14 February 2025

(4 intermediate revisions by 4 users not shown)

Line 1:

{{Short description|Area of combinatorics}}

{{No footnotes|date=November 2024}}

'''Extremal combinatorics''' is a field of [[combinatorics]], which is itself a part of [[mathematics]]. Extremal combinatorics studies how large or how small a collection of finite objects ([[number]]s, [[Graph (discrete mathematics)|graph]]s, [[vector space|vector]]s, [[Set (mathematics)|sets]], etc.) can be, if it has to satisfy certain restrictions.

Much of extremal combinatorics concerns [[class (set theory)|class]]es of sets; this is called '''extremal set theory'''. For instance, in an ''n''-element set, what is the largest number of ''k''-element [[subset]]s that can pairwise intersect one another? What is the largest number of subsets of which none contains any other? The latter question is answered by [[Sperner's theorem]], which gave rise to much of extremal set theory.

Another kind of example: How many people can be invited to a party where among each three people there are two who know each other and two who don't know each other? [[Ramsey theory]] shows that at most five persons can attend such a party (see [[Theorem on Friends and Strangers]]). Or, suppose we are given a finite set of nonzero integers, and are asked to mark as large a subset as possible of this set under the restriction that the sum of any two marked integers cannot be marked. It appears that (independent of what the given integers actually are) we can always mark at least one-third of them.

==See also==

Line 16 ⟶ 18:

*{{citation

| lastlast1 = Jukna | first1 = Stasys

| publisher = Springer Verlag

| title = Extremal Combinatorics, With Applications in Computer Science

Line 36 ⟶ 38:

| issue = 1

| pages = 259–286

| year = 1987 | doi=10.2307/2000598| doi-access = free| jstor = 2000598 }}.

[[Category:Extremal combinatorics| ]]

[[Category:Combinatorics|*]]

[[Category:Combinatorial optimization]]

{{combin-stub}}