1 / 10

Measuring With Jugs

A Solution in Finite Domain. Measuring With Jugs. * variables -- a set of alphanumeric characters starting with a CAPITAL letter * atoms -- set of alphanumeric characters beginning with a lower case letter (anAtom in would be equivalent in Java to"anAtom")

joylyn
Download Presentation

Measuring With Jugs

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. A Solution in Finite Domain Measuring With Jugs

  2. * variables -- a set of alphanumeric characters starting with a CAPITAL letter * atoms -- set of alphanumeric characters beginning with a lower case letter (anAtom in would be equivalent in Java to"anAtom") * keywords – declare, fun, Browse Intro to Oz

  3. -- virtual strings a#b#c -- lists [a b c] -- records sol(A B C) #(a b c) Other Neat Stuff

  4. This is what an Oz Program looks like: Functions

  5. background -- others who have analyzed it explanation CapA*TimesA-CapA*TimesANeg The Algorithm

  6. + finite domain integers + constraints + how it works (as opposed to logic programming like Prolog) Constraint Programming

  7. - 2 jugs - n jugs - show output - explain output numbers CapA*TimesA-CapA*TimesANeg Constraint Programming AppliedAlgorithm to Code

  8. + show structure of functions + show code bits + show output Numbers to Operations

  9. May include this! Multiple Solutions

  10. This shows that Finite Domain Constraint Programming is useful for areas where it might not at first seem useful. Conclusion

More Related