How to determine whether two operation expressions (strings) are equivalent, such as a * (b + c) and a * b + a * c are e

arkhunter

How to determine whether two operation expressions (strings) are equivalent, for example, a * (b + c) is equivalent to a * b + a * c

jokera

Just substitute the value a few more times.

maloneliu

I do n’t know if your question involves string manipulation. If this is the case, I have an idea:
1. Suppose you have N strings, they are the same, but we can find a signature for them. In the example in this article, we can think of "a * b + a * c" as their signature.
2. Convert all the strings according to a certain strategy. If their conversion result and label are consistent, they are considered equivalent, otherwise they are not equivalent.
The idea is to find inspiration from the algorithms that look for "anagrams". You can search for the specific algorithm.

yashiroxyz

Use the method of compilation principle!

wing0080

a*(b+c) is equivalent to a*b+a*c ie a*(b+c)－(a*b+a*c)=0

Invert a*(b+c)－(a*b+a*c) to Poland, and then reduce the polynomial to see if it can be reset to zero

Considering division is a bit more troublesome :), I used to write a practice while learning C++

arkhunter

arkhunter

to zhengwei198422:
a*(b+c)-(a*b+a*c) reverse Poland should be:
abc+*ab*ac*+-bar, how to operate the polynomial simplification in the next step, I compare the dishes