代码之家 › 专栏 › 技术社区 › sud03r

有趣的算法问题

language-agnostic algorithm

sud03r · 技术社区 · 15 年前

我这里有一个有趣的算法问题。这个问题在某种程度上与电子设计的模拟有关。

有8种可能的输入,即

(000) 和 (111) 0 和 1 .

给出了该问题的一种设计,一些门的排列,给出了一种算法来寻找在最终输出上同时产生状态(即0和1)的最小输入向量集。

2 回复 | 直到 15 年前

P Shved 15 年前

你的问题相当于解决问题 boolean satisfiability problem . 因此它是NP完全的。

要获取其中一个输入,您可以选择任意输入,并查看该输入是否为0或1。要找到提供其他输出的输入,您需要一个SAT解算器。

维基百科建议 algorithms 可用于:

如果您不想实现它,有一些工具可以使用SAT解算器:

Paul D. Waite 15 年前

JavaScripts 以及解决你问题的工具。

推荐文章

Matthew Thomas · 在每个决策中给出多个选择的所有可能的决策路径/结果

9 月前

feasega · 聚合物模拟-2个节点之间的最短路线,适用于所有节点

10 月前

Alisa Petrova · 在有向图中更改一对顶点以创建循环

10 月前

Matvey Androsyuk · 如何使用React在树结构中呈现我的组件,就像IDE中的默认文件结构一样

10 月前

Pengcheng · 这个简单的递归函数的输出是什么?你能详细解释一下吗?

11 月前

b39b332d · 使用C++标准库实现高效间隔存储

1 年前

Paul C · 在维基百科上,将二叉搜索树转换为排序链表的算法是否存在错误?

1 年前

ABGR · 二叉树的直径——当最长路径不通过根时的失败案例

1 年前

SHUBHAM KUMAR · 这两个是否完全相同-->“下限(股份有限公司rbegin(),股份有限公司rend(),i,更大<int>())”和“下限(dec.begin(

1 年前

EpicAshman · 数独棋盘程序中同一列和同一行出现两次的数字

1 年前