Identifier
Identifier
Values
[2] generating graphics... => 1
[1,1] generating graphics... => 1
[3] generating graphics... => 2
[2,1] generating graphics... => 0
[1,1,1] generating graphics... => 2
[4] generating graphics... => 3
[3,1] generating graphics... => 3
[2,2] generating graphics... => 2
[2,1,1] generating graphics... => 3
[1,1,1,1] generating graphics... => 3
[5] generating graphics... => 4
[4,1] generating graphics... => 2
[3,2] generating graphics... => 0
[3,1,1] generating graphics... => 0
[2,2,1] generating graphics... => 0
[2,1,1,1] generating graphics... => 2
[1,1,1,1,1] generating graphics... => 4
[6] generating graphics... => 5
[5,1] generating graphics... => 5
[4,2] generating graphics... => 4
[4,1,1] generating graphics... => 1
[3,3] generating graphics... => 4
[3,2,1] generating graphics... => 1
[3,1,1,1] generating graphics... => 1
[2,2,2] generating graphics... => 4
[2,2,1,1] generating graphics... => 4
[2,1,1,1,1] generating graphics... => 5
[1,1,1,1,1,1] generating graphics... => 5
[7] generating graphics... => 6
[6,1] generating graphics... => 4
[5,2] generating graphics... => 3
[5,1,1] generating graphics... => 6
[4,3] generating graphics... => 0
[4,2,1] generating graphics... => 5
[4,1,1,1] generating graphics... => 0
[3,3,1] generating graphics... => 3
[3,2,2] generating graphics... => 3
[3,2,1,1] generating graphics... => 5
[3,1,1,1,1] generating graphics... => 6
[2,2,2,1] generating graphics... => 0
[2,2,1,1,1] generating graphics... => 3
[2,1,1,1,1,1] generating graphics... => 4
[1,1,1,1,1,1,1] generating graphics... => 6
[8] generating graphics... => 7
[7,1] generating graphics... => 7
[6,2] generating graphics... => 6
[6,1,1] generating graphics... => 7
[5,3] generating graphics... => 6
[5,2,1] generating graphics... => 7
[5,1,1,1] generating graphics... => 7
[4,4] generating graphics... => 5
[4,3,1] generating graphics... => 4
[4,2,2] generating graphics... => 0
[4,2,1,1] generating graphics... => 1
[4,1,1,1,1] generating graphics... => 7
[3,3,2] generating graphics... => 1
[3,3,1,1] generating graphics... => 0
[3,2,2,1] generating graphics... => 4
[3,2,1,1,1] generating graphics... => 7
[3,1,1,1,1,1] generating graphics... => 7
[2,2,2,2] generating graphics... => 5
[2,2,2,1,1] generating graphics... => 6
[2,2,1,1,1,1] generating graphics... => 6
[2,1,1,1,1,1,1] generating graphics... => 7
[1,1,1,1,1,1,1,1] generating graphics... => 7
[9] generating graphics... => 8
[8,1] generating graphics... => 6
[7,2] generating graphics... => 5
[7,1,1] generating graphics... => 4
[6,3] generating graphics... => 3
[6,2,1] generating graphics... => 3
[6,1,1,1] generating graphics... => 6
[5,4] generating graphics... => 0
[5,3,1] generating graphics... => 1
[5,2,2] generating graphics... => 1
[5,2,1,1] generating graphics... => 0
[5,1,1,1,1] generating graphics... => 0
[4,4,1] generating graphics... => 6
[4,3,2] generating graphics... => 5
[4,3,1,1] generating graphics... => 2
[4,2,2,1] generating graphics... => 2
[4,2,1,1,1] generating graphics... => 0
[4,1,1,1,1,1] generating graphics... => 6
[3,3,3] generating graphics... => 5
[3,3,2,1] generating graphics... => 5
[3,3,1,1,1] generating graphics... => 1
[3,2,2,2] generating graphics... => 6
[3,2,2,1,1] generating graphics... => 1
[3,2,1,1,1,1] generating graphics... => 3
[3,1,1,1,1,1,1] generating graphics... => 4
[2,2,2,2,1] generating graphics... => 0
[2,2,2,1,1,1] generating graphics... => 3
[2,2,1,1,1,1,1] generating graphics... => 5
[2,1,1,1,1,1,1,1] generating graphics... => 6
[1,1,1,1,1,1,1,1,1] generating graphics... => 8
[10] generating graphics... => 9
[9,1] generating graphics... => 9
[8,2] generating graphics... => 8
[8,1,1] generating graphics... => 5
[7,3] generating graphics... => 8
[7,2,1] generating graphics... => 8
[7,1,1,1] generating graphics... => 5
[6,4] generating graphics... => 7
[6,3,1] generating graphics... => 6
[6,2,2] generating graphics... => 8
[6,2,1,1] generating graphics... => 2
[6,1,1,1,1] generating graphics... => 1
[5,5] generating graphics... => 7
[5,4,1] generating graphics... => 5
[5,3,2] generating graphics... => 0
[5,3,1,1] generating graphics... => 5
[5,2,2,1] generating graphics... => 5
[5,2,1,1,1] generating graphics... => 1
[5,1,1,1,1,1] generating graphics... => 1
[4,4,2] generating graphics... => 7
[4,4,1,1] generating graphics... => 7
[4,3,3] generating graphics... => 6
[4,3,2,1] generating graphics... => 1
[4,3,1,1,1] generating graphics... => 5
[4,2,2,2] generating graphics... => 7
[4,2,2,1,1] generating graphics... => 5
[4,2,1,1,1,1] generating graphics... => 2
[4,1,1,1,1,1,1] generating graphics... => 5
[3,3,3,1] generating graphics... => 6
[3,3,2,2] generating graphics... => 7
[3,3,2,1,1] generating graphics... => 0
[3,3,1,1,1,1] generating graphics... => 8
[3,2,2,2,1] generating graphics... => 5
[3,2,2,1,1,1] generating graphics... => 6
[3,2,1,1,1,1,1] generating graphics... => 8
[3,1,1,1,1,1,1,1] generating graphics... => 5
[2,2,2,2,2] generating graphics... => 7
[2,2,2,2,1,1] generating graphics... => 7
[2,2,2,1,1,1,1] generating graphics... => 8
[2,2,1,1,1,1,1,1] generating graphics... => 8
[2,1,1,1,1,1,1,1,1] generating graphics... => 9
[1,1,1,1,1,1,1,1,1,1] generating graphics... => 9
[11] generating graphics... => 10
[10,1] generating graphics... => 8
[9,2] generating graphics... => 7
[9,1,1] generating graphics... => 10
[8,3] generating graphics... => 5
[8,2,1] generating graphics... => 4
[8,1,1,1] generating graphics... => 4
[7,4] generating graphics... => 3
[7,3,1] generating graphics... => 5
[7,2,2] generating graphics... => 7
[7,2,1,1] generating graphics... => 7
[7,1,1,1,1] generating graphics... => 2
[6,5] generating graphics... => 0
[6,4,1] generating graphics... => 1
[6,3,2] generating graphics... => 9
[6,3,1,1] generating graphics... => 1
[6,2,2,1] generating graphics... => 1
[6,2,1,1,1] generating graphics... => 8
[6,1,1,1,1,1] generating graphics... => 0
[5,5,1] generating graphics... => 8
[5,4,2] generating graphics... => 3
[5,4,1,1] generating graphics... => 1
[5,3,3] generating graphics... => 3
[5,3,2,1] generating graphics... => 2
[5,3,1,1,1] generating graphics... => 2
[5,2,2,2] generating graphics... => 2
[5,2,2,1,1] generating graphics... => 2
[5,2,1,1,1,1] generating graphics... => 8
[5,1,1,1,1,1,1] generating graphics... => 2
[4,4,3] generating graphics... => 8
[4,4,2,1] generating graphics... => 4
[4,4,1,1,1] generating graphics... => 2
[4,3,3,1] generating graphics... => 4
[4,3,2,2] generating graphics... => 4
[4,3,2,1,1] generating graphics... => 2
[4,3,1,1,1,1] generating graphics... => 1
[4,2,2,2,1] generating graphics... => 1
[4,2,2,1,1,1] generating graphics... => 1
[4,2,1,1,1,1,1] generating graphics... => 7
[4,1,1,1,1,1,1,1] generating graphics... => 4
[3,3,3,2] generating graphics... => 8
[3,3,3,1,1] generating graphics... => 3
[3,3,2,2,1] generating graphics... => 3
[3,3,2,1,1,1] generating graphics... => 9
[3,3,1,1,1,1,1] generating graphics... => 7
[3,2,2,2,2] generating graphics... => 8
[3,2,2,2,1,1] generating graphics... => 1
[3,2,2,1,1,1,1] generating graphics... => 5
[3,2,1,1,1,1,1,1] generating graphics... => 4
[3,1,1,1,1,1,1,1,1] generating graphics... => 10
[2,2,2,2,2,1] generating graphics... => 0
[2,2,2,2,1,1,1] generating graphics... => 3
[2,2,2,1,1,1,1,1] generating graphics... => 5
[2,2,1,1,1,1,1,1,1] generating graphics... => 7
[2,1,1,1,1,1,1,1,1,1] generating graphics... => 8
[1,1,1,1,1,1,1,1,1,1,1] generating graphics... => 10
[12] generating graphics... => 11
[11,1] generating graphics... => 11
[10,2] generating graphics... => 10
[10,1,1] generating graphics... => 11
[9,3] generating graphics... => 10
[9,2,1] generating graphics... => 6
[9,1,1,1] generating graphics... => 11
[8,4] generating graphics... => 9
[8,3,1] generating graphics... => 8
[8,2,2] generating graphics... => 6
[8,2,1,1] generating graphics... => 6
[8,1,1,1,1] generating graphics... => 3
[7,5] generating graphics... => 9
[7,4,1] generating graphics... => 7
[7,3,2] generating graphics... => 3
[7,3,1,1] generating graphics... => 9
[7,2,2,1] generating graphics... => 8
[7,2,1,1,1] generating graphics... => 9
[7,1,1,1,1,1] generating graphics... => 3
[6,6] generating graphics... => 8
[6,5,1] generating graphics... => 4
[6,4,2] generating graphics... => 0
[6,4,1,1] generating graphics... => 8
[6,3,3] generating graphics... => 0
[6,3,2,1] generating graphics... => 4
[6,3,1,1,1] generating graphics... => 0
[6,2,2,2] generating graphics... => 0
[6,2,2,1,1] generating graphics... => 0
[6,2,1,1,1,1] generating graphics... => 1
[6,1,1,1,1,1,1] generating graphics... => 3
[5,5,2] generating graphics... => 5
[5,5,1,1] generating graphics... => 2
[5,4,3] generating graphics... => 7
[5,4,2,1] generating graphics... => 6
[5,4,1,1,1] generating graphics... => 6
[5,3,3,1] generating graphics... => 1
[5,3,2,2] generating graphics... => 1
[5,3,2,1,1] generating graphics... => 1
[5,3,1,1,1,1] generating graphics... => 0
[5,2,2,2,1] generating graphics... => 6
[5,2,2,1,1,1] generating graphics... => 0
[5,2,1,1,1,1,1] generating graphics... => 9
[5,1,1,1,1,1,1,1] generating graphics... => 3
[4,4,4] generating graphics... => 9
[4,4,3,1] generating graphics... => 1
[4,4,2,2] generating graphics... => 1
[4,4,2,1,1] generating graphics... => 1
[4,4,1,1,1,1] generating graphics... => 0
[4,3,3,2] generating graphics... => 1
[4,3,3,1,1] generating graphics... => 1
[4,3,2,2,1] generating graphics... => 6
[4,3,2,1,1,1] generating graphics... => 4
[4,3,1,1,1,1,1] generating graphics... => 8
[4,2,2,2,2] generating graphics... => 2
[4,2,2,2,1,1] generating graphics... => 8
[4,2,2,1,1,1,1] generating graphics... => 9
[4,2,1,1,1,1,1,1] generating graphics... => 6
[4,1,1,1,1,1,1,1,1] generating graphics... => 11
[3,3,3,3] generating graphics... => 9
[3,3,3,2,1] generating graphics... => 7
[3,3,3,1,1,1] generating graphics... => 0
[3,3,2,2,2] generating graphics... => 5
[3,3,2,2,1,1] generating graphics... => 0
[3,3,2,1,1,1,1] generating graphics... => 3
[3,3,1,1,1,1,1,1] generating graphics... => 6
[3,2,2,2,2,1] generating graphics... => 4
[3,2,2,2,1,1,1] generating graphics... => 7
[3,2,2,1,1,1,1,1] generating graphics... => 8
[3,2,1,1,1,1,1,1,1] generating graphics... => 6
[3,1,1,1,1,1,1,1,1,1] generating graphics... => 11
[2,2,2,2,2,2] generating graphics... => 8
[2,2,2,2,2,1,1] generating graphics... => 9
[2,2,2,2,1,1,1,1] generating graphics... => 9
[2,2,2,1,1,1,1,1,1] generating graphics... => 10
[2,2,1,1,1,1,1,1,1,1] generating graphics... => 10
[2,1,1,1,1,1,1,1,1,1,1] generating graphics... => 11
[1,1,1,1,1,1,1,1,1,1,1,1] generating graphics... => 11
click to show generating function       
Description
The Grundy value of Chomp on Ferrers diagrams.
Players take turns and choose a cell of the diagram, cutting off all cells below and to the right of this cell in English notation. The player who is left with the single cell partition looses. The traditional version is played on chocolate bars, see [1].
This statistic is the Grundy value of the partition, that is, the smallest non-negative integer which does not occur as value of a partition obtained by a single move.
References
Code
@cached_function
def statistic(pi):
    """Return the Grundy value of the Ferrers diagram pi for Chomp.

    sage: statistic(Partition([1]))
    0

    sage: statistic(Partition([1,1]))
    1

    sage: statistic(Partition([2,1]))
    0
    """
    def children(la):
        for row, col in la.cells():
            if (row,col)  != (0,0):
                yield Partition(la[:row] + [min(r, col) for r in la[row:]])

    pi = Partition(pi)
    if pi.size() == 0:
        return
    elif pi.size() == 1:
        return 0
    else:
        l = [statistic(la) for la in children(pi)]
        i = 0
        while i in l:
            i += 1
        return i
Created
Jan 05, 2017 at 20:33 by Martin Rubey
Updated
Jan 05, 2017 at 20:33 by Martin Rubey