问题标签 [set-theory]

我正在使用旧应用程序上的 oracle 数据库，并且无法为其提出特定查询。

基本上我有一个带有数字列（主键）和 xmltype 列的表 T_Selected。XML 的格式为

我还有另一个表需要查询并使用结果

我需要三个查询及其否定。

1. xml ∈ 子查询中的所有国家

2. 子查询 ∈ xml 中的所有国家

3. xml 中的所有国家 = 所有子查询

我得到的最接近的是

这将返回子查询中任何 xml 国家/地区的 ID，而不是所有国家/地区的 ID。

关于我如何解决这个问题的任何想法？

谢谢您的帮助，

尼尔

这不是一个问题，我觉得我有正确表达的词汇，但我有两个相同匿名类型的集合（让我们称之为'a。）

'a 定义为new {string Name, int Count}

我们称之为需求的这些集合之一。我们称之为候选者的这些集合之一。

鉴于这些集合，我想确定以下断言是否成立。

1. 如果需求r中存在某个元素使得r.Count == 0，那么候选c中的每个元素都r.Name == c.Name必须满足c.Count == 0。对于需求中的每个此类元素，候选者中必须存在一个此类元素。

2. 对于需求r的每个元素where ，候选cr.Count > 0中必须有一些元素的子集，例如 that和 that 。对于需求中的某些元素，用于满足此规则的候选元素的每个元素可能不会用于需求中的另一个元素。c₁.Name, c₂.Name, ..., cₓ.Name == r.Namec₁ + ... + cₓ >= r.Count

这方面的一个例子是给定的

这个查询会得到满足。

r={"A", 0}并且r={"B", 0}会根据规则 #1 满足c={"A", 0}和c={"B", 0}

-和-

r={"C", 9)根据规则 #2 由组gcc.Name对源自{{"C", 1}, {"C", 4}, {"C", 4}}as的集合满足gc = {"C", 9}

然而值得注意的是，如果需求包含{"C", 6}and{"C", 3}而不是{"C", 9}，则这组特定的集合将无法满足谓词。

现在终于到了这个问题。 将其形成为优先考虑速度（最少迭代）的 linq 表达式的最佳方法是什么？

未解决的子集已在此处重新询问

如果我们定义一个边界是空间中的一个区域
，一个位置是空间中的一个点
......并且 一个位置附加一个边界
并且我们维护一个边界结构
......其中任何边界都可以有一个或多个“父母/所有者”
......并且任何边界都可以有零个或多个“孩子”
..边界结构有一个根边界
..边界结构由许多边界叶终止

......

给定边界2由边界1拥有
..位置A是附加到边界 1
当我将位置 A 附加到边界 2
然后位置 A 分离到边界 1
..并且位置 A 附加到边界 2

同样，反之亦然...

给定边界4由边界3拥有
..位置B附加到边界4
当我将位置B附加到边界3时
，位置B与边界4分离
..位置B附加到边界 3

，但

给定边界 7 由边界 5 和 6 拥有（即共享）
..并且位置 C 与边界 7 相关联
当我尝试将位置 C 附加到边界 5 或 6
时，尝试将不会成功

问题：有没有办法通过 UML 类图简洁地表达所有这些？

这是此处发布的问题的一个子集发布的问题的一个子集。

给定一组容积桶B={x1, x2, ..., xn}和一组装有容积液体的小瓶 V={v1, v2, ..., vn }小瓶，假设必须将小瓶全部倒入一个桶中，那么证明桶的数量可以装满小瓶的内容物的最佳方法是什么。允许溢出。

这里一些明显的不变量是桶的基数|B|必须小于或等于小瓶的基数，|V|并且桶的组合体积Sum(B)必须小于或等于小瓶的组合体积Sum(V)

这是一个众所周知的计算问题吗？如果是这样，是否可以制作一个简单的 LINQ 解决方案来用 C# 表达这一点？

我觉得这是 Eric Lippert 会写博客的东西；-)。

我有简单的模型，用户有他们需要评价的文件。我使用 Django/tastypie。

[models.py]

[api.py]

使用上面的代码，这是我目前得到的结果集，即我所有的（约翰的）文件：

我现在想对已定义的用户进行三个“集合论”查询。我（约翰）想将我的文件与其他两个用户（蒂姆和汤姆）进行比较

这些是我希望获得的三种查询的结果：

只有我（约翰）拥有的文件：

我（约翰）没有文件，但其他人（蒂姆和汤姆）有：

我们都有的文件：

有人已经做过这样的事情或者可以分享一些方法吗？

给定一个数字 n，我们必须找到集合的数量，使得从 1 到 n 的每个数字都可以通过添加该集合的一些元素来唯一地形成，并且该集合的数字之和必须等于 n。例如，如果 n=5，则 {1,1,1,1,1}, {1,2,2}, {1,1,3} 有效，{1,1,1,2} 无效，因为 3 = 1 + 1 + 1 和 3 = 1 + 2 即 3 不是唯一形成的。{1,2,4} 也是无效的，因为即使从 1 到 4 的所有数字都是唯一形成的，它的元素总和不是 7 5. 这是 CodeChef (Money Matters)的问题表。我已经看到了一些答案，但仍然无法解决。有人可以给我一些提示或方向吗？
n 范围：n<10^9

嗨，我希望从表中获取元素，其中我感兴趣的元素取决于用户选择的许多变量，这些变量包括单选按钮下拉列表和选择列表。每个变量将决定我想要从表中获得哪些 Id。

我需要能够忽略不相交或为空的变量。

这是一个例子

A 路口 B 路口 C == {}

但我需要答案 {2, 5}

有没有办法在不使用条件语句的情况下从这些集合中得到这个？我有很多变量，如果可能的话，我想在一个声明中做到这一点。

谢谢

我想推理从有限集中选择一个元素的函数。

我试图定义一个谓词，告诉我某个给定函数是否是这样的“选择器”函数：

实际上，我想从中选择元素的那些有限集是具体类型，但是将具体类型放在'a' 位置会导致同样的麻烦。

我也尝试省略finite A，但我正在处理的集合是有限的，我什至不想在这里考虑选择公理。

现在这个定义似乎不一致：

我怎样才能chooser以合理的方式定义？我想按如下方式使用它：

大多数时候，选择集合中的一个成员很重要，而不是如何选择它。

背景：我想正式确定拍卖中的决胜局（本文第 4 节）。假设正在拍卖的物品有两个最高出价，我们需要任意选择一个应该赢得拍卖的出价者。

这是，顺便说一句，一个非常小的例子（这有点难以理解）：

康托的可数无限和不可数无限无限集

您可能知道并且您可能已经证明 0 到 1 之间的实数集是不可数无限的。意味着我们不能将该集合中的每个数字映射到不同的自然数上。

我得到了一种技术，通过它我可以将 0 到 1 之间的所有实数映射到不同的自然数上。技术很简单将小数点替换为 1 并将原始数字映射到该数字上，这样将 0.0003 映射到 10003 并将 0.03 映射到 103

通过使用这种技术，我们将能够将所有介于 0 和 1 之间的实数映射到自然数上。所有这些自然数都将从 1 开始，因此我们还将拥有其他数字，在这些数字上没有任何数字将被映射，例如 2、211 或 79，因此这意味着自然数集比 0 和 1 之间的实数更大。所以 0 到 1 之间的实数集是可数无限的。

你的意见是什么？

我正在寻求有关问题的搜索算法的帮助。问题可以简化为以下。

我们有一个可以采用某些属性的对象——X1、X2 ... XN。N 的数量级为 5000。但是，特定对象采用这些属性的子集，例如 Xi .. Xj（大约 50）。

配置是属性的特定子集。有某些配置，编号为 Z（10 万个）是最佳配置。

输入：

问题：给定一个特定对象，具有属性子集 {Xi…Xj} 的 ALPHA 目标是找到最接近该对象的配置。配置可以是对象 ALPHA 配置的超集。也可能是没有配置具有 ALPHA 的所有属性。最接近的定义为具有最多 ALPHA 数量属性的配置。

我拥有的天真的解决方案基本上执行以下操作

我认为天真的解决方案是正确的，但是它太慢了。有没有一种有效的方法来跨配置进行搜索？如果它非常快，即使是近似启发式也可以。

添加 C++、Java 标记以查看是否有软件可以执行此操作。

谢谢。