***************************************************************************** * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2019 The FindStatCrew * * * * This information is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. * ***************************************************************************** ----------------------------------------------------------------------------- Statistic identifier: St000051 ----------------------------------------------------------------------------- Collection: Binary trees ----------------------------------------------------------------------------- Description: The size of the left subtree of a binary tree. ----------------------------------------------------------------------------- References: ----------------------------------------------------------------------------- Code: def statistic(T): return T[0].node_number() ----------------------------------------------------------------------------- Statistic values: [.,.] => 0 [.,[.,.]] => 0 [[.,.],.] => 1 [.,[.,[.,.]]] => 0 [.,[[.,.],.]] => 0 [[.,.],[.,.]] => 1 [[.,[.,.]],.] => 2 [[[.,.],.],.] => 2 [.,[.,[.,[.,.]]]] => 0 [.,[.,[[.,.],.]]] => 0 [.,[[.,.],[.,.]]] => 0 [.,[[.,[.,.]],.]] => 0 [.,[[[.,.],.],.]] => 0 [[.,.],[.,[.,.]]] => 1 [[.,.],[[.,.],.]] => 1 [[.,[.,.]],[.,.]] => 2 [[[.,.],.],[.,.]] => 2 [[.,[.,[.,.]]],.] => 3 [[.,[[.,.],.]],.] => 3 [[[.,.],[.,.]],.] => 3 [[[.,[.,.]],.],.] => 3 [[[[.,.],.],.],.] => 3 [.,[.,[.,[.,[.,.]]]]] => 0 [.,[.,[.,[[.,.],.]]]] => 0 [.,[.,[[.,.],[.,.]]]] => 0 [.,[.,[[.,[.,.]],.]]] => 0 [.,[.,[[[.,.],.],.]]] => 0 [.,[[.,.],[.,[.,.]]]] => 0 [.,[[.,.],[[.,.],.]]] => 0 [.,[[.,[.,.]],[.,.]]] => 0 [.,[[[.,.],.],[.,.]]] => 0 [.,[[.,[.,[.,.]]],.]] => 0 [.,[[.,[[.,.],.]],.]] => 0 [.,[[[.,.],[.,.]],.]] => 0 [.,[[[.,[.,.]],.],.]] => 0 [.,[[[[.,.],.],.],.]] => 0 [[.,.],[.,[.,[.,.]]]] => 1 [[.,.],[.,[[.,.],.]]] => 1 [[.,.],[[.,.],[.,.]]] => 1 [[.,.],[[.,[.,.]],.]] => 1 [[.,.],[[[.,.],.],.]] => 1 [[.,[.,.]],[.,[.,.]]] => 2 [[.,[.,.]],[[.,.],.]] => 2 [[[.,.],.],[.,[.,.]]] => 2 [[[.,.],.],[[.,.],.]] => 2 [[.,[.,[.,.]]],[.,.]] => 3 [[.,[[.,.],.]],[.,.]] => 3 [[[.,.],[.,.]],[.,.]] => 3 [[[.,[.,.]],.],[.,.]] => 3 [[[[.,.],.],.],[.,.]] => 3 [[.,[.,[.,[.,.]]]],.] => 4 [[.,[.,[[.,.],.]]],.] => 4 [[.,[[.,.],[.,.]]],.] => 4 [[.,[[.,[.,.]],.]],.] => 4 [[.,[[[.,.],.],.]],.] => 4 [[[.,.],[.,[.,.]]],.] => 4 [[[.,.],[[.,.],.]],.] => 4 [[[.,[.,.]],[.,.]],.] => 4 [[[[.,.],.],[.,.]],.] => 4 [[[.,[.,[.,.]]],.],.] => 4 [[[.,[[.,.],.]],.],.] => 4 [[[[.,.],[.,.]],.],.] => 4 [[[[.,[.,.]],.],.],.] => 4 [[[[[.,.],.],.],.],.] => 4 [.,[.,[.,[.,[.,[.,.]]]]]] => 0 [.,[.,[.,[.,[[.,.],.]]]]] => 0 [.,[.,[.,[[.,.],[.,.]]]]] => 0 [.,[.,[.,[[.,[.,.]],.]]]] => 0 [.,[.,[.,[[[.,.],.],.]]]] => 0 [.,[.,[[.,.],[.,[.,.]]]]] => 0 [.,[.,[[.,.],[[.,.],.]]]] => 0 [.,[.,[[.,[.,.]],[.,.]]]] => 0 [.,[.,[[[.,.],.],[.,.]]]] => 0 [.,[.,[[.,[.,[.,.]]],.]]] => 0 [.,[.,[[.,[[.,.],.]],.]]] => 0 [.,[.,[[[.,.],[.,.]],.]]] => 0 [.,[.,[[[.,[.,.]],.],.]]] => 0 [.,[.,[[[[.,.],.],.],.]]] => 0 [.,[[.,.],[.,[.,[.,.]]]]] => 0 [.,[[.,.],[.,[[.,.],.]]]] => 0 [.,[[.,.],[[.,.],[.,.]]]] => 0 [.,[[.,.],[[.,[.,.]],.]]] => 0 [.,[[.,.],[[[.,.],.],.]]] => 0 [.,[[.,[.,.]],[.,[.,.]]]] => 0 [.,[[.,[.,.]],[[.,.],.]]] => 0 [.,[[[.,.],.],[.,[.,.]]]] => 0 [.,[[[.,.],.],[[.,.],.]]] => 0 [.,[[.,[.,[.,.]]],[.,.]]] => 0 [.,[[.,[[.,.],.]],[.,.]]] => 0 [.,[[[.,.],[.,.]],[.,.]]] => 0 [.,[[[.,[.,.]],.],[.,.]]] => 0 [.,[[[[.,.],.],.],[.,.]]] => 0 [.,[[.,[.,[.,[.,.]]]],.]] => 0 [.,[[.,[.,[[.,.],.]]],.]] => 0 [.,[[.,[[.,.],[.,.]]],.]] => 0 [.,[[.,[[.,[.,.]],.]],.]] => 0 [.,[[.,[[[.,.],.],.]],.]] => 0 [.,[[[.,.],[.,[.,.]]],.]] => 0 [.,[[[.,.],[[.,.],.]],.]] => 0 [.,[[[.,[.,.]],[.,.]],.]] => 0 [.,[[[[.,.],.],[.,.]],.]] => 0 [.,[[[.,[.,[.,.]]],.],.]] => 0 [.,[[[.,[[.,.],.]],.],.]] => 0 [.,[[[[.,.],[.,.]],.],.]] => 0 [.,[[[[.,[.,.]],.],.],.]] => 0 [.,[[[[[.,.],.],.],.],.]] => 0 [[.,.],[.,[.,[.,[.,.]]]]] => 1 [[.,.],[.,[.,[[.,.],.]]]] => 1 [[.,.],[.,[[.,.],[.,.]]]] => 1 [[.,.],[.,[[.,[.,.]],.]]] => 1 [[.,.],[.,[[[.,.],.],.]]] => 1 [[.,.],[[.,.],[.,[.,.]]]] => 1 [[.,.],[[.,.],[[.,.],.]]] => 1 [[.,.],[[.,[.,.]],[.,.]]] => 1 [[.,.],[[[.,.],.],[.,.]]] => 1 [[.,.],[[.,[.,[.,.]]],.]] => 1 [[.,.],[[.,[[.,.],.]],.]] => 1 [[.,.],[[[.,.],[.,.]],.]] => 1 [[.,.],[[[.,[.,.]],.],.]] => 1 [[.,.],[[[[.,.],.],.],.]] => 1 [[.,[.,.]],[.,[.,[.,.]]]] => 2 [[.,[.,.]],[.,[[.,.],.]]] => 2 [[.,[.,.]],[[.,.],[.,.]]] => 2 [[.,[.,.]],[[.,[.,.]],.]] => 2 [[.,[.,.]],[[[.,.],.],.]] => 2 [[[.,.],.],[.,[.,[.,.]]]] => 2 [[[.,.],.],[.,[[.,.],.]]] => 2 [[[.,.],.],[[.,.],[.,.]]] => 2 [[[.,.],.],[[.,[.,.]],.]] => 2 [[[.,.],.],[[[.,.],.],.]] => 2 [[.,[.,[.,.]]],[.,[.,.]]] => 3 [[.,[.,[.,.]]],[[.,.],.]] => 3 [[.,[[.,.],.]],[.,[.,.]]] => 3 [[.,[[.,.],.]],[[.,.],.]] => 3 [[[.,.],[.,.]],[.,[.,.]]] => 3 [[[.,.],[.,.]],[[.,.],.]] => 3 [[[.,[.,.]],.],[.,[.,.]]] => 3 [[[.,[.,.]],.],[[.,.],.]] => 3 [[[[.,.],.],.],[.,[.,.]]] => 3 [[[[.,.],.],.],[[.,.],.]] => 3 [[.,[.,[.,[.,.]]]],[.,.]] => 4 [[.,[.,[[.,.],.]]],[.,.]] => 4 [[.,[[.,.],[.,.]]],[.,.]] => 4 [[.,[[.,[.,.]],.]],[.,.]] => 4 [[.,[[[.,.],.],.]],[.,.]] => 4 [[[.,.],[.,[.,.]]],[.,.]] => 4 [[[.,.],[[.,.],.]],[.,.]] => 4 [[[.,[.,.]],[.,.]],[.,.]] => 4 [[[[.,.],.],[.,.]],[.,.]] => 4 [[[.,[.,[.,.]]],.],[.,.]] => 4 [[[.,[[.,.],.]],.],[.,.]] => 4 [[[[.,.],[.,.]],.],[.,.]] => 4 [[[[.,[.,.]],.],.],[.,.]] => 4 [[[[[.,.],.],.],.],[.,.]] => 4 [[.,[.,[.,[.,[.,.]]]]],.] => 5 [[.,[.,[.,[[.,.],.]]]],.] => 5 [[.,[.,[[.,.],[.,.]]]],.] => 5 [[.,[.,[[.,[.,.]],.]]],.] => 5 [[.,[.,[[[.,.],.],.]]],.] => 5 [[.,[[.,.],[.,[.,.]]]],.] => 5 [[.,[[.,.],[[.,.],.]]],.] => 5 [[.,[[.,[.,.]],[.,.]]],.] => 5 [[.,[[[.,.],.],[.,.]]],.] => 5 [[.,[[.,[.,[.,.]]],.]],.] => 5 [[.,[[.,[[.,.],.]],.]],.] => 5 [[.,[[[.,.],[.,.]],.]],.] => 5 [[.,[[[.,[.,.]],.],.]],.] => 5 [[.,[[[[.,.],.],.],.]],.] => 5 [[[.,.],[.,[.,[.,.]]]],.] => 5 [[[.,.],[.,[[.,.],.]]],.] => 5 [[[.,.],[[.,.],[.,.]]],.] => 5 [[[.,.],[[.,[.,.]],.]],.] => 5 [[[.,.],[[[.,.],.],.]],.] => 5 [[[.,[.,.]],[.,[.,.]]],.] => 5 [[[.,[.,.]],[[.,.],.]],.] => 5 [[[[.,.],.],[.,[.,.]]],.] => 5 [[[[.,.],.],[[.,.],.]],.] => 5 [[[.,[.,[.,.]]],[.,.]],.] => 5 [[[.,[[.,.],.]],[.,.]],.] => 5 [[[[.,.],[.,.]],[.,.]],.] => 5 [[[[.,[.,.]],.],[.,.]],.] => 5 [[[[[.,.],.],.],[.,.]],.] => 5 [[[.,[.,[.,[.,.]]]],.],.] => 5 [[[.,[.,[[.,.],.]]],.],.] => 5 [[[.,[[.,.],[.,.]]],.],.] => 5 [[[.,[[.,[.,.]],.]],.],.] => 5 [[[.,[[[.,.],.],.]],.],.] => 5 [[[[.,.],[.,[.,.]]],.],.] => 5 [[[[.,.],[[.,.],.]],.],.] => 5 [[[[.,[.,.]],[.,.]],.],.] => 5 [[[[[.,.],.],[.,.]],.],.] => 5 [[[[.,[.,[.,.]]],.],.],.] => 5 [[[[.,[[.,.],.]],.],.],.] => 5 [[[[[.,.],[.,.]],.],.],.] => 5 [[[[[.,[.,.]],.],.],.],.] => 5 [[[[[[.,.],.],.],.],.],.] => 5 ----------------------------------------------------------------------------- Created: Mar 25, 2013 at 11:24 by Viviane Pons ----------------------------------------------------------------------------- Last Updated: Oct 17, 2015 at 10:47 by Christian Stump