使用z3py查找集合中的最小元素数

文章/答案/技术大牛

发布

2回答

python、z3、solver、smt、z3py

练习:找出集合Z中加起来为4285的最小元素数。4285) model = opt.model() print(model) 但它的效果太慢了仅适用于较小的数字。我该如何改进它呢？

浏览 37提问于2020-05-01得票数 2

2回答

我试图比较ints 8元素long (array[])数组中的元素，将元素集合为2，然后对avg除以2，例如数组+ array1 /2，并将结果赋值给一个新的数组4个元素。具体来说，我想在2的集合中比较它们，看看两者是否都小于40，如果两者都小于40，我将两者相加并除以2作为平均值，并将数组分配给最小的out (40，arrayi)。但是，如果它们都在40以上，我仍然会添加两个元素并除以2，但是将数组元素分配给我所得到<em

浏览 0提问于2013-11-06得票数 1

回答已采纳

2回答

Z3或Z3Py中的假设

z3、z3py、satisfiability、sat

有没有一种方法可以在Z3 (我使用的是Z3Py库)中表达假设，这样引擎就不会检查它们的有效性，而是像定理证明一样将它们作为基本理论？T=实数(“t”) assumption1 = ForAll(t，f1(t) = f2(t))。当前代码的问题是我的断言集非常大，并且我使用量词(我试图证明实时系统的可满足性)。如果我将上述断言添加到其他断言

浏览 27提问于2016-03-23得票数 2

2回答

Python中的素筛

python、performance、python-3.x、primes、sieve-of-eratosthenes

, 2)) return list(sorted((2, *numbers)))我想问题是我在处理片场。对于大量数据(例如，在num = 10**8情况下)，由于我的计算机无法处理那么多信息，因此无法生成该集，因此它停止。有没有办法用我的</em

浏览 0提问于2019-06-18得票数 13

回答已采纳

1回答

从集合列表中查找具有最小元素数的集合

python-3.x、nested

我有一张名单-我要-我的密码- length = len(x)print(small){4, 5} 有什么最快和/或最简单的方法吗

浏览 0提问于2018-11-13得票数 2

回答已采纳

1回答

素对集查找器( Euler项目问题60)

python、programming-challenge、time-limit-exceeded、primes

我编写了一个可以找到素集的代码：素数3、7、109和673是相当显著的。通过取任意两个素数并以任何顺序连接它们，结果将始终是素数。例如，取7和109,7109和1097都是素数。这四个素数的和，792，代表一组具有此属性的四个素数的最小和。找出一组五个素数的最低和，其中任何两个素数连在一起产生另一个素数。首先

浏览 0提问于2018-08-31得票数 5

回答已采纳

1回答

IDL:如何在不使用循环的情况下遍历shift的所有可能值？

performance、slice、shift、idl-programming-language

我有一个3维数组，我正在寻找移位，乘以(元素智慧)与未移位的数组，并对所有乘积求和。对于定义移位(i，j，k)的三个整数的给定集合，对应于该三元组的和将被存储在所述位置(i，j，k)处的另一三维数组中。我正在尝试对i，j，k的所有可能值执行此操作。有没有一种方法可以在不显式使用for/while循环的情况下完成此操作？我对最小化计算时间非常感兴趣，但IDL不理解我提供的

浏览 0提问于2017-11-02得票数 0

3回答

最小增量数-使所有数组元素相等的其他操作

java、arrays、algorithm

我正在为极客网站阅读极客的问题。 1 | 1, 2 | 5, 4, 4链接解释说，我们必须使用<

浏览 13提问于2018-01-03得票数 4

回答已采纳

2回答

数字类的素静态数组

java、static、primes、hashset

我想做一个有静态素数集的数字类。由于某种原因，当另一个类使用此类(Number)时，静态最终集会自行擦除。这是我的一些数字类

浏览 3提问于2014-11-28得票数 0

回答已采纳

2回答

求与给定值之和的最小素数

primes

我想找出质数的最小集合，它可以和成一个给定的值，例如9=7+2(不是3+3+3)。我按降序遍历数组，以得到数组的最大素数小于或等于给定的数目。如果这个数字是奇数的话，这是很好的。但对于偶数，如g 122 = 113 +7+2，则为122 = 109 +13。从可知，任何偶数都可以表示为两个素数的二和。但我想找出一种方法，而不是蛮力，去寻找

浏览 2提问于2016-03-02得票数 3

回答已采纳

1回答

将整数表示为具有最小方差的整数之和

java、android、integer

我想知道如何将一个整数表示为方差最小的整数之和。对于示例: 21可以表示为6+6+6+3或6+5+5+5或18+1+1+1或.....但集合(6,5,5,5)的方差最小。我想在android中编程，它可以做到这一点，给定一个整数和集合中的元素数量。

浏览 0提问于2011-03-09得票数 2

回答已采纳

3回答

阵列中二次最小元的求法

arrays、algorithm

我试图仅使用n + ceil(lg n) - 2比较在n个元素数组中找到第二个最小的元素。CLRS中的提示表示要找到最小的元素。这需要进行n - 1比较，因此，一旦我知道了最大的值，就会使用ceil(lg n) - 1比较来查找第二个最小的。谢谢, 布莱曼

浏览 5提问于2015-08-13得票数 7

回答已采纳

1回答

如何访问原始图像数据

java、metadata-extractor

我正在使用元数据提取器编写一个Java应用程序，该应用程序组织图像并查找副本。API很好，但是有些东西我无法理解。如果我计算每个完整文件的MD5散列，我将得到两个不同的散列。但是，我希望只计算图像/像素数据的散列，这将对两个文件产

浏览 3提问于2017-01-28得票数 1

1回答

在三元堆中实现滴入操作的最有效方法

c++、heap、performance、ternary、ternary-tree

如果标题中的术语取消了，很抱歉。我试图通过更频繁地使用这些术语来更好地理解这些术语。无论如何，我目前正在数据结构类(使用C++)中的一个实验室工作，在那里我必须构建一个三元堆，并将它与已经提供给我们的二进制堆进行比较。因为我有一些额外的时间，所以我想解决代码中的一些细节，以便它尽可能高效地运行。我最关心的是我正在使用的if-else语句的数量。

浏览 1提问于2013-10-15得票数 1

回答已采纳

1回答

为此，什么是有效的数据结构？

algorithm、data-structures、set

问题链接是：INSERT(S，x)：如果x不在S中，则将x插入S中DELETE(S，x)：如果x在S中，则从S中删除x和两种类型的查询第1行:Q (1≤Q≤200000)，接下来Q行中的操作数，每行的</

浏览 0提问于2015-11-09得票数 0

1回答

列表中的相似元素

list、numbers

对于给定的N个列表，每个列表中有M个数字，我们必须从每个组中找到一个元素，这样每对ai aj给|ai-aj|的值越小越好。例如，我们有3个列表为了最小化结果，我们必须从列表1中选择数字16，从列表2中选择数字17，从列表3中选择数字15，所以|16-15|=1所以我们的结果是:2 如何快速解决这个问题？

浏览 1提问于2011-06-09得票数 0

1回答

给定一组整数集S，找出最小可能的整数集X，这样S中的每一组都至少包含一个整数。

algorithm

给定一组整数集S，找出最小可能的整数集X，使S中的每一集至少包含一个整数。最小集由具有最小基数(最少元素数)的集合定义，如果有多个具有相同最小基数的集合，那么最小集就是第一个集合(例如，(1，3，6)在(1，4，5)之前)。例如，如果S是：(4,7)(4, 15, 18)(4, 7, 15, 18)

浏览 1提问于2015-11-24得票数 1

回答已采纳

3回答

euler phi函数的计算

algorithm、math、implementation

result / i; if (n > 1) return result;我看到了上面Euler phi函数的实现，它是O(sqrt ).I没有得到在for循环中使用i*i<=n的事实，并且需要更改n.It，可以在更小的O (sqrt )？？的时间内完成。

浏览 8提问于2015-06-05得票数 3

回答已采纳

1回答

如何找到满足此条件的无限集合的第一个整数？

matlab、find、primes

我想找出最小的整数P，使得集合{1,2,..., P}中的素数少于P/6。我想通过(长时间的)试错已经有了答案，但我想知道如何通过MATLAB来验证这一点。

浏览 1提问于2017-01-13得票数 1

回答已采纳

1回答

衡量任意两个集合的相似性的度量是什么？

machine-learning、set、similarity、metrics、precision-recall

我寻找一个函数，它可以仅根据任意两个集合的元素将实数赋给它们。我需要它对集合的相交程度敏感，但如果集合有无关的项目就会受到惩罚。换句话说，我希望在同一个指标中同时计算召回率和查准率。

浏览 2提问于2017-07-15得票数 0

回答已采纳

点击加载更多