Matrix 二元方程求解系统

Matrix 二元方程求解系统,matrix,binary,gaussian,Matrix,Binary,Gaussian,如果我有一堆半随机的二元方程(不一定是线性方程),我该如何去解它们呢?对于2-3个变量,一个k图通常就足够了,但是100个变量和100个方程呢 方程本身有xor、and、not运算。在本文中,您所说的“求解”是什么意思还不清楚。您是想为满足所有方程的变量找到一组值(解方程组的通常概念),还是想将方程组简化为指定所有可能解的单个方程?k图通常用于简化多变量中的单个方程-不确定如何将其用于多个方程…我想为满足所有方程的变量找到一组值。@twalberg还有,我相信这些是线性方程。一个简单的例子:“A

如果我有一堆半随机的二元方程(不一定是线性方程),我该如何去解它们呢?对于2-3个变量,一个k图通常就足够了,但是100个变量和100个方程呢


方程本身有xor、and、not运算。

在本文中,您所说的“求解”是什么意思还不清楚。您是想为满足所有方程的变量找到一组值(解方程组的通常概念),还是想将方程组简化为指定所有可能解的单个方程?k图通常用于简化多变量中的单个方程-不确定如何将其用于多个方程…我想为满足所有方程的变量找到一组值。@twalberg还有,我相信这些是线性方程。一个简单的例子:“A xor(B xor(C和!D))=1”不确定您有什么工具来实现这一点,但我知道Matlab和Octave都有模块/函数/包来处理GF(2)中的矩阵(这在很大程度上是布尔变量)。我对GF(2)“线性”一词的含义有些生疏…我不认为它看起来像线性方程,尽管-线性方程看起来像(用c表示系数,用v表示变量,用x表示XOR,用+表示and)“c x v+…+c1 x v1+c0=k”,其中所有的c和k都是0或1。。。如果你有将多个变量异或在一起的术语,那很可能是非线性的。。。