1 / 10

Measuring With Jugs

This article delves into finite domain constraint programming, illustrated through a classic problem involving measuring with jugs. We explore alphanumeric variables and atoms in programming, particularly in the Oz language. The discussion covers essential algorithms, the structure of functions, and the nuances of constraints in programming, showcasing how these concepts translate into functional code. Additionally, we highlight the multiple solutions achievable within this framework, emphasizing its relevance in unexpected areas. Join us as we bridge theoretical concepts with practical programming examples.

joylyn
Télécharger la présentation

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