À quoi servent les graphiques infinis?

20

Je viens de lire sur Wikipedia allemand qu'un graphe infini est un graphe avec un nombre infini de nœuds ou un nombre infini d'arêtes. Je ne connais que les applications et les algorithmes pour les graphes finis.

À quoi servent les graphiques infinis?

Quelles sont leurs applications? Je ne peux pas imaginer des algorithmes qui fonctionneraient sur des graphiques infinis, car vous ne pouvez pas stocker un graphique infini. Vous ne pouvez donc pas opérer dessus.

graph-theory co.combinatorics

— Martin Thoma
source

un algorithme gourmand qui fonctionne en se déplaçant entre des sommets avec des bords finis peut parcourir le graphique et trouver un nouveau sommet "préféré" ou "meilleur" basé sur une fonction de coût ou de fitness évaluée à chaque sommet. beaucoup de travail sur l'heuristique d'optimisation, par exemple les algorithmes génétiques peuvent être considérés comme traversant des graphes infinis.

— vzn

1

voir aussi applications de la théorie des graphes infinis, mathoverflow

— vzn

18

De nombreux problèmes de recherche dans l'intelligence artificielle (tels que la recherche dans l'arbre de jeu d'un jeu d'échecs, ou la recherche de solutions à des énigmes comme le Rubik's cube, ou plus généralement la recherche de séquences d'actions à effectuer pour atteindre un objectif souhaité) sont, dans effet, des algorithmes sur des graphes infinis, même si la réponse souhaitée est un chemin fini. Il est certainement possible de réaliser des algorithmes sur de tels graphes, s'ils sont représentés implicitement .

Mais il est également vrai que les mathématiques peuvent être utiles même si ce ne sont pas les mathématiques des problèmes qui peuvent être résolus par des algorithmes. Des graphiques infinis peuvent être utilisés pour modéliser les processus de naissance et de décès (par exemple, comment nos règles d'hérédité des noms et les taux de naissance et de décès des personnes conduisent-ils à des distributions non uniformes des noms de famille entre les différentes cultures humaines?), Pour donner une cadre pour aborder les questions de symétrie mathématique (via les graphes de Cayley , souvent infinis), pour fournir des modèles de raisonnement sur les systèmes de logique (voir graphe Rado et modèle saturé ), etc.

— David Eppstein
source

5

L'arbre d'un jeu d'échecs est fini - bien qu'il soit inimaginable - car il existe un nombre maximum de coups (en raison de la règle des cinquante coups et de la triple répétition ). Merci pour votre réponse, vous avez mentionné de nombreuses idées auxquelles je n'avais pas pensé: +1

— Martin Thoma

2

Ces règles forcent-elles la fin du jeu? Ou donnent-ils simplement aux joueurs une option supplémentaire, d'appeler un match nul plutôt que de continuer à se déplacer?

— David Eppstein

1

@DavidEppstein: Ils imposent une limite de mouvement maximale. Si 50 coups sont effectués sans qu'aucun joueur ne déplace un pion ou ne capture une pièce, le jeu se termine automatiquement par un match nul, même si les joueurs souhaitent continuer. (Mais bien sûr, cela n'affecte pas votre réponse.)

1

@DavidEppstein: ah, désolé, je pensais que ces règles forçaient la résiliation. Ils ne le sont pas comme les règles FIDE (et wikipedia). Voir aussi math.stackexchange.com/q/194008/6876 pour une question connexe.

— Martin Thoma

9

$d$ $d$

D'un côté du seuil, le modèle d'Ising est difficile à estimer. De l'autre côté du seuil, le modèle d'Ising est facile à estimer. La complexité du modèle d'Ising le long du seuil d'unicité est actuellement un problème ouvert, mais la conjecture est qu'il est traitable.

Le résultat le plus récent dans cette ligne de travail est par Sly an Sun. Voir leurs références pour d'autres travaux connexes.

— Tyson Williams
source

3

Pour vous donner une application particulière où il est utile de penser à des graphiques infinis, considérez un réseau de nœuds distribués, chacun exécutant un algorithme distribué qui se déroule en rondes. À chaque tour, un nœud peut mettre à jour son état en effectuant un calcul local et communiquer en envoyant / recevant des messages vers / depuis ses voisins. La sortie d'un tel algorithme est la sortie combinée de tous les nœuds. Par exemple, chaque nœud pourrait décider localement s'il fait partie d'un ensemble indépendant.

$\Omega(\log^* n)$ et ne peuvent donc pas être calculés sur un réseau infini.

Pour plus de détails sur ce point, cliquez ici .

— Peter
source

1

les graphes universels sont infinis et une généralisation du graphe aléatoire Rado mentionné par DE. des recherches récentes dans ce domaine visent à identifier des graphes universels pour une famille de graphes F: c'est-à-dire un graphe infini appartenant à F qui contient tous les graphes finis de F comme sous-graphes induits.

— vzn
source