Wikipedia:WikiProject Mathematics/PlanetMath Exchange/05-XX Combinatorics
Appearance
This page provides a list of all articles available at PlanetMath in the following topic:
- 05-XX Combinatorics.
This list will be periodically updated. Each entry in the list has three fields:
- PM : The first field is the link to the PlanetMath article, along with the article's object ID.
- WP : The second field is either a "guessed" link to a correspondingly named Wikipedia article, produced by the script which generated the list, or one or more manually entered links to the corresponding Wikipedia articles on the subject.
- Status : The third field is the status field, which explains the current status of the entry. The recommended status entries are:
Status | means PM article |
N | not needed |
A | adequately covered |
C | copied |
M | merged |
NC | needs copying |
NM | needs merging |
- Please update the WP and Status fields as appropriate.
- if the WP field is correct please remove the qualifier "guess".
- If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link.
- If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry.
- If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.
Don't forget to include the relevant template if you copy over text or feel like an external link is warranted
- {{planetmath|id=|title=}} for copied over text
- {{planetmath reference|id=|title=}} for an external link
See the main page for examples and usage criteria.
One can use the web-based program Pmform to convert PlanetMath articles to the Wikipedia format. As a side benefit, this tool will place the PlanetMath template for you.
05-00 General reference works (handbooks, dictionaries, bibliographies, etc.) (complete)
[edit]- All articles processed. Paul August ☎ 02:25, 1 June 2006 (UTC)
- PM: example of pigeonhole principle, id=2972 -- WP: pigeonhole principle -- Status: A
- Paul August ☎ 21:51, August 22, 2005 (UTC)
- PM: multi-index derivative of a power, id=4376 -- WP: multi-index notation -- Status: M
- PM: multi-index notation, id=4366 -- WP: multi-index notation -- Status: A
- PM: enumerative combinatorics, id=8993new! -- WP guess: enumerative combinatorics -- Status:
05A05 Combinatorial choice problems (subsets, representatives, permutations) (complete)
[edit]- All articles processed. Paul August ☎ 02:26, 1 June 2006 (UTC)
- PM: (p,q) shuffle, id=4176 -- WP guess: (p,q) shuffle -- Status: C
- PM: cycle notation, id=2808 -- WP Cycle notation -- Status: C
- PM: (p,q) unshuffle, id=9029new! -- WP guess: (p,q) unshuffle -- Status:
- PM: derangement, id=8144new! -- WP guess: derangement -- Status:
- PM: one-line notation for permutations, id=8559new! -- WP guess: one-line notation for permutations -- Status:
- PM: permutation pattern, id=8560new! -- WP guess: permutation pattern -- Status:
05A10 Factorials, binomial coefficients, combinatorial functions (complete)
[edit]- All articles processed. Paul August ☎ 22:31, 29 August 2006 (UTC)
- PM: binomial coefficient, id=273 -- WP: binomial coefficient -- Status: A
- Mikkalai 04:49, 4 Feb 2005 (UTC)
- PM: Catalan numbers, id=2724 -- WP: Catalan number -- Status: A
- Catalan numbers redirects to Catalan number Mikkalai 04:49, 4 Feb 2005 (UTC)
- PM: central binomial coefficient, id=5936 -- WP: central binomial coefficient -- Status: C
- Mikkalai 04:49, 4 Feb 2005 (UTC)
- Copied by User:Drini on 28 June 2005 linas 04:04, 22 August 2005 (UTC)
- PM: double factorial, id=2318 -- WP: double factorial -- Status: A
- double factorial redirects to Factorial, while PM aricle is empty. Mikkalai 04:49, 4 Feb 2005 (UTC)
- Mikkalai 04:49, 4 Feb 2005 (UTC)
- PM: falling factorial, id=2211 -- WP: Pochhammer symbol -- Status: M
- PM: generalized binomial coefficients, id=6309 -- WP: binomial coefficient -- Status: M
- generalized binomial coefficient redirect to binomial coefficient. Mikkalai 04:49, 4 Feb 2005 (UTC)
- Merged, but some had already been merged. Rich Farmbrough 21:53, 26 August 2005 (UTC)
- PM: generalized Ruiz's identity, id=6072 -- WP : none -- Status: N
- Ruiz identities seem to be vanity names, and PM author has consistently failed to provide references to literature where such term is used other than Ruiz own papers. Pedro Sanchez 21:50, 17 May 2005 (UTC)
- I dunno, looks generally useful, seems to show up on Mathworld Binomial sums, although the name may be a neologism. linas 15:56, 7 August 2005 (UTC)
- PM: inductive proof of binomial theorem, id=338 -- WP: binomial theorem -- Status: M
- PM: Levi-Civita permutation symbol, id=4116 -- WP: Levi-Civita symbol -- Status: M
- PM has some examples that should be copied over. linas 04:09, 22 August 2005 (UTC)
- Rich Farmbrough 22:03, 26 August 2005 (UTC)
- PM: multinomial theorem, id=3683 -- WP : multinomial theorem -- Status: A
- Proof must be merged into WP, see below. Mikkalai 04:49, 4 Feb 2005 (UTC)
- PM: multinomial theorem (proof), id=4374 -- WP: multinomial theorem -- Status: M
- Mikkalai 04:49, 4 Feb 2005 (UTC)
- This was merged by Rich Farmbrough August 23, 2005. Paul August ☎ 21:22, 22 June 2006 (UTC)
- PM: Pascal's rule (bit string proof), id=2166 -- WP: Pascal's rule -- Status: N
- PM: Pascal's rule proof, id=259 -- WP : Pascal's rule -- Status: M
- PM: Pascal's triangle, id=4248 -- WP: Pascal's triangle -- Status: A
- Mikkalai 04:49, 4 Feb 2005 (UTC)
- PM: proof of generalized Ruiz's identity, id=6078 -- WP: none -- Status: N
- Since the parent entry is not needed. Pedro Sanchez 21:50, 17 May 2005 (UTC)
- PM: proof of upper and lower bounds to binomial coefficient, id=4546 -- WP : binomial coefficient -- Status: M
- PM: Ruiz's identity, id=6069 -- WP: none -- Status: N
- Besides being a minor identity, Ruiz identities seem to be vanity names, and PM author has consistently failed to provide references to literature where such term is used other than Ruiz own papers. Moreover, this entry is no longer named Ruiz identity in PM. Pedro Sanchez 21:50, 17 May 2005 (UTC)
- PM: sum of powers of binomial coefficients, id=5937 -- WP: binomial coefficient -- Status: N
- binomial coefficient contains the info. Redirect from long title is unnecessary. Mikkalai 04:49, 4 Feb 2005 (UTC)
- PM: Taylor series of arcus sine, id=6527 -- WP: none -- Status: N
- The PM article is a proof of an identity; WP currently doesn't have (many) proofs; it would need to be copied. linas 16:43, 7 August 2005 (UTC)
- PM: upper and lower bounds to binomial coefficient, id=4074 -- WP : binomial coefficient -- Status: M
- PM: {n\choose r} is an integer, id=6744 -- WP: none -- Status: N
- PM: alternating factorial, id=8463new! -- WP guess: alternating factorial -- Status:
- PM: approximating the birthday problem, id=8249new! -- WP guess: approximating the birthday problem -- Status:
- PM: birthday problem, id=8242new! -- WP guess: birthday problem -- Status:
- PM: exponential factorial, id=8068new! -- WP guess: exponential factorial -- Status:
- PM: factorial prime, id=8449new! -- WP guess: factorial prime -- Status:
- PM: generalized factorial, id=8220new! -- WP guess: generalized factorial -- Status:
- PM: Leibniz harmonic triangle, id=9022new! -- WP guess: Leibniz harmonic triangle -- Status:
- PM: recursive algorithm for factorial function, id=9824new! -- WP guess: recursive algorithm for factorial function -- Status:
05A15 Exact enumeration problems, generating functions
[edit]- NM: 1. Paul August ☎ 20:21, 5 June 2006 (UTC)
- NC: 1. Paul August ☎ 22:29, 22 June 2006 (UTC)
- PM: Stirling numbers of the first kind, id=2809 -- WP : Stirling numbers of the first kind -- Status: M
- PM article much more complete drini ☎ 04:05, 18 May 2005 (UTC)
- Rich Farmbrough 14:54, 2 September 2005 (UTC)
- PM: Stirling numbers of the second kind, id=2805 -- WP : Stirling numbers of the second kind -- Status: NM
- PM article much more complete drini ☎ 04:05, 18 May 2005 (UTC)
- PM: sum of rth powers of the first n positive integers, id=5689 -- WP : Bernoulli number -- Status: A
- PM: crazy dice, id=6738 -- WP: crazy dice -- Status: C
- PM: derivation of the generating series for the Stirling numbers of the second kind, id=6992 -- WP: none -- Status: N
- I don't think we necessarily need this but if so then it sohould probably be merged with Stirling polynomial (see below). Paul August ☎ 20:21, 5 June 2006 (UTC)
- PM: Stirling polynomial, id=7575 -- WP: Stirling polynomial -- Status: NC
- Currently Stirling polynomial redirects to difference polynomials, but I think it could have its own article. Paul August ☎ 20:21, 5 June 2006 (UTC)
- PM: Wedderburn-Etherington number, id=9064new! -- WP guess: Wedderburn-Etherington number -- Status:
05A16 Asymptotic enumeration
[edit]- PM: enumerating algebras, id=7829new! -- WP guess: enumerating algebras -- Status:
05A17 Partitions of integers (complete)
[edit]- All articles processed. Paul August ☎ 20:25, 5 June 2006 (UTC)
- PM: integer partition, id=5748 -- WP: integer partition -- Status: A
- PM: part of a partition, id=6735 -- WP: integer partition -- Status: A
- PM: partition function, id=7980new! -- WP guess: partition function -- Status:
- PM: prime partition, id=9852new! -- WP guess: prime partition -- Status:
- PM: Young tableau, id=9039new! -- WP guess: Young tableau -- Status:
- PM: Young's projection operators, id=9041new! -- WP guess: Young's projection operators -- Status:
05A18 Partitions of sets (complete)
[edit]- All articles processed. Paul August ☎ 20:26, 5 June 2006 (UTC)
- PM: Bell number, id=6436 -- WP: Bell number -- Status: A
- PM article does contain a short proof that WP does not. linas 15:59, 7 August 2005 (UTC)
- PM: Bell's triangle, id=9059new! -- WP guess: Bell's triangle -- Status:
05A19 Combinatorial identities (complete)
[edit]- All articles processed. Paul August ☎ 20:48, 5 June 2006 (UTC)
- PM: Pascal's rule, id=246 -- WP: Pascal's rule -- Status: M
- It was merged by User:Drini on 28 June 2005. linas 16:03, 7 August 2005 (UTC)
- PM: Vandermonde identity, id=5562 -- WP: Vandermonde identity -- Status: A
- PM: proof of Pascal's rule, id=6770 -- WP: Pascal's rule -- Status: A
- PM: König-Egervary theorem, id=8752new! -- WP guess: König-Egervary theorem -- Status:
05A30 $q$-calculus and related topics (complete)
[edit]05A99 Miscellaneous (complete)
[edit]- All article processed. Paul August ☎ 20:49, 5 June 2006 (UTC)
- PM: principle of inclusion-exclusion, id=2803 -- WP: principle of inclusion-exclusion -- Status: M
- PM: principle of inclusion-exclusion proof, id=2804 -- WP: principle of inclusion-exclusion proof -- Status: N
- Not needed, as we mostly don't do proofs on WP. linas 04:14, 22 August 2005 (UTC)
05Axx Enumerative combinatorics
[edit]05B05 Block designs
[edit]- NM: 1. Paul August ☎ 21:34, 5 June 2006 (UTC)
- PM: incidence structure, id=6937 -- WP: incidence structure, block design and Steiner system -- Status: NM
- This content is spread among several WP articles. Paul August ☎ 21:34, 5 June 2006 (UTC)
05B07 Triple systems
[edit]05B10 Difference sets (number-theoretic, group-theoretic, etc.)
[edit]- PM: difference set, id=9077new! -- WP guess: difference set -- Status:
05B15 Orthogonal arrays, Latin squares, Room squares (complete)
[edit]- All article processed. Paul August ☎ 21:35, 5 June 2006 (UTC)
- PM: example of Latin squares, id=3539 -- WP: Latin square -- Status: A
- PM: graeco-latin squares, id=1625 -- WP: Graeco-Latin square -- Status: A
- PM: latin square, id=1624 -- WP: latin square -- Status: A
- PM: magic square, id=1626 -- WP: magic square -- Status: A
- PM: construction of magic square of odd length, id=8572new! -- WP guess: construction of magic square of odd length -- Status:
- PM: magic constant, id=8565new! -- WP guess: magic constant -- Status:
- PM: orthogonal Latin squares, id=8138new! -- WP guess: orthogonal Latin squares -- Status:
05B20 Matrices (incidence, Hadamard, etc.)
[edit]- PM: proof that Hadamard matrix has order 1 or 2 or 4n, id=9095new! -- WP guess: proof that Hadamard matrix has order 1 or 2 or 4n -- Status:
05B25 Finite geometries
[edit]- PM: criterion for a near-linear space being a linear space, id=6094 -- WP: linear space -- Status: NC
- This article, together with the PM article linear space and near-linear space below, need to be copied to something like linear space (geometry). Paul August ☎ 04:19, 16 June 2006 (UTC)
- PM: finite plane, id=3510 -- WP: finite geometry -- Status: A
- Created redirect to already existing entry. -- < drini | ∂drini > 16:24, 23 August 2005 (UTC)
- PM: De Bruijn-Erdős theorem, id=6945 -- WP: De Bruijn-Erdős theorem -- Status: NC
- PM: finite projective plane, id=6943 -- WP: projective plane -- Status: NM
- Could have its own article. Paul August ☎ 21:56, 5 June 2006 (UTC)
- PM: finite projective planes have q^2+q+1 points and q^2+q+1 lines, id=6944 -- WP: (none) -- Status: N
- A proof we don't particularly need. Paul August ☎ 04:25, 16 June 2006 (UTC)
- PM: projective plane, id=6940 -- WP: projective plane -- Status: NM
- PM: tactical decomposition, id=6939 -- WP: tactical decomposition -- Status: NC
- PM: sum-product theorem, id=9174new! -- WP guess: sum-product theorem -- Status:
05B35 Matroids, geometric lattices
[edit]- NM: 4. Paul August ☎ 22:44, 5 June 2006 (UTC)
- PM: chromatic polynomial, id=4745 -- WP: chromatic polynomial -- Status: NM
- PM: graded poset, id=5571 -- WP: graded poset -- Status: C
- PM: matroid independence axioms, id=6367 -- WP guess: matroid -- Status: NM
- PM: polymatroid, id=4707 -- WP guess: polymatroid -- Status: C
- PM: incidence geometry, id=7284 -- WP: incidence geometry -- Status: NM
- PM: geometric lattice, id=7972new! -- WP guess: geometric lattice -- Status:
05B50 Polyominoes (complete)
[edit]- All articles processed. Paul August ☎
05B99 Miscellaneous (complete)
[edit]- All articles processed: Paul August ☎ 22:56, 5 June 2006 (UTC)
- PM: Pick's theorem, id=3096 -- WP: Pick's theorem -- Status: A
- Mikkalai 04:52, 4 Feb 2005 (UTC)
- PM: proof of Pick's theorem, id=3606 -- WP: Pick's theorem -- Status: A
- Mikkalai 04:52, 4 Feb 2005 (UTC)
05Bxx Designs and configurations
[edit]05C05 Trees
[edit]- NM: 7. Paul August ☎ 05:39, 19 June 2006 (UTC)
- NC: 3. Paul August ☎ 05:39, 19 June 2006 (UTC)
- PM: balanced tree, id=2706 -- WP: balanced tree -- Status: A
- PM: binary tree, id=2705 -- WP: binary tree -- Status: A
- PM: child node (of a tree), id=2744 -- WP: Tree (data structure) -- Status: NM
- PM: complete binary tree, id=2736 -- WP: complete binary tree -- Status: A
- PM: digital search tree, id=2682 -- WP: trie -- Status: NM
- PM: digital tree, id=2685 -- WP: trie -- Status: NM
- PM: extended binary tree, id=2766 -- WP: binary tree -- Status: NM
- PM: external path length, id=2776 -- WP: binary tree -- Status: NM
- Should be merged into binary tree (could also have its own article) Paul August ☎ 05:24, 19 June 2006 (UTC)
- PM: internal node (of a tree), id=2740 -- WP: internal node -- Status: A
- PM: leaf node (of a tree), id=2741 -- WP: leaf node -- Status: A
- PM: minimum spanning tree, id=2710 -- WP: minimum spanning tree -- Status: A
- PM: minimum weighted path length, id=2779 -- WP: weighted path length -- Status: NC
- Should be copied along with PM article "Weighted path length" below. Paul August ☎ 05:39, 19 June 2006 (UTC)
- PM: null tree, id=2760 -- WP: empty tree -- Status: A
- PM: parent node (in a tree), id=2742 -- WP: parent node -- Status: NM
- PM: root (of a tree), id=2735 -- WP: root node -- Status: NM
- PM: spanning tree, id=2709 -- WP: spanning tree (mathematics) -- Status: A
- PM: tree, id=2697 -- WP: tree (graph theory) -- Status: A
- PM: tree traversals, id=2699 -- WP: tree traversal -- Status: A
- PM: weight-balanced binary trees are ultrametric, id=4045 -- WP: weighted path length -- Status: NC
- Should be copied along with PM article "Weighted path length" below.
- PM: weighted path length, id=2778 -- WP: weighted path length -- Status: NC
- PM: König's lemma, id=7572 -- WP: König's lemma -- Status: A
05C10 Topological graph theory, imbedding
[edit]- NM: 1. Paul August ☎ 03:10, 6 June 2006 (UTC)
- PM: crossing lemma, id=3859 -- WP: crossing lemma -- Status: A
- Redirects to crossing number Terry 04:34, 15 Feb 2005 (UTC)
- PM: crossing number, id=3858 -- WP: crossing number -- Status: A
- PM: example of planar graph with two different embeddings into the plane, id=5738 -- WP: planar graph -- Status: NM
- PM: four-color conjecture, id=3875 -- WP: four-color conjecture -- Status: A
- -- < drini | ∂drini > 16:33, 23 August 2005 (UTC)
- PM: graph topology, id=4250 -- WP: graph topology -- Status: C
- PM: Heawood number, id=3876 -- WP Heawood number -- Status: C
- PM: Kuratowski's theorem, id=764 -- WP: Kuratowski's theorem -- Status: A
- PM: planar graph, id=1826 -- WP: planar graph -- Status: A
- PM: proof of crossing lemma, id=4297 -- WP: crossing number -- Status: A
- Redirects to crossing number Terry 04:34, 15 Feb 2005 (UTC)
- PM: Szemerédi-Trotter theorem, id=3879 -- WP: Szemerédi-Trotter theorem -- Status: A
05C12 Distance in graphs (complete)
[edit]- All articles processed. Paul August ☎ 04:43, 6 June 2006 (UTC)
- PM: Hamming distance, id=1263 -- WP: Hamming distance -- Status: A
- PM: Hamming metric, id=6699 -- WP: Hamming distance -- Status: A
- PM: labelled digraph, id=7033 -- WP: Graph (mathematics) -- Status: A
05C15 Coloring of graphs and hypergraphs
[edit]- NM: 9. Paul August ☎ 15:17, 6 June 2006 (UTC)
- PM: bipartite graph, id=1765 -- WP: bipartite graph -- Status: A
- PM: chromatic number, id=1764 -- WP: chromatic number -- Status: A
- PM: chromatic number and girth, id=3077 -- WP: probabilistic method -- Status: A
- PM: chromatic number of a space, id=5510 -- WP: chromatic number -- Status: NM
- PM: colouring problem, id=1758 -- WP: graph coloring -- Status: A
- PM: complete bipartite graph, id=1784 -- WP: complete bipartite graph -- Status: A
- PM: complete k-partite graph, id=1804 -- WP: complete bipartite graph -- Status: NM
- PM: k-partite graph, id=1785 -- WP: bipartite graph -- Status: NM
- PM: proof of chromatic number and girth, id=6057 -- WP: probabilistic method -- Status: A
- PM: property B, id=4306 -- WP: property B -- Status: NM
- PM: size of maximal independent set and chromatic number, id=6037 -- WP: independent set, chromatic number -- Status: NM
- This article gives a relation between the maximum independent set, chromatic number, and the size, of a graph. A mention of this could be made in both articles. Paul August ☎ 14:47, 6 June 2006 (UTC)
- PM: colorings of plane graphs, id=6925 -- WP: graph coloring -- Status: NM
- There is a lot of information here that probably could be merged into various articles. Paul August ☎ 14:51, 6 June 2006 (UTC)
- PM: Kempe chain, id=6934 -- WP: Kempe chain -- Status: NM
- PM: proof of Vizing's theorem (for graphs), id=6932 -- WP: none -- Status: N
- Not sure if we need this proof. Paul August ☎ 15:17, 6 June 2006 (UTC)
- PM: Tait coloring, id=6927 -- WP: Edge coloring -- Status: NM
- PM: Vizing's theorem, id=6930 -- WP: Edge coloring -- Status: NM
05C20 Directed graphs (digraphs), tournaments (complete)
[edit]- All articles processed. Paul August ☎ 16:03, 6 June 2006 (UTC)
- PM: cut, id=3398 -- WP: cut (graph theory) -- Status: C
- PM: de Bruijn digraph, id=1699 -- WP guess: de Bruijn digraph -- Status: C
- PM: directed graph, id=1702 -- WP: graph -- Status: A
- -it's a redirect to graph Rich Farmbrough 19:59, 26 August 2005 (UTC)
- PM: flow, id=3397 -- WP: flow (graph theory) -- Status: C
- PM: maximum flow/minimum cut theorem, id=3399 -- WP: Max flow min cut theorem -- Status: A
- PM: tournament, id=3518 -- WP: tournament (graph theory) -- Status: C
- PM: Kautz graph, id=8526new! -- WP: Kautz graph -- Status: A
05C25 Graphs and groups
[edit]- NM: 1. Paul August ☎ 16:16, 6 June 2006 (UTC)
- NC: 1. Paul August ☎ 16:16, 6 June 2006 (UTC)
- PM: Cayley graph, id=3135 -- WP: Cayley graph -- Status: NM
- The PM article contains symbolism that WP doesn't. linas 16:59, 7 August 2005 (UTC)
- PM: non-commuting graph, id=7117 -- WP: non-commuting graph of a group -- Status: NC
- PM: Cayley graph of S_3, id=9513new! -- WP guess: Cayley graph of S_3 -- Status:
- PM: hyperbolic group, id=9514new! -- WP guess: hyperbolic group -- Status:
05C30 Enumeration of graphs and maps (complete)
[edit]- PM: enumerating graphs, id=7810new! -- WP guess: enumerating graphs -- Status:
05C38 Paths and cycles
[edit]- NM: 1. Paul August ☎ 19:18, 6 June 2006 (UTC)
- PM: acyclic graph, id=2746 -- WP: glossary of graph theory -- Status: A
- PM: bridges of Königsberg, id=2810 -- WP: Seven Bridges of Königsberg -- Status: A
- PM: cycle, id=1805 -- WP: path (graph theory) -- Status: A
- PM: Euler path, id=1043 -- WP: Eulerian path -- Status: A
- PM: Floyd's algorithm, id=1722 -- WP: Floyd-Warshall algorithm -- Status: A
- PM: Losanitsch's triangle, id = 7686 -- WP: Lozanić's triangle Status: A
- I think Wikipedia covers it better. Cholerashot 21:20, 4 June 2006 (UTC)
- PM: path, id=1731 -- WP: path (graph theory) -- Status: A
- PM: proof of Veblen's theorem, id=4711 -- WP: none -- Status: N
- PM: simple path, id=2747 -- WP: path (graph theory) -- Status: A
- PM: Veblen's theorem, id=2763 -- WP: Eulerian path -- Status: A
- PM: (closed) walk / trek / trail / path, id=6913 -- WP: glossary of graph theory -- Status: NM
- PM: Laver table, id=8591new! -- WP guess: Laver table -- Status:
05C40 Connectivity
[edit]- NM: 4. Paul August ☎ 15:13, 7 June 2006 (UTC)
- NC: 2. Paul August ☎ 15:13, 7 June 2006 (UTC)
- PM: k-connected graph, id=3630 -- WP: connected graph -- Status: NM
- PM: connected graph, id=2743 -- WP: connected graph -- Status: NM
- PM: cutvertex, id=2767 -- WP: cut vertex -- Status: A
- PM: Thomassen's theorem on 3-connected graphs, id=3634 -- WP : none -- Status: NC
- PM: Tutte's wheel theorem, id=3633 -- WP: Tutte's wheel theorem -- Status: NC
- PM: examples of {k}-connected graphs, id=6921 -- WP: connected graph -- Status: NM
- PM: valency, id=6922 -- WP: degree (graph theory) -- Status: NM
05C45 Eulerian and Hamiltonian graphs
[edit]- NM: 1. Paul August ☎ 20:37, 7 June 2006 (UTC)
- PM: binary Gray code, id=2733 -- WP: Gray code -- Status: A
- PM: Bondy and Chvátal theorem, id=479 -- WP: Hamiltonian path -- Status: A
- PM: Euler circuit, id=1044 -- WP: Eulerian path -- Status: A
- PM: Fleury's algorithm, id=4210 -- WP: Fleury's algorithm -- Status: A
- Fleury's algorithm redirects to Eulerian path. Paul August ☎ 18:59, 7 June 2006 (UTC)
- PM: Hamiltonian cycle, id=476 -- WP: Hamiltonian path -- Status: A
- PM: Hamiltonian graph, id=474 -- WP: Hamiltonian path -- Status: A
- PM: Hamiltonian path, id=475 -- WP: Hamiltonian path -- Status: A
- PM: hypohamiltonian, id=2432 -- WP: Hamiltonian path -- Status: NM
- PM: Ore's theorem, id=473 -- WP: Ore's theorem -- Status: A
- PM: Petersen graph, id=478 -- WP: Petersen graph -- Status: A
- PM: proof of Bondy and Chvátal theorem, id=6466 -- WP: none -- Status: N
- Not sure we need this one. Paul August ☎ 20:34, 7 June 2006 (UTC)
- PM: traceable, id=477 -- WP: Hamiltonian path -- Status: A
05C50 Graphs and matrices
[edit]- PM: adjacency matrix, id=9744new! -- WP guess: adjacency matrix -- Status:
- PM: algebraic connectivity of a graph, id=9370new! -- WP: algebraic connectivity -- Status: A
- PM: Alon-Chung lemma, id=9827new! -- WP guess: Alon-Chung lemma -- Status:
- PM: incidence matrix with respect to an orientation, id=9382new! -- WP guess: incidence matrix with respect to an orientation -- Status:
- PM: Laplacian matrix of a graph, id=9371new! -- WP guess: Laplacian matrix of a graph -- Status: A
- PM: proof of Alon-Chung lemma, id=9829new! -- WP guess: proof of Alon-Chung lemma -- Status:
05C60 Isomorphism problems (reconstruction conjecture, etc.) (complete)
[edit]- All article processed. Paul August ☎ 20:37, 7 June 2006 (UTC)
- PM: graph isomorphism, id=1708 -- WP: graph isomorphism -- Status: C
- PM: graph homomorphism, id=8140new! -- WP guess: graph homomorphism -- Status:
05C62 Graph representations (geometric and intersection representations, etc.) (complete)
[edit]05C65 Hypergraphs
[edit]- NM: 1. Paul August ☎ 04:19, 16 June 2006 (UTC)
- NC: 1. Paul August ☎ 04:19, 16 June 2006 (UTC)
- PM: hypergraph, id=3508 -- WP: hypergraph -- Status: M
- PM: linear space and near-linear space, id=3509 -- WP: linear space -- Status: NC
- This article, together with the PM article criterion for a near-linear space being a linear space above, need to be copied to something like linear space (geometry). Paul August ☎ 04:19, 16 June 2006 (UTC)
- PM: Steiner system, id=3511 -- WP : Steiner system -- Status: NM
05C69 Dominating sets, independent sets, cliques
[edit]- NM: 1. Paul August ☎ 01:44, 8 June 2006 (UTC)
- PM: clique, id=2752 -- WP: clique (graph theory) -- Status: NM
- PM: independent set and independence number, id=6038 -- WP: independent set -- Status: A
- PM: Mantel's theorem, id=2764 -- WP: Mantel's theorem -- Status: A
- Mantel's theorem redirects to Turán's theorem. Paul August ☎ 01:39, 8 June 2006 (UTC)
- PM: proof of Mantel's theorem, id=3455 -- WP: (none) -- Status: N
05C70 Factorization, matching, covering and packing
[edit]- NM: 4. Paul August ☎ 20:33, 22 June 2006 (UTC)
- NC: 1. Paul August ☎ 20:33, 22 June 2006 (UTC)
- PM: bipartite matching, id=2942 -- WP: matching -- Status: NM
- Currently bipartite matching redirects to matching. Paul August ☎ 12:42, 8 June 2006 (UTC)
- PM: edge covering, id=2940 -- WP: covering (graph theory) -- Status: A
- PM: maximal bipartite matching algorithm, id=2943 -- WP: matching -- Status: NM
- PM: maximal matching/minimal edge covering theorem, id=2941 -- WP: matching -- Status: NM
- PM: Petersen theorem, id=5502 -- WP: Petersen theorem -- Status: NC
- PM: Tutte theorem, id=5501 -- WP: Tutte theorem -- Status: NM
05C75 Structural characterization of types of graphs
[edit]- NM: 2. Paul August ☎ 17:47, 8 June 2006 (UTC)
- PM: multigraph, id=780 -- WP guess: multigraph -- Status: A
- PM: pseudograph, id=781 -- WP guess: pseudograph -- Status: C
- PM: Moore graph, id=6947 -- WP: Moore graph -- Status: NM
- PM: Moore graphs of d=2 are v-valent and order is v^2+1, id=6948 -- WP: Moore graph -- Status: NM
- PM: line graph, id=8552new! -- WP guess: line graph -- Status:
05C78 Graph labelling (graceful graphs, bandwidth, etc.)
[edit]05C80 Random graphs (complete)
[edit]- All articles processed. Paul August ☎ 17:49, 8 June 2006 (UTC)
- PM: examples of probabilistic proofs, id=3530 -- WP: none -- Status: A
- PM: probabilistic method, id=3519 -- WP: probabilistic method -- Status: A
05C85 Graph algorithms (complete)
[edit]- PM: stable marriage problem, id=8259new! -- WP guess: stable marriage problem -- Status:
05C90 Applications (complete)
[edit]- All articles processed. Paul August ☎ 19:27, 9 June 2006 (UTC)
- PM: Hasse diagram, id=1639 -- WP: Hasse diagram -- Status: A
05C99 Miscellaneous
[edit]- NM: 11. Paul August ☎ 03:28, 16 June 2006 (UTC)
- NC: 4. Paul August ☎ 03:28, 16 June 2006 (UTC)
- PM: block, id=2775 -- WP: block (graph theory) -- Status: NC
- Currently block (graph theory) redirects to Glossary of graph theory. Paul August ☎ 18:29, 8 June 2006 (UTC)
- PM: bridge, id=2768 -- WP: Glossary of graph theory -- Status: A
- PM: complete graph, id=1757 -- WP: complete graph -- Status: NM
- PM: distance (in a graph), id=2765 -- WP: distance (graph theory) -- Status: NM
- PM: edge-contraction, id=2769 -- WP: edge-contraction -- Status: A
- The PM article is unable to be accessed. Paul August ☎ 21:04, 22 June 2006 (UTC)
- PM: Euler's polyhedron theorem, id=2433 -- WP: Euler characteristic -- Status: A
- PM: graph, id=777 -- WP: graph (mathematics) -- Status: NM
- PM: graph minor theorem, id=5430 -- WP: Robertson–Seymour theorem -- Status: A
- PM: graph theory, id=3532 -- WP: graph theory -- Status: NM
- PM: homeomorphism, id=2773 -- WP: homeomorphism (graph theory) -- Status: NM
- PM: Kneser graphs, id=5732 -- WP: Kneser graph -- Status: A
- PM: loop, id=1615 -- WP: loop (graph theory) -- Status: A
- PM: minor (of a graph), id=2770 -- WP guess: minor (graph theory) -- Status: A
- PM: neighborhood (of a vertex), id=785 -- WP: Graph (mathematics) -- Status: NM
- PM: null graph, id=3131 -- WP: null graph -- Status: A
- PM: order (of a graph), id=2762 -- WP: order (graph theory) -- Status: NM
- Currently order (graph theory) redirects to Glossary of graph theory, but I think it could have its own article, (see Bollobas, Bela; Modern Graph Theory, Springer; 1st edition (August 12, 2002). ISBN 0387984887) Paul August ☎ 20:06, 11 June 2006 (UTC)
- PM: Poincaré formula, id=4336 -- WP: Euler characteristic -- Status: NM
- PM: proof of Euler's polyhedron theorem, id=3109 -- WP: Euler characteristic -- Status: A
- PM: proof of Turan's theorem, id=3080 -- WP: none -- Status: N
- PM: realization, id=2774 -- WP: graph topology -- Status: NM
- PM: size (of a graph), id=2761 -- WP: Glossary of graph theory -- Status: NM
- Could perhaps be merged with the PM article "order (of a graph)" above to create a single WP article called something like "order and size of a graph". Paul August ☎ 05:41, 22 June 2006 (UTC)
- PM: subdivision, id=2772 -- WP: subdivision (graph theory) -- Status: NC
- Curently subdivision (graph theory) redirects to Homeomorphism (graph theory) but it should have its own article. Paul August ☎ 22:17, 15 June 2006 (UTC)
- Currently subgraph redirects to glossary of graph theory, where most (but not all!) of this content exists, but I think subgraph should have its own article. Paul August ☎ 19:21, 9 June 2006 (UTC)
- PM: Turan's theorem, id=3037 -- WP: Turan's theorem -- Status: A
- PM: Wagner's theorem, id=2771 -- WP: Wagner's theorem -- Status: A
- Currently Wagner's theorem redirects to Planar graph. Paul August ☎ 19:08, 9 June 2006 (UTC)
- PM: wheel graph, id=1816 -- WP: wheel graph -- Status: NM
- PM: harmonic function, id=6906 -- WP: harmonic function (graph theory) -- Status: NC
- PM: infinite graph, id=8051new! -- WP guess: infinite graph -- Status:
- PM: locally finite graph, id=8049new! -- WP guess: locally finite graph -- Status:
- PM: uniformly locally finite graph, id=8050new! -- WP guess: uniformly locally finite graph -- Status:
05Cxx Graph theory
[edit]05D05 Extremal set theory
[edit]- NM: 1. Paul August ☎ 18:56, 9 June 2006 (UTC)
- PM: LYM inequality, id=5498 -- WP: LYM inequality -- Status: NM
- The conections to Sperner familys and Sperner's theorem, should be indicated. Paul August ☎ 18:56, 9 June 2006 (UTC)
- PM: Sperner's theorem, id=4606 -- WP: Sperner family -- Status: A
05D10 Ramsey theory
[edit]- PM: arrows, id=3284 -- WP: arrow notation (Ramsey theory) -- Status: NC
- PM: Behrend's construction, id=4350 -- WP: (none) -- Status: NC
- PM: coloring, id=3283 -- WP: graph coloring -- Status: NM
- PM: proof of Ramsey's theorem, id=3286 -- WP: Ramsey's theorem -- Status: A
- PM: Ramsey's theorem, id=3285 -- WP guess: Ramsey's theorem -- Status: A
- PM: Ramsey's theorem, id=4630 -- WP guess: Ramsey's theorem -- Status: A
- PM: Szemerédi's theorem, id=3839 -- WP: Szemeredi's_theorem -- Status: A
- Seems that the PM article was copied from the WP article anyway (or vice versa). Terry 04:31, 15 Feb 2005 (UTC)
- PM: Ramsey numbers, id=8387new! -- WP guess: Ramsey numbers -- Status:
- PM: Ramsey-theoretic proof of the Erdős-Szekeres theorem, id=8391new! -- WP guess: Ramsey-theoretic proof of the Erdős-Szekeres theorem -- Status:
05D15 Transversal (matching) theory (complete)
[edit]- All articles processed. Paul August ☎ 04:52, 9 June 2006 (UTC)
- PM: Hall's marriage theorem, id=2837 -- WP: Marriage theorem -- Status: M
- PM: proof of Hall's marriage theorem, id=3059 -- WP: Marriage theorem -- Status: C
- PM: system of distinct representatives, id=2836 -- WP: Marriage theorem -- Status: A
05D40 Probabilistic methods (complete)
[edit]05D99 Miscellaneous
[edit]05Dxx Extremal combinatorics
[edit]05E05 Symmetric functions
[edit]- NM: 2. Paul August ☎ 16:42, 9 June 2006 (UTC)
- PM: algebraic independence of elementary symmetric polynomials, id=6481 -- WP: elementary symmetric polynomial -- Status: NM
- PM: elementary symmetric polynomial, id=1340 -- WP: elementary symmetric polynomial -- Status: A
- PM: reduction algorithm for symmetric polynomials, id=1454 -- WP: elementary symmetric polynomial -- Status: NM
- PM: elementary symmetric polynomial in terms of power sums, id=7965new! -- WP guess: elementary symmetric polynomial in terms of power sums -- Status:
- PM: Schur polynomial, id=9205new! -- WP guess: Schur polynomial -- Status:
05E15 Combinatorial problems concerning the classical groups
[edit]- PM: elementary proof of orders, id=7959new! -- WP guess: elementary proof of orders -- Status:
- PM: orders and structure of classical groups, id=7956new! -- WP guess: orders and structure of classical groups -- Status:
05E35 Orthogonal polynomials (complete)
[edit]- All article processed. Paul August ☎ 17:12, 9 June 2006 (UTC)
- PM: orthogonal, id=1284 -- WP guess: orthogonal -- Status: A
05E99 Miscellaneous (complete)
[edit]- All articles processed Paul August ☎ 17:13, 9 June 2006 (UTC)
- PM: star product, id=5574 -- WP guess: star product -- Status: C