Identifier
Mp00093:
Dyck paths
—to binary word⟶
Binary words
Mp00105: Binary words —complement⟶ Binary words
Mp00268: Binary words —zeros to flag zeros⟶ Binary words
Mp00158: Binary words —alternating inverse⟶ Binary words
Mp00105: Binary words —complement⟶ Binary words
Mp00268: Binary words —zeros to flag zeros⟶ Binary words
Mp00158: Binary words —alternating inverse⟶ Binary words
Images
[1,0] => 10 => 01 => 00 => 01
[1,0,1,0] => 1010 => 0101 => 1100 => 1001
[1,1,0,0] => 1100 => 0011 => 1110 => 1011
[1,0,1,0,1,0] => 101010 => 010101 => 001100 => 011001
[1,0,1,1,0,0] => 101100 => 010011 => 000100 => 010001
[1,1,0,0,1,0] => 110010 => 001101 => 001110 => 011011
[1,1,0,1,0,0] => 110100 => 001011 => 000110 => 010011
[1,1,1,0,0,0] => 111000 => 000111 => 000010 => 010111
[1,0,1,0,1,0,1,0] => 10101010 => 01010101 => 11001100 => 10011001
[1,0,1,0,1,1,0,0] => 10101100 => 01010011 => 11101100 => 10111001
[1,0,1,1,0,0,1,0] => 10110010 => 01001101 => 11000100 => 10010001
[1,0,1,1,0,1,0,0] => 10110100 => 01001011 => 11100100 => 10110001
[1,0,1,1,1,0,0,0] => 10111000 => 01000111 => 11110100 => 10100001
[1,1,0,0,1,0,1,0] => 11001010 => 00110101 => 11001110 => 10011011
[1,1,0,0,1,1,0,0] => 11001100 => 00110011 => 11101110 => 10111011
[1,1,0,1,0,0,1,0] => 11010010 => 00101101 => 11000110 => 10010011
[1,1,0,1,0,1,0,0] => 11010100 => 00101011 => 11100110 => 10110011
[1,1,0,1,1,0,0,0] => 11011000 => 00100111 => 11110110 => 10100011
[1,1,1,0,0,0,1,0] => 11100010 => 00011101 => 11000010 => 10010111
[1,1,1,0,0,1,0,0] => 11100100 => 00011011 => 11100010 => 10110111
[1,1,1,0,1,0,0,0] => 11101000 => 00010111 => 11110010 => 10100111
[1,1,1,1,0,0,0,0] => 11110000 => 00001111 => 11111010 => 10101111
[1,0,1,0,1,0,1,0,1,0] => 1010101010 => 0101010101 => 0011001100 => 0110011001
[1,0,1,0,1,0,1,1,0,0] => 1010101100 => 0101010011 => 0001001100 => 0100011001
[1,0,1,0,1,1,0,0,1,0] => 1010110010 => 0101001101 => 0011101100 => 0110111001
[1,0,1,0,1,1,0,1,0,0] => 1010110100 => 0101001011 => 0001101100 => 0100111001
[1,0,1,0,1,1,1,0,0,0] => 1010111000 => 0101000111 => 0000101100 => 0101111001
[1,0,1,1,0,0,1,0,1,0] => 1011001010 => 0100110101 => 0011000100 => 0110010001
[1,0,1,1,0,0,1,1,0,0] => 1011001100 => 0100110011 => 0001000100 => 0100010001
[1,0,1,1,0,1,0,0,1,0] => 1011010010 => 0100101101 => 0011100100 => 0110110001
[1,0,1,1,0,1,0,1,0,0] => 1011010100 => 0100101011 => 0001100100 => 0100110001
[1,0,1,1,0,1,1,0,0,0] => 1011011000 => 0100100111 => 0000100100 => 0101110001
[1,0,1,1,1,0,0,0,1,0] => 1011100010 => 0100011101 => 0011110100 => 0110100001
[1,0,1,1,1,0,0,1,0,0] => 1011100100 => 0100011011 => 0001110100 => 0100100001
[1,0,1,1,1,0,1,0,0,0] => 1011101000 => 0100010111 => 0000110100 => 0101100001
[1,0,1,1,1,1,0,0,0,0] => 1011110000 => 0100001111 => 0000010100 => 0101000001
[1,1,0,0,1,0,1,0,1,0] => 1100101010 => 0011010101 => 0011001110 => 0110011011
[1,1,0,0,1,0,1,1,0,0] => 1100101100 => 0011010011 => 0001001110 => 0100011011
[1,1,0,0,1,1,0,0,1,0] => 1100110010 => 0011001101 => 0011101110 => 0110111011
[1,1,0,0,1,1,0,1,0,0] => 1100110100 => 0011001011 => 0001101110 => 0100111011
[1,1,0,0,1,1,1,0,0,0] => 1100111000 => 0011000111 => 0000101110 => 0101111011
[1,1,0,1,0,0,1,0,1,0] => 1101001010 => 0010110101 => 0011000110 => 0110010011
[1,1,0,1,0,0,1,1,0,0] => 1101001100 => 0010110011 => 0001000110 => 0100010011
[1,1,0,1,0,1,0,0,1,0] => 1101010010 => 0010101101 => 0011100110 => 0110110011
[1,1,0,1,0,1,0,1,0,0] => 1101010100 => 0010101011 => 0001100110 => 0100110011
[1,1,0,1,0,1,1,0,0,0] => 1101011000 => 0010100111 => 0000100110 => 0101110011
[1,1,0,1,1,0,0,0,1,0] => 1101100010 => 0010011101 => 0011110110 => 0110100011
[1,1,0,1,1,0,0,1,0,0] => 1101100100 => 0010011011 => 0001110110 => 0100100011
[1,1,0,1,1,0,1,0,0,0] => 1101101000 => 0010010111 => 0000110110 => 0101100011
[1,1,0,1,1,1,0,0,0,0] => 1101110000 => 0010001111 => 0000010110 => 0101000011
[1,1,1,0,0,0,1,0,1,0] => 1110001010 => 0001110101 => 0011000010 => 0110010111
[1,1,1,0,0,0,1,1,0,0] => 1110001100 => 0001110011 => 0001000010 => 0100010111
[1,1,1,0,0,1,0,0,1,0] => 1110010010 => 0001101101 => 0011100010 => 0110110111
[1,1,1,0,0,1,0,1,0,0] => 1110010100 => 0001101011 => 0001100010 => 0100110111
[1,1,1,0,0,1,1,0,0,0] => 1110011000 => 0001100111 => 0000100010 => 0101110111
[1,1,1,0,1,0,0,0,1,0] => 1110100010 => 0001011101 => 0011110010 => 0110100111
[1,1,1,0,1,0,0,1,0,0] => 1110100100 => 0001011011 => 0001110010 => 0100100111
[1,1,1,0,1,0,1,0,0,0] => 1110101000 => 0001010111 => 0000110010 => 0101100111
[1,1,1,0,1,1,0,0,0,0] => 1110110000 => 0001001111 => 0000010010 => 0101000111
[1,1,1,1,0,0,0,0,1,0] => 1111000010 => 0000111101 => 0011111010 => 0110101111
[1,1,1,1,0,0,0,1,0,0] => 1111000100 => 0000111011 => 0001111010 => 0100101111
[1,1,1,1,0,0,1,0,0,0] => 1111001000 => 0000110111 => 0000111010 => 0101101111
[1,1,1,1,0,1,0,0,0,0] => 1111010000 => 0000101111 => 0000011010 => 0101001111
[1,1,1,1,1,0,0,0,0,0] => 1111100000 => 0000011111 => 0000001010 => 0101011111
[1,0,1,0,1,0,1,0,1,0,1,0] => 101010101010 => 010101010101 => 110011001100 => 100110011001
[1,0,1,0,1,0,1,0,1,1,0,0] => 101010101100 => 010101010011 => 111011001100 => 101110011001
[1,0,1,0,1,0,1,1,0,0,1,0] => 101010110010 => 010101001101 => 110001001100 => 100100011001
[1,0,1,0,1,0,1,1,0,1,0,0] => 101010110100 => 010101001011 => 111001001100 => 101100011001
[1,0,1,0,1,0,1,1,1,0,0,0] => 101010111000 => 010101000111 => 111101001100 => 101000011001
[1,0,1,0,1,1,0,0,1,0,1,0] => 101011001010 => 010100110101 => 110011101100 => 100110111001
[1,0,1,0,1,1,0,0,1,1,0,0] => 101011001100 => 010100110011 => 111011101100 => 101110111001
[1,0,1,0,1,1,0,1,0,0,1,0] => 101011010010 => 010100101101 => 110001101100 => 100100111001
[1,0,1,0,1,1,0,1,0,1,0,0] => 101011010100 => 010100101011 => 111001101100 => 101100111001
[1,0,1,0,1,1,0,1,1,0,0,0] => 101011011000 => 010100100111 => 111101101100 => 101000111001
[1,0,1,0,1,1,1,0,0,0,1,0] => 101011100010 => 010100011101 => 110000101100 => 100101111001
[1,0,1,0,1,1,1,0,0,1,0,0] => 101011100100 => 010100011011 => 111000101100 => 101101111001
[1,0,1,0,1,1,1,0,1,0,0,0] => 101011101000 => 010100010111 => 111100101100 => 101001111001
[1,0,1,0,1,1,1,1,0,0,0,0] => 101011110000 => 010100001111 => 111110101100 => 101011111001
[1,0,1,1,0,0,1,0,1,0,1,0] => 101100101010 => 010011010101 => 110011000100 => 100110010001
[1,0,1,1,0,0,1,0,1,1,0,0] => 101100101100 => 010011010011 => 111011000100 => 101110010001
[1,0,1,1,0,0,1,1,0,0,1,0] => 101100110010 => 010011001101 => 110001000100 => 100100010001
[1,0,1,1,0,0,1,1,0,1,0,0] => 101100110100 => 010011001011 => 111001000100 => 101100010001
[1,0,1,1,0,0,1,1,1,0,0,0] => 101100111000 => 010011000111 => 111101000100 => 101000010001
[1,0,1,1,0,1,0,0,1,0,1,0] => 101101001010 => 010010110101 => 110011100100 => 100110110001
[1,0,1,1,0,1,0,0,1,1,0,0] => 101101001100 => 010010110011 => 111011100100 => 101110110001
[1,0,1,1,0,1,0,1,0,0,1,0] => 101101010010 => 010010101101 => 110001100100 => 100100110001
[1,0,1,1,0,1,0,1,0,1,0,0] => 101101010100 => 010010101011 => 111001100100 => 101100110001
[1,0,1,1,0,1,0,1,1,0,0,0] => 101101011000 => 010010100111 => 111101100100 => 101000110001
[1,0,1,1,0,1,1,0,0,0,1,0] => 101101100010 => 010010011101 => 110000100100 => 100101110001
[1,0,1,1,0,1,1,0,0,1,0,0] => 101101100100 => 010010011011 => 111000100100 => 101101110001
[1,0,1,1,0,1,1,0,1,0,0,0] => 101101101000 => 010010010111 => 111100100100 => 101001110001
[1,0,1,1,0,1,1,1,0,0,0,0] => 101101110000 => 010010001111 => 111110100100 => 101011110001
[1,0,1,1,1,0,0,0,1,0,1,0] => 101110001010 => 010001110101 => 110011110100 => 100110100001
[1,0,1,1,1,0,0,0,1,1,0,0] => 101110001100 => 010001110011 => 111011110100 => 101110100001
[1,0,1,1,1,0,0,1,0,0,1,0] => 101110010010 => 010001101101 => 110001110100 => 100100100001
[1,0,1,1,1,0,0,1,0,1,0,0] => 101110010100 => 010001101011 => 111001110100 => 101100100001
[1,0,1,1,1,0,0,1,1,0,0,0] => 101110011000 => 010001100111 => 111101110100 => 101000100001
[1,0,1,1,1,0,1,0,0,0,1,0] => 101110100010 => 010001011101 => 110000110100 => 100101100001
[1,0,1,1,1,0,1,0,0,1,0,0] => 101110100100 => 010001011011 => 111000110100 => 101101100001
[1,0,1,1,1,0,1,0,1,0,0,0] => 101110101000 => 010001010111 => 111100110100 => 101001100001
[1,0,1,1,1,0,1,1,0,0,0,0] => 101110110000 => 010001001111 => 111110110100 => 101011100001
>>> Load all 197 entries. <<<Map
to binary word
Description
Return the Dyck word as binary word.
Map
complement
Description
Send a binary word to the word obtained by interchanging the two letters.
Map
zeros to flag zeros
Description
Return a binary word of the same length, such that the number of occurrences of 10 in the word obtained by prepending the reverse of the complement equals the number of 0s in the original word.
For example, the image of the word w=1…1 is 1…1, because w has no zeros, and 1…1 is the only word such that prepending the reverse of its complement has no occurrence of the factor 10.
On the other hand, 0…0 must be mapped to 10…10 if the length is even, and 010…10 if it is odd.
For example, the image of the word w=1…1 is 1…1, because w has no zeros, and 1…1 is the only word such that prepending the reverse of its complement has no occurrence of the factor 10.
On the other hand, 0…0 must be mapped to 10…10 if the length is even, and 010…10 if it is odd.
Map
alternating inverse
Description
Sends a binary word w1⋯wm to the binary word v1⋯vm with vi=wi if i is odd and vi=1−wi if i is even.
This map is used in [1], see Definitions 3.2 and 5.1.
This map is used in [1], see Definitions 3.2 and 5.1.
searching the database
Sorry, this map was not found in the database.