Dual AS graph Idea: add rigidity to the graph constrain path by continuity and direction like differential equation but more choice at each step path continuation non-unique General case: nodes: AS n-tuples, links: n+1-tuples