# Patent

## Title
Costs in data networks

## Abstract

A method for deriving a set of efficient path costs for a group of nodes comprising a source node and a plurality of destination nodes in a data communications networks, wherein the path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost and an additive cost, comprises iteratively identifying the paths of higher bandwidth first and, when two or more paths of equal bandwidth are encountered, selecting the path having a lower transit delay associated therewith.

## Background
TECHNICAL FIELD
The present invention generally relates to costs in data communications networks and particularly relates to a method, apparatus, and computer program element for deriving a set of efficient path costs for a group of nodes of a data communications network.
DESCRIPTION OF PRIOR ART
Support of a Quality of Service (QoS) in the large scale networks such as the Internet is becoming increasingly important for heterogeneous applications. To ensure a QoS, paths for connecting end users have to satisfy given requirements. Routing decisions are therefore an important consideration in the provision of QoS guarantee. Therefore, the routing protocol should be aware of traffic characteristics supported by various links in the network.
QoS extensions have been proposed for well-known routing protocols such as the Open Shortest Path First (OSPF) protocol. Examples of such extensions are described in “Implementation and Performance Measurements of QoS Routing Extensions to OSPF”, Apostolopoulos et al. Proceeding of IEEE INFOCOM'99, pp. 75-83, New York, March 1999. The OSPF protocol is example of a link state routing protocol. It is well recognized that such protocols do not operate efficiently in large networks. Thus, in the interests of scalability, an OSPF network is divided into several routing areas. The OSPF protocol is further described in “OSPF Version 2”, Moy, Internet Engineering Task Force (IETF) Request for Comments (RFC) 2328, April 1998.
Another, similar routing protocol which is well-known in the art is the Private Network to Network Interface (PNNI) described in “Private Network to Network Interface Specification, Version 1.0”, the ATM Forum, March 1996. According to the PNNI protocol, a network is divided into several clusters to form a routing hierarchy.
To provide globally accurate path selection, the traversing characteristics of each routing domain involved, be it an OSPF area, or a PNNI cluster, should be considered. “On Scalable QoS Routing, Performance Evaluation of Topology Aggregation”, Hao et al, Proceedings of IEEE INFOCOM'2000, Tel Aviv, Israel, March 2000 and “QoS Routing: a Precomputation Perspective”. Orda et al, Proceeding of IEEE INFOCOM'99 pp. 128-136, Tel Aviv, Israel, March 2000 both suggest that significant gains in path computation efficiency can be obtained via hierarchical organization of networks.
Described in “Transition Matrix Generation for Complex Node Representation”, Iliadis et al, Proceedings of the IEEE ATM Workshop'99, pp 489-500, Kochi, Japan, May 1999 is a method of representing the traversing characteristics of a routing domain by a transition matrix giving the path cost for each pair of ingress-egress nodes of the domain. Each entry in a transition matrix is a minimal representation of the traversing characteristic of a corresponding pair of ingress-egress nodes. The traversing characteristics can be described in terms of restrictive cost metrics, additive cost metrics, or both. Transition characteristics described in terms of only one metric can be regarded as one dimensional. Transition characteristics described in termes of N metrics can be regarded as N dimensional. An additive metric of a path is the sum of all additive metrics of all links in a path. A restrictive metric of a path is the minimum of the restrictive metrics of all links in the path. Examples of additive metrics include delays and administrative costs. Examples of restive metrics include bandwidth. The minimal representation of the traversing characteristics has been referred to in the art to as the efficient frontier. Conventional techniques for computing efficient frontiers will be described shortly. It is possible to classify these techniques according to two criteria:

    
    
        Computation result: Some techniques compute efficient frontiers from one source ingress-egress node to all the other ingress-egress nodes in the network. Other techniques compute efficient frontiers between all pairs of ingress-egress nodes. It will be appreciated that techniques belonging to the former category must be applied to all ingress-egress nodes.
        Delay function: Some techniques support only fixed delay functions. Other techniques can be applied to both fixed and bandwidth-dependent delays.
    
    


The following three well-known algorithms may employed for computing the minimal representations:

    
    
        The Multi-Dijkstra algorithm described. in “Efficient Frontier Formulation for Additive and Restrictive Metrics in Hierarchical Routing”, Bauer et al, Proceedings of the IEEE ICC'00, pp. 1353-59, New Orleans, June 2000:
        The Bellman-Ford algorithm described in “Introduction to Algorithms”, Cormen et al. the MIT Electrical Engineering and Computer Science Series, MIT Press, ISBN 0-262-031412-8, 1989, in “On a Routing Problem”, Bellman. Quarterly of Applied Mathematics, Vol. 16, No. 1, pp. 87-90, 1958, and in “Flows in Networks”, Ford Jr. et al. Princeton University Press, 1962; and,
        The Floyd-Warshall algorithm described in “Algorithm 97 (Shortest Path)”, Floyd, Communications of the ACM, Vol. 5, No. 6, 1965.
    
    


All three of these algorithms are applicable to constant delays. However, only the Bellman Ford and Floyd Warshall algorithms can handle bandwidth dependent delays. Also, only the Multi-Dijkstra and Bellman-Ford algorithms can solve the efficient frontier problem for one source to all nodes. The Multi-Dijkstra and Floyd-Warshall algorithms are generally less complex than the Bellman-Ford algorithm for computing efficient frontiers. A choice between these algorithms therefore should be based on application. For example, if there are only a few ingress-egress vertices, and only constant delays fall to be considered, then the Multi-Dijkstra algorithm is preferable to the Floyd-Warshall algorithm.
In general, conventional techniques for computing the efficient frontier from one node to all other nodes of a routing domain are computationally complex and limited in application. It would be desirable to provide a simpler method for computing such efficient frontiers. Additionally, it would be desirable to provide a method for solving the “One source to all nodes” problem.
In accordance with the present invention, there is now provided a method for deriving a set of efficient path costs for a group of nodes comprising a source node and a plurality of destination nodes in a data communications networks, wherein the path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost and an additive cost, the method comprising:
SUMMARY OF THE INVENTION


    a) recording, in a first data set, the path costs for direct paths from the source node to any of the destination nodes, each recorded cost being associated in the first data set with the node reached by the corresponding path;
    b) selecting the best path cost from the first data set, wherein the best path cost is determined as that comprising the best restrictive cost, or, if a plurality of the path costs comprise equal restrictive costs, the or a path cost having the best restrictive cost and the best additive cost;
    c) recording the best path cost selected in step b) in a second data set, the recorded cost being associated in the second data set with the node reached by the corresponding path;
    d) eliminating the cost recorded in step c) in the second data set from the first data set;
    e) in the first data set, recording the cumulative path costs for direct paths from the destination node reached by the path corresponding to the cost recorded in step c) to any other node in the group, each recorded cumulative path cost being associated in the first data set with the node reached by the corresponding path;
    f) for each node for which an associated cost was recorded in first data set in step e) comparing the costs associated with that node in the first and second data sets and eliminating from the first data set any such cost for reaching that node which has both a worse restrictive cost and a worse additive cost than any other such cost for reaching that node or any such cost for reaching that node which has an equal restrictive and a worse additive cost than any other such cost for reaching that node; and
    g) repeating steps b) to f) until no costs remain in the first data set after step f);

whereby the resulting second data set comprises the set of efficient costs.



This advantageously provides a much simpler and faster method for computing efficient frontiers. In addition, the method facilitates solution of the “One source to all nodes” problem. Furthermore, the method is applicable to both constant and bandwidth dependent delays.
Each restrictive cost preferably comprises a value indicative of bandwidth of the corresponding path; and the best restrictive cost is the cost indicative of the maximum bandwidth. Each additive cost preferably comprises a value indicative of transit delay associated with the corresponding path and the best additive cost is the cost indicative of the minimum transit delay. At least one of the paths may comprise a plurality of links and at least one intermediate node.
The present invention also extends to a computer program element comprising computer program code means which, when loaded in a processor of a data processing system, configures the processor to perform the method for deriving a set of efficient path costs as hereinbefore described.
Viewing the present invention from another aspect, there is now provided apparatus for deriving a set of efficient path costs for a group of nodes comprising a source node and a plurality of destination nodes in a data communications networks, wherein the path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost and an additive cost, the apparatus comprising memory for storing first and second data sets of the path costs and control logic configured to:

    a) record, in the first data set, the path costs for direct paths from the source node to any of the destination nodes, each recorded cost being associated in the first data set with the node reached by the corresponding path;
    b) select the best path cost from the first data set, wherein the best path cost is determined as that comprising the best restrictive cost, or, if a plurality of the path costs comprise equal restrictive costs, the or a path cost having the best restrictive cost and the best additive cost;
    c) record the best path cost selected in step b) in the second data set, the recorded cost being associated in the second data set with the node reached by the corresponding path;
    d) eliminate the cost recorded in step c) in the second data set from the first data set;
    e) in the first data set, record the cumulative path costs for direct paths from the destination node reached by the path corresponding to the cost recorded in step c) to any other node in the group, each recorded cumulative path cost being associated in the first data set with the node reached by the corresponding path;
    f) for each node for which an associated cost was recorded in first data set in step e) compare the costs associated with that node in the first and second data sets and eliminating from the first data set any such cost for reaching that node which has both a worse restrictive cost and a worse additive cost than any other such cost for reaching that node or any such cost for reaching that node which has an equal restrictive and a worse additive cost than any other such cost for reaching that node; and,
    g) repeat steps b) to f) until no costs remain in the first data set after step f);

whereby the resulting second data set comprises the set of efficient costs.



The present invention extends to a data networking device comprising a plurality of ports each for connection to a path of a data communications network, and apparatus for deriving a set of efficient path costs as hereinbefore described. The present invention further extends to a data network comprising a plurality of nodes interconnected by plurality of paths, at least one of the nodes comprising such a data networking device.



BRIEF DESCRIPTION OF THE DRAWINGS
Preferred embodiments of the present invention will now be described, by way of example only, with reference to the accompanying drawings, in which:
FIG. 1 is graph illustrating an example of an efficient frontier for constant delay paths;
FIG. 2a is a simplified view of an example network having four ingress-egress nodes;
FIG. 2b is a graphical illustration of a transition matrix corresponding to the cluster network;
FIGS. 3 to 13 are directed graphs corresponding to the network;
FIG. 14 is a graph illustrating the efficient frontier from node 0 of the network to node 1;
FIG. 15 is a graph illustrating the efficient frontier from node 0 of the network to node 2;
FIG. 16 is a graph illustrating the efficient frontier from node 0 of the network to node 3;
FIG. 17 is a flow chart corresponding to an example of a method for deriving a set of efficient path costs according to the present invention; and,
FIG. 18 is a block diagram of a data networking device embodying the present invention.



Before continuing further, relevant terms and expression are defined and explained.
The expression “restrictive cost” is herein used to describe cost as a function of a dimension or characteristic of a link, such as the bandwidth, for example. The restrictive cost C can, for example, be defined as C=Max−bandwidth, or as C=1/bandwidth, for example. According to the definition of restrictive cost, the weakest link of a path defines the cost. The opposite of restrictive costs are additive costs. Additive costs depend, for example, on the delay of links.
The words “node” or “vertex” are herein used as generic terms for routers, switches, bridges, brouters, hubs, and any other data networking device that transmits or receives information in a communications network.
DETAILED DESCRIPTION OF THE INVENTION
A network can be modeled by a directed graph. The following conventions will be used:

    
    
        A node of the network will be referred to as a vertex of the graph
        A link between two network nodes will be referred to as a direct path or edge between two vertices of the graph.

Let G(V, E) be the directed graph representing the network at a given point in time. V is a set of vertices and E a set of directed edges. Therefore, for all vi, vj∈V if vi and vj are connected, the edge

    
    






  
    
      v
      i
    
    ⁢
    
      
        ɛ
        
          
            v
            i
          
          ,
          
            v
            j
          
        
      
      →
    
    ⁢
    
      v
      j
    
  
  ∈
  E




exists. Vertices may be connected by multiple parallel edges. A set of edges connecting two vertices vi and vj will be denoted as





  
    E
    
      
        v
        i
      
      ,
      
        v
        j
      
    
  
  ⁢
  
    =
    ▲
  
  ⁢
  
    
      {
      
        
          ɛ
          
            
              v
              i
            
            ,
            
              v
              j
            
          
          0
        
        ,
        
          ɛ
          
            
              v
              i
            
            ,
            
              v
              j
            
          
          1
        
        ,
        ...
        ⁢
        
          
        
        ,
        
          ɛ
          
            
              v
              i
            
            ,
            
              v
              j
            
          
          n
        
      
      }
    
    .
  




The notation εvi,vj refers to an arbitrary edge connecting vertices vi and vj.

Let s and t be two vertices of graph G(V, E). Let Ps,t be the set of paths




  s
  ⁢
  
    →
    
      P
      
        s
        ,
        t
      
    
  
  ⁢
  t




that connect s to t. If no path exists from s to t, then Ps,t=Ø. A path ρ∈Ps,t of length ∥ρ∥=n is a sequence {εv0,v1, εv1,v2, . . . , εvn−1,vn} of n edges such that

v0=s

vn=t

εvi,vi+1∈Evi,vi+1∀i∈[0, . . . , n−1].

A vertex v is said to be part of a path ρ, if an edge εvi,vi+1∈ρ exists with either v=vi or v=vi+1.
Metrics on paths and edges provide information about available resources in the network. Metrics for available bandwidth and transit delay will now be defined. However, it will be appreciated that observations presented herein are applicable to any restrictive and additive metric that fits the definitions provided herein.
For an edge εvi,vj∈E, available bandwidth will be denoted by B(εvi,vj)∈+. Available bandwidth is said to be restrictive because the available bandwidth of a path is the minimum of the available bandwidth of edges traversed by the path. For a feasible path ρ from s to t of length n,ρ∈Ps,t, the available bandwidth is




  
    
      
        
          B
          ⁡
          
            (
            ρ
            )
          
        
        =
        
          
            min
            
              ɛ
              ∈
              ρ
            
          
          ⁢
          
            {
            
              B
              ⁡
              
                (
                ɛ
                )
              
            
            }
          
        
      
    
    
      
        (
        1
        )
      
    
  




Assume that the transit delay of an edge is a function of the requested bandwidth b. Thus, for an edge ε∈E and a requested bandwidth b, the transit delay is given by D(ε,b)∈+. If b>B(ε), then D(ε,b)=∞. Transit delay is said to be additive because the transit delay of a path is the sum of the transit delays of the traversed edges. For a feasible path from s to t of length n, ρ∈Ps,t, the transit delay is




  
    
      
        
          D
          ⁡
          
            (
            
              ρ
              ,
              b
            
            )
          
        
        =
        
          
            ∑
            
              ɛ
              ∈
              ρ
            
            
              
            
          
          ⁢
          
            D
            ⁡
            
              (
              
                ɛ
                ,
                b
              
              )
            
          
        
      
    
    
      
        (
        2
        )
      
    
  




If, for an edge ε∈ρ, the requested bandwidth b>B(ε), then D(ρ,b)=∞. Otherwise, D(ρ,b) is finite.
In the following, two dimensional transition characteristics for a pair of ingress-egress vertices are defined. The dimensions of the transition characteristics are bandwidth and delay. The extension to a set of ingress egress vertices is then examined.
Consider the aforementioned graph G(V<E) representing a routing domain. Let s,t∈V be two ingress-egress vertices. The traversing metrics from s to t of interest for taking a routing decision are maximum available bandwidth, Bmax, and the minimum transit delay function Deff(b) for a requested bandwidth b. Both of those depend on a set of paths ps,t connecting s to t. In particular,




  
    
      
        
          
            B
            
              s
              ,
              t
            
            max
          
          ⁢
          
            =
            ▲
          
          ⁢
          
            
              max
              
                ρ
                ∈
                
                  P
                  
                    s
                    ,
                    t
                  
                
              
            
            ⁢
            
              (
              
                B
                ⁡
                
                  (
                  ρ
                  )
                
              
              )
            
          
        
        ,
        and
      
    
    
      
        (
        3
        )
      
    
  
  
    
      
        
          
            D
            
              s
              ,
              t
            
            eff
          
          ⁡
          
            (
            b
            )
          
        
        ⁢
        
          =
          ▲
        
        ⁢
        
          
            max
            
              ρ
              ∈
              
                P
                
                  s
                  ,
                  t
                
              
            
          
          ⁢
          
            
              {
              
                D
                ⁡
                
                  (
                  
                    ρ
                    ,
                    b
                  
                  )
                
              
              }
            
            .
          
        
      
    
    
      
        (
        4
        )
      
    
  




From the definitions of available bandwidth and transit delay, it follows that




  
    
      D
      
        s
        ,
        t
      
      eff
    
    ⁡
    
      (
      b
      )
    
  
  <
  ∞




for





  b
  ≤
  
    B
    
      s
      ,
      t
    
    max
  




and





  
    
      D
      
        s
        ,
        t
      
      eff
    
    ⁡
    
      (
      b
      )
    
  
  =
  ∞




for





  b
  >
  
    
      B
      
        s
        ,
        t
      
      max
    
    .
  




Therefore,





  D
  
    s
    ,
    t
  
  eff




is sufficient to describe the traversing metrics of the ingress-egress pair s,t because





  D
  
    s
    ,
    t
  
  eff




represents the path with the minimum delay for every bandwidth.





  D
  
    s
    ,
    t
  
  eff




also defines the efficient frontier for available bandwidth and transit delay from s to t. By definition,





  D
  
    s
    ,
    t
  
  eff




depends on the set of paths Ps,t. However, only a subset of Ps,t contributes to the efficient frontier. This set is hereinafter referred to as efficient paths for s and t or





  P
  
    s
    ,
    t
  
  E








  
    
      
        
          P
          
            s
            ,
            t
          
          E
        
        ⁢
        
          =
          ▲
        
        ⁢
        
          {
          
            
              
                ρ
                ∈
                
                  P
                  
                    s
                    ,
                    t
                  
                
              
              ❘
              
                
                  ∃
                  
                    
                      b
                      ⁢
                      
                        :
                      
                      ⁢
                      
                        D
                        ⁡
                        
                          (
                          
                            ρ
                            ,
                            b
                          
                          )
                        
                      
                    
                    <
                    ∞
                  
                
                ⩓
                
                  D
                  ⁡
                  
                    (
                    
                      ρ
                      ,
                      b
                    
                    )
                  
                
              
            
            =
            
              
                D
                
                  s
                  ,
                  t
                
                eff
              
              ⁡
              
                (
                b
                )
              
            
          
          }
        
      
    
    
      
        (
        5
        )
      
    
  




The efficient frontier can be regarded as a series of segments, where each segment corresponds to the transmit delay function of a path




  
    
      
        
          
            D
            
              s
              ,
              t
            
            eff
          
          ⁡
          
            (
            b
            )
          
        
        =
        
          {
          
            
              
                
                  
                    D
                    ⁡
                    
                      (
                      
                        
                          ρ
                          1
                        
                        ,
                        b
                      
                      )
                    
                  
                  ⁢
                  
                    ∀
                    
                      b
                      ∈
                      
                        (
                        
                          
                            b
                            0
                          
                          ,
                          
                            b
                            1
                          
                        
                        )
                      
                    
                  
                
              
            
            
              
                
                  
                    D
                    ⁡
                    
                      (
                      
                        
                          ρ
                          2
                        
                        ,
                        b
                      
                      )
                    
                  
                  ⁢
                  
                    ∀
                    
                      b
                      ∈
                      
                        (
                        
                          
                            b
                            1
                          
                          ,
                          
                            b
                            2
                          
                        
                        )
                      
                    
                  
                
              
            
            
              
                ⋮
              
            
            
              
                
                  
                    D
                    ⁡
                    
                      (
                      
                        
                          ρ
                          n
                        
                        ,
                        b
                      
                      )
                    
                  
                  ⁢
                  
                    ∀
                    
                      b
                      ∈
                      
                        (
                        
                          
                            b
                            
                              n
                              -
                              1
                            
                          
                          ,
                          
                            b
                            n
                          
                        
                        )
                      
                    
                  
                
              
            
            
              
                
                  ∞
                  ⁢
                  
                    ∀
                    
                      b
                      >
                      
                        b
                        n
                      
                    
                  
                
              
            
          
        
      
    
    
      
        (
        6
        )
      
    
  




Where




  
    
      b
      n
    
    =
    
      B
      
        s
        ,
        t
      
      max
    
  
  ,




b0=0 and ρi with i∈[1,n] is given as:





  
    
      
        
          
            ρ
            i
          
          ∈
          
            
              P
              
                s
                ,
                t
              
              E
            
            ⁢
            
              
            
            ⁢
            such
            ⁢
            
              
            
            ⁢
            that
            ⁢
            
              
            
            ⁢
            
              D
              ⁡
              
                (
                
                  
                    ρ
                    i
                  
                  ,
                  b
                
                )
              
            
          
        
        =
        
          
            
              D
              
                s
                ,
                t
              
              eff
            
            ⁡
            
              (
              b
              )
            
          
          ⁢
          
            ∀
            
              b
              ∈
              
                
                  [
                  
                    
                      b
                      
                        i
                        -
                        1
                      
                    
                    ,
                    
                      b
                      i
                    
                  
                  ]
                
                .
              
            
          
        
      
    
    
      
        (
        7
        )
      
    
  




Note that ρi may not be unique in that there may exist multiple paths satisfying equation (7). Also, for some forms of delay functions, it may occur that a single path contributes to multiple segments. For example, it is possible ρi≡ρj for some i≠j in equation (6).
Referring now to FIG. 1, illustrated therein is an example of an efficient frontier for constant delay paths. These are paths for which D(ρ,b) is independent of b and thus can be written D(ρ). In this example,




  P
  
    s
    ,
    t
  
  E




consists of four paths. The transit delay-bandwidth characteristics of these paths are shown as black dots on the efficient frontier. The available bandwidth and the transit delay of these efficient paths completely define





  
    D
    
      s
      ,
      t
    
    eff
  
  .




The shaded area also contains non-efficient solutions that are not part of





  P
  
    s
    ,
    t
  
  E




shown as white dots. For constant delay paths, it is possible to define the achievable minimum delay as





  
    
      
        
          D
          
            s
            ,
            t
          
          min
        
        =
        
          
            min
            
              ρ
              ∈
              
                P
                
                  s
                  ,
                  t
                
                E
              
            
          
          ⁢
          
            {
            
              D
              ⁡
              
                (
                ρ
                )
              
            
            }
          
        
      
    
    
      
        (
        8
        )
      
    
  




In the general case, it may not be possible to achieve




  D
  
    s
    ,
    t
  
  min




for a requested bandwidth





  
    B
    
      s
      ,
      t
    
    max
  
  .




This is only possible if the delays D(ρ) of the paths





  ρ
  ∈
  
    P
    
      s
      ,
      t
    
    E
  




are all identical. For example, this is the case if





  P
  
    s
    ,
    t
  
  E




contains only as a single path. Therefore, for any network, if





  
    
      
        D
        
          s
          ,
          t
        
        eff
      
      ⁡
      
        (
        
          B
          
            s
            ,
            t
          
          max
        
        )
      
    
    =
    
      D
      
        s
        ,
        t
      
      min
    
  
  ,




then there exists a “single path solution”.

Suppose now that the graph contains N ingress-egress vertices called R0 . . . , RN−1∈V. For each pair of ingress-egress vertices Ri,Rj, an efficient frontier




  
    D
    
      
        R
        i
      
      ,
      
        R
        j
      
    
    eff
  
  ⁡
  
    (
    b
    )
  




exists. The set of all efficient frontiers completely defines the traversing metrics of the network. The algebraic representation of all efficient frontiers between any pair of ingress-egress vertices is given in a matrix called the transition matrix. The transition matrix may be specified as follows:





  
    
      
        M
        =
        
          {
          
            
              
                -
              
              
                
                  
                    D
                    
                      
                        R
                        0
                      
                      ,
                      
                        R
                        1
                      
                    
                    eff
                  
                  ⁡
                  
                    (
                    b
                    )
                  
                
              
              
                ⋯
              
              
                
                  
                    D
                    
                      
                        R
                        0
                      
                      ,
                      
                        R
                        
                          N
                          -
                          1
                        
                      
                    
                    eff
                  
                  ⁡
                  
                    (
                    b
                    )
                  
                
              
            
            
              
                
                  
                    D
                    
                      
                        R
                        1
                      
                      ,
                      
                        R
                        0
                      
                    
                    eff
                  
                  ⁡
                  
                    (
                    b
                    )
                  
                
              
              
                -
              
              
                ⋯
              
              
                
                  
                    D
                    
                      
                        R
                        1
                      
                      ,
                      
                        R
                        
                          N
                          -
                          1
                        
                      
                    
                    eff
                  
                  ⁡
                  
                    (
                    b
                    )
                  
                
              
            
            
              
                ⋮
              
              
                ⋮
              
              
                ⋰
              
              
                ⋮
              
            
            
              
                
                  
                    D
                    
                      
                        R
                        
                          N
                          -
                          1
                        
                      
                      ,
                      
                        R
                        0
                      
                    
                    eff
                  
                  ⁡
                  
                    (
                    b
                    )
                  
                
              
              
                
                  
                    D
                    
                      
                        R
                        
                          N
                          -
                          1
                        
                      
                      ,
                      
                        R
                        1
                      
                    
                    eff
                  
                  ⁡
                  
                    (
                    b
                    )
                  
                
              
              
                ⋯
              
              
                -
              
            
          
          }
        
      
    
    
      
        (
        9
        )
      
    
  




The transition matrix is an algebraic representation of the topology of the underlying routing domain. It is an exact representation of the routing domain in the sense that it completely preserves the traversing characteristics regarding bandwidth and delay metrics.
As indicated earlier, a problem addressed by the present invention concerns computation of a transition matrix. This problem specifically involves the computation of each entry of the transition matrix. With reference to FIG. 2a, consider an example network comprising four ingress-egress vertices 0, 1, 2, and 3. Referring to FIG. 2b, each entry is an efficient frontier between each pair of ingress-egress vertices.
In a preferred embodiment of the present invention, the efficient frontiers corresponding to various vertices are determined iteratively in parallel and in a “descending” manner. By “descending” what is meant is that the points of the efficient frontier with larger bandwidths are found first, and, among the points with equal bandwidths, the points with smaller delays are found first. Considering a graphical representation of an efficient frontier, with delay along the y axis and bandwidth along the x axis as hereinbefore described, this can approach effectively sweeps out the efficient frontier from right (higher bandwidth) to left (lower bandwidth). A preferred example of a process for determining efficient frontiers in accordance with the present invention will be described in detail shortly. However, some preliminary definitions are provided beforehand.
Preliminary Definitions
Let G(V, E) be the graph representing the network at a given point in time. V is a set of vertices and E a set of directed edges. Therefore, for all vi, vj∈V if vi and vj are connected, the edge




  
    
      v
      i
    
    ⁢
    
      
        
          
        
        ⁢
        
          ɛ
          
            
              v
              i
            
            ,
            
              v
              j
            
          
        
      
      →
    
    ⁢
    
      v
      j
    
  
  ∈
  E




exists. Vertices may be connected by multiple parallel edges. The set of edges connecting two vertices vi and vj will be denoted as





  
    E
    
      
        v
        i
      
      ,
      
        v
        j
      
    
  
  ⁢
  
    =
    ▲
  
  ⁢
  
    
      {
      
        
          ɛ
          
            
              v
              i
            
            ,
            
              v
              j
            
          
          0
        
        ,
        
          ɛ
          
            
              v
              i
            
            ,
            
              v
              j
            
          
          1
        
        ,
        
          
        
        ⁢
        ...
        ⁢
        
          
        
        ,
        
          ɛ
          
            
              v
              i
            
            ,
            
              v
              j
            
          
          n
        
      
      }
    
    .
  




The notation εvi,vj refers to arbitrary edge connecting vertices vi and vj. For an edge εvi,vj∈E, it metric (cost) in terms of bandwidth and delay will be denoted by C(εvi,vj)(B(εvi,vj),D(εvi,vj)), where B(εvi,vj) and D(εvi,vj) denote the available bandwidth and delay associated with the edge, respectively. It is assumed that these metrics are real non-negative numbers. In other words, B(εvi,vj)ε+ and D(εvi,vj)ε+.

Two costs Ci=(Bi,Di) and Cj=(Bj,Dj) are compared as follows:

    
    
        Cost Ci is equal to Cj(Ci=Cj) if and only if Bi==Bj and Di=Dj. Otherwise, cost Ci is not equal to Cj(Ci≠Cj).
        Cost Ci is better than Cj or, equivalently, cost Cj is worse than cost Ci, if and only if Bi≧Bj, Di≧Dj, and (Ci≠Cj).
        Cost Ck extends costs Ci and Cj (Ck=ext(Ci,Cj)), if and only if Bk=min(Bi,Bj) and Dk=Di+Dj.

Process

    
    


Let v0 be the source vertex from which efficient frontiers are to be computed. Let ri, i=1 . . . N−1, be the list of costs to reach vertex vi from v0. Let fi, i=1 . . . N−1, be the efficient frontier associated with vertex vi. Let  and  be data sets containing the corresponding lists, i.e. ={r1, . . . , rN−1} and ={fi, . . . , fN−1}, respectively. These data sets may for example be arranged as. tables
Before continuing further, the following additional definitions are provided:
i is the iteration counter;
vm(i) is the tagged vertex of the ith iteration;
Evj is the set of outgoing edges from vertex vj;
rj is the list of cost to reach vertex vj from v0;
fj is the list comprising the efficient frontiers corresponding to vertex vj;
What follows now is a pseudo code representation of the process in the form of a series of Rules, 1) to 3).
Initialization:


    
    
        i=1
        m(1)=0
        f0=(∞,0)
        =Ø
        =Ø

Step ith iteration:

1) for each edge εvm(i),vj in the set Evm(i) do

        a) calculate the cost Cj=(Bj,Dj) of the extended path
    
    






  
    v
    0
  
  ⁢
    ⁢
  
    v
    
      m
      ⁡
      
        (
        i
        )
      
    
  
  ⁢
  
    
      ɛ
      
        
          v
          
            m
            ⁡
            
              (
              i
              )
            
          
        
        ,
        
          v
          j
        
      
    
    →
  
  ⁢
  
    v
    j
  




based on the last entry of the fm(i) list and the cost C(εvm(i)vj), i.e. Cj=ext(fm(i), C(εvm(i),vj)).

    
    
        b) if Cj is equal or worse than any entry of list fj, then discard Cj,
        c) else if Cj is equal or worse than any entry of list rj, then discard Cj,
        
            else do
        
        
        d) enter Cj in list rj by keeping the list sorted according to the bandwidth, and delay (for equal bandwidth entries).
        e) discard any entries of list rj which are worse than Cj.
        
            done

2) if  data set is empty, then STOP.

3) else do

        
        
        a) choose the best entry of  data set, say contained in the list rk. The best entry may be considered to be the one with the largest bandwidth, and, in the case of multiple entries, with the lowest delay. Remaining ties are broken according to another criterion, such as hop count, for example, or arbitrarily.
        b) remove the entry from the list rk and place it in the list fk.
        c) increase counter: i=i+1.
        d) set m(i)=k (so that vm(i)=vk)
        done

Go back to Step.

    
    


EXAMPLE
Referring to FIG. 3, an example of a method embodying the present invention for determining the efficient frontiers from vertex 0 to remaining vertices 1, 2, and 3 of an example four node network will now be described. It will be appreciated that the present invention is equally to applicable to networks having more than or fewer than four nodes.
Step 1
Referring now to FIG. 4, the method starts from vertex 0 and considers all outgoing edges from vertex 0. Three edges provide connectivity to vertices 1, 2, and 3 respectively. There is no current cost associated with vertex 0. The costs of the corresponding edges to vertices 1, 2, and 3 are therefore inserted in the  data set according to Rule 1d) above.




    =
  
    {
    
      
        
          
            r
            1
          
        
        
          
            r
            2
          
        
        
          
            r
            3
          
        
      
      
        
          
            4
            ,
            1
          
        
        
          
            8
            ,
            10
          
        
        
          
            9
            ,
            5
          
        
      
    
    }
  




In the  data set, the best cost in terms of bandwidth is to vertex 3:9,5. This cost is then moved from the  data set to the efficient frontier for vertex 3, according to rule 3b).




    =
  
    
      
        {
        
          
            
              
                r
                1
              
            
            
              
                r
                2
              
            
            
              
                r
                3
              
            
          
          
            
              
                4
                ,
                1
              
            
            
              
                8
                ,
                10
              
            
            
              -
            
          
        
        }
      
      ⁢
      
        
      
      ⁢
          
    =
    
      {
      
        
          
            
              f
              1
            
          
          
            
              f
              2
            
          
          
            
              f
              3
            
          
        
        
          
            -
          
          
            -
          
          
            
              9
              ,
              5
            
          
        
      
      }
    
  




The process now moves to vertex 3 with an associated cost of 9,5.
Step 2:
Referring now to FIG. 5, vertex 3 has two edges to vertices 1 and 2. The costs of these edges extended by the cost associated with vertex 3 (9,5) set in the  data set are shown in FIG. 5. These costs are entered in the  data set because there are still no entries for vertices 1 and 2 in the  data set.




    =
  
    {
    
      
        
          
            r
            1
          
        
        
          
            r
            2
          
        
        
          
            r
            3
          
        
      
      
        
          
            4
            ,
            1
          
        
        
          
            8
            ,
            10
          
        
        
          -
        
      
      
        
          
            6
            ,
            9
          
        
        
          
            7
            ,
            6
          
        
        
          -
        
      
    
    }
  




The widest bandwidth value corresponds to vertex 2:8,10. This value is moved from the  data set to the efficient frontier of vertex 2.




    =
  
    
      
        {
        
          
            
              
                r
                1
              
            
            
              
                r
                2
              
            
            
              
                r
                3
              
            
          
          
            
              
                4
                ,
                1
              
            
            
              -
            
            
              -
            
          
          
            
              
                6
                ,
                9
              
            
            
              
                7
                ,
                6
              
            
            
              -
            
          
        
        }
      
      ⁢
      
        
      
      ⁢
          
    =
    
      {
      
        
          
            
              f
              1
            
          
          
            
              f
              2
            
          
          
            
              f
              3
            
          
        
        
          
            -
          
          
            -
          
          
            
              9
              ,
              5
            
          
        
        
          
            -
          
          
            
              8
              ,
              10
            
          
          
            -
          
        
      
      }
    
  




The process now moves to vertex 2 with an associated cost of 8,10.
Step 3:
Referring now to FIG. 6, vertex 2 has two edges to vertices 1 and 3. The costs of these edges extended by the cost associated with vertex 2 (8,10) set in the  data set are shown in FIG. 6. The cost to reach vertex 1 is equal to (6,12) which is worse than the cost (6,9) in the r1 list, Therefore, according to Rule 1c), it is discarded. The cost to reach vertex 3 is equal to (1,11) which is worse than the cost (9,5) in the f3 list. Therefore, according to Rule 1b), it is discarded. The widest bandwidth value corresponds to vertex 2:7,6.




  
        =
    
      {
      
        
          
            
              r
              1
            
          
          
            
              r
              2
            
          
          
            
              r
              3
            
          
        
        
          
            
              4
              ,
              1
            
          
          
            -
          
          
            -
          
        
        
          
            
              6
              ,
              9
            
          
          
            
              7
              ,
              6
            
          
          
            -
          
        
      
      }
    
  
  ⁢
  
    
  




This value is moved from the  data set to the efficient frontier of vertex 2.




    =
  
    
      
        {
        
          
            
              
                r
                1
              
            
            
              
                r
                2
              
            
            
              
                r
                3
              
            
          
          
            
              
                4
                ,
                1
              
            
            
              -
            
            
              -
            
          
          
            
              
                6
                ,
                9
              
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
        
        }
      
      ⁢
      
        
      
      ⁢
          
    =
    
      {
      
        
          
            
              f
              1
            
          
          
            
              f
              2
            
          
          
            
              f
              3
            
          
        
        
          
            -
          
          
            -
          
          
            
              9
              ,
              5
            
          
        
        
          
            -
          
          
            
              8
              ,
              10
            
          
          
            -
          
        
        
          
            -
          
          
            
              7
              ,
              6
            
          
          
            -
          
        
      
      }
    
  




The method proceeds to vertex 2 with an associated cost of 7,6
Step 4:
Referring to FIG. 7, vertex 2 has two edges to vertices 1 and 3. The costs of these edges extended by the cost associated with vertex 2 (7,6) set in the  data set are shown in FIG. 7. The cost to reach vertex 1 is equal to (6,8) which is not equal to or worse than any entry of r1. It is, therefore, entered into the  data set according to Rule 1d). Entry (6,9), however, is worse than (6,8). Therefore, it is discarded according to Rule 1e). The cost to reach vertex 3 is equal to (1,7) which is worse than the cost (9,5) in the f3 list. Therefore, according to Rule 1b) it is discarded.




  
        =
    
      {
      
        
          
            
              r
              1
            
          
          
            
              r
              2
            
          
          
            
              r
              3
            
          
        
        
          
            
              4
              ,
              1
            
          
          
            -
          
          
            -
          
        
        
          
            
              6
              ,
              8
            
          
          
            -
          
          
            -
          
        
      
      }
    
  
  ⁢
  
    
  




The widest bandwidth value corresponds to vertex 1 6,8. This value is moved from the  data set to the efficient frontier of vertex 1.




    =
  
    
      
        {
        
          
            
              
                r
                1
              
            
            
              
                r
                2
              
            
            
              
                r
                3
              
            
          
          
            
              
                4
                ,
                1
              
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
        
        }
      
      ⁢
      
        
      
      ⁢
          
    =
    
      {
      
        
          
            
              f
              1
            
          
          
            
              f
              2
            
          
          
            
              f
              3
            
          
        
        
          
            -
          
          
            -
          
          
            
              9
              ,
              5
            
          
        
        
          
            -
          
          
            
              8
              ,
              10
            
          
          
            -
          
        
        
          
            -
          
          
            
              7
              ,
              6
            
          
          
            -
          
        
        
          
            
              6
              ,
              8
            
          
          
            -
          
          
            -
          
        
      
      }
    
  




The method now proceeds to vertex 1 with an associated cost of 6,8
Step 5
Referring now to FIG. 8, vertex 1 has two edges to vertices 2 and 3. The cost to reach vertex 2 is equal to (2,9) which is worse than the cost (7,6) in the f2 list. Therefore, according to Rule 1b), it is discarded. The cost to reach vertex 3 is equal to (3,11) which is worse than the cost (9,5) in the f3 list. Therefore, according to Rule 1b) it is discarded.




  
        =
    
      {
      
        
          
            
              r
              1
            
          
          
            
              r
              2
            
          
          
            
              r
              3
            
          
        
        
          
            
              4
              ,
              1
            
          
          
            -
          
          
            -
          
        
      
      }
    
  
  ⁢
  
    
  




The widest bandwidth value corresponds to vertex 1. This value is moved from the  data set to the efficient frontier of vertex 1.




    =
  
    
      
        {
        
          
            
              
                r
                1
              
            
            
              
                r
                2
              
            
            
              
                r
                3
              
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
        
        }
      
      ⁢
      
        
      
      ⁢
          
    =
    
      {
      
        
          
            
              f
              1
            
          
          
            
              f
              2
            
          
          
            
              f
              3
            
          
        
        
          
            -
          
          
            -
          
          
            
              9
              ,
              5
            
          
        
        
          
            -
          
          
            
              8
              ,
              10
            
          
          
            -
          
        
        
          
            -
          
          
            
              7
              ,
              6
            
          
          
            -
          
        
        
          
            
              6
              ,
              8
            
          
          
            -
          
          
            -
          
        
        
          
            
              4
              ,
              1
            
          
          
            -
          
          
            -
          
        
      
      }
    
  




The process now proceeds to vertex 1 with an associated cost of 4,1,.
Step 6:
Referring to FIG. 9, vertex 1 has two edges to vertices 2 and 3. The cost to reach vertex 2 is equal to (2,2) which is not equal or worse than any entry of f2. It is, therefore, entered in the  data set according to Rule 1d). The cost to reach vertex 3 is equal to (3,4) which is not equal or worse than any entry of f3. It is therefore entered in the  data set according to Rule 1d).




  
        =
    
      {
      
        
          
            
              r
              1
            
          
          
            
              r
              2
            
          
          
            
              r
              3
            
          
        
        
          
            -
          
          
            
              2
              .
              2
            
          
          
            
              3
              ,
              4
            
          
        
      
      }
    
  
  ⁢
  
    
  




The widest bandwidth value corresponds to vertex 3:3,4. This value is moved from the  data set to the efficient frontier.




    =
  
    
      
        {
        
          
            
              
                r
                1
              
            
            
              
                r
                2
              
            
            
              
                r
                3
              
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              
                2
                ,
                2
              
            
            
              -
            
          
        
        }
      
      ⁢
      
        
      
      ⁢
          
    =
    
      {
      
        
          
            
              f
              1
            
          
          
            
              f
              2
            
          
          
            
              f
              3
            
          
        
        
          
            -
          
          
            -
          
          
            
              9
              ,
              5
            
          
        
        
          
            -
          
          
            
              8
              ,
              10
            
          
          
            -
          
        
        
          
            -
          
          
            
              7
              ,
              6
            
          
          
            -
          
        
        
          
            
              6
              ,
              8
            
          
          
            -
          
          
            -
          
        
        
          
            
              4
              ,
              1
            
          
          
            -
          
          
            -
          
        
        
          
            -
          
          
            -
          
          
            
              3
              ,
              4
            
          
        
      
      }
    
  




The method now proceeds to vertex 3 with an associated cost of 3,4.
Step 7:
Referring now to FIG. 10, vertex 3 has two edges to vertices 1 and 2. The cost to reach vertex 1 is equal to (3,8) which is worse than the cost (4,1) in the f1 list. Therefore, according to Rule 1b), it is discarded. However, the cost to reach vertex 2 is equal to (3,5) which is not equal to or worse than any entry of f2 or r2. It is therefore entered in the  data set according to Rule 1d).




    =
  
    {
    
      
        
          
            r
            1
          
        
        
          
            r
            2
          
        
        
          
            r
            3
          
        
      
      
        
          -
        
        
          
            2
            ,
            2
          
        
        
          -
        
      
      
        
          -
        
        
          
            3
            ,
            5
          
        
        
          -
        
      
    
    }
  




The widest bandwidth value corresponds to vertex 2:3,5. This value is moved from the  data set to the efficient frontier of vertex 2.




  
        =
    
      
        
          {
          
            
              
                
                  r
                  1
                
              
              
                
                  r
                  2
                
              
              
                
                  r
                  3
                
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                
                  2
                  ,
                  2
                
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
          
          }
        
        ⁢
        
          
        
        ⁢
              
      =
      
        {
        
          
            
              
                f
                1
              
            
            
              
                f
                2
              
            
            
              
                f
                3
              
            
          
          
            
              -
            
            
              -
            
            
              
                9
                ,
                5
              
            
          
          
            
              -
            
            
              
                8
                ,
                10
              
            
            
              -
            
          
          
            
              -
            
            
              
                7
                ,
                6
              
            
            
              -
            
          
          
            
              
                6
                ,
                8
              
            
            
              -
            
            
              -
            
          
          
            
              
                4
                ,
                1
              
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              
                3
                ,
                4
              
            
          
          
            
              -
            
            
              
                3
                ,
                5
              
            
            
              -
            
          
        
        }
      
    
  
  ⁢
  
    
  




The method now proceeds to vertex 2 with an associated cost of 3,5.
Step 8:
Referring to FIG. 11, vertex 2 has two edges to vertices 1 and 2. The cost to reach vertex 1 is equal to (3,7) which is worse than the cost (4,1) in the f1 list. Therefore, according to Rule 1b), it is discarded. The cost to reach vertex 3 is equal to (1,6) which is worse than the cost (3,4) in the f3 list. Therefore, according to Rule 1b), it is discarded.




    =
  
    {
    
      
        
          
            r
            1
          
        
        
          
            r
            2
          
        
        
          
            r
            3
          
        
      
      
        
          -
        
        
          
            2
            ,
            2
          
        
        
          -
        
      
    
    }
  




The widest bandwidth value corresponds to vertex 2: 2,2. This value is moved from the  data set to the efficient frontier of vertex 2.




  
        =
    
      
        
          {
          
            
              
                
                  r
                  1
                
              
              
                
                  r
                  2
                
              
              
                
                  r
                  3
                
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
          
          }
        
        ⁢
        
          
        
        ⁢
              
      =
      
        {
        
          
            
              
                f
                1
              
            
            
              
                f
                2
              
            
            
              
                f
                3
              
            
          
          
            
              -
            
            
              -
            
            
              
                9
                ,
                5
              
            
          
          
            
              -
            
            
              
                8
                ,
                10
              
            
            
              -
            
          
          
            
              -
            
            
              
                7
                ,
                6
              
            
            
              -
            
          
          
            
              
                6
                ,
                8
              
            
            
              -
            
            
              -
            
          
          
            
              
                4
                ,
                1
              
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              
                3
                ,
                4
              
            
          
          
            
              -
            
            
              
                3
                ,
                5
              
            
            
              -
            
          
          
            
              -
            
            
              
                2
                ,
                2
              
            
            
              -
            
          
        
        }
      
    
  
  ⁢
  
    
  




The method proceeds now to vertex 2 with associated cost of 2,2.
Step 9:
Referring now to FIG. 12, vertex 2 has two edges to vertices 1 and 3. The cost to reach vertex 1 is equal to (2,4) which is worse than the cost (4,1) in the f1 list. Therefore, according to Rule 1b), it is discarded. However, the cost to reach vertex 3 is equal to (1,3) which is not equal to or worse than any entry in the f3 list. It is therefore entered in the  data set in accordance with Rule 1d).




    =
  
    {
    
      
        
          
            r
            1
          
        
        
          
            r
            2
          
        
        
          
            r
            3
          
        
      
      
        
          -
        
        
          -
        
        
          
            1
            ,
            3
          
        
      
    
    }
  




The widest bandwidth value corresponds to vertex 3:1,3. This value is moved from the  data set to the efficient frontier of vertex 3.




  
        =
    
      
        
          {
          
            
              
                
                  r
                  1
                
              
              
                
                  r
                  2
                
              
              
                
                  r
                  3
                
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
            
              
                -
              
              
                -
              
              
                -
              
            
          
          }
        
        ⁢
        
          
        
        ⁢
              
      =
      
        {
        
          
            
              
                f
                1
              
            
            
              
                f
                2
              
            
            
              
                f
                3
              
            
          
          
            
              -
            
            
              -
            
            
              
                9
                ,
                5
              
            
          
          
            
              -
            
            
              
                8
                ,
                10
              
            
            
              -
            
          
          
            
              -
            
            
              
                7
                ,
                6
              
            
            
              -
            
          
          
            
              
                6
                ,
                8
              
            
            
              -
            
            
              -
            
          
          
            
              
                4
                ,
                1
              
            
            
              -
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              
                3
                ,
                4
              
            
          
          
            
              -
            
            
              
                3
                ,
                5
              
            
            
              -
            
          
          
            
              -
            
            
              
                2
                ,
                2
              
            
            
              -
            
          
          
            
              -
            
            
              -
            
            
              
                1
                ,
                3
              
            
          
        
        }
      
    
  
  ⁢
  
    
  




The method proceeds to vertex 3 with an associated cost of 1,3.
Step 10:
Referring now to FIG. 13, vertex 3. Has two edges 1 and 2. The cost to reach vertex 1 is equal to (1,7) which is worse than the cost (4,1) in the f1 list. Therefore, according to Rule 1b), it is discarded. The cost to reach vertex 2 is equal to (1,4) which is worse than the cost (2,2) in the f2 list. Consequently, according to Rule 1b), it is discarded.




    =
  
    {
    
      
        
          
            r
            1
          
        
        
          
            r
            2
          
        
        
          
            r
            3
          
        
      
      
        
          -
        
        
          -
        
        
          -
        
      
    
    }
  




As there are no more entries left in the  data set, the process finishes according to Rule 2).
Final Result:
The efficient frontiers from vertex 0 to vertices 1, 2, 3 are as follows:




    =
  
    {
    
      
        
          
            f
            1
          
        
        
          
            f
            2
          
        
        
          
            f
            3
          
        
      
      
        
          
            6
            ,
            8
          
        
        
          
            8
            ,
            10
          
        
        
          
            9
            ,
            5
          
        
      
      
        
          
            4
            ,
            1
          
        
        
          
            7
            ,
            6
          
        
        
          
            3
            ,
            4
          
        
      
      
        
          -
        
        
          
            3
            ,
            5
          
        
        
          
            1
            ,
            3
          
        
      
      
        
          -
        
        
          
            2
            ,
            2
          
        
        
          -
        
      
    
    }
  




FIGS. 14 to 16 graphically illustrate the efficient frontiers from vertex 0 to vertices 1,2 and 3 respectively.
Referring now to FIG. 17, in a preferred embodiment of the present invention, there is provided a computer program element comprising computer program code which, when loaded in a processor of a data processing system, configures the processor to perform a method for deriving a set of efficient path costs for a group of nodes comprising a source node and a plurality of destination nodes in a data communications networks, wherein the path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost such as a value indicative of available bandwidth and an additive cost such as a value indicative of transit delay.
The method comprises, at step 10, recording, in a first data set in a memory of the data processing system, the path costs for direct paths from the source node to any of the destination nodes. Each recorded cost is associated in the first data set with the node reached by the corresponding path.
At step 20, the best path cost is selected from the first data set. The best path cost is determined as that comprising the best restrictive cost, or, if a plurality of the path costs comprise equal restrictive costs, the or a path cost having the best restrictive cost and the best additive cost. If for example, the restrictive cost is a value indicative of bandwidth, the best restrictive cost is the cost indicative of the maximum bandwidth. Similarly, if the additive cost is a value indicative of transit delay, the best additive cost is the cost indicative of minimum transit delay.
At step 30, the best path cost selected in step 20 is recorded in a second data set in the memory of the data processing system. The recorded cost is associated in the second data set with the node reached by the corresponding path.
At step 40, the cost recorded in step 30 in the second data set is eliminated from the first data set. The elimination may involve deletion, flagging, or any other action for excluding the cost from further consideration.
At step 50, the cumulative path costs for direct paths from the destination node reached by the path corresponding to the cost recorded in step 30 to any other node in the group are recorded in the first data set. Each recorded cumulative path cost is associated in the first data set with the node reached by the corresponding path.
At step 60, for each node for which an associated cost was recorded in first data set in step 50, the costs associated with that node in the first and second data sets are compared. Any such cost for reaching that node which has both a worse restrictive cost and a worse additive cost than any other such cost for reaching that node, or any such cost for reaching that node which has an equal restrictive and a worse additive cost than any other such cost for reaching that node, is eliminated from the first data set.
At step 70, steps 20 to 60 are repeated until no costs remain in the first data set after step 60. At step 80, the resulting second data set comprises the set of efficient costs. In other words, the set of efficient costs comprises the efficient frontiers for the source node. It will be appreciated that the data processing system may be a router, switch, bridge, brouter, hub, or any other data networking device that transmits or receives information in a communications network.
Referring now to FIG. 18, in another embodiment of the present invention, there is provided a data networking device 100 comprising input/output (I/O) ports 110 for connection to a data communications network 170, a processor 120 coupled to the I/O ports 110, and a memory 130 connected to the processor. The memory comprises space allocated to storage of a first data set 140, space allocated to storage of a second data set 150, and control logic program code 160. In operation, the data networking device derives a set of efficient path costs for a group nodes comprising a source node and a plurality of destination nodes in a data communications network. The data processing device may embody the source node of the data communications network. The path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost and an additive cost. In operation, the control logic 160 configures the processor to:
a) record, in the first data set 140, the path costs for direct paths from the source node to any of the destination nodes, each recorded cost being associated in the first data set with the node reached by the corresponding path;
b) select the best path cost from the first data set 140, wherein the best path cost is determined as that comprising the best restrictive cost, or, if a plurality of the path costs comprise equal restrictive costs, the or a path cost having the best restrictive cost and the best additive cost;

c) record the best path cost selected in step b) in the second data set 150, the recorded cost being associated in the second data set 150 with the node reached by the corresponding path;

d) eliminate the cost recorded in step c) in the second data set 150 from the first data set 140;

e) in the first data set 140, record the cumulative path costs for direct paths from the destination node reached by the path corresponding to the cost recorded in step c) to any other node in the group, each recorded cumulative path cost being associated with the node reached by the corresponding path;

f) for each node for which an associated cost was recorded in first data set in step e) compare the costs associated with that node in the first data set 140 and the second data set 150 and eliminating from the first data set 140 any such cost for reaching that node which has both a worse restrictive cost and a worse additive cost than any other such cost for reaching that node or any such cost for reaching that node which has an equal restrictive and a worse additive cost than any other such cost for reaching that node; and,

g) repeat steps b) to f) until no costs remain in the first data set after step f).

The resulting second data set comprises the set of efficient costs. Although, in the embodiment of the present invention hereinbefore described with reference to FIG. 18, the control logic 160 is computer program code, it will be appreciated that, in other embodiments of the present invention, the control logic may be at least partially implemented in hardwired logic circuitry. It will also be appreciated that at least one of the paths may comprise a plurality of links and at least one intermediate node.
By way of summary, in the preferred embodiments of the present invention hereinbefore described, a set of efficient path costs are derived for a group of nodes comprising a source node and a plurality of destination nodes in a data communications networks, wherein the path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost and an additive cost, comprises iteratively identifying the paths of higher bandwidth first and, when two or more paths of equal bandwidth are encountered, selecting the path having a lower transit delay associated therewith.

## Claims

1. A method for deriving a set of efficient path costs to facilitate path selection for routing communications among a group of nodes comprising a source node and a plurality of destination nodes in a data communications networks, wherein the path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost and an additive cost, the method comprising:
a) recording, in a first data set, the path costs for direct paths from the source node to any of the destination nodes, each recorded cost being associated in the first data set with the node reached by the corresponding path;
b) selecting a best path cost from the first data set, wherein the best path cost is determined as that comprising a best restrictive cost, or, if a plurality of the path costs comprise equal restrictive costs, a path cost having the best restrictive cost and the best additive cost;
c) recording the best path cost selected in step b) in a second data set, the recorded cost being associated in the second data set with the node reached by the corresponding path;
d) eliminating the cost recorded in step c) in the second data set from the first data set;
e) in the first data set, recording a cumulative path costs for direct paths from the destination node reached by the path corresponding to the cost recorded in step c) to any other node in the group, each recorded cumulative path cost being associated in the first data set with the node reached by the corresponding path;
f) for each node for which an associated cost was recorded in first data set in step e) comparing the costs associated with that node in the first and second data sets and eliminating from the first data set any such cost for reaching that node which has both a worse restrictive cost and a worse additive cost than any other such cost for reaching that node or any such cost for reaching that node which has an equal restrictive and a worse additive cost than any other such cost for reaching that node; and
g) repeating steps b) to f) until no costs remain in the first data set after step f);
whereby the resulting second data set comprises the set of efficient costs for direct paths from the source node to destination nodes in said communications network, for use in selecting paths for routing communications in said data communications network.

2. A method as claimed in claim 1, wherein each restrictive cost comprises a value indicative of bandwidth of the corresponding path; and the best restrictive cost is the cost indicative of the maximum bandwidth.

3. A method as claimed in claim 1, wherein each additive cost comprises a value indicative of transit delay associated with the corresponding path and the best additive cost is the cost indicative of the minimum transit delay.

4. A method as claimed in claim 1, wherein at least one of the paths comprises a plurality of links and at least one intermediate node.

5. Apparatus for deriving a set of efficient path costs to facilitate path selection for a group of nodes comprising a source node and a plurality of destination nodes in a data communications networks, wherein the path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost and an additive cost, the apparatus comprising memory for storing first and second data sets of the path costs and control logic configured to:
a) record, in the first data set, the path costs for direct paths from the source node to any of the destination nodes, each recorded cost being associated in the first data set with the node reached by the corresponding path;
b) select a best path cost from the first data set, wherein the best path cost is determined as that comprising a best restrictive cost, or, if a plurality of the path costs comprise equal restrictive costs, a path cost having the best restrictive cost and the best additive cost;
c) record the best path cost selected in step b) in the second data set, the recorded cost being associated in the second data set with the node reached by the corresponding path;
d) eliminate the cost recorded in step c) in the second data set from the first data set;
e) in the first data set, record a cumulative path costs for direct paths from the destination node reached by the path corresponding to the cost recorded in step c) to any other node in the group, each recorded cumulative path cost being associated in the first data set with the node reached by the corresponding path;
f) for each node for which an associated cost was recorded in first data set in step e) compare the costs associated with that node in the first and second data sets and eliminating from the first data set any such cost for reaching that node which has both a worse restrictive cost and a worse additive cost than any other such cost for reaching that node or any such cost for reaching that node which has an equal restrictive and a worse additive cost than any other such cost for reaching that node; and,
g) repeat steps b) to f) until no costs remain in the first data set after step f);
whereby the resulting second data set comprises the set of efficient costs for direct paths from the source node to destination nodes in said communications network for use in selecting paths for communications routing in said data communications network.

6. Apparatus as claimed in claim 5, wherein each restrictive cost comprises a value indicative of bandwidth of the corresponding path; and the best restrictive cost is the cost indicative of the maximum bandwidth.

7. Apparatus as claim in claim 5, wherein each additive cost comprises a value indicative of transit delay associated with the corresponding path and the best additive cost is the cost indicative of the minimum transit delay.

8. Apparatus as claimed in claim 5, wherein at least one of the paths comprises a plurality of links and at least one intermediate node.

9. A computer readable medium encoded with a computer program which, when loaded in a process of a data processing system, configures the processor to perform a method for deriving a set of efficient path costs to facilitate path selection for a group of nodes comprising a source node and a plurality of destination nodes in a data communications networks, wherein the path costs for paths between nodes in the group are defined in the network and each path cost comprises a restrictive cost and an additive cost, the method comprising:
a) recording, in a first data set, the path costs for direct paths from the source node to any of the destination nodes, each recorded cost being associated in the first data set with the node reached by the corresponding path;
b) selecting a best path cost from the first data set, wherein the best path cost is determined as that comprising a best restrictive cost, or, if a plurality of the path costs comprise equal restrictive costs, the or a path cost having the best restrictive cost and the best additive cost;
c) recording the best path cost selected in step b) in a second data set, the recorded cost being associated in the second data set with the node reached by the corresponding path;
d) eliminating the cost recorded in step c) in the second data set from the first data set;
e) in the first data set, recording a cumulative path costs for direct paths from the destination node reached by the path corresponding to the cost recorded in step c) to any other node in the group, each recorded cumulative path cost being associated in the first data set with the node reached by the corresponding path;
f) for each node for which an associated cost was recorded in first data set in step e) comparing the costs associated with that node in the first and second data sets and eliminating from the first data set any such cost for reaching that node which has both a worse restrictive cost and a worse additive cost than any other such cost for reaching that node or any such cost for reaching that node which has an equal restrictive and a worse additive cost than any other such cost for reaching that node; and
g) repeating steps b) to f) until no costs remain in the first data set after step f);
whereby the resulting second data set comprises the set of efficient costs for direct paths from the source node to destination nodes for selection of paths for communications routing in said data communications network.