90T$h36$'F89& 0TU$'f0i5

§i R¨

¨

®1¤

¬

Fd¡s¨k¡

gh `¡T¨‘§ p¥c t¢c£`¡x­v§i¤r§p«i¤T§d­R£r­—¤¡G%d¡T¨i¥c P«

£¨“¯§i¥c°

)

)

ch§i R¨4“t¡¢‹¦ ˜§¢

Fd¡l§kEl

Ÿ

Sn”

H

!

S

 £W¤”

¨

c

b

£`¡‡¤¡

„¥

‡¢c£`¡

%Ÿi R ¡G%‡¢‰¡T¨2%Ÿi°—­vŸi ¡‡ k¢sŸ

S%”

¨¨•7—

I›‘¢c£v§P¢

%Ÿi k¢‰§i¥c 1‡“g§i v¨—š

c}§i R¨

¥

S¥¢

W

¨

®1¤

¬

ch¢©£`¡‡ 

¢

¥

p§i¨

y§6%d¡| k¢m¢–Ÿ

FŸP¢©£•“…§i R¨hš%H

a

!VU¡ 

sbrb‰Iv‘Srqry•qruvSh™dy†WkqTQUeQTfsrhumukI`b‰œ•U†brb£IR‘Ssqru`UXq¢

EcbxWRyPqUPYp²U†™dSpWVq—qTyUšBrƒumuRSpWuœRqTuRS

w`UXqru‚€„QTyP

¢”qry ”qru’Ueqx™‡yPW`b£Ecb‰q”b{yX€qruRSb‰IRfvw`UeqTutyX€

¨

®1¤

¬

f`Spqb~mSpSpW¢…UXW`Yn“}œVUXW`Y‚qruvSr“I˜

 #o‰w`UXqru

EtW’YkI`™dSXY‘y†W

¨

­'¤

®

¯

•

 y›•YVyiSXbœWvyPq‡uREtq©š‘™dyPWVqrQ”UPYkE‚™dqrEHWRGU‹¡ ˆ˜£¢ˆsf`SpEHWRG•U‚oq°r¦©

umuRSr€„yP…H…ty!~xEtWRG•™‡…cUeEH›Szb‰qUXfR…tE‚b‰uRSzbxUeWgEHWkqTSpQrSzb‰qrEHWRGhb£qrQTI`™dqrIvQUe…wwvQryPw`SpQTq£ftyX€’‹

)

œŒŠœ‹ŠsmG†QUXwRu`bgr

¡

Q(35'

¤

F8A

8

¡”¢y”

c

¨

­'¤

®

cƒ§i R¨¨

­'¤

¬

Fd¡v¨k¡

gh ¡T¨Ž§ p¥c 

¢c£`¡x­v§i¤r§p«i¤T§d­R£e­—¤¡G%d¡T¨i¥c P«

£¨“¬§i¥c°

)

)

H

1%““

­v§P¢©£1x¥c {¡

®¤

¬

§i¤|¡

¨



¡



H

a

!VU¡ 

srbTb‰IR~SxqryeqTuRS™dyPWVqrQ”UeQrf

r

0`Spq

¨5I

®¤

¬

f`SsUsw`UeqTu‚EHW{¡

®1¤

¬

qTu`UeqsEcbƒyX€…tSpWRG†qru•fREtG†GPSpQsqTu`UeW

Šr£0`Syq

¢

”

f`S‘qruRS~b‰IvfRGPQ”UewRu’yX€w”

EHW`YkI`™dSzYgyPW

¨

­'¤

®

¯

¨

­'¤

¬

¯

¨5I

®1¤

¬

r

€

…tSXUXQr…Hfsœ

¢

”

Ecb

)

o£YkE‚bt²ry†EtWVq

 ¤



 

!¦¤

¤

 )0#(©#

¤

"£¦¥¡



t

u

~wrˆQ|rˆq|rw—

r0`Spq4‹¦ ˜§¢mf`S~U‘orqyX€

¢

”‘r

X‡WRShyX€¥ ˜§¢

‚I`b£q—f`ShEHWv•7—

˜Q—

I

›fœwb£EtW`™dSpyPqTuRSpQ(~xE‚b‰ShqTuRS

w`UXqru…fSyq~hSpSpWŽqruRSp™EtW`YVI`™dSXYgy†W

B4‹

¢

”x

¨w•7—u˜1—

I…›4~my†IR…cYg~Ecbrb%—ur{‹

£—yPqTShqru`UXqsWRyngiSpQrqTEc™dSXbmEHW

Bh‹

¢

”`!¨w•7—u˜1—

I

›nUeQTS‘U†Yp²UP™‡SpWkqqry`—…b‰EHW`™dS

¨

­'¤

®

UeW`Y

¨

­'¤

¬

UeQTS‚EHW`YkI`™‡SXY#œUeW`Y

¨5I

®¤

¬

W²¡

®1¤

¬

r…

%mf

€

…cUXEt

)

 

Ϣ

W

¨5I

®1¤

¬

¨6•†“I˜1š›sEHW

¢

”trm–iEtW’™dS

¨5I

®¤

¬

EcbmWRy†q‡U¨



œ¢†E‚bmWRyPq‡U†Yp²UP™‡SpWkqxqTy‘UXqx…tSXU†b‰qxy†WRS

ye€}“I˜1šBrD#

rˆ…•rˆyBr±GBr…tSpq

¢ƒ“Yb

WYDhr

%mIRqxWvy9~wœRqTuRSsw`UeqTugEHW`YkI`™dSzY‚yPW

¨

§a¤

¬

¯

¨

­'¤

¬

œB~xuvSpQrS

¨

§a¤

¬

EcbmqTuRS

b‰IvfRw`UeqTu”ye€

¨5I

®¤

¬

f`Spqb~mSySpW

¢iUXW`Y`šBœ`Ecb‡UeW

 ˜§¢uo‰w’Ueqru”~Ecbrb£EtWRG•“n™dy†WkqTQU†YkEc™dqTEtWRG‹¡ ˆ˜£¢ˆhf`SpEtWRGˆU

orqiyX€

¢

”‘r

©

IœSy‘Sphf`SpQ•qTu`Ueq

 

­'¤

®

EcbƒYkS‰`WRSXYsEtW

€

u`UXwRqrSpQ

0—qryrf`SxqTuRSxb£SpqFyX€

Ue…t…vEtW`YkI’™dSXYrw`UeqTu`bƒf`Spqb~mSpSpW

—”UeW’Y”“ˆqTu`UeqlUzgiy†EcY`‹ešƒb‰I’™|u”qTu`Ueq

¦

¨

W

 

­'¤

®

 



W‘¡

­'¤

¬

b£I`™|uŽqru`UXqw—

I

W

¨



hœ

—

I1e

@

—ur

s—…‚b‰yBœ

 

­¡ 

¤

®

E‚bsYkSg`WRSzYžqTyxf`S‡qruRSb‰Syq{yX€b£IRfRw`UXqru`bsye€ww’Ueqru’b{EtW

 

­'¤

®

fSyq~hSpSpW4—

I

UeW`Y•“}rs–iEt~Et…cUXQ

YkSg’WREtqTEtyPW’bxuRy†…cY

€„y†Q

 

­'¤

¬

UXW`Y

 

­¡ 

¤

¬

rgumuvS‚€„yP…H…ty!~xEtWRG‘™d…cUXEt

G†EtgiSXbsUgb£qrQTI`™dqrIvQUe…hwRQry†w`SpQrq£f…ye€

‹

)

œ‹Šfœ‹ŠSsG†QUXwRu`bgr

¡

Q(35'

¤

F

 8

¡”¢8”

Fd¡h¨k¡

g{ ¡T¨e§ ƒ¥c e¢c£`¡w­R§i¤T§p«i¤r§d­R£h­—¤|¡G%d¡T¨i¥c †«

£¨“¯§i¥c°

)

)

H

8

¡¢v“7I

Fd¡s¢©£`¡ƒ ¡‡¥‹«e£

FŸi¤

Ÿ

Ss“

Ÿi ’§ž­v§P¢c£‘¥c 

 

­¡ 

¤

®

c§i R¨u“t¡”¢iš

I

Fd¡h¢c£`¡v ¡‡¥‹«e£

FŸi¤•Ÿ

Snš’Ÿi ’§h­R§P¢c£‘¥c 

 

­¡ …¤

¬

H

!

S

¡ £¢

‹‰“

I



@

¡ £¢

‹eš

I

@

Š”§i R¨

¢

 

­'¤

®

e

@

2e

@

¢

 

­'¤

¬

cs¢c£`¡‡ x”

¥

p RŸP¢j6kEl5H

a

!VU¡ 

sbrb‰Iv‘ShqryŽqruRSn™‡yPWVqrQUXQrfsr

0`Spq©¨

¤

W

¢

 

­'¤

®

UXW`Y’…tSpq



¤

W

¢

 

­'¤

¬

rH0`Syq

¨

§

W

 

­'¤

®

œ



§

W 

­'¤

¬

œƒUeW’Y†…tSpql“

I

@

¨

§



`‹–“8UXW`Yvš

I

@



§



`‹•š‡fS~ye€‡YVSpGPQTSpS‘Šfr£0`Spq

¢af`S‘UXWkf

w`UXqrunEtW¡

®1¤

¬

r

0`Spq

¢

”˜f`SsqruvSeb£IRfRG†QUewvu`bœyX€i”˜EHW`YkI`™‡SXY‚yPW

¨

¤

¯

¨

§

¯



¤

¯



§

¯

¢ir

¡—y!~mSpgiSpQ|œ

¢

”(¨’•s•

UXW

¨

§

"

UYb

W‘•†“}˜“

I

˜1—#›s›

¯

•

U¨W



§

"

UYb

W¤•7šB˜1š

I

˜1—#›s›s›su`U†b’s{u‡•7—u˜“

I

˜1š

I

›sqru’Ueq‡™dy†WkqTQUPYVEc™dq”b

umuRSpy†QrSp

Š

D

œ`EtW~w`UeQTqrEc™‡IR…cUXQ'œRf`yPqTu”“

I

UXW`Yš

I

UeQrSsWRy†Wo–w`UeqTuo£YVEcbt²ry†EtWVq'r

©

€

u`UewvqrSpQ

t

YkE

T—SpQTSpWVqrEcUXqrSXY”f`Spqb~mSpSyW’qb~my9o–…ty†WRG9oªb‰E‚YkSXYjUeW’YyPWvSgo‰…HyPWRG!o£b£EcYkSzY

G†QUXwRu`bgr

#

uvSpW

YkSXUX…tEHWRGw~xEtqru±‹

)

œ‹Šfœ‹ŠSG†QUewvu`b{EHq{E‚bƒWRyPqsWRSX™‡SXbrbTUeQrfhqTysu`UpgiSxqruRE‚b{YVEcb‰qTEtW`™‡qrEty†W

0iEtW`b£qrSXU†Y#œI“¯Ÿi P«

y¥c¨k¡T¨

GPQ”UewRu’bgœ`EerˆS

rœB‹

)

œ‹Šfœ‹ŠssGPQUXwRu`bm€„yPQ’~xuRE‚™|uˆUeqx…tSzUPb‰qxy†WRSsw`UeqTunEtW

 

­

 

¤

®

¯

 

­

 

¤

¬

Ecbsye€d…tSpWRG†qrunfREHGPGPSyQ

qru’UeW…Šœ—UeQTShb£qrI`YkEHSXY#r‰WnqruRSvb‰qrI’YkfgyX€hb‰I`™ugG†QUXwRu`bgœ

b‰yP~Seb£Et‘wv…tSsb£qrQrI’™dqrIRQTSeyX€sqruRSzb‰SeG†QUXwRu`b

qru’Ueq‡Ecbm€„yPQ™‡SXY‘fkfnUhw`UXQrqrE‚™dIR…‚UeQ‡wR…cU†™dSp‘SpWVqsye€sqTuRSporqigiSpQTqrEc™‡SXbˆ~xEH…t…wf`SeSp~wRu`UPb£E¥¤pSzY#r

€

…HSXUeQT…tfsœ

SpgiSpQTfgw`UXqru’f`Spqb~hSpSpW…orqgiSpQTqrEc™‡SXbœ•I`b£qsYkyP~EtW`UXqrShqruvS‚G†QUewvuurnumuREcbsQrSXb£IR…tq”brEtW

b‰yP~ShSXYkGPSzb

qru’Ueq%~xEt…t…—WRyPq‡f`SsS'kwv…tEc™‡Etqr…Hfe‘SyWkqTEtyPWvSXY#r

¦

"$!

¡

¤P¢¥



¦

&

¥§

©

798



!A@

srb•f`Sd€„y†QrSsœX…tSpq¦—xf`SsWRyPWfo‰w`UXqruoªYkE‚bt²ryPEHWkq‰~wrˆQ'r±q'rw“I˜1šxEtWpUeW

¡roq

‰ssu”GPQUXwRu{”

~xEtqTuys{uv•7—u˜“I˜1š›fœ

UeW’Y‚…tSpq—

IVfSlUeb‰EHGPWRE

—™pUXWkqhWRSpEtG†ukf`y†Qmye€‰—ur

0`Spqi¡

®1¤

¬

f`SrqTuRSsb£Spqsye€dUe…H…`EtW`YkI’™dSXYhw`UeqTu`bmf`Spqb~mSpSpW

t¦6

 ¢¡¤£$¥

§©

¡ ¤£¢

¤

 ¦¤¡ ¨§

¤

"£$¥¡



“nUeW`Y`š‘EHW¤”

qTu`UeqsUpgiy†EcY"t‹e—#1rW0`Spq

£

f`SeqTuRS•b‰Syq—yX€m~EcYkw`yPEHWkq”bmye€ƒUe…H…Fw’Ueqru’b—EtW`¡

®1¤

¬

r§0`Syq

¦«‹

Tu˜VUBhYkSpWRy†qrSsqruRSpb£Spqxye€sgiSyQrqrE‚™dSXbƒqru’Ueq‡EtWVqrSpQ”™dSpwRqƒUe…t…

Tu˜VU

o–w`UXqru`b‰r

€

…cUXEtnb

0vuvUeW`YT0

6

YkSXbr™‡QrEtf`Spb‰y†‘Ssb£qrQrI’™dqrIRQTSsye€d…tyPWvG9oªb‰EcYVSXY¤‹

)

œ‹Šfœ‹ŠssGPQUXwRu`b‰r

¡

Q(35'

¤

F

 

wx9e¡‡¤‡®‚ vŸi 7e£ ¡‡¥‹«X£

FŸi¤hŸ

S%—

I

¥c ”§4“¯Ÿi P«h­R§P¢c£ˆ¥c 

 

­

 

¤

®

°t(

‡¢

Fd¡F(k R¥9X¡‡¤

y§a“w¢–Ÿ

£

HRsϨ

y®P°h°‚¡”¢‰¤‡®

cd¢©£`¡

y§i°‚¡r£vŸa“¬¨ dSyŸi¤

 

­

 

¤

¬

§ Fbs¡1““

H

a

!VU¡ 

srbTb‰IR~SeqrynqTuRS•™dyPWVqrQ”UeQTfsrhumuVI`bgœ•qTuRSpQTShS'kE‚b‰q”brU‘WRyPWo–WRSpEHGPuVf`yPQGUtyX€%—

IwyPW

U‘…tyPWvG

w`UXqru£¨

­¡ …¤

®

W

 

­¡ 

¤

®

qTu`UeqsEcbrWRy†qpUPYp²U†™dSpWVqxqTyŽUˆgiSyQrqrS|c§

W

£

r

0`Spq

¢

”

fS•qruvS•b‰IRfRG†QUXwRujye€

”

EtW`YVI`™dSXYnyPW£¨

­¡ 

¤

®

¯

•7—#›

¯

¨

®1¤

¬

¯

¨

­¡ 

¤

¬

œ#~xuRSpQTS

¨

­¡ 

¤

¬

E‚brUeWVfgw’Ueqru…EtW 

­¡ 

¤

¬

œwUXW`Y

§

W

¨

®1¤

¬

r

0`Spqw‹¡ ˆ˜§¢ƒf`SsUhoqye€

¢

”‘rm–iEHW`™dS

¢

”˜Ecb

)

o£YVEcbt²ry†EtWVq’~wrˆQ|rˆq'r‰—uœkfVf

€

…‚UeEt

6

œRy†WRSporqgiSyQrqrS|hye€

¢

”

EcbxEtW

¢

”

¨



UeW’YtqruvSeyPqTuRSpQxy†WRSeE‚bœEHW¨hœB~xuvSpQrS#

EcbxqruvSh™dy†WRWRSX™dqTSXYn™dyP~wy†WRSpWVqxye€

¢

”©¨n•7—

I

›

™dy†Wkq”UeEtWvEtWRG~“}˜QšBr

#

r±…erˆy„rˆG„rmU†brb‰Iv‘S

 

W

¢

”©¨



@‡•7—u˜1—

I

›‹

WvyPqrSpqru`UXqrb£EtW`™‡S

¢

”™Ecbx‘EHWREt~Ue…•œ

fVf

€

…cUXEt

6

œ

¢

”$¨



@‡•7—u˜1—

I…›sQrƒumuRSpW¦œPfkf

€

…‚UeEtˆb

)

 

UeW`Y40

Bœ

¢nEcbFqTuRSx‘E‚Ykw`yPEtWVqwye€

¨

®1¤

¬

EHW

¢

”`œPE•rˆSsr@œ

¢

@

§`rm–iEHW`™dSGU¨W

¨

­¡ …¤

®

¨%•7—

I€˜“B›fœkfVf

€

…cUXEt

0

0‚UXW`YtqTuRShU†brb£IR‘wRqTEtyPWnqTu`Ueq

U—

I1b

WYD

œ U‚EcbxWRy†q

UPYy²UP™dSpWVqmqTyhUXWkf•giSpQrqTS'eEHW§¨

­¡ 

¤

¬

r

£—y!~wœiqruvSrw`UeqTu‚€„Qry†

 ”qry¢”EHW`YkI`™‡SXYžy†W`•

¢¨š›

¯

¨

­¡ …¤

¬

¯

•7—#›

YkyiSXbxWRy†q—uREHq5U‚™‡yPWVqrQU†YkEc™‡qrEtWvG‹¦ ˜§¢ˆsf`SpEHWRG•U•orqyX€

¢

”`r

©

srb—f`Sd€„y†QrSsœw…tSyqE—†f`ShWRy†Wo–w`UeqTuo£YVEcbt²ry†EtWVqŸ~wr±Q'rˆq|rs“}˜Qšp~xEHqru…Unb‰EHGPWRE

—™pUXWkqrWvSpEtG†ukf`yPQy—

I•EHW’UXW

¡rorq

‰ssu

G†QUXwRu¤”

~xEtqTuxssu‡•7—u˜“}˜Qš›fr

0`Spq£ 

­'¤

®

f`SpYkSg`WvSXYnUPbxEtW

€

u`UewvqrSpQ

0œ`UXW`Yt…HSpq

¢

 

­'¤

®

f`SxqruRS‡b£Spqsye€

Ue…H…REtW’YkI`™dSXYew’Ueqru’b}f`Spqb~hSpSpWh—•UeW’Y‚“sqru`UXqmUpgiy†EcY

t‹ešdUeW’Y‚YkyWRyPqhb‰u’UeQrS‡giSpQTqrEc™‡SXb

~xEtqTu†w’Ueqru’blEHW

 

­'¤

®

yPqTuRSpQsqru’UeW€—…UeW`Y

“}r‚–˜Et‘EH…cUeQT…tfsœR…HSpq¥ 

­'¤

¬

f`S‘YkS‰`WRSXY…UPbrEtW

€

u`UXwRqrSpQ

0fœ

UeW’Yˆ…HSpq

¢

 

­'¤

¬

f`SrqruvSsb‰Spqhye€dUX…t…•EHW`YkI`™‡SXYžw’Ueqru’bmfSyq~hSpSpW«—nUeW`YšxqTu`Ueq‡Upgiy†EcY

`‹‰“BsUXW`YnYkyhWRy†q

b‰u’UeQrSsgiSpQTqrE‚™dSXb°~xEHqrunw`UeqTu`bmEtW

 

­'¤

¬

yPqTuRSpQmqTu`UeW±—nUeW’YušBr

0`Syq’¡

®¤

¬

f`SpYkSg’WRSXY‘U†bmfS‡€„yPQrSqryhf`S

qruvSeb£Spqxye€{Ue…t…—EtW`YVI`™dSXY‘w`UXqru`bxf`Spqb~mSpSpWˆ“‘UeW`Y±šžqTu`UeqUpgiyPE‚YˆqTuRSsWRSpEHGPuVfy†QruRyiyVYgyX€—ur

¡

Q(35'

¤

F1U8

¡”¢”

Fd¡~¨k¡

gh ¡T¨’§ ˆ¥c ’¢©£`¡s­v§i¤r§p«˜¤r§d­R£‘­—¤¡G%d¡T¨i¥c P«g¢c£v¥

&%‰“¯§i¥c°

H

!

S

¢

 

­'¤

®

e

@

2

cpŸi¤

¢

 

­'¤

¬

e

@32

ch¢c£`¡‡ u”

¥

p RŸP¢

A

e£¨i¥

yŸi¥c k¢xb

HH¤

H¯¢CH—dH

a

!VU¡ 

0`Syq

¢

 

­'¤

®

e

@

2BrH0`Spq©¨

W

¢

 

­'¤

®

r¥%mf…YkSg`WvEtqrEHyPW…ye€

¢

 

­'¤

®

œ—

Ib

W

¨yœsUeW’Y†qruRSyQrSd€„y†QrSsœ

¨

W”

¨w•7—

I…›fr•umuVI`bgœqruRS•™dy†WRWRSX™‡qrSXY”™dy†‘w`yPWRSyWkqryX€w”

¨E•7—

I›~qru`UXqe™‡yPWVqUeEHW`bs“gUXW`YvšnUe…‚b‰y

™dy†Wkq”UeEtW’b’—

œRE•rˆSsr”˜EcbmWRy†q

)

o£YVEcbt²ry†EtWVq’~wrˆQ|rˆq'r—ur

©

o—SpWRy†qrS‡fkf

£

qruRSb‰SpqsyX€w‘E‚YSo‰w`y†EtWVqbFyX€dUe…t…vw`UeqTu`b{EHW{¡

®1¤

¬

œifkf



¤ƒqTuRSb‰Spqsye€~EcYSo–w`yPEtWVqbye€

Ue…H…b‰uRy†Qrq‡w`UeqTu`bmEtW

¢

 

­'¤

®

œ`UeW’YˆfVf

§œqTuRSpb‰SpqxyX€s‘E‚YSo‰w`y†EtWVqb{yX€sUX…t…b£uRyPQTq—w`UXqru`bxEtW

¢

 

­'¤

¬

r

£—yPqTS

qru’Ueq



¤ƒUeW`Y

D§x‘EHGPuVq{f`SpSp‘wRq£fsr

 ¤



 

!¦¤

¤

 )0#(©#

¤

"£¦¥¡



t

w

 

 ¡

¡

¢

¢£

£

¤

¤¥

¥

¦

¦§

§

¨

¨©

©































 

 !

!

"

"#

#

$

$%

%

&

&'

'

(

()

)

0

01

1

2

23

3

x

x’

y

z

R

R

P

xy

yz

xz

H

~

H

v

y

z

x

x’

v

R

~

xy

R

xz

P

yz

xy

R

xy

xy

R’

R’

share vertex v different from x and y contradicting

In H, paths 

the definition of 

R

xy

~

and R’

xy

R

~

xy

.

~

VFEHGPIRQTS

Br

)

 

4

45

5

6

67

7

8

89

9

@

@A

A

B

BC

C

D

DE

E

F

FG

G

H

HI

I

P

PQ

Q

R

RS

S

T

TU

U

V

VW

W

X

XY

Y

`

`a

a

b

bc

c

d

de

e

f

fg

g

x

x’

y

z

R

R

P

~

xy

yz

xz

H

~

H

v

y

z

x

x’

v

R

~

xy

R

xz

P

yz

R

xy

x"

x"

u

u

m

m

vu is not an edge, since otherwise  

 \ {m} 

H

~

is (1,1,2) and therefore

H

is not (1,2,2).

~

, i.e., 

not an HDP graph.  That is, v does not belong to a path in   

xz

R

VFEHGPIRQTS

Br‹Šf 

umuRS{€„y†…t…Hy9~xEHWRG‡™d…‚UeEt

EcbwyPWvS{yX€`qruvSmnUXEtWrQTSXb‰IR…Hqb•yX€`qruRE‚bw™|u’UewRqTSpQ'rUªqYVSXbr™dQTEtf`SXb•qTuRSswy˜b‰EHqrEty†W`b

ye€{orqgiSpQTqrE‚™dSXb{EHWn…tyPWvG9oªb‰EcYVSXY`‹

)

œŒŠœŒŠShGPQUXwRu`b‰r

¡

Q(35'

¤

Ff

¥x ¡wkEl

9e¡|¤|¢£¡ŽŸ

Sp§U“¯Ÿi †«`e

y¥c¨k¡T¨

¢

A

c

E

c

Egmv«i¤T§d­R£U”

¥

v¥c 





—

x§i R¨‘¢c£`¡pŸP¢©£`¡|¤eŸi ¡

¥

l¥c 

£AchŸi¤‡Ÿi ¡%kEl

9e¡|¤|¢£¡~Ÿ

S%”

¥

p¥c 





š

h§i v¨ž¢c£`¡sŸP¢c£`¡‡¤rŸi ¡l¥

s¥c 



¤

chŸi¤rŸi ¡%kEl

9X¡‡¤|¢£¡

Ÿ

SE”

¥

x¥c 



±“

h§i v¨ˆ¢c£`¡sŸP¢c£`¡‡¤pŸi ¡s¥

v¥c 



§

H5wƒ§6%|£‘Ÿ

Ss¢c£`¡

X¡s¢c£v¤|¡¡‡¢‰®­`¡

pŸ

SEkElF%§i ”Ÿ

%

%3(V¤

H

a

!VU¡ 

o‡SpWRyPqTS‚fVfv‹¡ ˆ˜£¢ˆUnorqyX€E”`r

%mf30`Sp~nU

Bfœ

 

UeW`Y

¢

™pUeWvWRyPqsf`yPqTu’f`Sp…ty†WRGgqTy

¡

­'¤

®

œ`™pUXWRWRyPq‡f`yPqTugf`Sp…ty†WRG•qryh¡

­'¤

¬

œ`UXW`Yg™yUeWRWRy†q—f`y†qrugf`Sp…HyPWRG•qry4¡

®1¤

¬

r

%mf

0`Sp‘nU

D

‹–ŠSQœ

 iUXW`Y

¢

™pUeWRWvyPqsf`Sp…ty†WRG‘qry~qruRShIRWvEtyPW”yX€hgiSpQrqTEc™dSXbmyX€

¢

­¡ 

¤

®

UXW`Y

¢

­¡ 

¤

¬

œ

~xuRSpQTS

¢

­¡ 

¤

®

UeW`Y

¢

­¡ 

¤

¬

UeQTSpUeWVf‘w`UeqTu`bxEtW

 

­¡ 

¤

®

UeW`Y

 

­¡ 

¤

¬

QTSXb‰w`SX™dqTEtgiSp…Hfsr



€

¢

 

­'¤

®

e

@

2•UeW`Y

¢

 

­'¤

®

u’UPb‡Ue…tyPWvGhw`UeqTuuœRqruRSyWtEHqxEcbsWRyPq‡qruRSp™pU†b‰Ssqru’UeqxyPWvSxyX€

 ˜§¢’E‚bmS

4iI`Ue…

qry«š‘UXW`YtqTuRSey†qruRSpQ‡yPWvSeEcb‡UeWŽEtWVqrSpQTW`Ue…wgiSyQrqrS|‚yX€xUh…ty†WRG•w`UeqTu

¢

¢

­'¤

®

W

¢

 

­'¤

®

€„yPQ‡qruRSr€„yP…H…ty!~xEtWvG

B

 

 ¢¡¤£$¥

§©

¡ ¤£¢

¤

 ¦¤¡ ¨§

¤

"£$¥¡



 

 ¡

¡

¢

¢£

£

¤

¤¥

¥

¦

¦§

§

¨

¨©

©































 

 !

!

"

"#

#

$

$%

%

&

&'

'

(

()

)

0

01

1

2

23

3

x

x’

y

z

R

R

P

~

xy

yz

xz

H

~

H

v

y

z

x

x’

v

R

~

xy

R

xz

P

yz

R

~

xy

R

xy

R’

xy

R’

xy

x"

x"

Since 

shares a vertex (namely x") different from x and y with a

path in 

xz

P

this  contradicts  the definition of  R

xy

~

.

VFEHGPIRQTS

Br

0f 

QrSzUPb‰y†WursrbTb‰IR~S‘qry…qruRSŽ™dy†WkqTQUXQrfsr

umukI’bgœi~wr±…erˆy„rˆG„rœ

 

@

š…UeW`Y$¢

W

¢

¢

­'¤

®

¨Ÿ•7—u˜“B›frjuFU)iS

qruvS‘b£IRfRGPQ”UewRu

¢

”

yX€E”

EtW`YkI’™dSXYgyPW

¢

¢

­'¤

®

¯

¢

­'¤

¬

¯

¨

®1¤

¬

œw€„yPQpUeWVf”w`UeqTu

¢

­'¤

¬

W

 

­'¤

¬

UXW`Y†UXWkf

¨

®¤

¬

W±¡

®¤

¬

‹–b‰I`™u‘w`UXqru`b

¢

­'¤

¬

UXW`Y§¨

®1¤

¬

S'kE‚b‰qsfVf‘YkS‰`WREtqTEty†W‘ye€”xQr

£—y!~wœkqruvSs™d…cUXEt„Ecbsqru`UXq

¢

”

Ecb‡U‘qb~my9o–…ty†WRG9oªb‰E‚YkSXYv‹–Šœ‹Šfœ‹ŠsxGPQ”UewRu…™dy†Wkq”UeEHWREtWRG

 ˆ˜§¢œ—UeW`YgqTukI`b‰œ•fVfH0`Sy‘nU

up‹‰USœUeW`Y

€

…cUXEt

usœREHqxEcbsWRyPq‡qruRSp™pU†b‰Ssqru’UeqxyPWvSeye€

 ˜§¢’EcbsS

4iI`Ue…wqTy4š‚UXW`YtqTuRSsyPqruvSpQxyPWRSsE‚bxUeWgEHWkqTSpQrW’Ue…•giSyQrqrS|

ye€

¢

¢

­'¤

®

r…uwy…b‰SpSnqru’Ueq

¢

”

E‚bhU¤‹–Šœ‹Šfœ‹ŠssGPQUXwRu‡‹–UeW`Y’WRy†q‹

)

œ‹ŠœŒŠSTrg†UeQTEtyPI’bžSXYVGPSXbpUeQrSnEHW`b‰SpQTqrSXY

UeW’YtEtqxE‚bœWvyPqrE‚™dSXY‘uRy!~

b£I`™|unEHW`b‰SpQTqrEHyPW`bx™dy†WkqTQU†YkEc™dq‡™‡SpQrq”UeEtWŽYkS‰`WREtqTEty†W`bgrhumuRSXb£SeEtW’b‰SpQTqrEty†W`bxUeQTS

Et…H…tI`b£qrQ”UeqrSzY

EHW

VFEHGPIRQTSXb

Bfr

)

œ

BrŒŠœ

Br

0fœsUeW`Y

Br

t

r£VRy†QeS'vUe‘wv…tSU‹–b‰SpS

VFEtG†IRQrS

Br

)

1œE

€

UIœUtWRy†Wo

WRSpEHGPuVf`yPQeyX€n—’yPW

¢

¢

­'¤

®

W

¢

 

­'¤

®

œƒEcbsUPYp²U†™dSpWVqeqTy`—

I

œFqTuRSpW’qTuREcbp™dyPWVqrQ”UPYkE‚™dqbsqruRS~YkSg’WREtqTEtyPW

ye€

¢

¢

­'¤

®

œwb£EtW`™‡SeqruvSew`UXqru

¢

¢

­'¤

®

W

¢

 

­'¤

®

b‰u`UXQrSXbU‚giSpQrqTS'

UnYkE

T•SyQrSpWVqœ€„QTyP

—”UeW’Y†“U~xEtqTugqTuRSew`UXqru

¢

I

­'¤

®

W

 

­'¤

®

EtW’YkI`™dSXYnyPW€•7—I—

I

›

¯

•7—

I

UB›

¯

•

UV“8›fr

VFEtG†IRQrS

Bfr‹Š‘YkSzUe…cb%~xEtqru”qTuRS•™pU†b‰Sh~xuRSpW

U‘E‚b

UPYy²UP™dSpWVqxqry•UeWvyPWo–WRSpEHGPuVfy†Q—yX€—nEtW

 

­'¤

¬

œkEer±SsrœiqTy•UžgiSpQTqrS'hEHW

 

­¡ …¤

¬

¨6•7—

I

˜1š›fr

‰W

VFEHGPIRQTSXb

BrC0

UeW’Y

Bfr

t

œI—

I

I@œkqTuRSrWRSyEtGPuVf`yPQxyX€—nEtW

¢

¢

­'¤

®

œRE‚bmU†Yp²UP™dSyWkqhqry•UeWnEHWkqTSpQrW`UX…•giSpQTqrS'hyX€

¢

­¡ 

¤

¬

UXW`YtqTy4—

I

QrSzb‰w`SX™dqTEtgiSp…Hfsr



€

¢

 

­'¤

®

e

@

2†UXW`YEHqhu`UPb•U”…tyPWvG”w`UeqTuuœmqruvSpWjEtqhEcbeWvyPq•qruRSŽ™pU†b‰SgqTu`Ueqhy†WRSgyX€

 ˜§¢E‚b‚UXW

EtWVqrSyQrW`UX…wgiSpQrqTS'‚yX€ƒb‰yP~Sr…ty†WRG‘w`UXqru

¢

¢

­'¤

®

W

¢

 

­'¤

®

UeW’YtqruvSeyPqTuRSpQ‡yPWRSpEcb‡UeWŽEtWVqrSpQTW`Ue…wgiSpQTqrS'~ye€

b‰y†‘Ssw`UeqTu

¢

­'¤

¬

W 

­'¤

¬

€„yPQ‡qruvSx€„yP…H…ty!~xEtWvGhQrSXU†b‰yPW¦r6sbrb‰Iv‘Srqry~qruRSp™dy†WkqTQUeQTfsrxumuVI`bgœI~wrˆ…•rˆy„rˆGBr@œ

 AW

¢

¢

­'¤

®

¨w•7—u˜“B›‘UXW`Y

¢'W

¢

­'¤

¬

¨w•7—u˜1š›fr‘–iEt~Et…cUXQxqryŽqruRS~Uef`yXgiSsœwqU)iShqruRS~b‰IRfvGPQUXwRu

¢

”

ye€

”™EtW`YkI’™dSXY‘yPW

¢

¢

­'¤

®

¯

¢

­'¤

¬

¯

¨

®1¤

¬

œk€„y†QrUXWkf

¨

®¤

¬

W`¡

®1¤

¬

r

£—y!~wœ

¢

”™Ecb‡Užqb~hy9o–…tyPWvG9oªb‰EcYVSXY¤‹–Šœ‹Šfœ‹Šs

GPQ”UewRu

™dyPWVqUXEtWREHWRG

 ˜§¢œFUXW`Y†qTukI`b‰œFfVf30`Sp~nU

D

‹

)

sUeW’Y

€

…cUXEt

usœEtqsEcbrWRy†qeqTuRS‘™yUPb‰S~qru`UXq

yPWvShye€ ˆ˜£¢iEcb‡UeW…EtWVqrSyQrW`UX…FgiSpQTqrS'~ye€

¢

¢

­'¤

®

UXW`YgqruvShyPqruvSpQryPWvShEcbrUXW”EtWVqrSpQTW`Ue…giSpQrqTS'nye€

¢

­'¤

¬

œ

™dy†WkqTQUPYVEc™dqTEtWRGhy†IRQ‡UPbTb‰IR‘wvqrEty†Wur



€mf`y†qru

¢

 

­'¤

®

e

@

2tUXW`Y

¢

 

­'¤

¬

e

@

2BœwUXW`Y

E¯€sf`yPqTu’u`UpgiSe…HyPWRGnw`UXqru`b‰œ

qTuRSpW”EHq—E‚b—WRyPqsqTuRS•™pUPb£S

 ¤



 

!¦¤

¤

 )0#(©#

¤

"£¦¥¡



B

)

 

 ¡

¡

¢

¢£

£

¤

¤¥

¥

¦

¦§

§

¨

¨©

©































 

 !

!

"

"#

#

$

$%

%

&

&'

'

(

()

)

0

01

1

2

23

3

x

x’

y

z

R

R

P

~

xy

yz

xz

H

~

H

v

y

z

x

x’

v

R

~

xy

R

xz

P

yz

R

xy

x"

x"

x’x" edge is allowed and 

is a (2,2,2) graph, since vertex x" does not

H

~

R

x’z

xz

R

is not in the set         since this is the set of induced paths, but xx’ is an edge.        .

xz

R

belong to a path in         .  Note that the path induced on {xx"}U{x"x’}UR 

x’z

VFEHGPIRQTS

Br

t

 

4

45

5

6

67

7

8

89

9

@

@A

A

B

BC

C

D

DE

E

F

FG

G

H

HI

I

P

PQ

Q

R

RS

S

T

TU

U

V

VW

W

X

XY

Y

`

`a

a

b

bc

c

d

de

e

f

fg

g

hih

hih

pip

pip

qiq

qiq

rir

rir

x

y

z

R

R

P

~

xy

yz

xz

H

~

H

v

y

z

x

R

~

xy

P

yz

R

xy

R

~

R

~

v

xz

xz

x’

x"

x"

xy

R

{xx"}U{x"v}U{vy} contradicting the definition of R    .

xz

~

vx" is not an edge, since otherwise x" would belong to the path in        induced on

VFEHGPIRQTS

Br

Bf 

qru’Ueq‡yPWRSsye€

 ˜§¢’EcbxUXWnEtWVqrSpQTW`Ue…—giSpQrqTS'‚yX€sb£yP‘S…tyPWvG‚w`UXqru

¢

¢

­'¤

®

W

¢

 

­'¤

®

UXW`YtqTuRSsyPqruvSpQxyPWRSsE‚b

UeW~EtWVqrSpQTW`Ue…`giSpQTqrS'hyX€db‰yP~S—…HyPWRGpw`UeqTu

¢

¢

­'¤

¬

W

¢

 

­'¤

¬

€„yPQxqTuRSœ€„y†…t…Hy9~xEHWRGeQTSXUPb£yPWursbrb‰Iv‘S—qTyeqTuRS

™dy†WkqTQUeQTfsrhumuVI`bgœu~wr±…erˆy„rˆG„rœ

 9W

¢

¢

­'¤

®

¨—•7—u˜“B›•UXW`Y

¢'W

¢

¢

­'¤

¬

¨w•7—u˜1š›frh–iEt‘EH…cUXQxqrynqruRS~Uef`yXgiSsœ

qU)iSsqruRSvb‰IRfRG†QUXwRu

¢

”

yX€’”™EtW`YkI’™dSXY‘yPW

¢

¢

­'¤

®

¯

¢

¢

­'¤

¬

¯

¨

®1¤

¬

œk€„y†QrUXWkf§¨

®1¤

¬

W`¡

®1¤

¬

r

£—y!~wœ

¢

”

E‚b

U‚qb~my!o‰…HyPWRG!o£b£EcYkSzYv‹‰ŠœŒŠœŒŠShGPQUXwRu…™dy†Wkq”UeEtWvEtWRG

 ˆ˜£¢iœ—UeW`YgqTukI’bgœ`fkf

0`Sp‘ˆU

D

‹

)

ƒUeW`Y

€

…‚UeEt

u

œ

EtqEcbrWRyPqsqTuRS‘™yUPb‰S•qru’UeqsyPWRS•ye€ ˜§¢

EcbsUeW…EtWVqrSpQTW`Ue…dgiSpQrqTS'nye€

¢

¢

­'¤

®

UeW`Y”qruRS•yPqTuRSpQsyPWvS‚E‚bxUXW

EtWVqrSyQrW`UX…FgiSpQTqrS'~ye€

¢

¢

­'¤

¬

œ—™dyPWVqrQ”UPYkE‚™dqrEHWRG‘yPIvQsUPbTb‰IR‘wvqrEty†W

0•WRy†qrShqTu`Ueq

¢

”¦™pUeWRWvyPqrf`S‹

)

œ‹Šfœ‹ŠSœUPb

Et…H…tI`b£qrQ”UeqrSzYtEtW6VEtGPIvQrS

BrCBœ#~xuvSpQrS•U‚WvyPWo–WRSpEHGPuVfy†QfU‘ye€—

EHW

¢

¢

­'¤

®

W

¢

 

­'¤

®

EcbrU†Yp²UP™‡SpWkqqry‘qTuRS

WRSpEHGPuVf`yPQ

¢

—ˆyX€—tEHW

¢

¢

­'¤

¬

W

¢

 

­'¤

¬

r

umuRSey†WR…tf~yPwRqTEtyPW’bœ€„yPQorqigiSpQTqrEc™‡SXb

 ˜§¢jUXQrSeqTu`Ueq‡SpEHqruRSpQhyPWRSpye€sqTuRSp

E‚bœEHW



—

UXW`YtqTuRS

yPqTuRSpQhyPWRSsEcbsEtW

£qœRyPQmqTu`Ueqxy†WRSsye€qTuRSp„Ecb{EHW



š

wUXW`Y‘qruRSry†qruRSyQxyPWRSrE‚b{EHW

¤‰œVyPQxqTu`Ueqxy†WRS

ye€}qruRSp„EcbmEHW

ˆ“

wUXW`YtqTuRSsyPqTuRSpQ‡yPWRSsEcbmEHW

D§'r

BPŠ

 ¢¡¤£$¥