Python ImprovedBacktrackingStrategy Beispiele

Beispiel #1

Datei: test_csp.py Projekt: mushketyk/aima-python

    def test_search(self):
        bs = ImprovedBacktrackingStrategy(Selection.MRV_DEG)
        map_csp = MapCSP()

        result = bs.solve(map_csp)
        self.assertEquals(MapCSP.BLUE, result.get_assignment(MapCSP.WA))
        self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.NT))
        self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.SA))
        self.assertEquals(MapCSP.BLUE, result.get_assignment(MapCSP.Q))
        self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.NSW))
        self.assertEquals(MapCSP.BLUE, result.get_assignment(MapCSP.V))
        self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.T))

Beispiel #2

    def test_search(self):
        bs = ImprovedBacktrackingStrategy(Selection.MRV_DEG)
        map_csp = MapCSP()

        result = bs.solve(map_csp)
        self.assertEquals(MapCSP.BLUE, result.get_assignment(MapCSP.WA))
        self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.NT))
        self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.SA))
        self.assertEquals(MapCSP.BLUE, result.get_assignment(MapCSP.Q))
        self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.NSW))
        self.assertEquals(MapCSP.BLUE, result.get_assignment(MapCSP.V))
        self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.T))

Beispiel #3

    def test_search_failed(self):
        var1 = Variable('var1')
        var2 = Variable('var2')
        domain = Domain(['v1'])

        bs = ImprovedBacktrackingStrategy(Selection.MRV_DEG)
        csp = CSP([var1, var2])

        csp.add_constraint(NotEqualConstraint(var1, var2))
        csp.set_domain(var1, domain)
        csp.set_domain(var2, domain)

        result = bs.solve(csp)
        self.assertEquals(None, result)

Beispiel #4

Datei: test_csp.py Projekt: mushketyk/aima-python

    def test_search_failed(self):
        var1 = Variable('var1')
        var2 = Variable('var2')
        domain = Domain(['v1'])

        bs = ImprovedBacktrackingStrategy(Selection.MRV_DEG)
        csp = CSP([var1, var2])

        csp.add_constraint(NotEqualConstraint(var1, var2))
        csp.set_domain(var1, domain)
        csp.set_domain(var2, domain)

        result = bs.solve(csp)
        self.assertEquals(None, result)

Beispiel #5

Datei: csp_least_constrained_heuristic.py Projekt: mushketyk/aima-python

from aima.core.search.csp import ImprovedBacktrackingStrategy, Selection, Inference, MapCSP

__author__ = 'Ivan Mushketik'
__docformat__ = 'restructuredtext en'


lcbs = ImprovedBacktrackingStrategy(Selection.DEFAULT_ORDER, Inference.NONE, True)

map_csp = MapCSP()
result = lcbs.solve(map_csp)
print(result)

Beispiel #6

from aima.core.search.csp import Selection, ImprovedBacktrackingStrategy, MapCSP

__author__ = 'Ivan Mushketik'
__docformat__ = 'restructuredtext en'

lcbs = ImprovedBacktrackingStrategy(Selection.MRV_DEG)

map_csp = MapCSP()
result = lcbs.solve(map_csp)
print(result)

Beispiel #7

Datei: csp_ac3.py Projekt: kamranalam27/aima-python

from aima.core.search.csp import Selection, ImprovedBacktrackingStrategy, Inference, MapCSP

__author__ = 'Ivan Mushketik'
__docformat__ = 'restructuredtext en'

lcbs = ImprovedBacktrackingStrategy(Selection.DEFAULT_ORDER, Inference.AC3)

map_csp = MapCSP()
result = lcbs.solve(map_csp)
print(result)

Beispiel #8

from aima.core.search.csp import ImprovedBacktrackingStrategy, Selection, Inference, MapCSP

__author__ = 'Ivan Mushketik'
__docformat__ = 'restructuredtext en'

lcbs = ImprovedBacktrackingStrategy(Selection.DEFAULT_ORDER,
                                    Inference.FORWARD_CHECKING)

map_csp = MapCSP()
result = lcbs.solve(map_csp)
print(result)