Ces tresses sont-elles égales?


13

Si vous n'êtes pas familier avec la théorie de la tresse, je vous recommande de lire ceci en premier. Cette question suppose que vous êtes au moins familier avec les concepts en jeu et suppose que vous connaissez bien la théorie des groupes

Définissons σ n comme la tresse dans laquelle le n ème brin (un indexé) du haut croise le n + 1 ème brin, et σ n - comme l'inverse de σ n (c'est-à-dire le n + 1 ème brin croise le n e brin).

Le groupe de tresses B n est alors généré par 1 , σ 2 , σ 3 ,. . . , σ n-1 > . Ainsi, chaque tresse sur B n peut être écrite comme le produit des σ-tresses. 1


Déterminer si deux tresses sur un groupe sont égales n'est pas une tâche simple. Il peut être assez évident que σ 1 σ 3 = σ 3 σ 1 , mais il est un peu moins évident que par exemple σ 2 σ 1 σ 2 = σ 1 σ 2 σ 1 . 2

La question est donc "Comment déterminer si deux tresses sont identiques?". Eh bien, les deux exemples ci-dessus représentent chacun un peu de cela. En général, les relations suivantes, appelées relations d'Artin, sont vraies:

  • σ i σ j = σ j σ i ; i - j> 1

  • σ i σ i + 1 σ i = σ i + 1 σ i σ i + 1

Nous pouvons utiliser ces deux relations conjointement avec les axiomes du groupe pour prouver que toutes les tresses égales sont égales. Ainsi, deux tresses sont égales si l'application répétée de ces relations et les axiomes de groupe peuvent le démontrer.

Tâche

Vous allez écrire un programme ou une fonction pour prendre deux tresses et déterminer si elles sont égales ou non. Vous pouvez également éventuellement prendre un entier positif représentant l'ordre du groupe.

Il s'agit d'une question de donc les réponses seront notées en octets, avec moins d'octets étant mieux.

Entrée et sortie

Vous devez représenter une tresse comme une liste ordonnée de générateurs (ou toute structure équivalente, par exemple un vecteur). Vous pouvez représenter les générateurs sous toute forme raisonnable (par exemple, un entier, deux tuple d'un entier positif et un booléen).

À égalité avec les règles de standard, vous devez sortir l'une des deux valeurs distinctes, un accepter un rejet.

Cas de test

[],       []              -> True
[1,-1],   []              -> True
[1,2,1],  [2,1,2]         -> True
[1,3],    [3,1]           -> True
[1,3,2,1],[3,2,1,2]       -> True
[1,4,-4,3,2,1], [3,2,1,2] -> True
[2,2,1],  [2,1,2]         -> False
[1,2,-1], [-1,2,1]        -> False
[1,1,1,2],[1,1,2]         -> False

1: Notez que si B n satisfait toutes les propriétés d'un groupe, l'opération sur notre groupe de tresses n'est pas commutative, et donc notre groupe n'est pas abélien.

2: Si vous souhaitez vérifier par vous-même, je suggère d'appliquer σ 1 - des deux côtés.Si vous dessinez les deux sur du papier ou les modélisez avec des chaînes réelles, il devrait devenir évident pourquoi c'est le cas.


Je ne connais pas la théorie de la tresse, donc je suis VTCing comme un charabia absolu (je plaisante)
Caird Coinheringaahing

2
Pouvons-nous avoir des cas de test s'il vous plaît?
HyperNeutrino

@HyperNeutrino Désolé oublié de les ajouter. Ajouté maintenant. N'hésitez pas à suggérer plus.
Post Rock Garf Hunter

Suggestion de cas de test @WheatWizard:[],[]
Pavel

Cas de test proposé:[1, 4, -4, 3, 2, 1], [3, 2, 1, 2] => TRUE
HyperNeutrino

Réponses:


11

Haskell , 190 octets

i!j|j<0=reverse$map(0-)$i!(-j)|i==j=[i,i+1,-i]|i+1==j=[i]|i+j==0=[j+1]|i+j==1=[-j,-i,j]
_!j=[j]
j%(k:a)|j+k==0=a
j%a=j:a
i&a=foldr(%)[]$foldr((=<<).(!))[i]a
a?n=map(&a)[1..n]
(a#b)n=a?n==b?n

Essayez-le en ligne!

Comment ça fonctionne

Soit F n le groupe libre sur n générateurs x 1 ,…, x n . L'un des premiers résultats de la théorie des tresses (Emil Artin, Theorie der Zöpfe , 1925) est que nous avons un homomorphisme injectif f : B nAut ( F n ) où l' action f σ i de σ i est définie par

f σ i ( x i ) = x i x i + 1 x i −1 ,
f σ i ( x i + 1 ) = x i ,
f σ i ( x j ) = x j pour j ∉ { i , i + 1}.

L'inverse f σ i −1 est donné par

f σ i −1 ( x i ) = x i + 1 ,
f σ i −1 ( x i + 1 ) = x i + 1 -1 x i x i + 1 ,
f σ i −1 ( x j ) = x j pour j ∉ { i , i + 1}

et bien sûr la composition est donnée par f ab = f af b .

Pour tester si a = bB n , il suffit de tester que f a ( x i ) = f b ( x i ) pour tout i = 1,…, n . C'est un problème beaucoup plus simple dans F n , où il suffit de savoir comment annuler x i avec x i −1 .

Dans le code:

  • i!jcalcule f σ i ( x j ) (où soit iou jpeut être négatif, représentant un inverse),
  • foldr(%)[] effectue une réduction dans le groupe libre,
  • i&acalcule f a ( x i ),
  • a?ncalcule [ f a ( x 1 ),…, f a ( x n )],
  • et (a#b)nest le test d'égalité pour a = b dans B n .

4

Python 2 , 270 263 260 250 249 241 octets

def g(b,i=0):
 while i<len(b)-1:
  R,s=b[i:i+2]
  if R<0<s:b[i:i+2]=[[],[s,-R,-s,R],[s,R]][min(abs(R+s),2)];i=-1
  i+=1
 return b
def f(a,b):
 b=g(a+[-v for v in b][::-1]);i=0
 while i<len(b)and b[0]>0:b=b[1:]+[b[0]];i+=1   
 return g(b)==[]

Essayez-le en ligne!

Implémentation de la méthode de «renversement de sous-mots» pour résoudre le problème d'isotopie des tresses: a = b ssi ab ^ -1 = l'identité

Algorithme tiré de: Solutions efficaces au problème d'isotopie des tresses, Patrick Dehornoy ; il décrit plusieurs autres algorithmes qui peuvent être intéressants ...

Cet algorithme fonctionne en marchant de gauche à droite dans la liste, en recherchant un nombre négatif suivi d'un nombre positif; c'est-à-dire, un sous-mot de la forme x i -1 x j avec i, j> 0.

Il utilise les équivalences suivantes:

x i -1 x j = x j x i x j -1 x i -1 si i = j + 1 ou j = i + 1

x i -1 x j = identité (liste vide) si i == j

x i -1 x j = x j x i -1 sinon.

Par application répétée, nous nous retrouvons avec une liste de la forme w1 + w2, où chaque élément de w1est positif et chaque élément de w2est négatif. (C'est l'action de la fonction g).

Nous appliquons ensuite gune deuxième fois à la liste w2 + w1; la liste résultante doit être vide si la liste d'origine était équivalente à l'identité.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.