我有一个问题在于比较 bool 表达式(OR 是 +，AND 是 *)。更准确地说，这里有一个例子:
我有以下表达式:“A+B+C”，我想将它与“B+A+C”进行比较。像字符串一样比较它不是解决方案——它会告诉我表达式不匹配，这当然是错误的。关于如何比较这些表达式的任何想法？
关于如何解决这个问题有什么想法吗？我接受任何类型的建议，但(作为注释)我的应用程序中的最终代码将用 C++ 编写(当然接受 C)。
普通表达式也可以包含括号:
(A * B * C) + D 或 A+B*(C+D)+X*Y
提前致谢
尤利安
最佳答案
我认为穷尽(并且可能穷尽)创建真值表的竞争方法是将所有表达式简化为规范形式并比较它们。例如，将所有内容重写为 conjunctive normal form 并使用一些关于符号排序的规则(例如术语中的字母顺序)和术语(例如术语中的第一个符号按字母顺序排列)。当然，这需要一个表达式中的符号 A 与另一个表达式中的符号 A 相同。
我不知道编写(或从网上获取)用于将表达式重写为 CNF 的 C 或 C++ 函数有多容易。然而，已经有很多 AI 工作是用 C 和 C++ 完成的，所以当你谷歌时你可能会找到一些东西。
我也不太确定这种方法和真值表方法的比较计算复杂性。我强烈怀疑它是一样的。
无论您使用真值表还是规范表示，您当然可以根据输入表单包含的不同符号的数量将输入表单分成几组，从而减少要完成的工作。
编辑:在阅读其他答案时，特别是生成所有真值表并进行比较的建议，我认为@Iulian 严重低估了可能的真值表的数量。
假设我们决定用 RPN 来写表达式，这将避免处理括号，并且有 10 个符号，这意味着 9 个(二元)运算符。会有10个!符号的不同排序，以及运算符的 2^9 不同排序。因此会有10个! x 2^9 == 1,857,945,600 行在这个表达式的真值表中。这确实包括一些重复项，例如，无论符号的顺序如何，任何仅包含“和”和“或”的表达式都是相同的。但我不确定我能否进一步理解这一点......
还是我犯了一个大错误？
关于c++ - bool 表达式的等价性，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2965555/
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
在我的应用程序中，我需要能够找到所有数字子字符串，然后扫描每个子字符串，找到第一个匹配范围(例如5到15之间)的子字符串，并将该实例替换为另一个字符串“X”。我的测试字符串s="1foo100bar10gee1"我的初始模式是1个或多个数字的任何字符串，例如，re=Regexp.new(/\d+/)matches=s.scan(re)给出["1","100","10","1"]如果我想用“X”替换第N个匹配项，并且只替换第N个匹配项，我该怎么做？例如，如果我想替换第三个匹配项“10”(匹配项[2])，我不能只说s[matches[2]]="X"因为它做了两次替换“1fooX0barXg
我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么？ 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设？ 关于java-等价于Java中的RubyHash，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/22737685/
如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:
@raw_array[i]=~/[\W]/非常简单的正则表达式。当我用一些非拉丁字母(具体来说是俄语)尝试时，条件是错误的。我能用它做什么？ 最佳答案 @raw_array[i]=~/[\p{L}]/使用西里尔字符进行测试。引用:http://www.regular-expressions.info/unicode.html#prop 关于ruby-正则表达式将非英文字母匹配为非单词字符，我们在StackOverflow上找到一个类似的问题： https://
我需要一个非常简单的字符串验证器来显示第一个符号与所需格式不对应的位置。我想使用正则表达式，但在这种情况下，我必须找到与表达式相对应的字符串停止的位置，但我找不到可以做到这一点的方法。(这一定是一种相当简单的方法……也许没有？)例如，如果我有正则表达式:/^Q+E+R+$/带字符串:"QQQQEEE2ER"期望的结果应该是7 最佳答案 一个想法:你可以做的是标记你的模式并用可选的嵌套捕获组编写它:^(Q+(E+(R+($)?)?)?)?然后你只需要计算你获得的捕获组的数量就可以知道正则表达式引擎在模式中停止的位置，你可以确定匹配结束
我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我
我想从then子句中访问case语句表达式，即food="cheese"casefoodwhen"dip"then"carrotsticks"when"cheese"then"#{expr}crackers"else"mayo"end在这种情况下，expr是食物的当前值(value)。在这种情况下，我知道，我可以简单地访问变量food，但是在某些情况下，该值可能无法再访问(array.shift等)。除了将expr移出到局部变量然后访问它之外，是否有直接访问caseexpr值的方法？罗亚附注我知道这个具体示例很简单，只是一个示例场景。 最佳答案
这是一个例子:s="abcd+subtext@example.com"s.match(/+[^@]*/)Result=>"+subtext"问题是，我不想在其中包含“+”。我希望结果是“潜台词”，没有+ 最佳答案 您可以在正则表达式中使用括号来创建匹配组:s="abcd+subtext@example.com"s=~/\+([^@]*)/&&$1=>"subtext" 关于ruby-正则表达式-排除一个字符，我们在StackOverflow上找到一个类似的问题：
我们有一个字符串:“”这个正则表达式://i如何从当前字符串中获取所有匹配项？ 最佳答案 "".scan(//)参见scan在ruby-docs上 关于ruby-如何遍历Ruby中所有正则表达式匹配的字符串？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/6857852/
