我有两套:
X = {a, b}
Y = {1, 2, 3}
我想生成以下一组对:
{<<a, 1>>, <<a, 2>>, <<a, 3>>}
{<<a, 1>>, <<a, 2>>, <<b, 3>>}
{<<a, 1>>, <<b, 2>>, <<a, 3>>}
{<<a, 1>>, <<b, 2>>, <<b, 3>>}
...
{<<b, 1>>, <<b, 2>>, <<b, 3>>}
在每个集合中,第一个元素来自X,第二个元素来自Y.X可以重复,Y不能。怎么做?
答案 0 :(得分:2)
使用\X
运算符为我们提供了所有对的集合:X \X Y = {<<a, 1>>, <<a, 2>>, ... <<b, 3>>}
。 SUBSET (X \X Y)
为我们提供了所有可能的集合。 {s \in SUBSET (X \X Y): Cardinality(s) = 3}
(来自FiniteSets模块)为我们提供了所有3元素集。
我们希望在每对的第二个元素上使这个唯一。让我们定义一个新的运算符:
UniqueBy(set, Op(_)) == Cardinality(set) = Cardinality({Op(s): s \in set})
如果我们{x[2] : x \in {<<a, 1>>, <<a, 2>>, <<a, 2>>}}
,我们会得到{1, 2}
,它的基数较小,会被过滤掉。所以我们最后的表达是
{s \in SUBSET (X \X Y) : UniqueBy(s, LAMBDA x: x[2]) /\ Cardinality(s) = 3}
请注意,如果没有基数检查{<<a, 1>>}
将成为集合的一部分,这不是您正在寻找的。 p>
答案 1 :(得分:1)
EXTENDS Functions, FiniteSets, Naturals
CONSTANTS a, b
X == {a, b}
Y == {1, 2, 3}
Dom == 1..Cardinality(Y)
Slice == {{<< xt[n], yt[n] >>: n \in Dom}:
<< xt, yt >> \in [Dom -> X] \X Bijection(Dom, Y)}
TLAPS分发包括模块Functions
。模块FiniteSets
和Naturals
是TLA +标准库的一部分。