Étant donné un ensemble de formules comme ceci:

bacb
bcab
cbba
abbc

Donnez un algorithme qui trouve le nombre de résultats uniques que vous pouvez obtenir lorsque chaque variable est remplacée par "0" ou "1" dans chaque formule.

Il existe des (k!)^2formules, chacune avec des 2k-1variables et des k^2termes. Exprimez vos asymptotiques en termes de k.

L'algorithme le plus rapide gagne. En cas d'égalité, la solution avec une utilisation asymptotique de la mémoire plus faible l'emporte. Si c'est toujours une égalité, le premier post l'emporte.

Pour l'exemple ci-dessus, les résultats suivants peuvent être obtenus en remplaçant les variables:

1110, 0110, 1001, 0100, 1000, 0000, 0010, 1101, 1111, 0001, 1011, 0111

Donc, la bonne réponse est 12. Entre autres, 1010ne peut pas être faite en utilisant les formules ci-dessus.

J'ai fait trois autres cas de tests, avec des solutions respectives de 230 , 12076 et 1446672 .

Mathematica, O (k ^ 2 (k!) ^ 2) temps

Length[Union@@(Fold[Flatten[{StringReplace[#,#2->"0"],StringReplace[#,#2->"1"]}]&,#,Union[Characters[#]]]&/@#)]&

J'espère que j'ai calculé correctement la complexité du temps. L'entrée est une liste de formules telles que {"bacb","bcab","cbba","abbc"}. Fonctionne en moins de 30 secondes pour chaque test sur ma machine, mais qui se soucie des temps absolus?

Explication:

• Tout d'abord, le &à la fin en fait une fonction pure, avec #référence au premier argument, #2étant le deuxième argument, etc.
• Length[*..*] prend la longueur de la liste contenue à l'intérieur.
• Union@@(*..*)prend la liste contenue et la fournit comme arguments pour Union, ce qui renvoie une liste des éléments uniques dans l'un de ses arguments.
• *..*&/@#prend une fonction pure et la mappe sur la liste des formules, ce qui {a,b,c}devient {f[a],f[b],f[c]}. Notez que dans les fonctions pures imbriquées, #nfait référence à ses arguments les plus intimes.
• Fold[*..*&,#,*..*]prend une fonction d'accumulateur, une valeur de départ et une liste et retourne f[f[...[f[starting value,l_1],l_2],...],l_n].
• Union[Characters[#]] prend tous les caractères de la formule actuelle et obtient tous les éléments uniques, en nous donnant les variables.
• Flatten[*..*]aplatit son argument, ce qui {{{a},b},{{c,{d}}}}devient {a,b,c,d}.
• {*..*,*..*}est simplement un moyen de combiner les deux résultats en utilisant ce qui précède Flatten.
• StringReplace[#,#2->"0/1"]prend le résultat précédent et le renvoie avec la variable courante remplacée par 0ou 1.