Algoritmos Heurísticos de Cobertura de Arcos

Rede,RedeOrig,RedeTemp:TextFile;
Arq,ArqNome,NomeAbr,ArqAux,ArqNomeTxt,ArqTemp:String;
Inf,MenosInf,Penalidade:Integer;
InicioRota, FimRota: Integer;
ArqErrado,Rural:Boolean;
Const
NumMaxNos=4000;
Procedure ReduzirRuralPostman;
// Esta rotina é chamada se o grafo possuir pelo menos um link
// não requerido. Ele reduz a matriz final, de acordo com os links
// requeridos e atualiza os valores de M1, MA e ME (links, arcos e
// arestas requeridos + arco artificial)
var a,I,c,b,J,II,JJ:Integer;
NoFinalAresta: Integer;
MAR,MER,M1R,M2R:Integer;
OrdemLinkR: Integer;
Cont: Array[1..2000] of integer;
Begin
// M1R: Número de links requeridos do grafo original M1R= MAR+MER
// MAR: Número de Arcos " " "
// MER: Numero de Arestas " " "
MAR:=0;
MER:=0;
For I:=1 To M1 Do
If Link[I].Req=1 then
begin
If Link[I].Tipo=1 then MAR:=MAR+1;
If Link[I].Tipo=0 then MER:=MER+1;
end;
M1R:=MAR+MER;
M2R:=M1R+MER;
OrdemLinkR:=0;
NoFinalAresta:=M1R;
For a:=1 To M1 Do // Criando a nova correspondencia entre
Begin // o link a e seu respectivo
If Link[a].Req=1 // Link[a].ArcContra, armazenando no
then OrdemLinkR:=OrdemLinkR+1; // vetor Link[a].ArcContraReq
If Link[a].Tipo=1
Then begin
If Link[a].Req=1
Then Link[a].ArcContraReq:=-1
Else Link[a].ArcContraReq:=0;
end
Else begin
c:=Link[a].ArcContra;
If Link[a].Req=1
Then begin
NoFinalAresta:=NoFinalAresta+1;
Link[a].ArcContraReq:=NoFinalAresta;
Link[c].ArcContraReq:= OrdemLinkR;
end
else begin
Link[a].ArcContraReq:=0;
Link[c].ArcContraReq:=0;
end;
end;
End;
// For I:=1 To M2 Do
// Cont[I]:= Link[I].ArcContraReq;
//Eliminar linhas/colunas não requeridas da matriz L
II:=0;
For I:=1 to M2 Do
begin
If Link[I].ArcContraReq 0 Then
151