from graphillion import GraphSet import graphillion.tutorial as tl n = 8 universe = tl.grid(n, n) GraphSet.set_universe(universe) tl.draw(universe) start = 1 goal = (n + 1)**2 paths = GraphSet.paths(start, goal) print(len(paths))
from graphillion import GraphSet import graphillion.tutorial as tl universe = tl.grid(2, 2) GraphSet.set_universe(universe) lines = GraphSet({'include': [(8, 9), (5, 8), (4, 5)], 'exclude': [(6, 9)]}) trees = GraphSet.trees(is_spanning=True) common = trees & lines for path in common: tl.draw(path)
import graphillion.tutorial as t1 universe = t1.grid(2,2) GraphSet.set_universe(universe) print universe t1.draw(universe)
# -*- coding: utf-8 -*- from graphillion import GraphSet import graphillion.tutorial as tl n=15 m=9 nm = n+m goal = (n+1)*(m+1) universe=tl.grid(n,m) GraphSet.set_universe(universe) #Gt=GraphSet.paths(1,goal) #Gs=Gt.graph_size(nm) Guniv = GraphSet({}) Gss = Guniv.graph_size(nm) Gs = Gss.paths(1,goal) #len(Gs) len(Gs) for g in Gs.rand_iter(): tl.draw(g) break