[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: TLA Plus <tlapl...@xxxxxxxxx>*Date*: Wed, 4 Feb 2015 16:56:25 -0800*References*: <74871342-8fab-40ff-a050-8ba336333980@googlegroups.com> <CAAWQ4M5tBbNpxm5Sz-EtBL7pt4SdiHbLbw=FZnZLghT33=2WRQ@mail.gmail.com>

I just posted in the CodePlex repository a TLA+/TLC solution to this problem for arbitrary weight of stone and number of pieces. The repository is at

Click on Source Code > examples > Stones. However, I recommend trying to write such a solution yourself before looking at mine.

On Wed, Feb 4, 2015 at 1:48 PM, TLA Plus <tlapl...@xxxxxxxxx> wrote:

Thanks for the puzzle. It took me just a little more time to write a spec that allows TLC to solve the problem than to solve it myself. (However, I had heard it before and so recreating the solution was easy.) TLC found the solution in a few seconds. I will leave this as a puzzle for readers to solve, and I hope others will do the same. I therefore rejected an email someone just sent that reveals the solution, although not the TLA+ spec that allows TLC to solve it. After TLC shows you the answer, the reasoning behind it becomes fairly obvious.On Wed, Feb 4, 2015 at 1:15 PM, stepha...@xxxxxxxxx <guys...@xxxxxxxxx> wrote:

A farmer has a 40 pound stone and a balance scale. How can he break the stone into 4 pieces so that, using those pieces and the balance scale, he can weigh out any integral number of pounds of corn from 1 pound through 40 pounds.

Who to use TLA+ to specify the problem and use TLC to find the solution?

--

You received this message because you are subscribed to the Google Groups "tlaplus" group.

To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.

To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.

Visit this group at http://groups.google.com/group/tlaplus.

For more options, visit https://groups.google.com/d/optout.

**Follow-Ups**:**Re: [tlaplus] Mathematical puzzle modeling***From:*Michel Charpentier

**Re: [tlaplus] Mathematical puzzle modeling***From:*Michael Leuschel

**References**:**Mathematical puzzle modeling***From:*stepha...@xxxxxxxxx

**Re: [tlaplus] Mathematical puzzle modeling***From:*TLA Plus

- Prev by Date:
**Re: [tlaplus] Mathematical puzzle modeling** - Next by Date:
**Re: [tlaplus] Mathematical puzzle modeling** - Previous by thread:
**Re: [tlaplus] Mathematical puzzle modeling** - Next by thread:
**Re: [tlaplus] Mathematical puzzle modeling** - Index(es):