Pie中构造函数的互不相交

文章/答案/技术大牛

发布

1回答

dependent-type

有没有可能得到Pie中构造函数的不交集的证明？例如，是否有(Pi ((n Nat)) (-> (= Nat (add1 n) 0)) Absurd))类型的术语

浏览 12提问于2019-09-09得票数 0

回答已采纳

1回答

JgraphT中离散图的识别

java、graph、jgrapht

我需要从一组输入构造一个图，如下所示-在这2组之间添加连接边g.addEdge("MOZILLA", "MOZILLA_DEV"); 现在我可以构造这样的</em

浏览 13提问于2022-03-11得票数 1

回答已采纳

1回答

如何将一个不连通的网络图分割成多个相互不相交的连通图？

python、networkx、graph-algorithm

这个图的许多 (边诱导的，或顶点诱导的)都是，我想把这些子图分离成它们自己的networkx.Graph对象，这样它们就可以相互连接，互不相交。我可能只是对networkx文档使用了错误的搜索词，但是使用了。下面是图的一小部分中的一些例子。我通过查找堆栈溢出上的[networkx] disjoint，却没有看到我在寻找什么。我在想的是下面的一些东西，在这里，我占据了一个

浏览 1提问于2020-05-01得票数 3

回答已采纳

2回答

C++在构造函数中使用表达式初始化引用

c++

public: virtual void Slice() override { /* slice it */ }class Pie AbstractFruit& fruit; Pie(AbstractFruit& fruit) : fruit出于向后兼容性的原因，Pie API需

浏览 14提问于2019-11-16得票数 0

回答已采纳

2回答

如何检查矩形是否相交？

java、graphics2d

嗨，我正在尝试使这个构造函数：public Rectangle createIntersection(Rectangle r){ ....返回一个新的矩形对象，表示这个矩形与指定矩形的交集。到目前为止，我已经为构造函数这样做了，但我不确定它是否正确： Rectangle r1 =public Boolean intersects (Rectangle r)，如果这个构造<

浏览 2提问于2016-09-04得票数 1

回答已采纳

2回答

保存使用服务文件角获取的数据

angular、typescript、input

我试图创建一个图表的角度，我得到数据使用一个服务。我想使用从这里得到的数组数据。pieData: any = []；构造函数中的控制台正确地显示数据。但是ngOnInit内部的控制台显示空数组。/pie-chart.service'; selector: 'app-pie-chart', templateUrl: './pie</em

浏览 4提问于2022-03-03得票数 0

回答已采纳

1回答

算法设计手册中的电影调度算法

algorithm

我有一个关于电影时间表算法的正确答案的问题。输入:线上n个间隔的集合。这本书的正确答案是：在最早的完成日期从总作业中接受作业j。删除j，以及与I相交的任何间隔。谢谢，我才刚开始学算法。

浏览 3提问于2016-01-18得票数 1

回答已采纳

1回答

在一般的构造演算中，构造函数是不相交的和内射的吗？

functional-programming、coq、dependent-type

，它看起来像Coq中使用的归纳构造的演算，对于归纳类型有不相交的内射构造函数。在普通的构造演算(例如，没有原始归纳类型)中，对类型(例如，∏(Nat: *).∏(Succ: Nat → Nat).∏(Zero: Nat).Nat)使用模拟编码，这仍然是正确的吗？我能始终找出使用了哪个“构造函数”吗？此外，内射性(如在∀a b.I a = I b → a = b<

浏览 3提问于2017-05-03得票数 3

回答已采纳

1回答

将列表传递给另一个类会引发不一致的可访问性错误。

c#、list

因此，我创建了一个名为FinalPixel的自定义类的列表，我希望将该列表从一种表单转移到另一种表单，因此我在构造函数中放置了List<FinalPixel>，第二个构造函数如下：}FinalForm fF = new FinalForm(FinalPixels);但是，它会抛出此构建时错误： 'Pie_X.FinalForm

浏览 3提问于2012-05-26得票数 0

回答已采纳

2回答

最小距离和相互不相交的二分对点

python、arrays、numpy、multidimensional-array、scipy

我有一个多维数组，它代表两组点之间的距离(分别用蓝色和红色表示)。此矩阵中的值表示红点和蓝点之间的距离。下面是一个草图，以了解它是什么样子：问：如何求出互不相交(蓝色、红色)对之间距离之和的最小值？但是，如果我使用一个简单的argmin numpy函数，如： np.argmin(liste)11因为2红点是1,2和3蓝色点的最近点

浏览 3提问于2020-10-22得票数 2

回答已采纳

1回答

使用modifyList()合并两个以上的列表

r、list

我使用ve been usingmodifyList()`来组合两个结构相似的列表，因为其他方法通常不使用我的数据结构。但是，我现在需要将此过程应用于多个列表。color" = c("pink", "grey", "black"), "value" = c(22,33,44)) 为两个列表提供所需的结果188 177 166 $ color : chr [1:3] "blue" &

浏览 5提问于2017-08-28得票数 1

回答已采纳

3回答

在coq中证明定理时如何处理"false = true“命题

coq、proof、theorem

我是coq的新手，正在尝试证明这个定理。 | Var (n : nat).这是equals的定义 match (n1, n2) withProof. - destruct n. + reflexivi

浏览 4提问于2021-03-28得票数 0

2回答

建立递归函数计算Python中的包含排除

python、recursion

对于那些不熟悉的人，包含排除原则提出了一种不重复计算确定相交集的联合值的方法。简而言之，如果有两个集合A，B，它们相交，则可以通过将两个集合的值相加，然后减去它们的相交来计算它们的合并值，以避免重复计算。这可以扩展到任何有限的集合，甚至无限多的集合。如何利用这个原则在Python中构造递归函数呢？

浏览 1提问于2014-01-30得票数 5

回答已采纳

1回答

理解Extential和通用限制用例(必胜客本体用例)

rdf、semantic-web、owl、ontology、description-logic

以下是来自必胜客本体指南的一个简单问题。请帮助我澄清我对此的疑虑。我指的是页码，因为我不能在这里写整段。从第61页:有两个重要的注意事项，其中说，如果创建多个限制，那么它相当于两个单独的限制的交集。因此，这条语句仅适用于包含类的个体，而不是不相交的。图4.49。应该被解释为这不可能是真的，因为CheeseTopping和VegetableTopping

浏览 2提问于2015-06-17得票数 1

1回答

用python查找列表中相互不相交的子集

python、list、sage

我们如何从给定的列表中找到由相互不相交的子集组成的所有列表集。tuples] for i,j in L: K.append(i,j)但是，我得到的错误是，有太多的值需要解包。

浏览 2提问于2022-05-09得票数 0

回答已采纳

2回答

R:设置函数体时不相交的复数

r、function

在构造函数时，当设置函数体时，复数是不相交的：formals(funCplx) <- alist(t=) body(funCplx) <- as.call它在c()内部是不相交的。表达式c(parse(text = "t*(2+3i)"))返回不相交的术语，而parse(text = "t*(2+3i)")返回t*(2+3i

浏览 4提问于2013-08-18得票数 1

1回答

将单个python .py文件分解为具有相互依赖关系的多个文件。

python、python-2.7

我希望将我编写的一个大型python模块拆分为一个目录中的多个文件，其中每个文件都是一个函数，它可能与模块中的其他函数有依赖关系，也可能没有依赖关系。因此，现在我用一个init.py文件将其拆分到不同的文件中，以将其打包：from getpi import *__all__用这种方式构造一个模块对我来说

浏览 1提问于2014-03-25得票数 1

1回答

C中数组不相交集的时间复杂度和高度

c、time-complexity、disjoint-sets

当使用数组时，我发现了一个关于不相交集的时间复杂性的测试。然后名为parenti的数组将类似于{-1,4，-1,2，-1，2，0，0，4}，并且对不相交集有两个基本操作Suppose我们从n个节点的初始不<em

浏览 5提问于2021-11-22得票数 0

1回答

为什么1和2在这个不相交的联盟中？

haskell

我研究了这两种语言在haskell的用法，谢谢

浏览 0提问于2019-05-25得票数 3

回答已采纳

2回答

在Java中如何从LinkedHashSet中获取一个元素？

java、iterator、linkedhashset

我正在编写代码，将给定的集合划分为互不相交的子集。例如，一组足球运动员，我们根据他们所属的球队对他们进行划分。我最后想要一份代表名单，即每支球队都有一名球员。所有足球运动员都知道他们队中的所有其他球员--这与复杂性非常相关。因此，我目前的想法如下(其中set当前是一个LinkedHashSet<T>)： makeRepresentative(e); set.rem

浏览 7提问于2012-09-12得票数 8

点击加载更多