Abstract
Three men, each with a sister, must cross a river using a boat that can carry only two people in such a way that a sister is never left in the company of another man if her brother is not present. This very famous problem appeared in the Latin book “Problems to Sharpen the Young,” one of the earliest collections of recreational mathematics. This paper considers a generalization of such “river crossing problems” and provides a new formulation that can treat wide variations. The main result is that, if there is no upper bound on the number of transportations (river crossings), a large class of subproblems can be solved in polynomial time even when the passenger capacity of the boat is arbitrarily large. The authors speculated this fact at FUN 2012. On the other hand, this paper also demonstrates that, if an upper bound on the number of transportations is given, the problem is NP-hard even when the boat capacity is three, although a large class of subproblems can be solved in polynomial time if the boat capacity is two.
Similar content being viewed by others
References
Alon, N.: On the edge-expansion of graphs, Combinatorics. Probab. Comput. 11, 1–10 (1993)
Bellman, R.: Dynamic programming and “difficult crossing” puzzles. Math. Mag. 35 (1), 27–29 (1962)
Borndörfer, R., Grötschel, M., Löbel, A.: Alcuin’s transportation problems and integer programming. Konrad-Zuse-Zentrum für Informationstechnik, Berlin (1995). Preprint SC-95-27
Csorba, P., Hurkens, C.A.J., Woeginger, G.J.: The Alcuin number of a graph, Proc. ESA2007. LNCS 5193, 320–331 (2008)
Csorba, P., Hurkens, C. A.J., Woeginger, G.J.: The Alcuin number of a graph and its connections to the vertex cover number. SIAM J. Discrete Math. 24 (3), 757–769 (2010)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company (1979)
Heeffer, A.: Alcuin, http://logica.ugent.be/albrecht/alcuin.pdf
Hoory, S., Linial, N., Wigderson, A.: Expander graphs and their applications. Bull. Am. Math. Soc. 43 (4), 439–561 (2006)
Ito, H., Langerman, S., Yoshida, Y.: Algorithms and complexity of generalized river crossing problems, Proc. FUN 2012. LNCS 7288, 235–244 (2012)
Lampis, M., Mitsou, V.: The ferry cover problem, Proc. FUN 2007. LNCS 4475, 227–239 (2007)
Peterson, I.: Tricky crossings, Science News Online, Vol. 164. retrieved 2008-02-07, http://web.archive.org/web/20040603203306/http://www.sciencenews.org/articles/20031213/mathtrek.asp
Schwartz, B.R.: An analytic method for the “difficult crossing” puzzles. Math. Mag. 34 (4), 187–193 (1961)
Trevisan, L.: Graph partitioning and expanders. Stanford University. CS359G, Lecture 6, 2011, http://theory.stanford.edu/~trevisan/cs359g/
Acknowledgments
We would like to express our gratitude to the anonymous referees for their truly careful reviews and very detailed comments. They significantly improved this article. We also thank JSPS KAKENHI Grant Number 24650006 and the ELC project (MEXT KAKENHI Grant Number 24106003), through which this work was partially supported.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ito, H., Langerman, S. & Yoshida, Y. Generalized River Crossing Problems. Theory Comput Syst 56, 418–435 (2015). https://doi.org/10.1007/s00224-014-9562-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-014-9562-8