ExamplesJaCoP
Class CalendarMen

java.lang.Object
  ExamplesJaCoP.Example
      ExamplesJaCoP.CalendarMen

public class CalendarMen
extends Example

It solves a simple logic puzzle about sport calendar.

Author:

Michal Tonderski, Szymon Sieklucki, and Radoslaw Szymanek Title: Calendar Men Author of a logic puzzle: Alex Knight Publication: Dell Logic Puzzles Issue: December, 1998 Page: 52 Stars: 5 To raise some money for college sports programs, students at a local junior college produced and sold an "Athlete of the Month" calendar. Each month of the year featured a photograph of a different man (first names are Antonio, Brett, Cliff, Dabney, Ed, Francisco, Griff, Harry, Ivor, John, Karl, and Lorenzo; last names are Moross, Nelsen, O'Rourke, Paulos, Quarello, Reede, Sheldon, Taylor, Uhler, Vickers, Wang and Xiao) engaged in a different sport (archery, badminton, croquet, football, golf, hockey, lacrosse, pole vaulting, rowing, squash, tennis, and volleyball). Can you find the full name and sport of each month's athlete?

Field Summary

Fields inherited from class ExamplesJaCoP.Example

cost, search, store, vars

Constructor Summary

CalendarMen()

Method Summary

static void	main(java.lang.String[] args) It executes the program solving this puzzle using the best approach.
void	model() It specifies a standard way of modeling the problem.
void	modelBasic() It creates a model of this logic puzzle using mostly primitive constraints.
static void	test(java.lang.String[] args) It executes the program solving this puzzle using two different models.

Methods inherited from class ExamplesJaCoP.Example

creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CalendarMen

public CalendarMen()

Method Detail

model

public void model()

Description copied from class: Example

It specifies a standard way of modeling the problem.

Specified by:

model in class Example

modelBasic

public void modelBasic()

It creates a model of this logic puzzle using mostly primitive constraints.

test

public static void test(java.lang.String[] args)

It executes the program solving this puzzle using two different models.

Parameters:

args - no arguments read.

main

public static void main(java.lang.String[] args)

It executes the program solving this puzzle using the best approach.

Parameters:

args - no arguments read.