布尔网络中的局部负回路和固定点
摘要：布尔函数F的有限集合{0，1}^n到自身之间的每个函数和每个点x，都有一个有序为n的有向带符号图G_F(x)，如果在点x处，f_i对于x_j的偏导数为正（负），则从j到i有一个正（负）的弧。然后我们专注于以下未解决的问题：对于所有的x在{0,1}^n中，G_F(x)中不存在负回路是否足以使得F至少有一个不动点？作为主要结果，我们在额外条件下解决了这个问题，即对于{0,1}^n中的所有x，G_F(x)的每个顶点的出度最多为1。
作者：Adrien Richard
论文ID：0910.0750
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2009-10-06