问题标签 [simplification]

我知道布尔可满足性是 NP-Complete 的，但它是布尔表达式的最小化/简化，我的意思是采用符号形式的给定表达式并以符号形式产生等效但简化的表达式，NP-Complete？我不确定从可满足性到最小化是否有减少，但我觉得可能有。有人有确切消息么？

此代码通过一个谓词将一个列表分成两部分，该谓词采用一个列表并在拆分时返回 false。

有人知道在 F# 中更优化和更简单的方法吗？

我有一个 php 应用程序 ( http://github.com/tchalvak/ninjawars )，本质上是我在http://ninjawars.net上运行的基于 php 的网络游戏。我经常为自己配置和安装应用程序以进行本地主机开发，这是一个有点反复试验的黑客过程。现在我已经开源了这个应用程序，我有一些用户希望安装它并进行编辑、提交补丁等，我想让他们尽可能简单。

我听说过 Ruby Gems，我认为它是一种用于 ruby​​ 应用程序的包管理系统。有什么对php有用的东西吗？否则，我应该怎么做才能使安装尽可能简单？

现在我认为安装过程的总体思路可能很简单：

所以最重要的是chmodding、复制数据库和编辑虚拟主机。

在 linux 上尽可能地简化它会很棒，在 Windows 上也更简单（我的许多用户目前居住的陌生领域）。建议？

我有一个长度可能在 1 到 8 个字符之间的字符串。我需要将它们转换为一天、一个月和一年。对于缺少的部分，我将使用当前的部分。

我现在拥有的代码有点大而丑陋，我想知道是否有人对如何做到这一点有更聪明的想法。

我当前的代码如下：

注意：我知道这没有考虑文化，但它不应该:)

我试着这样做：

但是ArgumentOutOfRangeException如果字符串的长度是 1、3、5、6 或 7 位，它会抛出一个......所以效果不太好。如果只有 Substring 方法会尽可能多地使用字母，而不是在没有足够的字母来“填充”子字符串时失败......

可以使用正则表达式吗？

我正在尝试在 C++ 中实现以下目标：

将代码解释为英文，我有四个“已知”向量。其中两个向量具有我在结果中可能需要也可能不想要的值，我是否需要它们取决于基于其他两个向量分量的分支。

我觉得我应该能够通过一些矩阵数学和掩码来简化这段代码，但我无法理解它。

现在我将使用分支，但我很想知道是否有更好的方法仍然可以理解，并且代码更少。

编辑：

关于马克的评论，我将解释我在这里尝试做的事情。

这段代码是我正在研究的一些弹簧物理学的摘录。组件如下：

kC 为当前弹簧长度，kD 为最小弹簧长度。

kA 和kB 是两组弹簧张力，其中的每个分量对于每个分量可以是唯一的（即，沿X、Y或Z的不同弹簧张力）。kA 是弹簧未完全压缩时的张力，kB 是弹簧完全压缩时的张力。

我想建立一个结果“向量”，它只是 kC 和 kD 的合并，取决于弹簧是否被压缩。

需要帮助不知道做这种简化的思维过程。！- 表示不可以说我有！（（A + B）*（A +！B））我需要使用除吸收之外的所有规则来简化它。
我知道它是 A * !B + !A * B 但我需要知道到达那里的过程。有什么好的开始。我做了几件不同的事情，但我从来没有想出正确的答案。

我有一个方法，它返回一个类并想在它上面调用一个方法。代替

我想写

从 PHP4 开始有这样的语法吗？

这有效：

但我想事先操作类（我现在在 getClass() 中这样做）。

这个问题是为那些熟悉实现 iphone 应用商店功能的人准备的。

我正在构建的应用程序仅具有购买功能时解锁的内置功能。此外，对商店项目的任何修改或添加都需要更新应用程序。此外，它只有英文，因此没有项目的本地化语言。

如果我们采用这些假设，是否可以跳过使用 SKProductsRequest 检索产品信息的步骤，并在应用程序中简单地使用硬编码数据？虽然我将来可能想将我的应用程序扩展到更大的复杂性，但我想知道这个保持简单的步骤是否会引入一些严重的问题。

一个问题可能是，例如，如果我们不得不预计某些商品由于 Apple 方面的问题偶尔会不可用，那么在这种情况下，简单地尝试购买它并让它失败将不是一个允许或可行的选择（特别是在不常见的情况下）。

谢谢。

这是我想创建具有鼠标悬停效果的按钮时必须使用的示例：

我是 AS3 的新手-有什么办法可以像这样简化此代码：

为什么它不起作用？

例如： (3x ² - 5x + 2)(7x + 1) 并像这样简化它：

你得到这个答案：21x ³ + 32x ² + 9x + 2

我在 lisp 中需要这个解决方案，请帮忙