回答情况：
提问时间：
问题标签：
我编写了这段代码，它基本上检查用户是否提交并空了输入(返回和错误)，或者输入了不属于三组的字母，如果它成功，它将返回“输入您的最终目的地”。代码中我遇到问题的部分就是这个部分。我试过用来处理它，但它仍然会给我带来错误。这是
浏览 2修改于2022-03-04得票数 -1
1回答
我想从集合列表中调用set-union。如何将其转换为set-union将采用的形式？(define (return-set-list) (list (set 1) (set 2)))例如，这将返回一个错误。
浏览 0提问于2019-04-04得票数 0
refl
(ismember (set-unionm n)) x) == (ismember (union m n) x)
union-pair' m n x with ismember m x | ismember n x | ismember (set-union| false | false | false = trans {x = ismember
浏览 2修改于2019-11-05得票数 0
回答已采纳
上执行联合操作，lists.The逻辑是correct.But卡在一个错误上的，这是：我的代码是： ((not (member (first L2) L1)) ;check if first member of l2 is in l1 or not (set-union L1 (rest L2)))
)) ;if second co
浏览 3修改于2015-10-31得票数 0
回答已采纳
我尝试过(set-union (mutable-set) (mutable-set))，但它返回了一个错误。
浏览 0提问于2019-04-04得票数 1
类似于下面的内容它可以工作并给出正确的结果(设置'a 'b)(: l (Listof (Setof Symbol)))(apply set-union l)Type Checker
浏览 11修改于2019-10-20得票数 2
Real)) Set ((as const (Array Real Bool)) false) true))
(store x
(define-fun set-union
浏览 2提问于2017-05-10得票数 0
1回答
但是，允许使用set-intersection、set-union等设置实用程序和消除列表中重复项的函数，以及内置函数union、intersection和remove-duplicates。
浏览 0修改于2010-05-07得票数 5
回答已采纳
1回答
在Set-Union背包问题中，每个项目都有一个值，但每个条目都对应于一组元素，而不是一个权重。每个元素都有一个权重。一组项目的总价值是单个值的总和，而总权重是相应集合中元素的权重之和。
浏览 1修改于2019-02-14得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号