commit 89611d24a36b0c77c9f62b7a9b77432000569800 parent 0a5f335a2201319a6e2b6a27e17a6fa8a22dce33 Author: Elias Summermatter <elias.summermatter@seccom.ch> Date: Mon, 21 Dec 2020 12:00:53 +0100 Added some more graphics Diffstat:
| M | draft-summermatter-set-union.xml | | | 45 | ++++++++++++++++++++++++++++++++++++++++++++- |
1 file changed, 44 insertions(+), 1 deletion(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml @@ -307,7 +307,50 @@ the element is missing in the second set and if the counter is set to -1 the element is missing in the first set. </t> - </section> + <t> + To demonstrate the set difference operation we compare IBF-A with IBF-B and generate as described + IBF-AB + </t> + <t>IBF-A:</t> + <figure anchor="figure_ibf_setdiff_A"> + <artwork name="" type="" align="left" alt=""><![CDATA[ + bit-1 bit-2 bit-3 bit-4 + +-------------+-------------+-------------+-------------+ + count | 1 | 2 | 0 | 1 | + +-------------+-------------+-------------+-------------+ + value | 0101 | 4343 | 0000 | 4242 | + +-------------+-------------+-------------+-------------+ + ]]></artwork> + </figure> + <t>IBF-B:</t> + <figure anchor="figure_ibf_setdiff_B"> + <artwork name="" type="" align="left" alt=""><![CDATA[ + bit-1 bit-2 bit-3 bit-4 + +-------------+-------------+-------------+-------------+ + count | 0 | 1 | 1 | 1 | + +-------------+-------------+-------------+-------------+ + value | 0000 | 4242 | 5050 | 4242 | + +-------------+-------------+-------------+-------------+ + ]]></artwork> + </figure> + <t>IBF-AB (XOR value and subtract count):</t> + <figure anchor="figure_ibf_setdiff_AB"> + <artwork name="" type="" align="left" alt=""><![CDATA[ + bit-1 bit-2 bit-3 bit-4 + +-------------+-------------+-------------+-------------+ + count | 1 | 1 | -1 | 0 | + +-------------+-------------+-------------+-------------+ + value | 0101 | 0101 | 5050 | 0000 | + +-------------+-------------+-------------+-------------+ + ]]></artwork> + </figure> + <t> + In IBF-AB there are 3 pure buckets and its obvious that in the IBF-A were the elements with hash + 0101 and 4242 and in the IBF-B where the elements with the hash 4242 and 5050. In IBF-A the element + wit the hash 5050 is missing (-1 in bit-3) while in IBF-B the element with the hash 0101 is missing + (1 in bit-1 and bit-2). + </t> + </section> </section> </section>