[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

824.0. "A house with many doors" by STAR::HEERMANCE (Martin, Bugs 5 - Martin 0) Fri Feb 05 1988 12:08

    Here's an interesting but old problem similar to the seven bridges
    problem.  It's unsolveable unless you 'cheat' by making an assump-
    tion about the topolgy of the surface on which it rests.
    
    There is a house with five rooms, and each wall in the house has a
    door (d's in the figure below).  Your task is to find a path in which
    each door is traversed once and only once.
    
                 +----d-----+-----d-----+-----d-----+
                 |          |           |           |
                 d          d           d           d
                 |          |           |           |
                 +----d-----+--d--+--d--+-----d-----+
                 |                |                 |
                 d                d                 d
                 |                |                 |
                 +--------d-------+-------d---------+
    
    Martin H.
T.RTitleUserPersonal
Name
DateLines
824.1That's one drafty house, let me tell youAKQJ10::YARBROUGHWhy is computing so labor intensive?Fri Feb 05 1988 13:4432
                 +----d-----+-----d-----+-----d-----+
                 |          |           |           |
                 d          d           d           d
                 |          |           |           |
                 +----d-----+--d--+--d--+-----d-----+
                 |                |                 |
                 d                d                 d
                 |                |                 |
                 +--------d-------+-------d---------+
    
As there are 3 rooms with an odd number of doors (and the outside of the 
house has an odd number of doors), the path(s) passing through all the
doors must have at least 4 ends if the layout is planar. If the layout is
on a torus with the hole passing through one of those rooms you can do it,
as the effect of the hole is to make the number of 'doors' even in that
room (and the outside). 

Next question: How many doors have the property that if you seal off that 
one door, the problem is solvable? Answer follows the <FF>.

8. Any of the ones marked X below.

                 +----d-----+-----X-----+-----d-----+
                 |          |           |           |
                 d          d           d           d
                 |          |           |           |
                 +----d-----+--X--+--X--+-----d-----+
                 |                |                 |
                 X                X                 X
                 |                |                 |
                 +--------X-------+-------X---------+

824.2CorrectSTAR::HEERMANCEMartin, Bugs 5 - Martin 0Fri Feb 05 1988 16:0111
    Re .1
    
    I guess you get a gold star.  A torus is the correct topology to
    solve this problem.  Is it the only one?
    
    As an exercise in graph making, a node-edge graph can be drawn to
    demonstrate that closing a door is essentially the elimination of
    an edge between two nodes.  This can be used as a proof for .1 
    assertion about closing a door.
    
    Martin H.
824.3CLT::GILBERTBuilderFri Feb 05 1988 17:006
    There is a path iff there are 0 or 2 areas with an odd number of
    door.  Since there are 4 areas with an odd number of doors in the
    floor plan, and a sealed door reduces the number of doors in two
    (adjacent) areas by one, the sealed door must connect two of the
    odd-doored areas.  You'll note that these are the doors that Lynn
    marked.
824.4TLE::BRETTFri Feb 05 1988 19:565
    
    Hence the space formed by equivalencing two such rooms also
    is a valid solution to the problem...
    
    /Bevin
824.5Other solutions...CHOVAX::YOUNGBack from the Shadows Again,Sat Feb 06 1988 03:094
    Any surface of Genus > 0 has mappings that produce a solution, as
    do many unusual mappings to topologies of indeterminat Genus.
    
    --  Barry