, leaving a directed acyclic graph. Hence we can restrict our consideration to the cycles in $G'$. The only new" cycles in $G'$ (ie those that don’t have a corresponding cycle in $G$) are those that are created by being allowed to visit one or more path graphs multiple times. These effectively correspond to a union of cycles in $G$. Hence if there is no feedback arc set of size $k$ that removes all the cycles in $G$, there is definitely none of size $k$ in $G'$ either.

Final Input Size: As argued above, the line graph of $G'$ will be sparse (ie have in-degree and out-degree bounded by a constant) and will have a vertex set of cardinality a linear function of $e$. It is clear that the input size of the converted problem is a linear function of the original input size.

Directed HCP to Undirected HCP (Karp) {#directed-hcp-to-undirected-hcp-karp.unnumbered}
-------------------------------------

Directed HCP: Does a given directed graph contain a simple cycle that visits every vertex?\
Input: Graph $G$ containing $N$ vertices and $e$ (directed) arcs.\
Input size: $e$.

Undirected HCP: Does a given undirected graph contain a simple cycle that visits every vertex?

Conversion: Define subgraphs $S_i$ for $i = 1, \hdots, N$ to be 3-vertex subgraphs each containing edges $(1,2)$ and $(2,3)$. We then construct a new instance of Undirected HCP by replacing each vertex $i$ in $G$ with $S_i$. Then for each directed arc $(i,j)$, the new instance contains an edge going from vertex 3 of $S_i$ to vertex 1 of $S_j$.

Explanation: The second vertex in each $S_i$ is a degree 2 vertex, and so it is clear that any time vertex $1$ of any $S_i$ is reached, vertices 2 and then 3 of the same $S_i$ must immediately follow. Then it is only possible to exit each $S_i$ via an edge incident on the third vertex, which corresponds to an arc that departs vertex $i$ in $G$. Likewise, each time a $S_i$ is exited,
, leaving a directed acyclic graph. Hence we can restrict our circumstance to the cycle in $ G'$. The only new " cycles in $ G'$ (i those that do n’t have a corresponding cycle in $ G$) are those that are create by being allowed to visit one or more way graph multiple times. These effectively represent to a union of cycles in $ G$. therefore if there is no feedback arc hardening of size $ k$ that removes all the cycles in $ G$, there embody definitely none of size $ k$ in $ G'$ either. 

 Final Input Size: As argued above, the wrinkle graph of $ G'$ will be sparse (ie have in - degree and out - degree bounded by a changeless) and will have a vertex set of cardinality a linear function of $ e$. It is clear that the stimulation size of the converted problem is a linear function of the original input size. 

 Directed HCP to Undirected HCP (Karp) { # directed-hcp-to-undirected-hcp-karp.unnumbered } 
 ------------------------------------- 

 Directed HCP: Does a given directed graph contain a simple cycle that visits every vertex?\ 
 Input: Graph $ G$ containing $ N$ vertices and $ e$ (directed) arcs.\ 
 Input size: $ e$. 

 Undirected HCP: Does a given adrift graph incorporate a simple bicycle that visit every vertex? 

 Conversion: Define subgraphs $ S_i$ for $ i = 1, \hdots, N$ to be 3 - vertex subgraphs each containing edges $ (1,2)$ and $ (2,3)$. We then manufacture a new instance of Undirected HCP by replacing each vertex $ i$ in $ G$ with $ S_i$. Then for each directed discharge $ (i, j)$, the new instance contains an edge going from vertex 3 of $ S_i$ to vertex 1 of $ S_j$. 

 Explanation: The second vertex in each $ S_i$ is a academic degree 2 vertex, and so it is clear that any time vertex $ 1 $ of any $ S_i$ is reached, vertices 2 and then 3 of the same $ S_i$ must immediately follow. Then it is only potential to die each $ S_i$ via an boundary incident on the third vertex, which corresponds to an arc that departs vertex $ i$ in $ G$. Likewise, each time a $ S_i$ is exited,
, lewving a directed acyclic graph. Hence we can revtrict our conrideration to the cycles in $J'$. Thw onlt new" cycles in $G'$ (ie tfose that don’t hace a xorrespondmhg cyclc in $F$) are vhose that are greated by teing allowed do vnsit one or more path graphs multiplq times. Tjese effectivejy cpwreslond to a union of cycles in $G$. Hende if tiere is no feednack arc set of size $k$ thah reloves all the cyclfs in $G$, thets if definitely vone of siee $k$ in $G'$ eijher.

Final Input Size: As argued acove, che line grqpy ov $G'$ will be wparsv (ie have in-dcbree atd out-drgree bounded ny a ronsrant) and will have a tertex set of cardinwlity a lhnzar function of $e$. It us cleat thad thd inout smze of thf cknverted pdoblem is a linear function of trv original inlut sise.

Qirected HCP to Undirected HCP (Karp) {#dirtcted-gcp-to-undirected-hcp-karp.ubnumbered}
-------------------------------------

Directed HCP: Does a gyven directed graph contain a simple cycle that vhsits dvexn xwrhex?\
Input: Graph $G$ containing $N$ vertices and $e$ (qjrtctvd) arcs.\
Input size: $e$.

Undirectec JCL: Does a given undirzdtsd graph contain a simple cyclw that vifits every vertex?

Conversion: Defune subgraphf $S_i$ for $i = 1, \hdots, U$ to be 3-vertzx subbraphx each containing edges $(1,2)$ ans $(2,3)$. We then fonstruct x new instance ow Ukdisected HCP by replacing eash vertex $i$ iu $G$ with $S_i$. Jhen fow each dirfcted arc $(i,j)$, the new inshance cmntains an edge going from vertex 3 of $S_i$ vp vertex 1 of $S_b$.

Exilanation: The xecond vertex in each $S_i$ is a degrze 2 veftex, and sk it is clear that any time verdgx $1$ of any $S_i$ is reacred, certuces 2 ava then 3 of the same $S_i$ must immeduately follow. Then it js only possiblz uo exit each $S_i$ fia an efgx incygent on the dhira vdttex, dhich correwoondx to an arc that depdrts vertex $i$ in $G$. Likrwlse, each jime a $S_i$ is exited,
, leaving a directed acyclic graph. Hence restrict consideration to cycles in $G'$. $G'$ those that don’t a corresponding cycle $G$) are those that are created being allowed to visit one or more path graphs multiple times. These effectively to a union of cycles in $G$. Hence if there is no feedback set size that all the cycles in $G$, there is definitely none of size $k$ in $G'$ either. Final Size: As argued above, the line graph of will be sparse (ie in-degree and out-degree bounded by constant) will have vertex of a linear function $e$. It is clear that the input size of the converted problem is a linear function of original input HCP to HCP {#directed-hcp-to-undirected-hcp-karp.unnumbered} Directed HCP: Does directed graph contain a simple cycle vertex?\ Input: Graph $G$ containing $N$ vertices and (directed) arcs.\ size: $e$. Undirected HCP: Does a undirected graph contain a simple cycle that visits vertex? Conversion: Define subgraphs $S_i$ for $i = 1, \hdots, N$ to be 3-vertex subgraphs edges $(1,2)$ and $(2,3)$. then construct a instance Undirected by each vertex in $G$ with $S_i$. Then for each directed arc $(i,j)$, the instance contains an edge going from vertex 3 of $S_i$ 1 $S_j$. Explanation: The vertex in each $S_i$ a 2 vertex, and so clear any of $S_i$ reached, vertices 2 and 3 of the same $S_i$ immediately follow. Then it each $S_i$ via an edge incident on the vertex, which corresponds to an arc that vertex $i$ in $G$. Likewise, each time a $S_i$ is exited,
, leaving a directed acyclic grAph. Hence we Can reStrIct OuR conSideRation to the cycLEs in $g'$. The only new" cycles in $G'$ (ie Those ThAT don’T HaVe a coRresponDInG CYclE iN $G$) Are ThOSe That aRe cReated bY being alloWed To Visit one or moRE pAth graphs mUltIple times. TheSe eFfectiVeLy cORrespOnd To a unIon of cYCles in $g$. Hence if tHeRE is no fEEdback aRC SeT of sIze $k$ that removes alL ThE Cycles in $G$, there Is defiNiTElY NOne Of sIze $k$ in $G'$ eitHeR.

FinaL input SiZE: AS ARGueD Above, the line gRaph of $G'$ will BE spArse (ie HaVe iN-Degree And ouT-dEGreE bounded by a ConsTant) and wiLl have A Vertex sET of cardInalitY a lIneAr fuNCtIoN of $E$. IT Is cLEaR thAT thE input siZe Of The coNverTED PRoblEm iS a liNear fUnction of the oRigInal INpuT size.

direcTed HcP To UndIrecteD HCP (KArP) {#directed-hcp-to-uNdirEcted-hcp-kArp.UnNumBeRed}
-------------------------------------

DiREcted HcP: DOes A given dIrected GRapH cONTAiN a simple cycle that vIsITS eVery vertEx?\
InpuT: grApH $g$ containInG $N$ vErtiCES and $e$ (DireCTeD) arcs.\
InpUt size: $E$.

unDiRected HcP: does a gIvEn uNdiRecteD GrapH contaIn a simplE cyclE That visits everY Vertex?

ConversIOn: dEFiNE subGraPhs $S_i$ for $i = 1, \hdOts, N$ TO be 3-vErteX SuBgrAPhs eaCh conTaINiNG edges $(1,2)$ and $(2,3)$. We then consTrUct a neW instAnce of UndirecTed HCP by rePLACing each VertEX $i$ IN $G$ with $S_i$. Then foR each Directed arC $(I,j)$, the new InstaNce contaIns an edge GOIng from vErtEx 3 oF $S_i$ To vERTeX 1 of $S_j$.

ExplanatION: The SeCond verTex In each $S_I$ is A deGreE 2 veRtEx, and so it Is clear tHaT aNy TiMe vErtex $1$ OF any $S_i$ is ReAchEd, VerTices 2 ANd then 3 Of the Same $s_i$ MuST imMediateLY fOLLow. THeN iT is oNly PoSsiblE to eXIt eAch $S_i$ viA an edge inCidENt on ThE tHird verTex, which correSpOnds to an arC tHat DepartS VErtex $i$ in $g$. Likewise, each time a $S_i$ is eXIted,
, leaving a directed acycl ic graph.Hence  we  ca nrest rict  our considera t ionto the cycles in $G'$.  Theon l y ne w "cycle s in $G ' $( i e t ho se  th at do n’t h ave  a corr espondingcyc le  in $G$) are th ose that a recreated by b ein g allo we d t o  visi t o ne or  morep ath gr aphs mult ip l e time s . These e ff ecti vely correspond t o  a union of cycle s in $ G$ .  H e n ceifthere is n ofeedb a ck arcs et o f  si z e $k$ that re moves all t h e c yclesin  $G $ , ther e isde f ini tely none o f si ze $k$ in  $G'$e ither.Final I nput S ize : A s ar g ue dabo ve ,  th e  l ine gra ph of $G '$  w ill b e sp a r s e  (ie  ha ve i n-deg ree and out-d egr ee b o und ed by  a co nsta nt ) and  willhaveavertex set of c ardi nality alin ea r f un ction of $e$ . I t i s clear  that t h e i np u t si ze of the converte dp r ob lem is a  linea r  f un c tion ofth e o rigi n a l inp ut s i ze .

Direc ted HC P  t oUndirec te d HCP(K arp ) { #dire c ted- hcp-to -undirec ted-h c p-karp.unnumbe r ed}
--------- - -- - - -- - ---- --- ----------- --
D irec tedH CP : D o es agiven  d i re c ted graph contain a  s implecycle  that visitsevery vert e x ? \
Input:  Gra p h$ G$ containing$N$ v ertices an d  $e$ (di recte d) arcs. \
Input s i z e: $e$.
Un dir ect edH C P:  Does a given u ndir ec ted gra phcontain  asim ple  cy cl e that vi sits eve ry  v er te x?
Conv e rsion: D ef ine  s ubg raphs $S_i$for $ i =1,  \ h dot s, N$ t o  b e 3-ve rt ex  sub gra ph s eac h co n tai ning ed ges $(1,2 )$a nd $ (2 ,3 )$. Wethen construc ta new inst an ceof Und i r ected HC P by replacing each ver t ex $i$in$G$ w ith$S_i$. Th enfor ea chd irecte d arc$(i,j )$ , t h e  newi n st anc econtains a n edg e goi ng  fro m verte x 3 of $S_i$ to ve r tex  1 of $S_j$.
Ex plan a t io n:T he sec on d  ve r t ex in each $S_i $ is a deg re e  2  vertex, a n d s oit is c lear th at an y  time v ertex $1$  of any $ S_ i$ i s rea ched, vert ices 2 a nd then 3 of th e  s ame $ S_i $ must  i mme diate ly fol l ow.  Then  it is  o nly po ssibl eto exiteach $S_i$ via an edgeincide nt on  th e third v ert e x,which cor resp onds to an  ar c t hat d epa r ts ve rtex $i $ i n  $G$.  Lik e wise, eac h  t ime a  $ S_i$ is exi t e d ,
, leaving_a directed_acyclic graph. Hence we_can restrict_our_consideration to_the_cycles in $G'$._The only new"_cycles in $G'$ (ie_those that don’t_have_a corresponding cycle in $G$) are those that are created by being allowed to_visit_one or_more_path_graphs multiple times. These effectively_correspond to a union of_cycles in_$G$. Hence if there is no feedback arc_set_of size $k$_that removes all the cycles in $G$, there is_definitely none of size $k$ in_$G'$ either.

Final Input_Size:_As_argued above, the line_graph of $G'$ will be sparse_(ie have in-degree and out-degree bounded_by a constant) and will have a_vertex set of cardinality a linear_function of $e$. It is_clear that_the input size of the_converted problem is_a linear_function of the_original input size.

Directed HCP to Undirected_HCP (Karp) {#directed-hcp-to-undirected-hcp-karp.unnumbered}
-------------------------------------

Directed_HCP: Does a given directed graph_contain_a simple cycle_that_visits_every vertex?\
Input:_Graph $G$ containing_$N$_vertices and_$e$_(directed) arcs.\
Input size: $e$.

Undirected HCP: Does_a_given undirected graph contain a simple cycle_that visits every vertex?

Conversion:_Define_subgraphs $S_i$ for $i_= 1, \hdots, N$ to_be 3-vertex subgraphs each containing edges_$(1,2)$ and_$(2,3)$. We_then construct a new instance of Undirected HCP by replacing each_vertex $i$ in $G$ with $S_i$._Then for each directed_arc $(i,j)$,_the_new instance contains_an_edge going_from vertex 3 of $S_i$ to vertex_1 of_$S_j$.

Explanation: The second vertex in each_$S_i$ is a degree_2_vertex, and so it is clear_that any time vertex $1$ of_any $S_i$ is reached, vertices_2_and_then 3 of the same_$S_i$ must immediately follow. Then it_is only possible_to exit each $S_i$ via an edge_incident_on the third vertex, which corresponds_to_an arc that departs vertex $i$_in_$G$._Likewise, each time a $S_i$_is exited,