diff options
author | Andreas Maunz <andreas@maunz.de> | 2012-07-04 10:18:21 +0200 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2012-07-04 10:18:21 +0200 |
commit | 5da15dfb8f58775c9d95667d17bbe6eee88a782c (patch) | |
tree | 1fa80406bf8aafb312091e3beda56168ce30e44b /_posts/2012-05-02-bbrc-and-last-pm-usage.md | |
parent | 8627e868809c5c81d3750e4cd705791feb91866a (diff) |
Corrected typography
Diffstat (limited to '_posts/2012-05-02-bbrc-and-last-pm-usage.md')
-rw-r--r-- | _posts/2012-05-02-bbrc-and-last-pm-usage.md | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/_posts/2012-05-02-bbrc-and-last-pm-usage.md b/_posts/2012-05-02-bbrc-and-last-pm-usage.md index 56d9406..2213c8f 100644 --- a/_posts/2012-05-02-bbrc-and-last-pm-usage.md +++ b/_posts/2012-05-02-bbrc-and-last-pm-usage.md @@ -113,24 +113,24 @@ Practical Aspects _Initialization:_ - 1. Let _x = n. _ - 2. Let _y = x_. Let _x = x/2_. Let __min_frequency_ = _x.__ - 3. Run BBRC/LAST-PM, passing _min_frequency_ as parameter. + 1. Let x = n + 2. Let y = x. Let x = x/2. Let min_frequency = x + 3. Run BBRC/LAST-PM, passing min_frequency as parameter. 4. Go to 2. until pattern set size "large enough" (determined by you). _Main phase:_ - 1. Run BBRC/LAST-PM, passing _min_frequency_ as parameter. + 1. Run BBRC/LAST-PM, passing min_frequency as parameter. 2. Pattern set size "large enough" (determined by you)? 1. No: - Let _y = min_frequency_. - Let _min_frequency = (x+min_frequency)/2_. + Let y = min_frequency. + Let min_frequency = (x+min_frequency)/2. Go to 1. 2. Yes: Running time "low enough" (determined by you)? 1. No: - Let _x = min_frequency_. - Let _min_frequency = (min_frequency+y)/2. - Go to 1. _ + Let x = min_frequency. + Let min_frequency = (min_frequency+y)/2. + Go to 1. 2. Yes: You are done, i.e. min_frequency has now a suitable value. For [YAML](http://en.wikipedia.org/wiki/YAML) as an easier alternative to RDF output, try requesting the result with |