The math of connecting galaxies in an efficient way

in mathematics •  7 years ago  (edited)

Hi Steemians, I wrote another math story. This time about outer space. It is a bit of a hairy story even though there is no' air in space :D


wormhole-2514312_640.jpg

It is the year is 3019 and intergalactic space travel is possible. It works by building special space roads between galaxies. Building of these roads is controlled by the council of Intergalactic space travel which hires special contractors to build these roads. For the CX15-alpha sector the council hired the Pioneering Roadworks for Intergalactic Movement company, or PRIM for short. Their CEO Bob had landed this contract by undercutting all the competition.

Just to show you what the CX15-alpha sector looks like here is a picture of the subsystem B1 of the CX15-alpha sector:


map.png

Every tiny circle represents a galaxy. The distances between each galaxies on this map correpond to the real distances times a scale factor.

Back to Bob the CEO

When Bob arrived back in his office he opened a nice cold beer and went to check on his computer wheter the council already had transferred the funds. "A good they have already transferred it. Well let me just check if the numbers are ok", said Bob to himself. Bob looked and froze. It was only one tenth of the suggested amount. "Well....that must be mistake", thought Bob. He pulled out the contract from his briefcase and looked at the numbers. Bob's face turned instantly white. The number on the contract was the same as the money transferred by the council. Bob realized that he had forgotten a zero when he wrote the contract. Dazed by his mistake he just blankly starred ahead.

Time for a new plan

It took a good 10 minutes before his brain rebooted. His eye fell on the intergalactic roadworks plan for the B1 subsystem:


map.png

The blacklines are the intergalactic roads. As you can see every galaxy is connected to every galaxy. Travel along these roads to the connecting galaxy only takes a few minutes.

Bob suddenly realized that since travel along these roads is so quick he didn't need to directly connect all galaxies in this subsystem. For example, instead of using three roads to connect the following three galaxies:


map.png

Bob actually only needs to construct two roads:


map.png

As you can see there is a path connecting all the galaxies which consists out of two roads.

Of course the longer the path the more expensive it is to build it. So the question that Bob asked himself is:

What is the minimal length of intergalactic road that is needed to create a path connecting all galaxies to each other?

Bob's method

"Hmmm, so how should I do this? " thought Bob. If you don't know what to do then you better start with what you should not do. It was clear to Bob that his road network should not contain any loops. Since if it contains a loop then you can always remove one intergalactic connection. This gives Bob the following rule:

RULE: never make any loops

But how can you find a path without loops which is minimal. Where should you start looking for a minimal path? Since there should exist a path connecting all galaxies you can start anywhere. I colored the galaxy where Bob starts red:


map.png

Where should the first road be? Since Bob wants to build the shortest possible road he adds the road to the nearest galaxy:


map.png

The galaxies which are connected are now colored in red. Bob can then continue by adding the shortest possible road connecting one of the red colored galaxies to the white colored galaxies:


map.png

The galaxies which are connected have been colored in red. Bob repeats this process by again adding the a road to the nearest galaxy which connect the red colored galaxies to the white colored galaxies. However, he needs to keep in mind his RULE to never make loops:


map.png

Bob then repeates this process until he has connected all the galaxies:


map.png

Bob isn't sure if this is minimal so he wants to start from a different galaxy and repeat the whole procedure:


map.png

He ends up with the roads! Bob quickly realizes that because he constructs the total path by always adding the shortest road it does not matter where he starts. Or formulated differently:

It is minimal because Bob always adds the shortest road.

(note: this is not 100% true, for details check the technical appendix below).

Bob is amazed by this result. "Well I better patent this method." says Bob. "My company is called Pioneering Roadworks for Intergalactic Movement so I better name this method PRIM's method!"


Background and conclusion

Unfortunately for Bob this method has already been invented. It actually has been several times reinvented. First one to discover it was Vojtěch Jarník. It was later rediscovered by Robert Prim as well as by Edsger Dijkstra. This method is usually referred to as Prim's algorithm (surprise!) or Dijkstra's algorithm. But I found out from wikipedia that apparently nowadays they also call it the DJP (Dijkstra-Jarnik-Prim) algorithm Wiki.

Prim's algorithm is as greedy as possible at each step since it selects the nearest galaxy to build a road to. Algorithms which are greedy at each step are referred to as greedy algorithm. Not all problems can be solved using greedy techniques. This is because of the simple reason that the best choice at a single step is not always the best choice over all the steps. Or formulated differently, what locally/short-term is the best is not always the best globally/long-term. For example, if you eat all your snacks for the week on the first day of the week you might be very happy on the first dat but most likely you will have a bad time for the rest of the week. So the quote

Greed is good. -Gordon Gekko (1987)

Should actually be

Locally/short-term greed is good, globally/long-term might be good. - Mathowl


Technical Appendix

The statement It is minimal because Bob always adds the shortest road is incomplete. This has to do with the RULE. So at each step of Prim's algorithm you need to make sure there are no loops. Theoretically, there might be a step where the adding the shortest road will create a loop. It requires a tiny but technical proof to show that this situation can never occur. On the second page of these algorithm lecture note by Dinitz you can find the full proof.



Sources and further reading

For a more detailed description of Prim's algorithm you can head over to the Wiki. These type of algorithms belong to the field of discrete optimization. If you have a bit of a mathematical background you can learn more about discrete opimization in these lecture notes by Schafer.

Top picture by Genty from the pixabay.

The figures (including the banner below) were made using Inkscape


Owl tax

owl-1576572_640.jpg
Photo by Kdsphotos - Pixabay


Join #steemSTEM


If you want to know more come and join us at discord: https://discord.gg/BZXkmWw

banner.png
CC0 creative commons made by Mathowl, feel free to use this banner :)

Shoutout to @anevolvedmonkey for spotting that I made a mistake in the banner with my perfect numbers. It has been corrected.

Authors get paid when people like you upvote their post.
If you enjoyed what you read here, create your account today and start earning FREE STEEM!
Sort Order:  

Never knew about Prim's algorithm. The problem of finding minimal length of intergalactic road is really a simple one but won't this get complex when we bring out big problems, for e.g. the travelling salesman problem? Are there better algorithms than this?

That banner is sleek btw :)

It is a NP problem. If I remember well you can show that it is equivalent to solving the travelling salesman problem. So there is no quick way to solve it.

And thanks for pointing out the mistake in the banner. :) It has been corrected.

Heeeeyyyy, minimum spanning trees. Nice stuff. I expect more graph theory from now on.

Maybe at some point I will do a post about blowing up bridges to disrupt supply routes :o)

I never saw math as interesting, but reading your post.. I feel a lot more interested, though as confused as i have always been ;-) I hope to read many more posts of yours in future.

Thanks for the support :o)

Interesting, @mathowl. I remember someone said that anything that can be calculated is possible :)

Thanks for the support! Well not everything that can be calculated is possible. Some things are too big for our universe, for example the number pi can never be put to paper.

Oh thanks for the information. Didn't know about pi. Looks like the saying is untrue :P

Thanks for dropping by my blog! And thanks for actually taking the time to ask questions, even if it was a hoax post.

This is a very interesting post. It's been a while since I heard about Prim's Algorithm. I remember years ago there was a Math Olympiad question similar to this one, but I don't remember which country or what year.

Congratulations! This post has been upvoted from the communal account, @minnowsupport, by MathOwl from the Minnow Support Project. It's a witness project run by aggroed, ausbitbank, teamsteem, theprophet0, someguy123, neoxian, followbtcnews, and netuoso. The goal is to help Steemit grow by supporting Minnows. Please find us at the Peace, Abundance, and Liberty Network (PALnet) Discord Channel. It's a completely public and open space to all members of the Steemit community who voluntarily choose to be there.

If you would like to delegate to the Minnow Support Project you can do so by clicking on the following links: 50SP, 100SP, 250SP, 500SP, 1000SP, 5000SP.
Be sure to leave at least 50SP undelegated on your account.

Oh yeah, an efficient method to teach your student a new formula. Well done sire @mathowl

I try to do my best on explaining it is fun as possible. Thanks for the support :)

Your post is always the best. And I am learning from you. I am hoping to come up with a good math story too. So sad for me...am not really good at writing but ahmm... I will always try.

That banner.

you are welcome to use it :)

Enjoyed the story! Interesting way to illustrate the algorithm.

Thanks for the support

Have always avoid space travel posts because most times i fail to understand them

But this was educating and simplified.
Welldone

Thankies :-)