Edit: bu bulmaca aynı zamanda olarak bilinir "Einstein'ın Bilmece"

Who owns the Zebra bulmaca klasik bir örneğidir ve bir Yığın Taşması çoğu insan kalem ve kağıt ile bunu çözebilir bence. Ama programlı bir çözüm nasıl olurdu?

İpuçları aşağıda listelenmiştir göre...

• Beş tane ev var.
• Her evin kendine has bir rengi vardır.
• Tüm ev sahipleri farklı milletlerden.
• Onlar farklı hayvanlar var.
• Onlar farklı içki içmek.
• Onlar farklı sigara.
• İngiliz kırmızı evde oturuyor.
• İsveçli bir köpeği var.
• Dane içecek çay.
• Yeşil ev beyaz evin sol tarafında.
• Yeşil evde kahve içilir.
• Pall Mall sigarası içen adam kuşlar vardır.
• Sarı evde, Dunhill sigara içiyorlar.
• Ortadaki evde süt içilir.
• Norveçli birinci evde oturuyor.
• Karışımı içen adam eve kedi ile evin yanındaki evde yaşıyor.
• Bir at olduğu evden eve gelecek, Dunhill sigara içiyorlar.
• Blue Master sigara içen adam bira içiyor.
• Alman Prince sigara içiyor.
• Norveçli mavi evin yanında oturuyor.
• Karışım duman nerede evde su evin yanında içiyorlar.

...sahibi kimdir Zebra?

İşte kısıtlaması programlama Python dayalı bir çözüm:

from constraint import AllDifferentConstraint, InSetConstraint, Problem

# variables
colors        = "blue red green white yellow".split()
nationalities = "Norwegian German Dane Swede English".split()
pets          = "birds dog cats horse zebra".split()
drinks        = "tea coffee milk beer water".split()
cigarettes    = "Blend, Prince, Blue Master, Dunhill, Pall Mall".split(", ")

# There are five houses.
minn, maxn = 1, 5
problem = Problem()
# value of a variable is the number of a house with corresponding property
variables = colors   nationalities   pets   drinks   cigarettes
problem.addVariables(variables, range(minn, maxn 1))

# Each house has its own unique color.
# All house owners are of different nationalities.
# They all have different pets.
# They all drink different drinks.
# They all smoke different cigarettes.
for vars_ in (colors, nationalities, pets, drinks, cigarettes):
    problem.addConstraint(AllDifferentConstraint(), vars_)

# In the middle house they drink milk.
#NOTE: interpret "middle" in a numerical sense (not geometrical)
problem.addConstraint(InSetConstraint([(minn   maxn) // 2]), ["milk"])
# The Norwegian lives in the first house.
#NOTE: interpret "the first" as a house number
problem.addConstraint(InSetConstraint([minn]), ["Norwegian"])
# The green house is on the left side of the white house.
#XXX: what is "the left side"? (linear, circular, two sides, 2D house arrangment)
#NOTE: interpret it as 'green house number'   1 == 'white house number'
problem.addConstraint(lambda a,b: a 1 == b, ["green", "white"])

def add_constraints(constraint, statements, variables=variables, problem=problem):
    for stmt in (line for line in statements if line.strip()):
        problem.addConstraint(constraint, [v for v in variables if v in stmt])

and_statements = """
They drink coffee in the green house.
The man who smokes Pall Mall has birds.
The English man lives in the red house.
The Dane drinks tea.
In the yellow house they smoke Dunhill.
The man who smokes Blue Master drinks beer.
The German smokes Prince.
The Swede has a dog.
""".split("\n")
add_constraints(lambda a,b: a == b, and_statements)

nextto_statements = """
The man who smokes Blend lives in the house next to the house with cats.
In the house next to the house where they have a horse, they smoke Dunhill.
The Norwegian lives next to the blue house.
They drink water in the house next to the house where they smoke Blend.
""".split("\n")
#XXX: what is "next to"? (linear, circular, two sides, 2D house arrangment)
add_constraints(lambda a,b: abs(a - b) == 1, nextto_statements)

def solve(variables=variables, problem=problem):
    from itertools  import groupby
    from operator   import itemgetter

    # find & print solutions
    for solution in problem.getSolutionIter():
        for key, group in groupby(sorted(solution.iteritems(), key=itemgetter(1)), key=itemgetter(1)):
            print key, 
            for v in sorted(dict(group).keys(), key=variables.index):
                print v.ljust(9),
            print

if __name__ == '__main__':
    solve()

Çıkış:

1 yellow    Norwegian cats      water     Dunhill  
2 blue      Dane      horse     tea       Blend    
3 red       English   birds     milk      Pall Mall
4 green     German    zebra     coffee    Prince   
5 white     Swede     dog       beer      Blue Master

0.6 saniye (CPU 1.5 GHz) çözüm bulmak için zaman alır.
Cevap "Almanca zebra var."

pip): constraint module yüklemek için pip python-kısıtlama yükleyin

El ile yüklemek için:

• download:

  $ wget https://pypi.python.org/packages/source/p/python-constraint/python-constraint-1.2.tar.bz2#md5=d58de49c85992493db53fcb59b9a0a45

• ayıklamak (/Mac/Linux BSD):

  $ bzip2 -cd-kısıtlama-1.2 python.tar.bz2 | tar xvf -

• özü (, 7zip Windows):

  >7arasında e-kısıtlama-1.2 python.tar

• yükleme:

  cd python-kısıtlama-1.2. $ ^br> $ python setup.py yükleyin