Prove edges travelling algorithm

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












Exercise: Let $G$ be a connected graph. Prove that using method shown below, you will traverse all graph's edges, starting from vertex $v$:



  1. do not traverse the same edge twice in the same direction


  2. if found vertex $xneq v$, in which we haven't been before, then mark the edge that was used to get there


  3. use marked edge to leave $x$ only if it's the only option left


Also show that, after traversing all the edges, we return to $v$.



My tries:
I proved the second statement.



Prove: Let's assume that we don't have any possible moves left and we are in $wneq v$ vertex. For us to not be able to do any movements here, there must be $deg(w)$ used in outside direction edges. For it to be possible, we had had to use $deg(w)+1$ edges in inside $w$ direction or $w=v$, both resulting with contradiction.



My thoughts: I fought hard to prove the main statement, but nothing seems working. I am looking for a hint. From many examples it seems like algorithm will always leave the graph with all edges traversed in both directions. I saw a pattern, like if you traverse the edges in some order, then you will be returning in reversed order. There are some exceptions, when you can choose between more options (but anyway you'll be back to the reversed order or similar at least).










share|cite|improve this question





















  • Well, I think it is possible. Please take a look on the algorithm, as it is not typical euler's tour, which, as I know, exists only for graphs with even degrees.
    – Gaha
    Sep 10 at 20:44










  • Starting from a, you can go: a, b, c, d, b, d, c, a, c, b, a. There are many options to follow the algorithm in this case and all of them traverse all the edges and end in starting node.
    – Gaha
    Sep 10 at 20:48














up vote
1
down vote

favorite












Exercise: Let $G$ be a connected graph. Prove that using method shown below, you will traverse all graph's edges, starting from vertex $v$:



  1. do not traverse the same edge twice in the same direction


  2. if found vertex $xneq v$, in which we haven't been before, then mark the edge that was used to get there


  3. use marked edge to leave $x$ only if it's the only option left


Also show that, after traversing all the edges, we return to $v$.



My tries:
I proved the second statement.



Prove: Let's assume that we don't have any possible moves left and we are in $wneq v$ vertex. For us to not be able to do any movements here, there must be $deg(w)$ used in outside direction edges. For it to be possible, we had had to use $deg(w)+1$ edges in inside $w$ direction or $w=v$, both resulting with contradiction.



My thoughts: I fought hard to prove the main statement, but nothing seems working. I am looking for a hint. From many examples it seems like algorithm will always leave the graph with all edges traversed in both directions. I saw a pattern, like if you traverse the edges in some order, then you will be returning in reversed order. There are some exceptions, when you can choose between more options (but anyway you'll be back to the reversed order or similar at least).










share|cite|improve this question





















  • Well, I think it is possible. Please take a look on the algorithm, as it is not typical euler's tour, which, as I know, exists only for graphs with even degrees.
    – Gaha
    Sep 10 at 20:44










  • Starting from a, you can go: a, b, c, d, b, d, c, a, c, b, a. There are many options to follow the algorithm in this case and all of them traverse all the edges and end in starting node.
    – Gaha
    Sep 10 at 20:48












up vote
1
down vote

favorite









up vote
1
down vote

favorite











Exercise: Let $G$ be a connected graph. Prove that using method shown below, you will traverse all graph's edges, starting from vertex $v$:



  1. do not traverse the same edge twice in the same direction


  2. if found vertex $xneq v$, in which we haven't been before, then mark the edge that was used to get there


  3. use marked edge to leave $x$ only if it's the only option left


Also show that, after traversing all the edges, we return to $v$.



My tries:
I proved the second statement.



Prove: Let's assume that we don't have any possible moves left and we are in $wneq v$ vertex. For us to not be able to do any movements here, there must be $deg(w)$ used in outside direction edges. For it to be possible, we had had to use $deg(w)+1$ edges in inside $w$ direction or $w=v$, both resulting with contradiction.



My thoughts: I fought hard to prove the main statement, but nothing seems working. I am looking for a hint. From many examples it seems like algorithm will always leave the graph with all edges traversed in both directions. I saw a pattern, like if you traverse the edges in some order, then you will be returning in reversed order. There are some exceptions, when you can choose between more options (but anyway you'll be back to the reversed order or similar at least).










share|cite|improve this question













Exercise: Let $G$ be a connected graph. Prove that using method shown below, you will traverse all graph's edges, starting from vertex $v$:



  1. do not traverse the same edge twice in the same direction


  2. if found vertex $xneq v$, in which we haven't been before, then mark the edge that was used to get there


  3. use marked edge to leave $x$ only if it's the only option left


Also show that, after traversing all the edges, we return to $v$.



My tries:
I proved the second statement.



Prove: Let's assume that we don't have any possible moves left and we are in $wneq v$ vertex. For us to not be able to do any movements here, there must be $deg(w)$ used in outside direction edges. For it to be possible, we had had to use $deg(w)+1$ edges in inside $w$ direction or $w=v$, both resulting with contradiction.



My thoughts: I fought hard to prove the main statement, but nothing seems working. I am looking for a hint. From many examples it seems like algorithm will always leave the graph with all edges traversed in both directions. I saw a pattern, like if you traverse the edges in some order, then you will be returning in reversed order. There are some exceptions, when you can choose between more options (but anyway you'll be back to the reversed order or similar at least).







graph-theory algorithms






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 10 at 20:13









Gaha

657




657











  • Well, I think it is possible. Please take a look on the algorithm, as it is not typical euler's tour, which, as I know, exists only for graphs with even degrees.
    – Gaha
    Sep 10 at 20:44










  • Starting from a, you can go: a, b, c, d, b, d, c, a, c, b, a. There are many options to follow the algorithm in this case and all of them traverse all the edges and end in starting node.
    – Gaha
    Sep 10 at 20:48
















  • Well, I think it is possible. Please take a look on the algorithm, as it is not typical euler's tour, which, as I know, exists only for graphs with even degrees.
    – Gaha
    Sep 10 at 20:44










  • Starting from a, you can go: a, b, c, d, b, d, c, a, c, b, a. There are many options to follow the algorithm in this case and all of them traverse all the edges and end in starting node.
    – Gaha
    Sep 10 at 20:48















Well, I think it is possible. Please take a look on the algorithm, as it is not typical euler's tour, which, as I know, exists only for graphs with even degrees.
– Gaha
Sep 10 at 20:44




Well, I think it is possible. Please take a look on the algorithm, as it is not typical euler's tour, which, as I know, exists only for graphs with even degrees.
– Gaha
Sep 10 at 20:44












Starting from a, you can go: a, b, c, d, b, d, c, a, c, b, a. There are many options to follow the algorithm in this case and all of them traverse all the edges and end in starting node.
– Gaha
Sep 10 at 20:48




Starting from a, you can go: a, b, c, d, b, d, c, a, c, b, a. There are many options to follow the algorithm in this case and all of them traverse all the edges and end in starting node.
– Gaha
Sep 10 at 20:48















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2912295%2fprove-edges-travelling-algorithm%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2912295%2fprove-edges-travelling-algorithm%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Why am i infinitely getting the same tweet with the Twitter Search API?

Carbon dioxide