Quelle est la complexité du problème d'équivalence pour les arbres de décision à lecture unique?

11

Un arbre de décision à lecture unique est défini comme suit:

  • et F a l s e sont des arbres de décision à lecture unique.TrueFalse
  • Si et B sont des arbres de décision à lecture unique et que x est une variable n'apparaissant pas dans A et B , alors ( x A ) ( ˉ xB ) est également un arbre de décision à lecture unique.ABxAB(xA)(x¯B)

Quelle est la complexité du problème d'équivalence pour les arbres de décision à lecture unique?

  • Entrée: Deux fois en lecture des arbres de décision et B .AB
  • Sortie: Est-ce que ?AB

Motivation:

Ce problème est survenu alors que je regardais le problème d'équivalence de preuve (permutation des règles) d'un fragment de logique linéaire.

Marc
la source
Ne pouvez-vous pas utiliser des diagrammes de décision binaires réduits? Edit: euh peut-être pas, vos variables ne sont pas ordonnées ...
Sylvain
@Kaveh Nope, cela se produit dans la théorie de la preuve: je regarde le problème d'équivalence de preuve (permutation des règles) d'un fragment de logique linéaire. Se résume à ce problème booléen. Comme je ne suis pas un spécialiste, j'ai pensé que je demanderais si jamais c'était une question bien connue / facile. Par conséquent, oui, j'ai inventé le nom parce que je ne sais pas mieux.
Marc
1
@Marc, c'est généralement une bonne idée d'expliquer pourquoi vous êtes intéressé par un problème. J'ai édité la question. Veuillez regarder pour vous assurer que tout va bien. (Supprimer également mes commentaires précédents car ils ne sont plus nécessaires.)
Kaveh
@Kaveh Ouais, désolé pour ça. J'ai modifié votre reformulation pour la rapprocher de mon argument d'origine (je ne pouvais pas comprendre immédiatement si le vôtre était OK, donc cela semblait plus facile à faire)
Marc

Réponses:

5

J'ai trouvé une solution partielle. Le problème est dans L.

La négation de est équivalente à ( ˉ AB ) ( A ˉ B ) qui est équivalente à F a l s e si à la fois ( ˉ AB ) et ( A ˉ B ) le sont.AB(A¯B)(AB¯)False(A¯B)(AB¯)

A¯ATrueFalseA

A¯BFalseAB¯Truexx¯False

Le problème est donc au moins en L.


AC0


EDIT2: le voilà, http://iml.univ-mrs.fr/~bagnol/drafts/mall_bdd.pdf

Donc, le problème est en effet Logspace-complet.

Marc
la source
x.A+x¯.B(x¯+A¯).(x+B¯)x.A¯+x¯.B¯+A¯.B¯
1
x.A¯+x¯.B¯
1
xx¯1L
1
Une façon plus simple de le dire est la suivante: chaque chemin est un terme minimum ou maximum selon l'étiquette de sa feuille. Nous vérifions s'ils ont les mêmes termes min. Nous pouvons énumérer les termes min dans l'espace journal et vérifier si deux termes min sont identiques se trouve dans l'espace journal.
Kaveh
2
NC1AC0AC0
2

ϕ

011{x,y¯,z}{x,y¯,z}{x,y,z}{x,z}y{x,y¯,z,t}{x,y,z}

{x1,,xn}ixi{x,xi,xj},{x,xj¯}{x,xi},{x,xi¯,xj¯}i<jxxixjji

P

Denis
la source
1
x,y,zx,y¯,zx,y,z¯
Ah oui, j'ai oublié ça, j'ajoute un correctif en espérant que ça marche maintenant.
Denis
N'oubliez pas de réclamer votre million de dollars si cela fonctionne :)
Marc
L