MHB How Does the Euler Circuit Algorithm Solve Mazes?

  • Thread starter Thread starter annie122
  • Start date Start date
  • Tags Tags
    Circuits Euler
AI Thread Summary
The Euler Circuit Algorithm for solving mazes involves specific rules for traversing edges, particularly emphasizing that from a new vertex any edge can be taken, while from an old vertex, the last edge traversed must be retraced if it was the only option. A key point of confusion arises around the rule that states no edge should be used more than twice, leading to questions about whether using an edge three or more times is permissible. The algorithm constructs a walk that forms an Euler circuit by effectively doubling each edge in the original maze, which is crucial for ensuring all paths are covered without repetition. Clarification is sought on the algorithm's name and the exact textbook reference for better understanding. The discussion highlights the need for clearer explanations of how the algorithm effectively solves maze problems.
annie122
Messages
51
Reaction score
0
I didn't understand the algorithm explained in my textbook. ("Introduction to combinatorics" P.165)

I would an alternative explanation with an example.

Here is the algorithm:

(i) from a new vertex, any edge may be taken;

(ii) from an old vertex, if the edge just traversed was nes, then turn around retake it;

(iii) never use any edge three times.

I used the algorithm in one maze, but at one point it became inevitable for me to take the edge for the third time.
A question regarding (iii); does it disallow me from taking the edge more than three times, or is it okay to take an edge, say, four times?

Also, I don't understand how this works. It was explained that the walk constructed in this way is an Euler circuit in the network formed by doubling each edge in the original. How does this lead to solving the maze?
 
Physics news on Phys.org
Yuuki said:
I didn't understand the algorithm explained in my textbook. ("Introduction to combinatorics" P.165)

Hi Yuuki, :)

Can you please provide the exact title and the author of your book. Also what is the name of the algorithm used to find Eularian Circuits?
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top