177:
45:
172:
133:
182:
65:
32:
250:
374:
221:
211:
89:
123:
138:
425:
167:
461:
216:
466:
442:
345:
110:
403:
318:
206:
150:
272:
238:
398:
357:
323:
333:
289:
301:
267:
430:
284:
128:
413:
392:
255:
233:
362:
408:
386:
194:
313:
155:
455:
69:
49:
36:
93:
328:
20:
This category has the following 4 subcategories, out of 4 total.
109:
The following 42 pages are in this category, out of 42 total.
106:
Pages in category "Theorems in discrete mathematics"
178:Chomsky–Schützenberger representation theorem
8:
46:Theorems in computational complexity theory
173:Chomsky–Schützenberger enumeration theorem
134:Analyst's traveling salesman theorem
111:This list may not reflect recent changes
7:
375:Rado's theorem (Ramsey theory)
139:Arrow's impossibility theorem
115:
86:
22:
14:
426:Theorem on friends and strangers
443:Van der Waerden's theorem
1:
273:Holland's schema theorem
251:Gibbard–Satterthwaite theorem
239:Friedman's SSCG function
183:Curtis–Hedlund–Lyndon theorem
66:Theorems in discrete geometry
358:Parthasarathy's theorem
346:Noisy-channel coding theorem
324:Milliken's tree theorem
124:Ahlswede–Khachatrian theorem
290:Kruskal's tree theorem
483:
302:Large set (Ramsey theory)
285:Kemnitz's conjecture
33:Theorems in combinatorics
168:Cameron–Erdős conjecture
90:Theorems in graph theory
404:Stanley–Wilf conjecture
319:Milliken–Taylor theorem
222:Erdős–Szemerédi theorem
151:Bregman–Minc inequality
399:Sprague–Grundy theorem
393:Schwenk's theorem
256:Gibbard's theorem
234:Folkman's theorem
217:Erdős–Szekeres theorem
462:Mathematical theorems
414:Star of David theorem
334:Myhill–Nerode theorem
212:Erdős–Ko–Rado theorem
467:Discrete mathematics
387:Schur's theorem
363:Pigeonhole principle
268:Hales–Jewett theorem
207:Erdős–Anning theorem
431:Tutte–Berge formula
409:Star height problem
314:May's theorem
195:Dinitz conjecture
129:Akra–Bazzi method
474:
395:
95:
88:
71:
51:
38:
482:
481:
477:
476:
475:
473:
472:
471:
452:
451:
450:
449:
448:
447:
435:
418:
391:
379:
367:
350:
338:
306:
294:
277:
260:
243:
226:
199:
187:
160:
143:
103:
102:
101:
100:
97:
96:
85:
76:
73:
72:
56:
53:
52:
40:
39:
12:
11:
5:
480:
478:
470:
469:
464:
454:
453:
446:
445:
439:
436:
434:
433:
428:
422:
419:
417:
416:
411:
406:
401:
396:
389:
383:
380:
378:
377:
371:
368:
366:
365:
360:
354:
351:
349:
348:
342:
339:
337:
336:
331:
326:
321:
316:
310:
307:
305:
304:
298:
295:
293:
292:
287:
281:
278:
276:
275:
270:
264:
261:
259:
258:
253:
247:
244:
242:
241:
236:
230:
227:
225:
224:
219:
214:
209:
203:
200:
198:
197:
191:
188:
186:
185:
180:
175:
170:
164:
161:
159:
158:
156:Buchholz hydra
153:
147:
144:
142:
141:
136:
131:
126:
120:
117:
116:
107:
104:
99:
98:
84:
83:
80:
77:
75:
74:
64:
63:
60:
57:
55:
54:
44:
43:
41:
31:
30:
27:
24:
23:
18:
15:
13:
10:
9:
6:
4:
3:
2:
479:
468:
465:
463:
460:
459:
457:
444:
441:
440:
437:
432:
429:
427:
424:
423:
420:
415:
412:
410:
407:
405:
402:
400:
397:
394:
390:
388:
385:
384:
381:
376:
373:
372:
369:
364:
361:
359:
356:
355:
352:
347:
344:
343:
340:
335:
332:
330:
327:
325:
322:
320:
317:
315:
312:
311:
308:
303:
300:
299:
296:
291:
288:
286:
283:
282:
279:
274:
271:
269:
266:
265:
262:
257:
254:
252:
249:
248:
245:
240:
237:
235:
232:
231:
228:
223:
220:
218:
215:
213:
210:
208:
205:
204:
201:
196:
193:
192:
189:
184:
181:
179:
176:
174:
171:
169:
166:
165:
162:
157:
154:
152:
149:
148:
145:
140:
137:
135:
132:
130:
127:
125:
122:
121:
118:
114:
112:
105:
91:
87:
82:
81:
78:
67:
62:
61:
58:
47:
42:
34:
29:
28:
25:
21:
17:Subcategories
16:
108:
19:
94:(1 C, 54 P)
456:Categories
329:Minimax
70:(22 P)
50:(22 P)
37:(28 P)
458::
113:.
92:‎
68:‎
48:‎
35:‎
438:V
421:T
382:S
370:R
353:P
341:N
309:M
297:L
280:K
263:H
246:G
229:F
202:E
190:D
163:C
146:B
119:A
79:G
59:D
26:C
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.