Earlier quoted context omitted.
Proof in this case is that the upper bound and the lower bound of the solver converged. This is not like a SAT solver where the solution itself can be trivially evaluated to verify the solution, it requires trusting that the solver does what it's supposed to be doing, similar to what happens when you solve a MILP with Gurobi or CPLEX.
Is the solver guaranteed not to land in a local minima/maxima?
Shortest-possible walking tour to 81,998 bars in South Korea
141–147 of 147 posts
Re: Shortest-possible walking tour to 81,998 bars in South Korea
#142As you browse the CityStrides site you can find people's LifeMaps which show all their walking. Some people have done amazing amounts of walking. See this user for example and their coverage of Paris, France...
https://citystrides.com/users/15259/map#48.85741101618777,2....
Re: Shortest-possible walking tour to 81,998 bars in South Korea
#143Earlier quoted context omitted.
South Korea has 5x the population of Ohio, but around 27x the number of bars [1]. So it really is a lot of bars. [1] https://www.ibisworld.com/us/industry/ohio/bars-nightclubs/1...
As someone married to a Korean, I am not surprised in the least. Every single one I have met (males at least) drinks like a fish. It is impossible to describe to a westerner just how ingrained the drinking culture is over there.
Re: Shortest-possible walking tour to 81,998 bars in South Korea
#144I am overwhelmed with the thought of nearly 82 thousand bars within a country roughly the size of Ohio.
americans always compare massive cities to empty states
0: https://en.wikipedia.org/wiki/List_of_countries_and_dependencies_by_population_densityRe: Shortest-possible walking tour to 81,998 bars in South Korea
#145Earlier quoted context omitted.
The parking minimum is for taxis?
It's pretty common for people drive to the bar, get drunk, taxi/Uber/Lyft/DD home, and then return the following day to get their vehicle. I don't think it makes sense personally, but I also don't drink at all so I'm not a great judge here.
You can see people taxi/uber into a place if they are definitely planning to get blathered.
Re: Shortest-possible walking tour to 81,998 bars in South Korea
#146Earlier quoted context omitted.
That's not true. The tour is 16.2 billion light years long, so even at the speed of light, it would take more than the current age of the universe to travel. Stars will move a lot over that period of time.
Yes I was assuming instant travel, even with one star the trajectory will be nonlinear.
Re: Shortest-possible walking tour to 81,998 bars in South Korea
#147If you find this impressive, take a look at the 1.33 billion stars TSP solution provided by the same authors. - Gaia DR2 (1,331,906,450 Stars): https://www.math.uwaterloo.ca/tsp/star/gaia2.html > "The tour is at most 1.0038 times the length of a shortest-possible route."
And as a result it's been broken since May 2022: https://github.com/mrdoob/three.js/releases/tag/r141
I downloaded the HTML file and replaced the link with a versioned one, and the viewer still works just fine.