Talk:Ramsey's theorem

message: About the intro - referring to Ramsey theory as studying homogeneous sets seems to me more helpful than 'various regularity properties'. Of course RT isn't limited to that. Charles Matthews 11:12, 1 Mar 2004 (UTC)
replies: text: No, "homogeneous" is too specific.  Ramsey theory can be applied for much more general circumstances.  For example it might be looking for arithmetic progressions that appear as subsequences of a sequence of integers -- I don't know that anyone used the word "homogeneous" for to mean that a sequence is an arithmetic progression.   I wrote "regularity property" because it is poorly defined and seems to cover the examples I can think of.  --Zero 11:40, 1 Mar 2004 (UTC)
replies: text:  Well, as you say, it's poorly defined. So, is the introduction to help you, or others? By the way, I think a page called homogeneous set would help. For example the logicians use the idea. Since Ramsey was interested in that case, doesn't it make some sense to explain the theory starting from there? It is often asked that there should be more motivational explanation. Charles Matthews 12:17, 1 Mar 2004 (UTC)
replies: text:  I considered changing this myself, but I'm not well-versed in Ramsey Theory so my assumption that it's an error might be incorrect. In the proof of the finite case of Ramsey's Theorem, when doing induction on r and s, this page states that the base cases are R(n,1) = R(1,n) = n. However, if I understand the meaning of R(r,s), it doesn't make sense to have either r or s equal to 1 - you can't color the 2-edges of a graph with only one vertex. Am I wrong in thinking that it should say R(n,2) = R(2,n) = n? Daniel Lepage 5:03, 6 May 2004 (UTC)
replies: text:  I don't understand your reason, but you are correct that there is a mistake.   R(n,2) = R(2,n) = n can be used to start the induction, or R(n,1) = R(1,n) = 1 can be.  I edited the article to use the latter.  The statement "R(n,1)=1" means: if the edges of the complete graph with 1 vertex are colored using two colors (there are no edges but that just makes the coloring task easier), then there is a complete subgraph of one vertex whose edges all (i.e. all zero of them) have the second color; and this is not true for smaller complete graphs (of which there aren't any anyway).  This inclusion of trivial boundary cases is pretty normal, but if it bothers anyone it would be acceptable to use R(n,2) = R(2,n) = n as the starting point. --Zero 09:17, 7 May 2004 (UTC)
thread_title:  The intro 

message: http://en.wikipedia.org/wiki/Ramsey%27s_theorem#Example:_R.283.2C3.3B2.29_is_6
Isn't the illustration that goes along with the example wrong?
Maybe I misunderstand, but shouldn't there be six vertices, not 5?
No, the diagram is showing that R(3,3;2) is greater than 5.  "it is possible to 2-colour a K5 without creating any monochromatic K3, showing that R(3,3;2) > 5. The unique coloring is shown to the right"  We have already shown that R(3,3;2) is less than or equal to 6 so it must equal 6. Greg321 23:28, 16 January 2006 (UTC)
replies: text: Each graph G on N vertices embeds in the complete graph K_N and induces a unique 2-coloring on the complete graph.  Namely, color an edge blue if it appears in G, and color it red if it doesn't — that is, if it appears in the complement of G.  The statement in Roberts's book is equivalent to saying that N has the (p, q) Ramsey property if and only if for every 2-coloring of K_N, there is either a blue p-clique or a red q-clique in the graph. Michael Slone (talk) 19:46, 19 April 2006 (UTC)
thread_title:  Example: R(3,3;2) is 6 

message: As far as I can see, in modern usage there are a couple of different ways to denote classical Ramsey numbers; essentially based on laziness (as so much mathematical notation is).  The necessary size of a 4-coloured complete graph in order to guarantee an (i+2) clique in the i'th colour, for at least one i, is usually R(3,4,5,6)\,; but if you want to guarantee a triangle in any of the triangles, you may write R_4(3)\, as an alternative to R(3,3,3,3)\,.  This is the terminology used by both Landman-Robertson and Radziszowski.  I do not at the moment have access to Graham & al.; but I remember having seen things like R(3;4)\, or even R(3,4)\, for R(3,3,3,3)\,, a long time ago.  However, I don't recall having seen an irredundancy like R(3,3,3,3;4)\,; if anyone may tell me where this might be found, I'd appreciate it.
Actually, I didn't note that this slightly unusual and irredundant notation is used here, until I noticed that this was removed on the page Ramsey theory, by an anonymous user; but then immediately put back.  The latter seemed a bit too fast.
Actually, there is a good reason to follow Landman-Robertson and Radziszowski here; namely, to avoid confusion.  In fact, in his dynamic survey Radziszowski uses R(n_1,\ldots,n_r;s) in a quite different meaning; letting this s stand for the size of the 'edges' in a hypergraph.  Thus, you may find a statement like this:
:: R_3(3) = R(3,3,3) = R(3,3,3;2) = 17\,
(from section 5 Multicolor graph numbers, of the latest edition of the dynamic survey).  To repeat: here R(3,3,3;2)\, does not mean
:Colouring with two colours forces at least a triangle in one of the three colours,
which is the contradictory meaning resulting from trying to apply the present notation in Ramsey's theorem, but rather
:Three-colouring all two-sets forces at least one 3-set, all of whose 2-subsets have the same colour.
A reader of Ramsey's theorem will have easier access to modern literature, and in particular to the dynamic survey, if we change the notation in both articles.  I'll do that, if no one protests. JoergenB 17:00, 6 October 2006 (UTC)
thread_title:  ;(number of colours) ''or'' ;(size of hyperedges) 

message: I found Ramsey's original article in our library.  Indeed, it concerns a logical problem; and the combinatorial results which have an independent interest (an understatement!!!) actually start with the infinitive version, and (in modern terminology) concern hypergraph variants.  In other words, Ramsey considers colourings of all subsets of a fixed size r (where r = 2 corresponds to the common case of ordinary graphs.  I think I'll add a few references to the original, and also a brief mention of the hypergraph cases; but I do not think proofs for the latter need to be added.  Perhaps we also could have a brief section on the original setting? JoergenB 16:00, 10 October 2006 (UTC)
thread_title:  Ramsey's original theorems 

message: OK, I give up. I just got a new monitor, and see that my section is ugly in the new resolution. How can I get the 2 figures to the right to not overlap with the next section, and not have a big gap in the middle of the section, indepenmdent of the resolution that the user might be using? (I also realize that I have quite a few unsourced statements, and intend to add references to the literature for those assertations in the future when I get the chance.)--Ramsey2006 04:01, 29 November 2006 (UTC)
replies: text: The untwisted graph looks correct to me. The top vertex is connected by a blue straight line to the bottom right vertex. But the twisted graph looks like it has a similar issue to the one you're describing. The three vertices closest to the center do not seem to be connected, nor do the three vertices farthest from the center. Meanwhile, there are multiple edges between two vertices in various places. In particular, the top vertex is connected to the closest vertex below and to the right of the center with a red and a blue edge, just like you describe. Are you sure you were looking at the untwisted graph? I would agree with this if it were about the twisted graph. 144.51.12.2 (talk) 14:56, 27 April 2023 (UTC)
thread_title:  A Multicolor Example R(3,3,3)=17 

message: I notice that the latest edit was a change of the spelling 'colour' to 'color' at one instance; and further inspection showed that the spelling is inconsistent.  This is a rather minor matter; and there exists a consensus on a very simple rule to decide the matter: follow the original contributor's preference.  This article was started with the British spelling, whence 'colour', not 'color' should be used everywhere.  (I wish all edit questions had as simple answers!))
A closer check revealed 59 'colour' and 34 'color' in the article. I now have changed all 34 'color' to 'colour'.--JoergenB 15:55, 1 December 2006 (UTC)
replies: text: Thanks! -- Dominus 16:15, 1 December 2006 (UTC)

text: Thanks! I didn't even think to check when I added my section (which accounted for 31 of the 34 "colors"). The "colour" version is definately the cooler of the two!  ;o} --Ramsey2006 17:40, 1 December 2006 (UTC)
thread_title:  Colour, not color 

message: There is also an article on the Friendship theorem.
That theorem is simply the fact that R(3,3)=6.  That article should have a picture of
the 2-coloring of K_5 with no monochromatic triangle (i.e. blue star inscribed in red pentagon).
I am happy to draw the picture, but there is already a nice one in this article.
Can I copy this picture to that article?
What is the wiki policy for such a case?  If it were a photo, I would be likely to find a new one
because the new one would give more breadth.  However, in this case, a second drawing would not
offer any more information than the first one.  Thoughts? Ptrillian 01:41, 6 January 2007 (UTC)
replies: text: You can use the same pictures. It is under the GDFL copyleft. --Ramsey2006 15:24, 6 January 2007 (UTC)
replies: text: I didn't mean, is it illegal to use the pictures.  I meant, is it frowned upon by the community at wikipedia to use the same pictures in multiple articles within wikipedia?  Possibly the answer is still, "no", but I want to make clear which question I'm asking.Ptrillian 05:49, 7 January 2007 (UTC)
replies: text:  No it is fine.  If a picture would be a good addition to several different articles, by all means use it. McKay 00:45, 9 January 2007 (UTC)
thread_title:  need picture for Friendship theorem 

message: A couple of months ago an anonymous user made a small but heavy edit.   changed the tabulated estimate of R(3,10), with the following comment in the history:
:→Ramsey numbers - According to OEIS this is either 40 or 41
(See the revision 22 december 2006, 02:55:18, in the history.)  I don't know what OEIS means.  I would very much appreciate a reference for the improvement (it is not in Radziszowsky's dynamic survey), and I think the reference should be added to the wikipedia article, too; together with an update of the R(10,3) estimate.  All this under the exciting assumption that this is correct; if not, of course the old R(3,10) estimate should be restored.  (In either case, I think the probability for R(3,10) \neq R(10,3) to hold is rather low :-). JoergenB 18:59, 13 February 2007 (UTC)
replies: text: OEIS is OEIS. -- Dominus 22:21, 13 February 2007 (UTC)

text: here is the OEIS entry for R(3,n), including the comment "The next term is known to be 40 or 41."  Nothing in the list of references seems promising, except perhaps for "B. D. McKay, personal communication." -- Dominus 22:26, 13 February 2007 (UTC)
replies: text: Thanks, Dominus, I've furthered the question to Sloane. (Moreover, McKay, if the result is yours, please tell us! Of course this would be 'original research' in the very best sense, but would you have e.g. an arxive entry...?)--JoergenB 11:11, 14 February 2007 (UTC)
replies: text: I'm slightly confused; Neil Sloane thought he got the new estimate from our article! I don't know; but the few other edits that  made seemed all to be rather sensible, so I think that OEIS was changed before the 22 December. (But, could there have been an old, undocumented and reverted edit in our article?) JoergenB 16:28, 14 February 2007 (UTC)
replies: text: Well.  Seemingly Sloane changes the upper limit back to 43; we do the same; whenever anyone (McKay?) finds a source for a lower limit, they change it and inform the other party.  Is this OK? JoergenB 18:03, 14 February 2007 (UTC)
thread_title:  R(3,10) and R(10,3) 

message: The argument given proves but does not refer to König's infinity lemma. Kope 15:21, 13 May 2007 (UTC)
thread_title:  Infinite implies finite 

message: The article does not include any reference to the arrows version of Ramsey's theorem. It is important because it gives a simple understanding of the theorem from a non-graphical point of view. (In the arrows notation the Theorem on friends and strangers is 6\longrightarrow(3)_2 ). The arrows notation also gives a trivial proof of Schur's theorem. The arrows version should be included in the article. I plan to do it soon. Cheers--Shahab 11:00, 18 May 2007 (UTC)
thread_title:  Non graph theory version 

message: In the part "(that is a simple graph, where an edge connects every pair of vertices)" at the beginning of the article the quantifiers should be altered. It should read "(that is a simple graph, where every pair of vertices is connected by an edge)". The difference is logically relevant.  —Preceding unsigned comment added by 129.132.189.181 (talk) 08:08, 5 September 2007 (UTC)
thread_title:  Technicality 

message: What is r in R(r,s)? s denotes the size of the complete monochromatic subgraph, and R(r,s) is the size of the whole graph. But what is r? It should be stated in the intro text.
Paxinum (talk) 08:47, 17 March 2008 (UTC)
replies: text: It says: "such that ... there exists either a complete subgraph on r vertices which is entirely blue, or ...". -- Dominus (talk) 13:18, 17 March 2008 (UTC)
thread_title:  Intro text 

message: According to the book : The man who only loved numbers, (page 53) Erdos quote about R(5,5) is related to a evil spirt not aliens. Stdazi (talk) 15:01, 1 August 2008 (UTC)
replies: text: My mistake, heh, should have looked here before editing. Sorry. Stdazi (talk) 15:04, 1 August 2008 (UTC)
replies: text: I don't get it. This is an original Erdos paper and it uses evil spirit, doesn't it? Kope (talk) 15:11, 1 August 2008 (UTC)
replies: text:  From the above talk, it seems like he used both Stdazi (talk) 20:08, 1 August 2008 (UTC)

text:  I humbly disagree: from his papers it seems that he used "evil spirit" and not aliens. You can search the collection at the Renyi Institute. Kope (talk) 05:48, 2 August 2008 (UTC)
replies: text:  I'd like to use the word spirit too, though Wikiquote uses aliens too : http://en.wikiquote.org/wiki/Paul_Erdős Stdazi (talk) 14:39, 2 August 2008 (UTC)
replies: text: This is a very personal remark. When I read the Wikiquote quotation I don't "hear" Paul.  This is probably not a word-by-word quote, it is probaly formulated by Ron (Erdos's style is different). I will ask him tomorrow. But in any case, both formulations should be OK, as they are very close to each other, and the idea is the same. Kope (talk) 15:10, 4 August 2008 (UTC)
thread_title:  wrong citation 

message: The section on Proof of Ramsey's Theorem for 2 colors contains the following sentence:
:Now |M| ≥ R(r − 1, s) or |N| ≥ R(r, s − 1), again by the pigeonhole principle.
Can someone please explain how the inequalities follows from the pigeonhole principle. Thanks--Shahab (talk) 04:44, 6 August 2008 (UTC)
thread_title: Proof for 2 colors

message: This article is now up for deletion, but it includes: His [Mackey's] main contributions to mathematics have been his discoveries of many new bounds for Ramsey numbers. In 1994 he discovered new bounds for R(6, 6) through R(10, 10), and proved that 41 ≤ R(5, 5) ≤ 55, at the time a great feat. He later reduced the upper bound to 50. To this day he believes R(5, 5) = 43. Mackey is an adjunct IIRC, at Carnegie-Mellon. 
:I mention this here in case he should be noted in the history of the problem. Septentrionalis PMAnderson 18:02, 18 November 2008 (UTC)
thread_title: [[John Mackey (mathematician)]]

message: A new upper bound for diagonal Ramsey numbers.  I'm putting this here as a reminder to myself to put it in, but if anyone else wants to add it instead, I hope they will go ahead.  —Dominus (talk) 12:39, 31 October 2009 (UTC)
thread_title:  New upper bound 

message: This page has a very strong emphasis on the specifics of small Ramsey numbers. No mention is made of the many interesting asymptotic aspects of the field. The most important omitted results are Erdos' lower bound that r(n) \geq 2^{n/2} and the Erdos-Szekeres upper bound, that r(n) \leq \binom{2n-2}{n-1} \leq 4^n/\sqrt{n}. The discussion on off-diagonal numbers could easily be extended beyond just r(3,n). Finally, some quantitative aspects of the theory for hypergraphs could be mentioned, for example, the important work of Erdos, Hajnal and Rado on the subject.  —Preceding unsigned comment added by Busy365 (talk • contribs) 18:06, 7 September 2010 (UTC)
thread_title:  Unwarranted emphasis 

message: n >2, R(n,n)= 2*(2^n -2*n +1), since 43 <=R(5,5) <=49; it can't be odd... 43, 45, 47, or 49, and neither 44 nor 48-- both equal to 2*(even); for n=3 & 4, it's R(n,n)= 2*(odd), so R(5,5)= 2*23= 46, and check to see that R(6,6)= 2*53= 106 is barely inside the next range. I have posted a *proof* for this formula on my website... www.oddperfectnumbers.com; just click on the Ramsey Theory page!
: This is not a place to post your original research or advertise your web page. McKay (talk) 06:11, 10 November 2011 (UTC)
thread_title:  I have a formula for Ramsey Numbers 

message: I deleted this:
: Using contemporary computational technology, it would take on the order of 10250 years to exhaust all possible 2-colourings of graphs of size 43. (However, many of these colourings are isomorphic to each other, and an intelligent algorithm that only checks unique colourings could get the task done in as little as 10220 years.) Brute-force enumeration ceases to be practical much earlier: the number of unique 2-colourings of a graph on 18 nodes is already an intractable 1.788*1030.
The main reason is that it is simply not true. Nobody would try to look at all possible colourings one at a time as there are much better ways.  Looking at all colourings is not possible for graphs of size greater than 13 (and very expensive for size 13), yet many larger Ramsey numbers can be found exactly via computer search. In other words, this type of calculation does not correctly indicate the difficulty of searching. A secondary reason is that blogs are not permitted as sources in Wikipedia, see WP:BLOGS. McKay (talk) 02:54, 13 March 2012 (UTC)
replies: text: Searching all colourings of a graph Kn becomes computationally extremely difficult as n increases; the number of colourings grows super-exponentially. The complexity for searching all possible graphs is O(2(n-1)(n-2)/2) for an upper bound of n nodes. 
for the same reason. McKay (talk) 02:57, 13 March 2012 (UTC)
thread_title:  incorrect claims 

message: I restored the end of the section Ramsey's theorem#Directed graph Ramsey numbers.  It was removed as 'vandalism', probably in good faith; the reference to aliens is incomprehensible, if you missed the Erdős R(5,5) and R(6,6) story.
This means that the who? tag also got restored.  Now, this section was mainly written here, from an IP where no uninlogged editing has been done since 2006.  The IP provided no direct references, but on the other hand added an external  link: Partial Answer to Puzzle #27: A Ramsey-like quantity, "by Warren D. Smith with extra contributions/improvements by Geoff Exoo".
The stuff sounds interesting, and worth its own article.  The fact that seemingly its relation to ordered subsets in preference patterns attracted the interest of some guys advocating an electional reform doesn't make it less interesting.  If Smith or Exoo or any other who knows more about this subject would like to make a stand-alone article, I'd appreciate it.  (We then could refer to this as the main article for the section in the Ramsey theory article.)  I surmise that the tables I found following the external links supra are due to Exoo, but I didn't refind them on his page.
I cannot exclude that an article about these digraph Ramsey numbers already is written somewhere - under a similar or a quite different name. However, I found none in :Category:Ramsey theory or in :Category:Extremal graph theory, and I don't know where else to look. JoergenB (talk) 22:51, 26 November 2012 (UTC)
thread_title:  Tournament Ramsey numbers (revisited) 

message: I was trying to upper-bound R(10,10) by formula in article, however, log(log(10)) = 0, and division by 0 = infinity. In in cases s<10, it works normally, but at s=10 it is 0. Why it doesn't work? 31.42.239.14 (talk) 12:30, 18 January 2013 (UTC)
replies: text: log means natural logarithm, i.e. log base e.—GraemeMcRaetalk 17:55, 20 January 2013 (UTC)
thread_title:  Bounding 

message: The proof given for the infinite case for two colours actually works for any number of colours with just a tiny modification to the discussion of the base case.
Also the proof is an ordinary induction not a complete induction. To give the more general proof, change the first five sentences of the proof to read:
The proof is by induction on n, the size of the subsets. For n = 1,the statement is equivalent to saying that if you split an infinite set into a finite number of sets, one of them is infinite. This is evident. 
Then change "2-colouring" to "c-colouring" throughout the rest of the proof.
Arjayay asked for a reference: e.g., see these notes by Martin Gould.  http://people.maths.ox.ac.uk/~gouldm/ramsey.pdf 
Bandanna (talk) 20:54, 6 October 2014 (UTC)
replies: text: Not done: as you have not cited reliable sources to back up your request, without which no information should be added to, or changed in, any article. - Arjayay (talk) 12:27, 7 October 2014 (UTC)

text: Not done: The page's protection level and/or your user rights have changed since this request was placed. You should now be able to edit the page yourself. If you still seem to be unable to, please reopen the request with further details. Stickee (talk) 00:16, 9 November 2014 (UTC)
thread_title:  Proof of infinite version 

message: There should be a section on applications. Dr. Universe (talk) 03:19, 27 April 2015 (UTC)
thread_title:  Applications and reason why these numbers have any importance 

message: The article
  Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking
  Constraints, July 2016, Volume 21, Issue 3, pp 375–393
  http://link.springer.com/article/10.1007/s10601-016-9240-3
showed R(4,3,3) = 30, so that information should be updated.
And the statement
  "A multicolour Ramsey number is a Ramsey number using 3 or more colours. There is only one non-trivial multicolour Ramsey number for which the exact value is known, namely R(3, 3, 3) = 17."
should also be updated.
Oliver Kullmann (talk) 03:52, 2 October 2016 (UTC)
replies: text: This is a primary source and when the result makes it into reliable secondary sources we shall update the article. Wikipedia is an encyclopedia and not a place to announce new results. Bill Cherowitzo  (talk) 04:37, 2 October 2016 (UTC)
replies: text:  I don't believe this is a correct summary of the rules.  There is no policy against using primary sources in articles. McKay (talk) 02:05, 27 January 2017 (UTC)
replies: text: I agree with McKay.  In articles concerning mathematics, referring to published results in journals of good standing (adhering to efficient peer's reviewing) seems to be generally acceptable. JoergenB (talk) 21:56, 22 April 2017 (UTC)
thread_title:  R(4,3,3) = 30 

message: The table was completely out of date. Added: R(4,8)>=59;R(5,9)>=133;R(5,10)>=149;R(6,7)>=115;R(6,8)>=134;R(6,9)>=183;R(6,10)>=204;
R(7,9)>=252;R(7,10)>=292;R(8,9)>=329;R(8,10)>=343
from the two sources: https://arxiv.org/abs/1504.02403 and https://arxiv.org/abs/1505.07186 . Obngfs (talk) 19:34, 25 January 2017 (UTC)
replies: text: Arxiv papers are not a reliable source. When these results make it into the secondary literature we will report on them.--Bill Cherowitzo  (talk) 21:10, 25 January 2017 (UTC)
replies: text: Pretty unfriendly step, note that for example the listed lisp code at the external notes section is also NOT(!!!) published on a peer-review book. Not speaking about the fact that you can check the listed colorings with a shorter code what is the listed lisp code. Obviously only in the case if you have a very basic understanding of Math and programming. Obngfs (talk) 21:28, 25 January 2017 (UTC)

text:  At least one paper was published in The Electronic Journal of Combinatorics in  2015, and if cited to that source, it can be included. —Mark Dominus (talk) 21:36, 25 January 2017 (UTC)

text: I have added the results from the first paper, Exoo and Tatarevic (2015), with appropriate citations.  The other paper (Kuznetzov) does not appear to have been published in a peer-reviewed journal. —Mark Dominus (talk) 21:53, 25 January 2017 (UTC)

text: The Kuznetsov paper appears at http://www.oalib.com/paper/4074937#.WIkjEme2prl but I am not sure that the OALib Journal is considered a reliable source.  —Mark Dominus (talk) 22:18, 25 January 2017 (UTC)
replies: text: Thanks for tracking that down. I have no problems with the EJC article but I am also uncertain about the reliability of OALib Journal. I can be a bit flexible about secondary sources if something has been reliably published and has been out there for a while, but Arxiv papers, even by well known authors, do not cut it. --Bill Cherowitzo  (talk) 23:11, 25 January 2017 (UTC)
replies: text:  I'm glad to help.  I agree that arXiv papers aren't normally considered reliable sources, since they are not subject to peer review.  —Mark Dominus (talk) 01:38, 26 January 2017 (UTC)
thread_title:  New lower bounds on small Ramsey numbers 

message: I'm removing the following from the article: 
:The D-Wave Systems quantum computer can be tasked to perform Ramsey calculations at quantum speeds.https://www.technologyreview.com/s/426586/worlds-largest-quantum-computation-uses-84-qubits/ Whereas in a universal quantum computer qubits represent numbers and involve error correction;https://arstechnica.com/science/2016/05/how-ibms-new-five-qubit-universal-quantum-computer-works/ this is not an issue for the D Wave quantum computer, as its qubits are not quantum numbers being calculated on to, rather the qubit outcomes represent sets of probabilities.http://www.dwavesys.com/sites/default/files/Map%20Coloring%20WP2.pdf Said another way, this is unlike circuit quantum computers, where there are single operations such as a CNOT (controlled not, the fundamental logic operation in quantum computing) -- instead, the D wave quantum computer solution to a problem is re-configured so that it is the ground state of an energy landscape.https://arstechnica.com/science/2016/02/is-d-waves-quantum-processor-really-10%E2%81%B8-times-faster-than-a-normal-computer/
From what I can tell, this is nothing more than an advertisement for D-wave, and the only thing it appears to be doing is attempting to explain, badly and incoherently, how quantum computing works, without saying anything at all about Ramsey theory.  67.198.37.17 (talk) 14:52, 2 August 2017 (UTC)
thread_title:  Remove D-wave advertising 

message: Missing from this article is any mention that the Ramsey theorem is a topic of research in reverse mathematics. That article mentions this; the converse is appropriate; I suspect that the topic needs it's entire own article, but even a short paragraph here explaining the relationship to logic would be appropriate. Specifically, something that goes beyond the pop lit of https://www.quantamagazine.org/mathematicians-bridge-finite-infinite-divide-20160524 or at least something that condenses/elaborates on https://www3.nd.edu/~cholak/papers/tarragona.pdf or http://www.math.nus.edu.sg/~chongct/paper-ams.pdf etc... 67.198.37.17 (talk) 15:29, 2 August 2017 (UTC)
thread_title:  Missing treatment of connection to logic 

message: The first sentence is as follows:
"In combinatorial mathematics, Ramsey's theorem states that one will find monochromatic cliques in any edge labelling (with colours) of a sufficiently large complete graph."
This is not how to write clearly.  In fact, this arrangement of subject, verb, and object may be the least clear arrangement possible for this sentence.
Do not speak about "edge labelling" and "monochromatic cliques" before the sentence has even mentioned what it is about: graph coloring.
If you pile too many long or uncommon words together in one sentence, anyone unfamiliar with the subject will remain that way.2600:1700:E1C0:F340:8126:6034:4657:3B3F (talk) 20:17, 15 August 2018 (UTC)
replies: text: It would be more useful if you suggested a better sentence (which I agree is desirable). McKay (talk) 04:12, 16 August 2018 (UTC)
thread_title:  This is not how to write clearly 

message: I undid the contribution of 15 October 2020. It was suggested that by a recent paper of Conlon and Ferber (https://arxiv.org/pdf/2009.10458.pdf), a much better lower bound on the Ramsey number R(t,l) exists. However, in their paper the notation r(t;l) does not stand for the Ramsey number R(t,l). Rather, their r(t;l) stands for the multicolor Ramsey number R(t,t,...,t), with l indices. So the cited paper is very nice, but proves something different.  Wikiwiswa (talk) 22:35, 28 October 2020 (UTC)
replies: text: Thanks for correcting my mistake.  —Mark Dominus (talk) 15:54, 29 October 2020 (UTC)
thread_title:  Explanation for undo better lower bound R(t,l) 

message: https://arxiv.org/pdf/2303.09521.pdf
A smaller improvement reported at https://www.nieuwarchief.nl/serie5/pdf/naw5-2020-21-4-232.pdf  — Preceding unsigned comment added by 38.140.143.234 (talk) 21:26, 31 March 2023 (UTC)
thread_title:  A possible exponential improvement (not yet peer-reviewed)  

message: I found this page very hard to understand, especially on first reading.  Something that I think would help is a simple picture / sketch (like the one included for K5 that shows no clique) -- show K6 and one example of a (red or blue) clique.  Yes, I know there are a lot of possible different arrangements that will produce different specific cliques, so say that in the caption.
Rhkramer (talk) 02:26, 6 May 2023 (UTC)
thread_title:  Why not a simple picture that shows a red or blue clique? 

message: Die Obergrenze von R(10,10) in der Tabelle ist falsch, da schon Erdös bewiesen hat das R höchstens r^4 sein kann ! 80.187.119.226 (talk) 13:45, 14 January 2024 (UTC)
thread_title:  Obergrenze von R(10,10) 

message: The section Ramsey's theorem#Infinite version implies the finite makes use of the notation , but as far as I can see, that notation is not defined anywhere in the article.  Someone should add the meaning of the notation. PatrickR2 (talk) 06:46, 1 March 2024 (UTC)
thread_title:  Section "Infinite version implies the finite"