Effective Web Graph Representations
Pisa, 29/10/2018
1
Giulio Ermanno Pibiri
University of Pisa and ISTI-CNR Pisa, Italy giulio.pibiri@di.unipi.it
Effective Web Graph Representations Giulio Ermanno Pibiri - - PowerPoint PPT Presentation
Effective Web Graph Representations Giulio Ermanno Pibiri University of Pisa and ISTI-CNR Pisa, Italy giulio.pibiri@di.unipi.it Pisa, 29/10/2018 1 Context - Web Graphs Web graphs are directed graphs of pages pointing to other pages on the
Pisa, 29/10/2018
1
University of Pisa and ISTI-CNR Pisa, Italy giulio.pibiri@di.unipi.it
2
We focus on compression effectiveness
Web graphs are directed graphs of pages pointing to other pages on the Web.
1: 2,3 2: - 3: 4 4: 7 5: 1,4,6,7 6: 7 7: -
3
1 1 1 1 1 1 1 1 1
1 6 7 3 2 5 4
1: 2,3 2: - 3: 4 4: 7 5: 1,4,6,7 6: 7 7: -
3
1 1 1 1 1 1 1 1 1
1 6 7 3 2 5 4
Many results are known for compressing integer sequences.
4
4
5
The WebGraph Framework I: Compression Techniques, Boldi-Vigna, WWW 2004
Java/C++ framework consisting in algorithms and compression codes for managing large Web Graphs. http://webgraph.di.unimi.it/
5
The WebGraph Framework I: Compression Techniques, Boldi-Vigna, WWW 2004
Java/C++ framework consisting in algorithms and compression codes for managing large Web Graphs. http://webgraph.di.unimi.it/
5
The WebGraph Framework I: Compression Techniques, Boldi-Vigna, WWW 2004
Java/C++ framework consisting in algorithms and compression codes for managing large Web Graphs. http://webgraph.di.unimi.it/
Use d-gap compression.
5
The WebGraph Framework I: Compression Techniques, Boldi-Vigna, WWW 2004
Java/C++ framework consisting in algorithms and compression codes for managing large Web Graphs. http://webgraph.di.unimi.it/
Use d-gap compression.
5
The WebGraph Framework I: Compression Techniques, Boldi-Vigna, WWW 2004
Java/C++ framework consisting in algorithms and compression codes for managing large Web Graphs. http://webgraph.di.unimi.it/
Use d-gap compression. Use reference compression.
Adjacency lists d-gapped adjacency lists If we have: x: [y1,…,yk], then we represent [y1 - x, y2 - y1 - 1, y3 -y2 -1,…,yk - yk-1 -1]
First gap d=y1 - x is represented as 2d if d ≥ 0 or 2|d|-1 if d < 0
6
7
Idea: use reference compression, i.e., represent a list with respect to another one called its reference list.
1 2 3 4 Copy lists Adjacency lists
8
Copy lists Copy blocks
8
Copy lists Copy blocks Intervals An interval is a run, of size ≥ L, of consecutive integers. Example for L = 2.
9
Reference List
W
List
W - window size R - maximum reference chain
10
.uk 18.5 million pages 300 million links WebBase 118 million pages 1 billion links
10
.uk 18.5 million pages 300 million links WebBase 118 million pages 1 billion links
Compression rates down to approximately 3 bits per link.
10
.uk 18.5 million pages 300 million links WebBase 118 million pages 1 billion links
Compression rates down to approximately 3 bits per link.
1 1 1 1 1 1 1
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 01
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 01
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
Access
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
1 Access
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
1 Access
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
1
1 Access
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
1
1
Access
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
1
1
1
Access
Credits to A. Gómez-Brandón
1 1 1 1 1 1 1
1 0 0 1
1 0 0 0
1 0 1 0
11
k2-trees for Compact Web Graph Representation, Brisaboa-Ladra-Navarro, SPIRE 2009
k2-ary tree representation of the adjacency matrix. k = 2 1
1
1 00 0111 0100 01 00 10 01 00
1
1
1 rank1 x k2 on T in O(1)
Access
Credits to A. Gómez-Brandón
12
12
12
k2−1 + mk2 logk2 n2 m
<latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit>m + O(1)
k2 Õblogk2 mc1
i=0
k2i + mk2(dlogk2 ne blogk2 mc)
<latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit>12
k2−1 + mk2 logk2 n2 m
<latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit>m + O(1)
k2 Õblogk2 mc1
i=0
k2i + mk2(dlogk2 ne blogk2 mc)
<latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit>m
m + O(m)
<latexit sha1_base64="qtM+GcnR9beauqclPCs41pO2F1k=">ACpHicbVFdaxNBFJ1s/ajxK7WPvgymSkUJu0GwCIWiLz4IVm3aQnYbZid3k6HzsZ252zYd8l/8Nb7q/G2W0Qk3ph4HDOuTP3nslLKRzG8e9WtHbr9p276/fa9x8fPS4s/Hk0JnKchwI409zpkDKTQMUKCE49ICU7mEo/z0Q60fnYN1wugDnJWQKTbRohCcYaBGnXdbqTQT6vVJn6Z8aowDquY0ZWVpzSVtJHTwjJe+Y+iK/o5231cmvU6ca9uCl6EyQL0CWL2h9tL6mY8MrBRq5ZM4Nk7jEzDOLgkuYt9PKQcn4KZvAMEDNFLjMN0vO6fPAjGlhbDgacP+2+GZcm6m8uBUDKduVavJ/2nDCoudzAtdVgiaXz9UVJKioXVidCwscJSzABi3IsxK+ZSFQDkunQT4m7BpIPXTWOyi7aCzEuRQ9hQryx4zuxZlfkr8WaZ/2vPvIYLvGzmXnIcJmvM6inbYdfSFYzvwkO+70k7iVf+t294v/WCdPyTOyTRLyluyRj2SfDAgn38kP8pP8il5En6Jv0eDaGrUWPZtkqaKTP5gF0gc=</latexit><latexit sha1_base64="qtM+GcnR9beauqclPCs41pO2F1k=">ACpHicbVFdaxNBFJ1s/ajxK7WPvgymSkUJu0GwCIWiLz4IVm3aQnYbZid3k6HzsZ252zYd8l/8Nb7q/G2W0Qk3ph4HDOuTP3nslLKRzG8e9WtHbr9p276/fa9x8fPS4s/Hk0JnKchwI409zpkDKTQMUKCE49ICU7mEo/z0Q60fnYN1wugDnJWQKTbRohCcYaBGnXdbqTQT6vVJn6Z8aowDquY0ZWVpzSVtJHTwjJe+Y+iK/o5231cmvU6ca9uCl6EyQL0CWL2h9tL6mY8MrBRq5ZM4Nk7jEzDOLgkuYt9PKQcn4KZvAMEDNFLjMN0vO6fPAjGlhbDgacP+2+GZcm6m8uBUDKduVavJ/2nDCoudzAtdVgiaXz9UVJKioXVidCwscJSzABi3IsxK+ZSFQDkunQT4m7BpIPXTWOyi7aCzEuRQ9hQryx4zuxZlfkr8WaZ/2vPvIYLvGzmXnIcJmvM6inbYdfSFYzvwkO+70k7iVf+t294v/WCdPyTOyTRLyluyRj2SfDAgn38kP8pP8il5En6Jv0eDaGrUWPZtkqaKTP5gF0gc=</latexit><latexit sha1_base64="qtM+GcnR9beauqclPCs41pO2F1k=">ACpHicbVFdaxNBFJ1s/ajxK7WPvgymSkUJu0GwCIWiLz4IVm3aQnYbZid3k6HzsZ252zYd8l/8Nb7q/G2W0Qk3ph4HDOuTP3nslLKRzG8e9WtHbr9p276/fa9x8fPS4s/Hk0JnKchwI409zpkDKTQMUKCE49ICU7mEo/z0Q60fnYN1wugDnJWQKTbRohCcYaBGnXdbqTQT6vVJn6Z8aowDquY0ZWVpzSVtJHTwjJe+Y+iK/o5231cmvU6ca9uCl6EyQL0CWL2h9tL6mY8MrBRq5ZM4Nk7jEzDOLgkuYt9PKQcn4KZvAMEDNFLjMN0vO6fPAjGlhbDgacP+2+GZcm6m8uBUDKduVavJ/2nDCoudzAtdVgiaXz9UVJKioXVidCwscJSzABi3IsxK+ZSFQDkunQT4m7BpIPXTWOyi7aCzEuRQ9hQryx4zuxZlfkr8WaZ/2vPvIYLvGzmXnIcJmvM6inbYdfSFYzvwkO+70k7iVf+t294v/WCdPyTOyTRLyluyRj2SfDAgn38kP8pP8il5En6Jv0eDaGrUWPZtkqaKTP5gF0gc=</latexit><latexit sha1_base64="qtM+GcnR9beauqclPCs41pO2F1k=">ACpHicbVFdaxNBFJ1s/ajxK7WPvgymSkUJu0GwCIWiLz4IVm3aQnYbZid3k6HzsZ252zYd8l/8Nb7q/G2W0Qk3ph4HDOuTP3nslLKRzG8e9WtHbr9p276/fa9x8fPS4s/Hk0JnKchwI409zpkDKTQMUKCE49ICU7mEo/z0Q60fnYN1wugDnJWQKTbRohCcYaBGnXdbqTQT6vVJn6Z8aowDquY0ZWVpzSVtJHTwjJe+Y+iK/o5231cmvU6ca9uCl6EyQL0CWL2h9tL6mY8MrBRq5ZM4Nk7jEzDOLgkuYt9PKQcn4KZvAMEDNFLjMN0vO6fPAjGlhbDgacP+2+GZcm6m8uBUDKduVavJ/2nDCoudzAtdVgiaXz9UVJKioXVidCwscJSzABi3IsxK+ZSFQDkunQT4m7BpIPXTWOyi7aCzEuRQ9hQryx4zuxZlfkr8WaZ/2vPvIYLvGzmXnIcJmvM6inbYdfSFYzvwkO+70k7iVf+t294v/WCdPyTOyTRLyluyRj2SfDAgn38kP8pP8il5En6Jv0eDaGrUWPZtkqaKTP5gF0gc=</latexit>12
k2−1 + mk2 logk2 n2 m
<latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit><latexit sha1_base64="IaMT6pNFtZSw6pMZqG5LsTnJFM=">ACo3icbVFNbxMxEHWj5bwlcKRi0VaCQmI1hES9BCpgsSl1IlbaVkibzObGrF9m7t2Zg7W/h13CFM/8G7yZCJGUky89v3tgz2mhpM4/t2Kbt2+c3dn917/oOHjx539p6cury0AkYiV7k9T7kDJQ2MUKC8IC16mCs3Txoc6fXYF1MjdDXBaQaD43MpOCY6CmncN9OqCL306ySwXr9mlQ/HsNGXVDcJlc+nNVetJCYgr6v9acb9+Im6E3A1qBL1nE83WudTGa5KDUYFIo7N2ZxgYnFqVQULUnpYOCiwWfwzhAwzW4xDczVvQgMDOa5TYsg7Rh/63wXDu31GlQao4XbjtXk/LjUvM3iVemqJEMGL1UFYqijmtDaMzaUGgWgbAhZWhVyoueHACg60bNyEOMq4cvGoK2QBtCYlXMoUwodka8IrbyzLx3+SbTf6vPEGrvFr0/eGYsgSX3tQd9sOv8C2Pb8JTvs9FvfY53736P36P3bJM/KcvCMvCVH5CM5JiMiyHfyg/wkv6KD6FN0Eg1X0qi1rnlKNiJK/gC8M9FN</latexit>m + O(1)
k2 Õblogk2 mc1
i=0
k2i + mk2(dlogk2 ne blogk2 mc)
<latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit><latexit sha1_base64="zquE5A6lB8UBOe/kQIeymHphjGU=">AC5nicfVHLbhMxFPUMrxAeTcqSjUWKVASNZiIk2ESqYMOyoKatlJlEHudOYsWPwfYUgplfYIfY8lts+RI8kwg1KeKujs451z73qzgzNgo+hWEN27eun2ndbd97/6Dh3ud7v6ZUaWmMK32REQOcSRhZjlcFBqIyDicZ8u3tX5+CdowJU/tqoBUkLlkOaPEemra+XqwnAxwYkoxdWwYVROX8JwrpXHC1XzqvFphgRO9Jo9wXOHlxA1YhZ9j4dXDhFNg/KpdenvDHeH/PfbsYNrpRf2oKXwdxBvQ5s6mXaD8lM0VKAtJQTY8ZxVNjUEW0Z5VC1k9JAQeiSzGHsoSQCTOqaNVX4qWdmOPdxciUtbtirHY4IY1Yi805B7MLsajX5L21c2vx16pgsSguSrj/KS46twvXO8YxpoJavPCBUM58V0wXRhFp/ma2XrB3mhBt40TGQ6tLSB1nGfgJ5c6Al0R/LFP3hb3c5v/aUyfhk/3c5N5ynMapq3dQp237K8S7O78Ozgb9OrH7we94zebe7TQY/QEHaIYvULH6B06QSNE0e+gFXSD/XARfgu/hz/W1jDY9DxCWxX+/APcEejK</latexit>m
m + O(m)
<latexit sha1_base64="qtM+GcnR9beauqclPCs41pO2F1k=">ACpHicbVFdaxNBFJ1s/ajxK7WPvgymSkUJu0GwCIWiLz4IVm3aQnYbZid3k6HzsZ252zYd8l/8Nb7q/G2W0Qk3ph4HDOuTP3nslLKRzG8e9WtHbr9p276/fa9x8fPS4s/Hk0JnKchwI409zpkDKTQMUKCE49ICU7mEo/z0Q60fnYN1wugDnJWQKTbRohCcYaBGnXdbqTQT6vVJn6Z8aowDquY0ZWVpzSVtJHTwjJe+Y+iK/o5231cmvU6ca9uCl6EyQL0CWL2h9tL6mY8MrBRq5ZM4Nk7jEzDOLgkuYt9PKQcn4KZvAMEDNFLjMN0vO6fPAjGlhbDgacP+2+GZcm6m8uBUDKduVavJ/2nDCoudzAtdVgiaXz9UVJKioXVidCwscJSzABi3IsxK+ZSFQDkunQT4m7BpIPXTWOyi7aCzEuRQ9hQryx4zuxZlfkr8WaZ/2vPvIYLvGzmXnIcJmvM6inbYdfSFYzvwkO+70k7iVf+t294v/WCdPyTOyTRLyluyRj2SfDAgn38kP8pP8il5En6Jv0eDaGrUWPZtkqaKTP5gF0gc=</latexit><latexit sha1_base64="qtM+GcnR9beauqclPCs41pO2F1k=">ACpHicbVFdaxNBFJ1s/ajxK7WPvgymSkUJu0GwCIWiLz4IVm3aQnYbZid3k6HzsZ252zYd8l/8Nb7q/G2W0Qk3ph4HDOuTP3nslLKRzG8e9WtHbr9p276/fa9x8fPS4s/Hk0JnKchwI409zpkDKTQMUKCE49ICU7mEo/z0Q60fnYN1wugDnJWQKTbRohCcYaBGnXdbqTQT6vVJn6Z8aowDquY0ZWVpzSVtJHTwjJe+Y+iK/o5231cmvU6ca9uCl6EyQL0CWL2h9tL6mY8MrBRq5ZM4Nk7jEzDOLgkuYt9PKQcn4KZvAMEDNFLjMN0vO6fPAjGlhbDgacP+2+GZcm6m8uBUDKduVavJ/2nDCoudzAtdVgiaXz9UVJKioXVidCwscJSzABi3IsxK+ZSFQDkunQT4m7BpIPXTWOyi7aCzEuRQ9hQryx4zuxZlfkr8WaZ/2vPvIYLvGzmXnIcJmvM6inbYdfSFYzvwkO+70k7iVf+t294v/WCdPyTOyTRLyluyRj2SfDAgn38kP8pP8il5En6Jv0eDaGrUWPZtkqaKTP5gF0gc=</latexit><latexit sha1_base64="qtM+GcnR9beauqclPCs41pO2F1k=">ACpHicbVFdaxNBFJ1s/ajxK7WPvgymSkUJu0GwCIWiLz4IVm3aQnYbZid3k6HzsZ252zYd8l/8Nb7q/G2W0Qk3ph4HDOuTP3nslLKRzG8e9WtHbr9p276/fa9x8fPS4s/Hk0JnKchwI409zpkDKTQMUKCE49ICU7mEo/z0Q60fnYN1wugDnJWQKTbRohCcYaBGnXdbqTQT6vVJn6Z8aowDquY0ZWVpzSVtJHTwjJe+Y+iK/o5231cmvU6ca9uCl6EyQL0CWL2h9tL6mY8MrBRq5ZM4Nk7jEzDOLgkuYt9PKQcn4KZvAMEDNFLjMN0vO6fPAjGlhbDgacP+2+GZcm6m8uBUDKduVavJ/2nDCoudzAtdVgiaXz9UVJKioXVidCwscJSzABi3IsxK+ZSFQDkunQT4m7BpIPXTWOyi7aCzEuRQ9hQryx4zuxZlfkr8WaZ/2vPvIYLvGzmXnIcJmvM6inbYdfSFYzvwkO+70k7iVf+t294v/WCdPyTOyTRLyluyRj2SfDAgn38kP8pP8il5En6Jv0eDaGrUWPZtkqaKTP5gF0gc=</latexit><latexit sha1_base64="qtM+GcnR9beauqclPCs41pO2F1k=">ACpHicbVFdaxNBFJ1s/ajxK7WPvgymSkUJu0GwCIWiLz4IVm3aQnYbZid3k6HzsZ252zYd8l/8Nb7q/G2W0Qk3ph4HDOuTP3nslLKRzG8e9WtHbr9p276/fa9x8fPS4s/Hk0JnKchwI409zpkDKTQMUKCE49ICU7mEo/z0Q60fnYN1wugDnJWQKTbRohCcYaBGnXdbqTQT6vVJn6Z8aowDquY0ZWVpzSVtJHTwjJe+Y+iK/o5231cmvU6ca9uCl6EyQL0CWL2h9tL6mY8MrBRq5ZM4Nk7jEzDOLgkuYt9PKQcn4KZvAMEDNFLjMN0vO6fPAjGlhbDgacP+2+GZcm6m8uBUDKduVavJ/2nDCoudzAtdVgiaXz9UVJKioXVidCwscJSzABi3IsxK+ZSFQDkunQT4m7BpIPXTWOyi7aCzEuRQ9hQryx4zuxZlfkr8WaZ/2vPvIYLvGzmXnIcJmvM6inbYdfSFYzvwkO+70k7iVf+t294v/WCdPyTOyTRLyluyRj2SfDAgn38kP8pP8il5En6Jv0eDaGrUWPZtkqaKTP5gF0gc=</latexit>m + O(m)
<latexit sha1_base64="Tgx5KLqGqdh0VCG2Hx81MtAfG8=">ACiHicbVFRTxNBEN6eglgViz6amA3FBANp7hoS4IGE1BfrKYFkvZo9rZzZcPu3rE7B9RN3/w1vuqf8d+4d20MLU6yZdvpmd+SbJpbAYhn9qwZOna+vPNp7X7x8tfm6sfXmzGaF4dDnmczMRcIsSKGhjwIlXOQGmEoknCfXn8r8+S0YKzLdw2kOsWITLVLBGXpq1Hi/01Z0KLMJHaGcacv2zOnZnSPftlVH3dGjWbYCqugj0G0AE2yiO5oq/ZtOM54oUAjl8zaQRTmGDtmUHAJs/qwsJAzfs0mMPBQMwU2dtUiM/rBM2OaZsY/jbRiH1Y4pqydqsQrFcMru5oryf/lBgWmR7ETOi8QNJ9/lBaSYkZLV+hYGOAopx4wboSflfIr5g1B791SJ8STlEkL+1VhdIKmgNhJkYDfUK8seMvMTRG7+Jgmf8nj52GO7yv5l5S9KLYlR6U09b9FaJVzx+Ds3YrClvR13bztLO4xwZ5R7bJLonITkln0mX9AknP8hP8ov8DupBGBwGx3NpUFvUvCVLEXT+Agbrxq0=</latexit><latexit sha1_base64="Tgx5KLqGqdh0VCG2Hx81MtAfG8=">ACiHicbVFRTxNBEN6eglgViz6amA3FBANp7hoS4IGE1BfrKYFkvZo9rZzZcPu3rE7B9RN3/w1vuqf8d+4d20MLU6yZdvpmd+SbJpbAYhn9qwZOna+vPNp7X7x8tfm6sfXmzGaF4dDnmczMRcIsSKGhjwIlXOQGmEoknCfXn8r8+S0YKzLdw2kOsWITLVLBGXpq1Hi/01Z0KLMJHaGcacv2zOnZnSPftlVH3dGjWbYCqugj0G0AE2yiO5oq/ZtOM54oUAjl8zaQRTmGDtmUHAJs/qwsJAzfs0mMPBQMwU2dtUiM/rBM2OaZsY/jbRiH1Y4pqydqsQrFcMru5oryf/lBgWmR7ETOi8QNJ9/lBaSYkZLV+hYGOAopx4wboSflfIr5g1B791SJ8STlEkL+1VhdIKmgNhJkYDfUK8seMvMTRG7+Jgmf8nj52GO7yv5l5S9KLYlR6U09b9FaJVzx+Ds3YrClvR13bztLO4xwZ5R7bJLonITkln0mX9AknP8hP8ov8DupBGBwGx3NpUFvUvCVLEXT+Agbrxq0=</latexit><latexit sha1_base64="Tgx5KLqGqdh0VCG2Hx81MtAfG8=">ACiHicbVFRTxNBEN6eglgViz6amA3FBANp7hoS4IGE1BfrKYFkvZo9rZzZcPu3rE7B9RN3/w1vuqf8d+4d20MLU6yZdvpmd+SbJpbAYhn9qwZOna+vPNp7X7x8tfm6sfXmzGaF4dDnmczMRcIsSKGhjwIlXOQGmEoknCfXn8r8+S0YKzLdw2kOsWITLVLBGXpq1Hi/01Z0KLMJHaGcacv2zOnZnSPftlVH3dGjWbYCqugj0G0AE2yiO5oq/ZtOM54oUAjl8zaQRTmGDtmUHAJs/qwsJAzfs0mMPBQMwU2dtUiM/rBM2OaZsY/jbRiH1Y4pqydqsQrFcMru5oryf/lBgWmR7ETOi8QNJ9/lBaSYkZLV+hYGOAopx4wboSflfIr5g1B791SJ8STlEkL+1VhdIKmgNhJkYDfUK8seMvMTRG7+Jgmf8nj52GO7yv5l5S9KLYlR6U09b9FaJVzx+Ds3YrClvR13bztLO4xwZ5R7bJLonITkln0mX9AknP8hP8ov8DupBGBwGx3NpUFvUvCVLEXT+Agbrxq0=</latexit><latexit sha1_base64="Tgx5KLqGqdh0VCG2Hx81MtAfG8=">ACiHicbVFRTxNBEN6eglgViz6amA3FBANp7hoS4IGE1BfrKYFkvZo9rZzZcPu3rE7B9RN3/w1vuqf8d+4d20MLU6yZdvpmd+SbJpbAYhn9qwZOna+vPNp7X7x8tfm6sfXmzGaF4dDnmczMRcIsSKGhjwIlXOQGmEoknCfXn8r8+S0YKzLdw2kOsWITLVLBGXpq1Hi/01Z0KLMJHaGcacv2zOnZnSPftlVH3dGjWbYCqugj0G0AE2yiO5oq/ZtOM54oUAjl8zaQRTmGDtmUHAJs/qwsJAzfs0mMPBQMwU2dtUiM/rBM2OaZsY/jbRiH1Y4pqydqsQrFcMru5oryf/lBgWmR7ETOi8QNJ9/lBaSYkZLV+hYGOAopx4wboSflfIr5g1B791SJ8STlEkL+1VhdIKmgNhJkYDfUK8seMvMTRG7+Jgmf8nj52GO7yv5l5S9KLYlR6U09b9FaJVzx+Ds3YrClvR13bztLO4xwZ5R7bJLonITkln0mX9AknP8hP8ov8DupBGBwGx3NpUFvUvCVLEXT+Agbrxq0=</latexit>13
Space results in bits x link.
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
14
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
15
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
15
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
15
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
15
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
15
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
15
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
input =
Credits to A. Gómez-Brandón
15
Queries on LZ-Bounded Encodings, Belazzougui et al., DCC 2014
A block-tree divides a string into fixed- size blocks and those appearing earlier are represented with pointers.
Compression ratios close to Lempel-Ziv in practice and access to any subsequence.
input =
Credits to A. Gómez-Brandón
16
log n
<latexit sha1_base64="aINBFHga2hUicysK4Dil3fuyl8=">ACj3icbVFNT9tAEN24XzT9ICnHXlYNSD1UkY2Q6CUoai9wo4gAUmJF4804WbFem90xNF3lF/TX9Nr+Ev5N106EmtCRVnp682Z25k1SKGkpDO8bwZOnz56/2HrZfPX6zdvtVvdhc1LI3AgcpWbqwQsKqlxQJIUXhUGIUsUXibX6v85S0aK3N9TvMC4wymWqZSAHlq3NrbnfEeH6l8OkoNCKeX2MpBgtXYa4Xu+NWJ+yGdfDHIFqBDlvF6bjdOBtNclFmqEkosHYhQXFDgxJoXDRHJUWCxDXMWhxoytLGr91nwPc9MeJob/zTxmv23wkFm7TxLvDIDmtnNXEX+LzcsKf0cO6mLklCL5UdpqTjlvDKHT6RBQWruAQgj/axczMD7Qt7CtU5EvRSUxU91YdQjU2LslEzQb6g3FrwFc1PG7oc8WOcf5LHTeEf67nXFOdR7CoPqmb/grRpuePwcV+Nwq70bf9Tv/L6h5b7D37wD6yiB2yPjtmp2zABPvJfrHf7E/QDg6Do6C/lAaNVc0OW4vg5C9LPsrb</latexit><latexit sha1_base64="aINBFHga2hUicysK4Dil3fuyl8=">ACj3icbVFNT9tAEN24XzT9ICnHXlYNSD1UkY2Q6CUoai9wo4gAUmJF4804WbFem90xNF3lF/TX9Nr+Ev5N106EmtCRVnp682Z25k1SKGkpDO8bwZOnz56/2HrZfPX6zdvtVvdhc1LI3AgcpWbqwQsKqlxQJIUXhUGIUsUXibX6v85S0aK3N9TvMC4wymWqZSAHlq3NrbnfEeH6l8OkoNCKeX2MpBgtXYa4Xu+NWJ+yGdfDHIFqBDlvF6bjdOBtNclFmqEkosHYhQXFDgxJoXDRHJUWCxDXMWhxoytLGr91nwPc9MeJob/zTxmv23wkFm7TxLvDIDmtnNXEX+LzcsKf0cO6mLklCL5UdpqTjlvDKHT6RBQWruAQgj/axczMD7Qt7CtU5EvRSUxU91YdQjU2LslEzQb6g3FrwFc1PG7oc8WOcf5LHTeEf67nXFOdR7CoPqmb/grRpuePwcV+Nwq70bf9Tv/L6h5b7D37wD6yiB2yPjtmp2zABPvJfrHf7E/QDg6Do6C/lAaNVc0OW4vg5C9LPsrb</latexit><latexit sha1_base64="aINBFHga2hUicysK4Dil3fuyl8=">ACj3icbVFNT9tAEN24XzT9ICnHXlYNSD1UkY2Q6CUoai9wo4gAUmJF4804WbFem90xNF3lF/TX9Nr+Ev5N106EmtCRVnp682Z25k1SKGkpDO8bwZOnz56/2HrZfPX6zdvtVvdhc1LI3AgcpWbqwQsKqlxQJIUXhUGIUsUXibX6v85S0aK3N9TvMC4wymWqZSAHlq3NrbnfEeH6l8OkoNCKeX2MpBgtXYa4Xu+NWJ+yGdfDHIFqBDlvF6bjdOBtNclFmqEkosHYhQXFDgxJoXDRHJUWCxDXMWhxoytLGr91nwPc9MeJob/zTxmv23wkFm7TxLvDIDmtnNXEX+LzcsKf0cO6mLklCL5UdpqTjlvDKHT6RBQWruAQgj/axczMD7Qt7CtU5EvRSUxU91YdQjU2LslEzQb6g3FrwFc1PG7oc8WOcf5LHTeEf67nXFOdR7CoPqmb/grRpuePwcV+Nwq70bf9Tv/L6h5b7D37wD6yiB2yPjtmp2zABPvJfrHf7E/QDg6Do6C/lAaNVc0OW4vg5C9LPsrb</latexit><latexit sha1_base64="aINBFHga2hUicysK4Dil3fuyl8=">ACj3icbVFNT9tAEN24XzT9ICnHXlYNSD1UkY2Q6CUoai9wo4gAUmJF4804WbFem90xNF3lF/TX9Nr+Ev5N106EmtCRVnp682Z25k1SKGkpDO8bwZOnz56/2HrZfPX6zdvtVvdhc1LI3AgcpWbqwQsKqlxQJIUXhUGIUsUXibX6v85S0aK3N9TvMC4wymWqZSAHlq3NrbnfEeH6l8OkoNCKeX2MpBgtXYa4Xu+NWJ+yGdfDHIFqBDlvF6bjdOBtNclFmqEkosHYhQXFDgxJoXDRHJUWCxDXMWhxoytLGr91nwPc9MeJob/zTxmv23wkFm7TxLvDIDmtnNXEX+LzcsKf0cO6mLklCL5UdpqTjlvDKHT6RBQWruAQgj/axczMD7Qt7CtU5EvRSUxU91YdQjU2LslEzQb6g3FrwFc1PG7oc8WOcf5LHTeEf67nXFOdR7CoPqmb/grRpuePwcV+Nwq70bf9Tv/L6h5b7D37wD6yiB2yPjtmp2zABPvJfrHf7E/QDg6Do6C/lAaNVc0OW4vg5C9LPsrb</latexit>z log n
<latexit sha1_base64="cyr484ZtkEmTSJLlVvzsSyal0aU=">ACjHicbVHfaxNBEN6cP1qjtok+rIkFXyQcFcCFiQFMTHKklbSI4wt5lLl+7tnbtz0XTJu3+Nr/qv9L/p3jWISR1Y+Pab3ZnvkKJS2F4U0jePDw0eO9/SfNp8+eHxy2i/ObF4agWORq9xcJGBRSY1jkqTwojAIWaLwPLn6WOXPl2iszPWIVgXGSy0TKUA8tSs1TmaqnwxTQ0Ip3mNrVxksHbX1YXr9dGs1Q17YR38Pog2oMs2cTprN75O57koM9QkFg7icKCYgeGpFC4bk5LiwWIK1jgxEMNGdrY1cOs+WvPzHmaG3808Zr9t8JBZu0qS7wyA7q0u7mK/F9uUlJ6Ejupi5JQi7uP0lJxynlDJ9Lg4LUygMQRvpeubgEbwx5/7ZeIhqkoCy+rQujAZkSY6dkgn5CvTPgEsy3MnbXsr/N/5XHTuN3+lH3vaUYRbGrPKi6bfotRLue3wdnx70o7EVfjrvD5t97LNXrMPesIi9Y0P2mZ2yMRPsJ/vFfrM/wUHQD94Hgztp0NjUvGRbEXy6BfBiylI=</latexit><latexit sha1_base64="cyr484ZtkEmTSJLlVvzsSyal0aU=">ACjHicbVHfaxNBEN6cP1qjtok+rIkFXyQcFcCFiQFMTHKklbSI4wt5lLl+7tnbtz0XTJu3+Nr/qv9L/p3jWISR1Y+Pab3ZnvkKJS2F4U0jePDw0eO9/SfNp8+eHxy2i/ObF4agWORq9xcJGBRSY1jkqTwojAIWaLwPLn6WOXPl2iszPWIVgXGSy0TKUA8tSs1TmaqnwxTQ0Ip3mNrVxksHbX1YXr9dGs1Q17YR38Pog2oMs2cTprN75O57koM9QkFg7icKCYgeGpFC4bk5LiwWIK1jgxEMNGdrY1cOs+WvPzHmaG3808Zr9t8JBZu0qS7wyA7q0u7mK/F9uUlJ6Ejupi5JQi7uP0lJxynlDJ9Lg4LUygMQRvpeubgEbwx5/7ZeIhqkoCy+rQujAZkSY6dkgn5CvTPgEsy3MnbXsr/N/5XHTuN3+lH3vaUYRbGrPKi6bfotRLue3wdnx70o7EVfjrvD5t97LNXrMPesIi9Y0P2mZ2yMRPsJ/vFfrM/wUHQD94Hgztp0NjUvGRbEXy6BfBiylI=</latexit><latexit sha1_base64="cyr484ZtkEmTSJLlVvzsSyal0aU=">ACjHicbVHfaxNBEN6cP1qjtok+rIkFXyQcFcCFiQFMTHKklbSI4wt5lLl+7tnbtz0XTJu3+Nr/qv9L/p3jWISR1Y+Pab3ZnvkKJS2F4U0jePDw0eO9/SfNp8+eHxy2i/ObF4agWORq9xcJGBRSY1jkqTwojAIWaLwPLn6WOXPl2iszPWIVgXGSy0TKUA8tSs1TmaqnwxTQ0Ip3mNrVxksHbX1YXr9dGs1Q17YR38Pog2oMs2cTprN75O57koM9QkFg7icKCYgeGpFC4bk5LiwWIK1jgxEMNGdrY1cOs+WvPzHmaG3808Zr9t8JBZu0qS7wyA7q0u7mK/F9uUlJ6Ejupi5JQi7uP0lJxynlDJ9Lg4LUygMQRvpeubgEbwx5/7ZeIhqkoCy+rQujAZkSY6dkgn5CvTPgEsy3MnbXsr/N/5XHTuN3+lH3vaUYRbGrPKi6bfotRLue3wdnx70o7EVfjrvD5t97LNXrMPesIi9Y0P2mZ2yMRPsJ/vFfrM/wUHQD94Hgztp0NjUvGRbEXy6BfBiylI=</latexit><latexit sha1_base64="cyr484ZtkEmTSJLlVvzsSyal0aU=">ACjHicbVHfaxNBEN6cP1qjtok+rIkFXyQcFcCFiQFMTHKklbSI4wt5lLl+7tnbtz0XTJu3+Nr/qv9L/p3jWISR1Y+Pab3ZnvkKJS2F4U0jePDw0eO9/SfNp8+eHxy2i/ObF4agWORq9xcJGBRSY1jkqTwojAIWaLwPLn6WOXPl2iszPWIVgXGSy0TKUA8tSs1TmaqnwxTQ0Ip3mNrVxksHbX1YXr9dGs1Q17YR38Pog2oMs2cTprN75O57koM9QkFg7icKCYgeGpFC4bk5LiwWIK1jgxEMNGdrY1cOs+WvPzHmaG3808Zr9t8JBZu0qS7wyA7q0u7mK/F9uUlJ6Ejupi5JQi7uP0lJxynlDJ9Lg4LUygMQRvpeubgEbwx5/7ZeIhqkoCy+rQujAZkSY6dkgn5CvTPgEsy3MnbXsr/N/5XHTuN3+lH3vaUYRbGrPKi6bfotRLue3wdnx70o7EVfjrvD5t97LNXrMPesIi9Y0P2mZ2yMRPsJ/vFfrM/wUHQD94Hgztp0NjUvGRbEXy6BfBiylI=</latexit>z log n )
<latexit sha1_base64="GuI8fsOd9wJRsKsvcd5jbcTFQS4=">AClnicbVFRaxNBEN6cVWu0muqL4MtiKrRQwl0R7EulKJvjaVpC8kR5jZz6dK9vevuXDVd8if6a/q/8J/4971kCZ1YNmPb7ZnfkmKZS0FIZ/WsGDlYePHq8+aT9tvb8RWf95bHNSyNwIHKVm9MELCqpcUCSFJ4WBiFLFJ4k5+r/MklGitzfUSzAuMplqmUgB5atzZ3jYvBqpfMo1r65RakA4XUMrpxnMXZOeb2MO92wF9bB74OoAV3WRH+83jocTXJRZqhJKLB2GIUFxQ4MSaFw3h6VFgsQ5zDFoYcaMrSxq8ea83emfA0N/5o4jV7t8JBZu0sS7wyAzqzy7mK/F9uWFK6Gzupi5JQi9uP0lJxynlEZ9Ig4LUzAMQRvpeuTgDbwx5JxdeItpLQVncrgujPTIlxk7JBP2EemnASzAXZeyu5PtF/p8dhp/0M+67wXFURS7yoOq27bfQrTs+X1wvNOLwl70fae7/6nZxyp7w96yTRaxD2yfWN9NmCXbMb9ov9Dl4H4MvwdbadBqal6xhQj6fwGIkc38</latexit><latexit sha1_base64="GuI8fsOd9wJRsKsvcd5jbcTFQS4=">AClnicbVFRaxNBEN6cVWu0muqL4MtiKrRQwl0R7EulKJvjaVpC8kR5jZz6dK9vevuXDVd8if6a/q/8J/4971kCZ1YNmPb7ZnfkmKZS0FIZ/WsGDlYePHq8+aT9tvb8RWf95bHNSyNwIHKVm9MELCqpcUCSFJ4WBiFLFJ4k5+r/MklGitzfUSzAuMplqmUgB5atzZ3jYvBqpfMo1r65RakA4XUMrpxnMXZOeb2MO92wF9bB74OoAV3WRH+83jocTXJRZqhJKLB2GIUFxQ4MSaFw3h6VFgsQ5zDFoYcaMrSxq8ea83emfA0N/5o4jV7t8JBZu0sS7wyAzqzy7mK/F9uWFK6Gzupi5JQi9uP0lJxynlEZ9Ig4LUzAMQRvpeuTgDbwx5JxdeItpLQVncrgujPTIlxk7JBP2EemnASzAXZeyu5PtF/p8dhp/0M+67wXFURS7yoOq27bfQrTs+X1wvNOLwl70fae7/6nZxyp7w96yTRaxD2yfWN9NmCXbMb9ov9Dl4H4MvwdbadBqal6xhQj6fwGIkc38</latexit><latexit sha1_base64="GuI8fsOd9wJRsKsvcd5jbcTFQS4=">AClnicbVFRaxNBEN6cVWu0muqL4MtiKrRQwl0R7EulKJvjaVpC8kR5jZz6dK9vevuXDVd8if6a/q/8J/4971kCZ1YNmPb7ZnfkmKZS0FIZ/WsGDlYePHq8+aT9tvb8RWf95bHNSyNwIHKVm9MELCqpcUCSFJ4WBiFLFJ4k5+r/MklGitzfUSzAuMplqmUgB5atzZ3jYvBqpfMo1r65RakA4XUMrpxnMXZOeb2MO92wF9bB74OoAV3WRH+83jocTXJRZqhJKLB2GIUFxQ4MSaFw3h6VFgsQ5zDFoYcaMrSxq8ea83emfA0N/5o4jV7t8JBZu0sS7wyAzqzy7mK/F9uWFK6Gzupi5JQi9uP0lJxynlEZ9Ig4LUzAMQRvpeuTgDbwx5JxdeItpLQVncrgujPTIlxk7JBP2EemnASzAXZeyu5PtF/p8dhp/0M+67wXFURS7yoOq27bfQrTs+X1wvNOLwl70fae7/6nZxyp7w96yTRaxD2yfWN9NmCXbMb9ov9Dl4H4MvwdbadBqal6xhQj6fwGIkc38</latexit><latexit sha1_base64="GuI8fsOd9wJRsKsvcd5jbcTFQS4=">AClnicbVFRaxNBEN6cVWu0muqL4MtiKrRQwl0R7EulKJvjaVpC8kR5jZz6dK9vevuXDVd8if6a/q/8J/4971kCZ1YNmPb7ZnfkmKZS0FIZ/WsGDlYePHq8+aT9tvb8RWf95bHNSyNwIHKVm9MELCqpcUCSFJ4WBiFLFJ4k5+r/MklGitzfUSzAuMplqmUgB5atzZ3jYvBqpfMo1r65RakA4XUMrpxnMXZOeb2MO92wF9bB74OoAV3WRH+83jocTXJRZqhJKLB2GIUFxQ4MSaFw3h6VFgsQ5zDFoYcaMrSxq8ea83emfA0N/5o4jV7t8JBZu0sS7wyAzqzy7mK/F9uWFK6Gzupi5JQi9uP0lJxynlEZ9Ig4LUzAMQRvpeuTgDbwx5JxdeItpLQVncrgujPTIlxk7JBP2EemnASzAXZeyu5PtF/p8dhp/0M+67wXFURS7yoOq27bfQrTs+X1wvNOLwl70fae7/6nZxyp7w96yTRaxD2yfWN9NmCXbMb9ov9Dl4H4MvwdbadBqal6xhQj6fwGIkc38</latexit>z log n
<latexit sha1_base64="cyr484ZtkEmTSJLlVvzsSyal0aU=">ACjHicbVHfaxNBEN6cP1qjtok+rIkFXyQcFcCFiQFMTHKklbSI4wt5lLl+7tnbtz0XTJu3+Nr/qv9L/p3jWISR1Y+Pab3ZnvkKJS2F4U0jePDw0eO9/SfNp8+eHxy2i/ObF4agWORq9xcJGBRSY1jkqTwojAIWaLwPLn6WOXPl2iszPWIVgXGSy0TKUA8tSs1TmaqnwxTQ0Ip3mNrVxksHbX1YXr9dGs1Q17YR38Pog2oMs2cTprN75O57koM9QkFg7icKCYgeGpFC4bk5LiwWIK1jgxEMNGdrY1cOs+WvPzHmaG3808Zr9t8JBZu0qS7wyA7q0u7mK/F9uUlJ6Ejupi5JQi7uP0lJxynlDJ9Lg4LUygMQRvpeubgEbwx5/7ZeIhqkoCy+rQujAZkSY6dkgn5CvTPgEsy3MnbXsr/N/5XHTuN3+lH3vaUYRbGrPKi6bfotRLue3wdnx70o7EVfjrvD5t97LNXrMPesIi9Y0P2mZ2yMRPsJ/vFfrM/wUHQD94Hgztp0NjUvGRbEXy6BfBiylI=</latexit><latexit sha1_base64="cyr484ZtkEmTSJLlVvzsSyal0aU=">ACjHicbVHfaxNBEN6cP1qjtok+rIkFXyQcFcCFiQFMTHKklbSI4wt5lLl+7tnbtz0XTJu3+Nr/qv9L/p3jWISR1Y+Pab3ZnvkKJS2F4U0jePDw0eO9/SfNp8+eHxy2i/ObF4agWORq9xcJGBRSY1jkqTwojAIWaLwPLn6WOXPl2iszPWIVgXGSy0TKUA8tSs1TmaqnwxTQ0Ip3mNrVxksHbX1YXr9dGs1Q17YR38Pog2oMs2cTprN75O57koM9QkFg7icKCYgeGpFC4bk5LiwWIK1jgxEMNGdrY1cOs+WvPzHmaG3808Zr9t8JBZu0qS7wyA7q0u7mK/F9uUlJ6Ejupi5JQi7uP0lJxynlDJ9Lg4LUygMQRvpeubgEbwx5/7ZeIhqkoCy+rQujAZkSY6dkgn5CvTPgEsy3MnbXsr/N/5XHTuN3+lH3vaUYRbGrPKi6bfotRLue3wdnx70o7EVfjrvD5t97LNXrMPesIi9Y0P2mZ2yMRPsJ/vFfrM/wUHQD94Hgztp0NjUvGRbEXy6BfBiylI=</latexit><latexit sha1_base64="cyr484ZtkEmTSJLlVvzsSyal0aU=">ACjHicbVHfaxNBEN6cP1qjtok+rIkFXyQcFcCFiQFMTHKklbSI4wt5lLl+7tnbtz0XTJu3+Nr/qv9L/p3jWISR1Y+Pab3ZnvkKJS2F4U0jePDw0eO9/SfNp8+eHxy2i/ObF4agWORq9xcJGBRSY1jkqTwojAIWaLwPLn6WOXPl2iszPWIVgXGSy0TKUA8tSs1TmaqnwxTQ0Ip3mNrVxksHbX1YXr9dGs1Q17YR38Pog2oMs2cTprN75O57koM9QkFg7icKCYgeGpFC4bk5LiwWIK1jgxEMNGdrY1cOs+WvPzHmaG3808Zr9t8JBZu0qS7wyA7q0u7mK/F9uUlJ6Ejupi5JQi7uP0lJxynlDJ9Lg4LUygMQRvpeubgEbwx5/7ZeIhqkoCy+rQujAZkSY6dkgn5CvTPgEsy3MnbXsr/N/5XHTuN3+lH3vaUYRbGrPKi6bfotRLue3wdnx70o7EVfjrvD5t97LNXrMPesIi9Y0P2mZ2yMRPsJ/vFfrM/wUHQD94Hgztp0NjUvGRbEXy6BfBiylI=</latexit><latexit sha1_base64="cyr484ZtkEmTSJLlVvzsSyal0aU=">ACjHicbVHfaxNBEN6cP1qjtok+rIkFXyQcFcCFiQFMTHKklbSI4wt5lLl+7tnbtz0XTJu3+Nr/qv9L/p3jWISR1Y+Pab3ZnvkKJS2F4U0jePDw0eO9/SfNp8+eHxy2i/ObF4agWORq9xcJGBRSY1jkqTwojAIWaLwPLn6WOXPl2iszPWIVgXGSy0TKUA8tSs1TmaqnwxTQ0Ip3mNrVxksHbX1YXr9dGs1Q17YR38Pog2oMs2cTprN75O57koM9QkFg7icKCYgeGpFC4bk5LiwWIK1jgxEMNGdrY1cOs+WvPzHmaG3808Zr9t8JBZu0qS7wyA7q0u7mK/F9uUlJ6Ejupi5JQi7uP0lJxynlDJ9Lg4LUygMQRvpeubgEbwx5/7ZeIhqkoCy+rQujAZkSY6dkgn5CvTPgEsy3MnbXsr/N/5XHTuN3+lH3vaUYRbGrPKi6bfotRLue3wdnx70o7EVfjrvD5t97LNXrMPesIi9Y0P2mZ2yMRPsJ/vFfrM/wUHQD94Hgztp0NjUvGRbEXy6BfBiylI=</latexit>nodes
17
Two-Dimensional Block Trees, Brisaboa, Gagie, Gómez-Brandón, Navarro, DCC 2018
A hybrid between the k2-tree to exploit the clustering of the 0s and the block tree to exploit the repetitiveness of the adjacency matrix.
1 1 1 1
Target Source A source block may overlap up to 4 adjacent blocks.
Credits to A. Gómez-Brandón
17
Two-Dimensional Block Trees, Brisaboa, Gagie, Gómez-Brandón, Navarro, DCC 2018
A hybrid between the k2-tree to exploit the clustering of the 0s and the block tree to exploit the repetitiveness of the adjacency matrix.
1 1 1 1
Target Source A source block may overlap up to 4 adjacent blocks.
Credits to A. Gómez-Brandón
17
Two-Dimensional Block Trees, Brisaboa, Gagie, Gómez-Brandón, Navarro, DCC 2018
A hybrid between the k2-tree to exploit the clustering of the 0s and the block tree to exploit the repetitiveness of the adjacency matrix.
1 1 1 1
Target Source A source block may overlap up to 4 adjacent blocks. Pointer Offset
Credits to A. Gómez-Brandón
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1
(0,0)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0) (0,0)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0) (0,0)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0) (0,0)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0) (0,0)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0) (0,0) (0,1)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0) (0,0) (0,1)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0) (0,0) (0,1) (0,0) (0,0) (0,0) (0,0)
18
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1 1 1 1
(0,0) (0,0) (0,1) (0,0) (0,0) (0,0) (0,0)
On Web graphs, we are not exploiting the “empty” zones
19
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,0) (0,0) (0,1) (0,0) (0,0) (0,0) (0,0)
19
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,0) (0,0) (0,1) (0,0) (0,0) (0,0) (0,0)
Introduce a new type of node to mark empty zones.
20
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(0,0)
1 1 1 1 1 1 1
(0,1)
21
22
22
Up to 50% reduction wrt the k2-tree.
23
23
3-6X slower wrt the k2-tree.
24
k2-trees support direct and reverse navigation; good trade-off between space and time; do not exploit repetitiveness. 2D-block-trees combines the capturing-spareness behaviour
Up to 50% reduction in space, but 3-6X slower than k2-trees. Block-trees compress (1D) strings to compression ratios close to LZ and support efficient random access to any substring. WebGraph supports efficient extraction of direct neighbours in excellent compressed space.
25
k2-trees achieve a good trade-off between space and time when both direct and reverse navigation is needed. 2D-block-trees are even smaller than k2-trees but much slower. WebGraph is still the most compact representation if only direct navigation is allowed.
26