그래프 고려하십시오 (문제는 방향 그래프와 비 방향 그래프 모두에 해당됩니다). 통화 의 거리 행렬 : 정점으로부터 최단 거리 인 정점에 의 (예를 들면, 특정 고정 집계 기능 또는 ).
I는 서브 그래프라고 의 (동일한 정점 세트) 인 SP 상당 하는 경우 . 다시 말해, 에서 G ' 로가는 모서리를 제거해도 최단 경로의 길이는 변하지 않습니다. 가장 짧은 경로 에는 제거 된 모서리가 필요 하지 않습니다 .
일반적으로 포함에 최소 인 G의 단일 sp- 등가 하위 그래프는 없습니다 . 예를 들어, 만약 무향 모든 가장자리가 무게가 , 어떤 스패닝 트리 최소한의 SP-해당하는 서브 그래프 (실제로,주기의 모든 모서리를 제거 할 수 있지만, 정점 쌍을 분명히 거리를 변경 분리)입니다. 그러나 나는 아직도의 가장자리를 호출 할 수 있습니다 쓸모 가, 아니 최소한의 SP-해당하는 서브 그래프에있는 경우 필요한 그들은 모두 최소한의 SP-해당하는 서브 그래프 (즉, 자신의 교차로에서)에있는 경우, 및 옵션 그들은 (그들 중 일부에있는 경우 즉, 그들의 조합으로).
내 첫 번째 질문은 : 이 개념은 표준 이름이 있습니까?
두 번째 질문은 다음과 같습니다. G 가 방향이 지정되지 않았 는지 지시 되는지 , 집계 함수에 따라이 방식 으로 G 의 모서리를 분류하는 것이 얼마나 복잡 합니까?
(예를 들어, undirected 및 의 경우 최소 sp- 등가 하위 그래프는 최소 가중치의 트리에 걸쳐 있으며 적어도 모든 에지 가중치가 다른 경우 고유 한 최소 스패닝 트리를 계산하여 분류를 쉽게 계산할 수 있지만 일반적으로 일이 어떻게 작동하는지 모르겠습니다.)