Patent ID: 8983893
Filing Date: 2015-03-17
Classification: G06N,G06Q

Abstract:
1. A method, performed by a computing device, comprising: modeling a dynamic graph having a plurality of nodes with a Binary Decision Diagram (BDD), by modeling each pair of nodes in the dynamic graph using a characteristic function, g({right arrow over (t)}; {right arrow over (a)}; {right arrow over (b)}), where: {right arrow over (t)} denotes a time; {right arrow over (a)} denotes a first node identifier; {right arrow over (b)} denotes a second node identifier; and g evaluates to 1 if and only if an edge exists and connects nodes {right arrow over (a)} and {right arrow over (b)} at time {right arrow over (t)}; and querying the BDD for edges in the dynamic graph that exist between a time t