Le but de ce défi est donné un graphique acyclique dirigé fini (DAG), déterminer si le graphique est une réduction transitive .
Une brève explication de ce qu'est un DAG et des réductions transitives:
Un DAG est un graphique avec des bords dirigés (c'est-à-dire que vous ne pouvez vous déplacer que dans une seule direction sur ce bord) de telle sorte que, étant donné un nœud de départ sur le graphique, il est impossible de revenir au nœud de départ (c'est-à-dire qu'il n'y a pas de cycles).
Étant donné n'importe quel nœud de départ, s'il est possible de se rendre à un autre nœud de fin dans le graphique via un nombre positif quelconque d'arêtes, alors ce nœud de fin est défini comme accessible à partir du nœud de départ. Dans un DAG général, il peut y avoir plusieurs chemins qui peuvent être empruntés d'un nœud de départ à un nœud d'arrivée cible. Par exemple, prenez ce graphique en losange:
Pour accéder au nœud Ddepuis A, vous pouvez prendre le chemin A->B->Dou A->C->D. Ainsi, Dest accessible à partir de A. Cependant, aucun chemin ne peut être emprunté pour se rendre au nœud à Bpartir du nœud C. Ainsi, le nœud Bn'est pas accessible à partir du nœud C.
Définissez l' accessibilité du graphique comme la liste des nœuds accessibles pour chaque nœud de départ dans le graphique. Donc, pour le même exemple de graphe en diamant, l'accessibilité est:
A: [B, C, D]
B: [D]
C: [D]
D: []
Un autre graphique qui a la même accessibilité que le graphique ci-dessus est illustré ci-dessous:
Cependant, ce deuxième graphique a plus d'arêtes que le graphique d'origine. La réduction transitive d'un graphe est un graphe avec le moins de bords et la même accessibilité du graphe d'origine. Le premier graphique est donc la réduction transitive du second.
Pour un DAG fini, la réduction transitive est garantie d'exister et est unique.
Contribution
L'entrée est une "liste de listes", où la liste externe a la longueur du nombre de sommets, et chaque liste interne est la longueur du nombre d'arêtes quittant le nœud associé, et contient les indices des nœuds de destination. Par exemple, une façon de décrire le premier graphique ci-dessus serait (en supposant une indexation basée sur zéro):
[[1, 2], [3], [3], []]
Vous pouvez commencer l'indexation du premier nœud à n'importe quelle valeur entière arbitraire (par exemple une indexation basée sur 0 ou 1).
L'entrée peut provenir de n'importe quelle source d'entrée souhaitée (stdio, paramètre de fonction, etc.). Vous êtes libre de choisir le format d'entrée exact tant qu'aucune information supplémentaire n'est fournie. Par exemple, si vous souhaitez prendre une entrée de stdio, vous pouvez avoir chaque ligne comme une liste d'arêtes pour le nœud associé. Ex.:
1 2
3
3
'' (blank line)
Les indices de chaque liste d'adjacence ne sont pas nécessairement triés, et il pourrait y avoir plusieurs fronts reliant deux nœuds (ex. [[1,1],[]]). Vous pouvez supposer que le graphique d'entrée est faiblement connecté et ne contient aucun cycle (c'est-à-dire qu'il s'agit d'un DAG).
Production
La sortie est vraie si l'entrée DAG donnée est une réduction transitive et une valeur fausse sinon. Il peut s'agir de n'importe quel récepteur souhaité (stdio, valeur de retour, paramètre de sortie, etc.)
Exemples
Tous les exemples utilisent une indexation basée sur 0.
[[1,2],[3],[3],[]]
true
[[1,2,3],[3],[3],[]]
false
[[1,1],[]]
false
[[1,2,3,4],[5,6,7],[5,8,9],[6,8,10],[7,9,10],[11,12],[11,13],[12,13],[11,14],[12,14],[13,14],[],[],[],[]]
true
[[5,6,7],[2,3,0,4],[5,8,9],[6,8,10],[7,9,10],[11,12],[11,13],[12,13],[11,14],[12,14],[13,14],[],[],[],[]]
true
[[5,6,7],[2,3,0,4,14,5,7],[5,8,9],[6,8,10],[7,9,10],[11,12],[11,13],[12,13],[11,14],[12,14],[13,14],[],[],[],[]]
false
[[5,6,7],[2,3,0,4],[5,8,9],[6,8,10],[7,9,10,14],[11,12],[11,13],[12,13],[11,14],[12,14],[13,14],[],[],[],[]]
false
[[1,3],[2],[3],[]]
false
Notation
C'est le golf de code; le plus petit code en octets gagne. Votre code devrait se terminer dans un délai raisonnable (10 minutes maximum sur tout le matériel dont vous disposez). Des échappatoires standard s'appliquent. Vous pouvez utiliser toutes les fonctions intégrées souhaitées.