如何确定一组线性方程(不等式)是否是 3D 等的封闭形状
How to determine if set of linear equations (inequalities) will be a closed shape in 3D and more
我有一组不止三个维度的不等式。该问题由 Ax < b 定义(A 是矩阵,x 是要为 b 标量向量求解的变量向量)。
是否有任何算法可以使用 Matlab 或 python.
来测试这些方程是否具有封闭球体
用于说明
X1 >0
X2 >0
X1 <2
X2 <3
这组方程形成一个封闭的形状。
我正在尝试在更高维度上应用相同的想法
是的,有一些算法可以确定一组给定的连续曲线的闭合。将其视为图形问题。对于给定的二维问题:
- 求解所有方程对以确定图形节点。每个交点就是一个节点。
- 任何给定线上的每对节点定义一条边。
- 定义这些节点和边的图。使用任何图形包中包含的方法(您的选择;我在 Python 中使用
networkx
)来查找图形中的任何循环。每个循环定义一个封闭的 space.
对于 space 更大的维度,您需要相应地扩大节点(N-1 维度)和相应的连接。
对于给定的情况,您将有一个类似于
的边列表
X1_0 A B
X2_0 Z C
X1_2 B D
X2_3 D C
... 循环算法将找到循环 A-B-D-C
开始就够了吗?
我有一组不止三个维度的不等式。该问题由 Ax < b 定义(A 是矩阵,x 是要为 b 标量向量求解的变量向量)。 是否有任何算法可以使用 Matlab 或 python.
来测试这些方程是否具有封闭球体用于说明
X1 >0
X2 >0
X1 <2
X2 <3
这组方程形成一个封闭的形状。 我正在尝试在更高维度上应用相同的想法
是的,有一些算法可以确定一组给定的连续曲线的闭合。将其视为图形问题。对于给定的二维问题:
- 求解所有方程对以确定图形节点。每个交点就是一个节点。
- 任何给定线上的每对节点定义一条边。
- 定义这些节点和边的图。使用任何图形包中包含的方法(您的选择;我在 Python 中使用
networkx
)来查找图形中的任何循环。每个循环定义一个封闭的 space.
对于 space 更大的维度,您需要相应地扩大节点(N-1 维度)和相应的连接。
对于给定的情况,您将有一个类似于
的边列表X1_0 A B
X2_0 Z C
X1_2 B D
X2_3 D C
... 循环算法将找到循环 A-B-D-C
开始就够了吗?