enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. Missionaries and cannibals problem - Wikipedia

    en.wikipedia.org/wiki/Missionaries_and_cannibals...

    In the missionaries and cannibals problem, three missionaries and three cannibals must cross a river using a boat which can carry at most two people, under the constraint that, for both banks, if there are missionaries present on the bank, they cannot be outnumbered by cannibals (if they were, the cannibals would eat the missionaries).

  3. Circumscription (logic) - Wikipedia

    en.wikipedia.org/wiki/Circumscription_(logic)

    The problem considered by McCarthy was not that of finding a sequence of steps to reach the goal (the article on the missionaries and cannibals problem contains one such solution), but rather that of excluding conditions that are not explicitly stated. For example, the solution "go half a mile south and cross the river on the bridge" is ...

  4. River crossing puzzle - Wikipedia

    en.wikipedia.org/wiki/River_crossing_puzzle

    This is similar to the missionaries and cannibals problem, in which three missionaries and three cannibals must cross the river, with the constraint that at any time when both missionaries and cannibals are standing on either bank, the cannibals on that bank may not outnumber the missionaries. The bridge and torch problem. Propositio de viro et ...

  5. List of Martin Gardner Mathematical Games columns - Wikipedia

    en.wikipedia.org/wiki/List_of_Martin_Gardner...

    How to solve puzzles by graphing the rebounds of a bouncing ball: 1963 Oct: About two new and two old mathematical board games 1963 Nov: A mixed bag of problems 1963 Dec: How to use the odd-even check for tricks and problem-solving 1964 Jan: Presenting the one and only Dr. Matrix, numerologist, in his annual performance 1964 Feb

  6. Symbolab - Wikipedia

    en.wikipedia.org/wiki/Symbolab

    Symbolab is an answer engine [1] that provides step-by-step solutions to mathematical problems in a range of subjects. [2] It was originally developed by Israeli start-up company EqsQuest Ltd., under whom it was released for public use in 2011. In 2020, the company was acquired by American educational technology website Course Hero. [3] [4]

  7. Geometric constraint solving - Wikipedia

    en.wikipedia.org/wiki/Geometric_constraint_solving

    Geometric constraint solving is constraint satisfaction in a computational geometry setting, which has primary applications in computer aided design. [1] A problem to be solved consists of a given set of geometric elements and a description of geometric constraints between the elements, which could be non-parametric (tangency, horizontality, coaxiality, etc) or parametric (like distance, angle ...

  8. Langley's Adventitious Angles - Wikipedia

    en.wikipedia.org/wiki/Langley's_Adventitious_Angles

    In 2015, an anonymous Japanese woman using the pen name "aerile re" published the first known method (the method of 3 circumcenters) to construct a proof in elementary geometry for a special class of adventitious quadrangles problem. [7] [8] [9] This work solves the first of the three unsolved problems listed by Rigby in his 1978 paper. [5]

  9. Jealous husbands problem - Wikipedia

    en.wikipedia.org/?title=Jealous_husbands_problem&...

    Download as PDF; Printable version; ... move to sidebar hide. From Wikipedia, the free encyclopedia. Redirect page. ... Missionaries and cannibals problem; Retrieved ...