Tecnologia

*UDIRV \ HVSDFLRV GH HVWDGRV

,QJHQLHUtD ,QIRUPiWLFD ,QJHQLHUtD 7pFQLFD HQ ,QIRUPiWLFD 'HSDUWDPHQWR GH /HQJXDMHV \ &LHQFLDV GH OD &RPSXWDFLyQ 8QLYHUVLGDG GH 0iODJD

&RQWHQLGR
*UDIRV (VSDFLRV GH HVWDGRV

*UDIRV \ HVSDFLRV GH HVWDGRV

*UDIRV

*UDIRV
'HILQLFLyQ 8Q JUDIR * HV XQ SDU 1 $ GRQGH 1 HV XQ FRQMXQWR ILQLWR \ $ HV XQD UHODFLyQ ELQDULD VREUH 1 $w 1 e 1 /RV HOHPHQWRV GH 1 VH OODPDQ QRGRV ORVGH $ DUFRV 'HILQLFLyQ 6L OD UHODFLyQ $ HV VLPpWULFD [ \ [ \ $ \ [ $

VH GLFH TXH * HV XQ JUDIR QR GLULJLGR GH OR FRQWUDULR * HV XQ JUDIR GLULJLGR /RV SDUHV [ \ \ \ [ FRPSRQHQ XQD DULVWD
*UDIRV \ HVSDFLRV GH HVWDGRV

5HSUHVHQWDFLyQ GH JUDIRV GLULJLGRV ,
(MHPSOR 1 ^D E F` $ ^ DE EF FD `

D F

E

/DV UHSUHVHQWDFLRQHV PiV FRPXQHV VRQ OLVWDV GH DG\DFHQFLD PDWUL] GH DG\DFHQFLD ¢&XiO HV OD IRUPD PiVDGHFXDGD GH UHSUHVHQWDU XQ JUDIR HQ 3URORJ"

*UDIRV \ HVSDFLRV GH HVWDGRV

5HSUHVHQWDFLyQ GH JUDIRV GLULJLGRV \ ,,
$ HV XQD UHODFLyQ HQWUH REMHWRV QRGRV UHSUHVHQWDUOD FRQ XQ SUHGLFDGR arco/2 arco(a,b). arco(b,c). arco(c,a). OR PiV VLPSOH HV

(O GRPLQLR GH ORV QRGRV VH GHILQH H[WHQVLRQDOPHQWH es_nodo/1: es_nodo(a). es_nodo(b). es_nodo(c). R ELHQ LQWHQVLRQDOPHQWH D SDUWLU GH arco/2es_nodo(X):-arco(X,_). es_nodo(X):-arco(_,X).
*UDIRV \ HVSDFLRV GH HVWDGRV

¢< VL KD\ PiV GH XQ JUDIR HQ PL SURJUDPD"
%DVWD DxDGLU XQ LGHQWLILFDGRU ~QLFR SDUD FDGD JUDIR (MHPSOR JUDIRV * \ $ % arco(+ident,?nodo,?nodo) arco(g1,a,b). arco(a92,malaga,sevilla). arco(g1,b,c). arco(a92,malaga,granada). arco(g1,c,a). arco(a92,granada,almeria). (VWH LGHQWLILFDGRU WDPELpQ VH HPSOHD HQ OD GHILQLFLyQ GH QRGRVes_nodo(Id,X):-arco(Id,X,_). es_nodo(Id,X):-arco(Id,_,X).
*UDIRV \ HVSDFLRV GH HVWDGRV

5HSUHVHQWDFLyQ GH JUDIRV QR GLULJLGRV ,
8QD SRVLELOLGDG HV GHILQLU GRV KHFKRV SRU FDGD DULVWD arista(a,b). arista(b,a). arista(b,c). arista(c,b). arista(c,a). arista(a,c). ¢3XHGHV SHQVDU XQD VROXFLyQ PHMRU"

D F

E

*UDIRV \ HVSDFLRV GH HVWDGRV

&LHUUH R FODXVXUD GH XQD UHODFLyQ ELQDULD
'HILQLFLyQ 'DGD XQD UHODFLyQ $ OODPDPRVFLHUUH R FODXVXUD GH $ D XQD UHODFLyQ $· WDO TXH $ w $· $’ VH REWLHQH DxDGLHQGR WXSODV D $ $ $ $’

&HUUDPRV $ DxDGLHQGR HO Q~PHUR PtQLPR GH WXSODV WDO TXH $· VDWLVIDJD FLHUWD SURSLHGDG UHIOH[LYD VLPpWULFD « (MHPSOR FLHUUH VLPpWULFR $·
*UDIRV \ HVSDFLRV GH HVWDGRV

$ > ^ \[

[\

$ `

5HSUHVHQWDFLyQ GH JUDIRV QR GLULJLGRV \ ,,
/D UHODFLyQ arista/2 HV HO FLHUUH VLPpWULFR GH arco/2 arco(a,b).arco(b,c). arco(c,a). $· $ > ^ \[ [\ $ `

D F

E

arista(X,Y) :- arco(X,Y). arista(Y,X) :- arco(X,Y). /D UHSUHVHQWDFLyQ GH ORV QRGRV HV OD PLVPD TXH HQ ORV JUDIRV GLULJLGRV
*UDIRV \ HVSDFLRV GH HVWDGRV

&RQHFWLYLGDG HQ JUDIRV ,
conectados(?X,?Y) ² KD\ XQ FDPLQR TXH XQH X H Y conectados(X,X) :es_nodo(X). conectados(X,Y) :arco(X,Z), conectados(Z,Y). /D UHODFLyQ conectados/2 HV HO FLHUUH UHIOH[LYR \WUDQVLWLYR GH OD UHODFLyQ arco/2 6L HO JUDIR HV QR GLULJLGR arista/2 EDVWD UHHPSOD]DU arco/2 SRU

3UREOHPD ¢< VL HO JUDIR HV FtFOLFR"
*UDIRV \ HVSDFLRV GH HVWDGRV

&RQHFWLYLGDG HQ JUDIRV ,, D F E
FRQHFWDGRV D E DUFR D = FRQHFWDGRV = E = E FRQHFWDGRV E E HVBQRGR E DUFR E = FRQHFWDGRV = E = F FRQHFWDGRV F E DUFR F = = D
*UDIRV \ HVSDFLRV GH HVWDGRV

FRQHFWDGRV = E

&RQHFWLYLGDG HQ JUDIRV \ ,,,
3RGHPRVDxDGLU XQD OLVWD FRQ ORV QRGRV YLVLWDGRV conectados(X,Y) :conectados(X,Y,[X]). % conectados(?X,?Y,+Visitados) conectados(X,X,_) :es_nodo(X). conectados(X,Y,Visitados) :arco(X,Z), no_esta(Z,Visitados), conectados(Z,Y,[Z|Visitados]). Visitados HVWi VLHPSUH LQVWDQFLDGD PRGR ¢&yPR PRGLILFDUOR SDUD REWHQHU HO FDPLQR GH X D Y"
*UDIRV \ HVSDFLRV GH HVWDGRV

&DPLQRV HQ XQ JUDIR ,
camino(?X,?Y,?Cs) ² Cs HV XQFDPLQR GH X D Y camino(X,Y,Cs) :camino(X,Y,[X],Cs). % camino(?X,?Y,+Visitados,?Camino) camino(X,X,Visitados,Cs) :inversa(Visitados,Cs). camino(X,Y,Visitados,Cs) :arco(X,Z), no_esta(Z,Visitados), camino(Z,Y,[Z|Visitados],Cs). ¢&yPR HV SRVLEOH HYLWDU OD OODPDGD D inversa/2"
*UDIRV \ HVSDFLRV GH HVWDGRV

&DPLQRV HQ XQ JUDIR \ ,,
camino(?X,?Y,?Cs) ² Cs HV XQ FDPLQR GH X D Y camino(X,Y,[X|Cs])...