<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=koi8-r">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p><span style="color: rgb(33, 33, 33); font-size: 12pt;">>You forgot to attach your patches?</span><br>
</p>
<div style="color: rgb(33, 33, 33);">
<div>
<div dir="ltr">
<div><br>
</div>
<div>Right, sorry. Attached now.<br>
</div>
<div><br>
</div>
<div></div>
<div class="gmail_extra">
<div class="gmail_quote">><span style="font-size: 12pt;">I do not understand the theory. Adding 1 bits to a bloom filter only increases the chance of false positives, no? A bloom filter that</span></div>
<div class="gmail_quote"><span style="font-size: 12pt;">>has more 1 bits has higher probability of false positives.</span>
<div><br>
</div>
<div>I think answer is both "yes" and "no". <span style="font-size: 12pt;">Otherwise testing results would probably be different.</span></div>
<div><span style="font-size: 12pt;"><br>
</span></div>
<div>I think it is both increases chance of false positive because of natural reasons you mentioned,<br>
</div>
<div>but looks at the same time it increases chance to select different bits during lookup,<br>
</div>
<div>so gives greater chance to select zero instead of existent 1 for symbol that is not in table.<br>
</div>
<div><span style="font-size: 12pt;">Balance seems to be somewhere </span><span style="font-size: 12pt;">in between.</span><br>
</div>
<div><br>
</div>
<div><span style="font-size: 12pt;">Probably best way to check/prove it is to benchmark to count false positives during lookup somehow.</span></div>
</div>
<div class="gmail_quote">I can think of built-in LLD benchmark atm. It could take existent symbols, modify their names slightly and </div>
<div class="gmail_quote">perform lookup.<br>
</div>
<div class="gmail_quote"><br>
</div>
<div class="gmail_quote">George.<br>
</div>
<div class="gmail_quote"><br>
</div>
</div>
</div>
</div>
</div>
</body>
</html>