Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Théorème de Ramsey

Indice Théorème de Ramsey

En mathématiques, et plus particulièrement en combinatoire, le théorème de Ramsey, dû à Frank Ramsey (en 1930), est un théorème fondamental de la théorie de Ramsey.

77 relations: Annals of Mathematics, À quelque chose près, Éditions Dunod, Brendan Damien McKay, Bulletin of the American Mathematical Society, Calcul distribué, Cardinal de Ramsey, Claude Berge, Coloration de graphe, Coloration des arêtes d'un graphe, Combinatoire, Comparaison asymptotique, Croissance exponentielle, Ensemble dénombrable, Ensemble infini, Entier naturel, Frank Ramsey, Günter M. Ziegler, George Szekeres, Grand cardinal, Graphe (mathématiques discrètes), Graphe complet, Graphe d'amitié, Graphe de Clebsch, Graphe de Paley, Graphe orienté, Graphe orienté acyclique, Graphe sans triangle, Hypercube, Hypergraphe, Inclusion (mathématiques), Informatique théorique, Isomorphisme de graphes, János Komlós, Jean-Paul Delahaye, Joel Spencer, John Baez, John Wiley & Sons, Leo Moser, Logique formelle, Logique mathématique, London Mathematical Society, Martin Aigner, Mathématiques, Mathématiques récréatives, Méthode probabiliste, Nombre cardinal, Nombre de Graham, Paire, Partition d'un ensemble, ..., Paul Erdős, Preuve par double dénombrement, Principe des tiroirs, Problème NP-complet, Proposition contraposée, Raisonnement par l'absurde, Raisonnement par récurrence, Raisonnements divins, Recherche exhaustive, Sans perte de généralité, Society for Industrial and Applied Mathematics, Stable (théorie des graphes), Structure de données, Suite arithmétique, Théorème de compacité, Théorème de Paris-Harrington, Théorème de Szemerédi, Théorème de van der Waerden, Théorème des amis et des étrangers, Théorie de Ramsey, Théorie des ensembles, Théorie des graphes, Topologie, Tournoi (théorie des graphes), Uplet, Voisinage (théorie des graphes), William Lowell Putnam Mathematical Competition. Développer l'indice (27 plus) »

Annals of Mathematics

Annals of Mathematics, en abrégé Ann.

Nouveau!!: Théorème de Ramsey et Annals of Mathematics · Voir plus »

À quelque chose près

En mathématiques, l'expression « à quelque chose près » peut avoir plusieurs sens différents.

Nouveau!!: Théorème de Ramsey et À quelque chose près · Voir plus »

Éditions Dunod

Dunod est une maison d'édition du groupe Hachette Livre, spécialisée dans les ouvrages de formation universitaire et professionnelle et regroupe les marques Dunod, Armand Colin, InterÉditions, Ediscience, ETSF.

Nouveau!!: Théorème de Ramsey et Éditions Dunod · Voir plus »

Brendan Damien McKay

Brendan Damien McKay, né le 26 octobre 1951 à Melbourne (Australie), est professeur émérite à la Research School of Computer Science de l'université nationale australienne.

Nouveau!!: Théorème de Ramsey et Brendan Damien McKay · Voir plus »

Bulletin of the American Mathematical Society

Le Bulletin of the American Mathematical Society, souvent abrégé Bull.

Nouveau!!: Théorème de Ramsey et Bulletin of the American Mathematical Society · Voir plus »

Calcul distribué

Un calcul distribué, ou réparti ou encore partagé, est un calcul ou un traitement réparti sur plusieurs microprocesseurs et plus généralement sur plusieurs unités centrales informatiques, et on parle alors d'architecture distribuée ou de système distribué.

Nouveau!!: Théorème de Ramsey et Calcul distribué · Voir plus »

Cardinal de Ramsey

En mathématiques, et plus précisément en théorie des ensembles, un cardinal de Ramsey est un type de grand cardinal défini par Paul Erdős et András Hajnal, et nommé ainsi en référence à la théorie de Ramsey.

Nouveau!!: Théorème de Ramsey et Cardinal de Ramsey · Voir plus »

Claude Berge

Claude Berge, né le à Paris et mort dans cette même ville le, est un mathématicien et artiste français.

Nouveau!!: Théorème de Ramsey et Claude Berge · Voir plus »

Coloration de graphe

Une coloration du graphe de Petersen avec 3 couleurs. En théorie des graphes, la coloration de graphe consiste à attribuer une couleur à chacun de ses sommets de manière que deux sommets reliés par une arête soient de couleur différente.

Nouveau!!: Théorème de Ramsey et Coloration de graphe · Voir plus »

Coloration des arêtes d'un graphe

Coloration des arêtes du graphe de Desargues avec trois couleurs. En théorie des graphes et en algorithmique, une coloration des arêtes d'un graphe consiste à attribuer à chaque arête une couleur, en évitant que deux arêtes ayant une extrémité commune soient de la même couleur.

Nouveau!!: Théorème de Ramsey et Coloration des arêtes d'un graphe · Voir plus »

Combinatoire

En mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons d'ensembles finis, et les dénombrements.

Nouveau!!: Théorème de Ramsey et Combinatoire · Voir plus »

Comparaison asymptotique

Comparaison asymptotique des fonctions utilisées en informatique plus précisément en algorithme. On voit par exemple que la fonction exponentielle (2^n) croit plus vite que la fonction linéaire (n). En mathématiques, plus précisément en analyse, la comparaison asymptotique est une méthode consistant à étudier la vitesse de croissance d'une fonction.

Nouveau!!: Théorème de Ramsey et Comparaison asymptotique · Voir plus »

Croissance exponentielle

300x300px La croissance exponentielle d'une quantité est son augmentation au fil du temps selon une loi exponentielle.

Nouveau!!: Théorème de Ramsey et Croissance exponentielle · Voir plus »

Ensemble dénombrable

En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers.

Nouveau!!: Théorème de Ramsey et Ensemble dénombrable · Voir plus »

Ensemble infini

En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers.

Nouveau!!: Théorème de Ramsey et Ensemble infini · Voir plus »

Entier naturel

En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).

Nouveau!!: Théorème de Ramsey et Entier naturel · Voir plus »

Frank Ramsey

Frank Plumpton Ramsey (-) est un mathématicien, économiste et logicien britannique.

Nouveau!!: Théorème de Ramsey et Frank Ramsey · Voir plus »

Günter M. Ziegler

Günter M. Ziegler (né le à Munich) est un mathématicien allemand.

Nouveau!!: Théorème de Ramsey et Günter M. Ziegler · Voir plus »

George Szekeres

George Szekeres (prononciation hongroise) est un mathématicien hongrois et australien, né en 1911 à Budapest et mort en 2005 à Adélaïde.

Nouveau!!: Théorème de Ramsey et George Szekeres · Voir plus »

Grand cardinal

En mathématiques, et plus précisément en théorie des ensembles, un grand cardinal est un nombre cardinal transfini satisfaisant une propriété qui le distingue des ensembles constructibles avec l'axiomatique usuelle (ZFC) tels que 0, ω, etc., et le rend nécessairement plus grand que tous ceux-ci.

Nouveau!!: Théorème de Ramsey et Grand cardinal · Voir plus »

Graphe (mathématiques discrètes)

Dans le domaine des mathématiques discrètes, la théorie des graphes définit le graphe, une structure composée d'objets et de relations entre deux de ces objets.

Nouveau!!: Théorème de Ramsey et Graphe (mathématiques discrètes) · Voir plus »

Graphe complet

En théorie des graphes, un graphe complet est un graphe simple dont tous les sommets sont adjacents deux à deux, c'est-à-dire que tout couple de sommets disjoints est relié par une arête.

Nouveau!!: Théorème de Ramsey et Graphe complet · Voir plus »

Graphe d'amitié

Les graphes d'amitié ''F''2, ''F''3 et ''F''4. Dans le domaine mathématique de la théorie des graphes, le graphe d'amitié (ou graphe moulin hollandais ou n-éventail) Fn est un graphe planaire non orienté avec 2n+1 sommets et 3n arêtes.

Nouveau!!: Théorème de Ramsey et Graphe d'amitié · Voir plus »

Graphe de Clebsch

Le graphe de Clebsch est, en théorie des graphes, un graphe 5-régulier possédant 16 sommets et 40 arêtes.

Nouveau!!: Théorème de Ramsey et Graphe de Clebsch · Voir plus »

Graphe de Paley

En théorie des graphes, un graphe de Paley est un graphe dense et non orienté.

Nouveau!!: Théorème de Ramsey et Graphe de Paley · Voir plus »

Graphe orienté

Un graphe orienté G.

Nouveau!!: Théorème de Ramsey et Graphe orienté · Voir plus »

Graphe orienté acyclique

En théorie des graphes, un graphe orienté acyclique (en anglais directed acyclic graph ou DAG), est un graphe orienté qui ne possède pas de circuit.

Nouveau!!: Théorème de Ramsey et Graphe orienté acyclique · Voir plus »

Graphe sans triangle

En théorie des graphes, un graphe sans triangle est un graphe qui ne possède pas de triplet d'arêtes formant un triangle.

Nouveau!!: Théorème de Ramsey et Graphe sans triangle · Voir plus »

Hypercube

Un hypercube est, en géométrie, un analogue n-dimensionnel d'un carré (n.

Nouveau!!: Théorème de Ramsey et Hypercube · Voir plus »

Hypergraphe

Les hypergraphes sont des objets mathématiques généralisant la notion de graphe.

Nouveau!!: Théorème de Ramsey et Hypergraphe · Voir plus »

Inclusion (mathématiques)

En mathématiques, l’inclusion est une relation d'ordre entre ensembles.

Nouveau!!: Théorème de Ramsey et Inclusion (mathématiques) · Voir plus »

Informatique théorique

Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.

Nouveau!!: Théorème de Ramsey et Informatique théorique · Voir plus »

Isomorphisme de graphes

En mathématiques, dans le cadre de la théorie des graphes, un isomorphisme de graphes est une bijection entre les sommets de deux graphes qui préserve les arêtes.

Nouveau!!: Théorème de Ramsey et Isomorphisme de graphes · Voir plus »

János Komlós

János Komlós (né le 23 mai 1942 à Budapest) est un mathématicien hongro-américain, travaillant sur la théorie des probabilités et les mathématiques discrètes.

Nouveau!!: Théorème de Ramsey et János Komlós · Voir plus »

Jean-Paul Delahaye

Jean-Paul Delahaye est un informaticien et mathématicien français né à Saint-Mandé (Seine) le.

Nouveau!!: Théorème de Ramsey et Jean-Paul Delahaye · Voir plus »

Joel Spencer

Joel Harold Spencer (né le) est un mathématicien et informaticien théoricien américain.

Nouveau!!: Théorème de Ramsey et Joel Spencer · Voir plus »

John Baez

John Carlos Baez, né le à San Francisco, est un physicien mathématicien américain de l'université de Californie à Riverside.

Nouveau!!: Théorème de Ramsey et John Baez · Voir plus »

John Wiley & Sons

John Wiley & Sons, Inc. (ou Wiley) est une maison d'édition américaine fondée en 1807 et présente à l'international, spécialisée dans la publication de revues scientifiques, d'ouvrages techniques, universitaires et encyclopédiques.

Nouveau!!: Théorème de Ramsey et John Wiley & Sons · Voir plus »

Leo Moser

Leo Moser (-) est un mathématicien austro-canadien.

Nouveau!!: Théorème de Ramsey et Leo Moser · Voir plus »

Logique formelle

La logique formelle est l’étude purement abstraite de l’Inférence, en linguistique.

Nouveau!!: Théorème de Ramsey et Logique formelle · Voir plus »

Logique mathématique

La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.

Nouveau!!: Théorème de Ramsey et Logique mathématique · Voir plus »

London Mathematical Society

The London Mathematical Society (LMS) est la plus importante société savante de mathématiques en Angleterre.

Nouveau!!: Théorème de Ramsey et London Mathematical Society · Voir plus »

Martin Aigner

Martin Aigner, né le à Linz et mort le à Berlin, est un mathématicien autrichien, professeur à l'université libre de Berlin depuis 1974, dont les centres d'intérêt sont les mathématiques combinatoires et la théorie des graphes.

Nouveau!!: Théorème de Ramsey et Martin Aigner · Voir plus »

Mathématiques

Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.

Nouveau!!: Théorème de Ramsey et Mathématiques · Voir plus »

Mathématiques récréatives

Les mathématiques récréatives incluent de nombreux jeux mathématiques, et peuvent être étendues pour couvrir des domaines comme la logique ainsi que d'autres puzzles de raisonnements déductifs.

Nouveau!!: Théorème de Ramsey et Mathématiques récréatives · Voir plus »

Méthode probabiliste

La méthode probabiliste est une méthode non constructive, initialement utilisée en combinatoire et popularisée par Paul Erdős, pour démontrer l'existence d'un type donné d'objet mathématique.

Nouveau!!: Théorème de Ramsey et Méthode probabiliste · Voir plus »

Nombre cardinal

Le nombre cardinal des deux ensembles X et Y est 4 En linguistique, les nombres entiers naturels zéro, un, deux, trois, etc.

Nouveau!!: Théorème de Ramsey et Nombre cardinal · Voir plus »

Nombre de Graham

Le nombre de Graham, du nom du mathématicien Ronald Graham, est un entier naturel connu pour avoir été longtemps le plus grand entier apparaissant dans une démonstration mathématique.

Nouveau!!: Théorème de Ramsey et Nombre de Graham · Voir plus »

Paire

Une paire est un ensemble qui comprend exactement deux éléments.

Nouveau!!: Théorème de Ramsey et Paire · Voir plus »

Partition d'un ensemble

Les 52 partitions d'un ensemble à 5 éléments. Les points noirs représentent les éléments de l'ensemble. Une région colorée correspond à un bloc de la partition qui regroupe plusieurs points noirs. Un point noir isolé signifie que cet élément appartient à un bloc qui est un singleton. En mathématiques, une partition d'un ensemble est un ensemble de parties non vides de deux à deux disjointes et dont l'union est.

Nouveau!!: Théorème de Ramsey et Partition d'un ensemble · Voir plus »

Paul Erdős

Paul Erdős, né Pál Erdős le à Budapest et mort le à Varsovie, est un mathématicien hongrois.

Nouveau!!: Théorème de Ramsey et Paul Erdős · Voir plus »

Preuve par double dénombrement

En mathématiques combinatoires, une preuve par double dénombrement, ou double comptage, ou encore double décompte, est une technique de preuve combinatoire servant à démontrer que deux expressions sont égales en prouvant qu'il y a deux façons de compter le nombre d'éléments d'un même ensemble.

Nouveau!!: Théorème de Ramsey et Preuve par double dénombrement · Voir plus »

Principe des tiroirs

En mathématiques, le principe des tiroirs de Dirichlet, affirme que, sans perte de généralité, si n chaussettes sont rangées dans m tiroirs, alors au moins un tiroir contient plus d’une chaussette.

Nouveau!!: Théorème de Ramsey et Principe des tiroirs · Voir plus »

Problème NP-complet

En théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes.

Nouveau!!: Théorème de Ramsey et Problème NP-complet · Voir plus »

Proposition contraposée

En mathématiques et en logique, la contraposition transforme une implication « si A alors B » en une implication équivalente « si non B alors non A ».

Nouveau!!: Théorème de Ramsey et Proposition contraposée · Voir plus »

Raisonnement par l'absurde

Le raisonnement par l’absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique, scientifique consistant à démontrer la véracité d’une proposition en prouvant l’absurdité de la proposition complémentaire (ou « contraire »).

Nouveau!!: Théorème de Ramsey et Raisonnement par l'absurde · Voir plus »

Raisonnement par récurrence

suite de dominos. Si la propriété est vraie au rang n0 (''i. e.'' le premier domino de numéro 0 tombe) et si sa véracité au rang ''n'' implique celle au rang ''n'' + 1 (''i. e.'' la chute du domino numéro ''n'' fait tomber le domino numéro ''n'' + 1) alors la propriété est vraie pour tout entier (''i. e.'' tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.

Nouveau!!: Théorème de Ramsey et Raisonnement par récurrence · Voir plus »

Raisonnements divins

Raisonnements divins est la traduction française de, livre de Martin Aigner et Günter M. Ziegler qui rassemble un ensemble de résultats mathématiques dont les démonstrations surprennent par leur élégance.

Nouveau!!: Théorème de Ramsey et Raisonnements divins · Voir plus »

Recherche exhaustive

La recherche exhaustive ou recherche par force brute est une méthode algorithmique qui consiste principalement à essayer toutes les solutions possibles.

Nouveau!!: Théorème de Ramsey et Recherche exhaustive · Voir plus »

Sans perte de généralité

Sans perte de généralité (ou aussi: sans restreindre la généralité) est une expression fréquemment utilisée dans les démonstrations en mathématiques.

Nouveau!!: Théorème de Ramsey et Sans perte de généralité · Voir plus »

Society for Industrial and Applied Mathematics

La Society for Industrial and Applied Mathematics (SIAM), est une association en mathématiques.

Nouveau!!: Théorème de Ramsey et Society for Industrial and Applied Mathematics · Voir plus »

Stable (théorie des graphes)

L'ensemble des sommets en bleu dans ce graphe est un stable maximal du graphe. En théorie des graphes, un stable – appelé aussi ensemble indépendant ou independent set en anglais – est un ensemble de sommets deux à deux non adjacents.

Nouveau!!: Théorème de Ramsey et Stable (théorie des graphes) · Voir plus »

Structure de données

En informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement.

Nouveau!!: Théorème de Ramsey et Structure de données · Voir plus »

Suite arithmétique

En mathématiques, une suite arithmétique est une suite (le plus souvent une suite de réels) dans laquelle chaque terme permet de déduire le suivant en lui ajoutant une constante appelée raison.

Nouveau!!: Théorème de Ramsey et Suite arithmétique · Voir plus »

Théorème de compacité

Si toute partie finie d'une théorie est satisfaisable (schématisée à gauche), alors la théorie est satisfaisable (schématisée à droite). En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable.

Nouveau!!: Théorème de Ramsey et Théorème de compacité · Voir plus »

Théorème de Paris-Harrington

En logique mathématique, le théorème de Paris–Harrington, obtenu en 1977 par Jeff Paris et Leo Harrington, affirme qu'un certain résultat combinatoire, le théorème de Ramsey fini renforcé, est vrai mais non démontrable dans l'arithmétique de Peano.

Nouveau!!: Théorème de Ramsey et Théorème de Paris-Harrington · Voir plus »

Théorème de Szemerédi

En mathématiques, le théorème de Szemerédi est la conjecture d'Erdős-Turán démontrée par Endre Szemerédi en 1975.

Nouveau!!: Théorème de Ramsey et Théorème de Szemerédi · Voir plus »

Théorème de van der Waerden

Le théorème de van der Waerden (d'après Bartel Leendert van der Waerden) est un théorème de combinatoire, plus précisément de la théorie de Ramsey.

Nouveau!!: Théorème de Ramsey et Théorème de van der Waerden · Voir plus »

Théorème des amis et des étrangers

Les 78 graphes possibles amis-étrangers avec 6 nœuds. Pour chaque graphe, les nœuds rouge/bleu montrent un exemple de triplet d'amis ou d'inconnus mutuels. Le théorème des amis et des étrangers ou théorème des amis et des inconnus est un théorème dans le domaine des mathématiques appelé théorie de Ramsey et est un cas particulier du théorème de Ramsey.

Nouveau!!: Théorème de Ramsey et Théorème des amis et des étrangers · Voir plus »

Théorie de Ramsey

En mathématiques, et plus particulièrement en combinatoire, la théorie de Ramsey, nommée d'après Frank Ramsey, tente typiquement de répondre à des questions de la forme: « combien d'éléments d'une certaine structure doivent être considérés pour qu'une propriété particulière se vérifie ? ».

Nouveau!!: Théorème de Ramsey et Théorie de Ramsey · Voir plus »

Théorie des ensembles

La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.

Nouveau!!: Théorème de Ramsey et Théorie des ensembles · Voir plus »

Théorie des graphes

tracé de graphe. La théorie des graphes est la discipline mathématique et informatique qui étudie les graphes, lesquels sont des modèles abstraits de dessins de réseaux reliant des objets.

Nouveau!!: Théorème de Ramsey et Théorie des graphes · Voir plus »

Topologie

Déformation continue d'une tasse avec une anse, en un tore (bouée). Un ruban de Möbius est une surface fermée dont le bord se réduit à un cercle. De tels objets sont des sujets étudiés par la topologie. La topologie est la branche de la géométrie qui étudie les propriétés d'objets géométriques préservées par déformation continue sans arrachage ni recollement, comme un élastique que l’on peut tendre sans le rompre.

Nouveau!!: Théorème de Ramsey et Topologie · Voir plus »

Tournoi (théorie des graphes)

En mathématiques, dans le cadre de la théorie des graphes, un tournoi est un graphe orienté obtenu en orientant chaque arête d'un graphe complet non orienté.

Nouveau!!: Théorème de Ramsey et Tournoi (théorie des graphes) · Voir plus »

Uplet

Coordonnées XYZ. Basé sur le travail d'InductiveLoad En mathématiques, un uplet (désigné aussi par liste, famille finie, ou suite finie) est une collection ordonnée finie d'objets.

Nouveau!!: Théorème de Ramsey et Uplet · Voir plus »

Voisinage (théorie des graphes)

En théorie des graphes on dit que deux sommets d'un graphe non-orienté sont voisins ou adjacents s'ils sont reliés par une arête.

Nouveau!!: Théorème de Ramsey et Voisinage (théorie des graphes) · Voir plus »

William Lowell Putnam Mathematical Competition

Le concours universitaire William Lowell Putnam Mathematical Competition (aussi appelé William Lowell Putnam Competition ou Putnam Competition) est un concours mathématique annuel prestigieux ouvert aux étudiants des universités et institutions universitaires des États-Unis et du Canada.

Nouveau!!: Théorème de Ramsey et William Lowell Putnam Mathematical Competition · Voir plus »

Redirections ici:

Nombre de Ramsey, Nombres de Ramsey.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »