ExtRA+Sort

This commit is contained in:
Oliver Kennedy 2018-02-13 23:22:39 -05:00
parent 6ef0c12ccb
commit 714ae6dfb3
10 changed files with 1590 additions and 5 deletions

View file

@ -161,7 +161,7 @@
In particular, spend a bunch of time setting up the framework first. We'll need to
cover attribution of costs to individual operators (e.g., Select doesn't introduce IOs)
Also worth covering: IOs vs Record Reads
Also worth covering: IOs vs Record Reads.
-->
<h3>Select</h3>
<svg data-src="graphics/2018-02-12-Flow-Select.svg" />

View file

@ -63,7 +63,7 @@
<dd class="fragment highlight-grey" data-fragment-index="1">Select ($\sigma$), Project ($\pi$), Join ($\bowtie$), Union ($\cup$)</dd>
<dt>Bag Operations</dt>
<dd>Distinct ($\delta$), Outer Joins</dd>
<dd>Distinct ($\delta$), Outer Joins (⟗)</dd>
<dt>List Operations</dt>
<dd>Sort ($\tau$), Limit</dd>
@ -76,9 +76,95 @@
</dl>
</section>
<section>
<h3>Extended Projection</h3>
<p style="margin: 50px;">Like normal projection, but can create new columns</p>
$\pi_{M \leftarrow A+B*C,\; N \leftarrow 2}(R)$
<p>produces 1 row for every row of R, with 2 columns: M and N</p>
</section>
</section>
<section>
<section>
<h3>Outer Join</h3>
<p class="fragment">... but first</p>
</section>
<section>
<h3><code>NULL</code> Values</h3>
<ul>
<li>Field values can be unknown or inapplicable.<ul>
<li>A tree with an unknown species.</li>
<li>The street of a tree in a park.</li>
<li>The '.' on many of your ID cards</li>
</ul></li>
<li>SQL provides a special <code>NULL</code> value for these cases</li>
</ul>
<p class="fragment">NULL makes things more complicated.</p>
</section>
<section>
$$\textbf{Trees.SPC_COMMON} = \texttt{'Brooklyn'}$$
<p style="margin: 50px;" class="fragment">
What happens if <b>Trees.SPC_COMMON</b> is NULL?
</p>
<div class="fragment">
$$\texttt{NULL} = \textbf{'Brooklyn'} \equiv \textbf{Unknown}$$
</div>
</section>
<section>
<table>
<tr><td>Unknown</td><td>AND</td><td>Unknown</td><td>$\equiv$</td><td>Unknown</td></tr>
<tr><td>Unknown</td><td>AND</td><td>True</td><td>$\equiv$</td><td>Unknown</td></tr>
<tr><td>Unknown</td><td>AND</td><td>False</td><td>$\equiv$</td><td>False</td></tr>
<tr><td colspan="5"></td></tr>
<tr><td>Unknown</td><td>OR</td><td>Unknown</td><td>$\equiv$</td><td>Unknown</td></tr>
<tr><td>Unknown</td><td>OR</td><td>True</td><td>$\equiv$</td><td>True</td></tr>
<tr><td>Unknown</td><td>OR</td><td>False</td><td>$\equiv$</td><td>Unknown</td></tr>
<tr><td colspan="5"></td></tr>
<tr><td></td><td>NOT</td><td>Unknown</td><td>$\equiv$</td><td>Unknown</td></tr>
</table>
<p class="fragment"><code>WHERE</code> clauses eliminate all non-True rows</p>
</section>
<section>
$$Streets \bowtie_{StreetName} Trees$$
<p style="margin-top: 100px;" class="fragment">What happens if some streets have no trees?</p>
</section>
<section>
<h3>Outer Join (⟗, ⟕, ⟖)</h3>
<ol>
<li>Include all results from the normal (inner) join.</li>
<li>Also include rows that don't get joined.</li>
</ol>
</section>
<section>
<h3>Outer Join</h3>
<dl>
<dt>Inner Join</dt>
<dd>Normal, plain, simple join</dd>
<dt>Left Outer Join (⟕)</dt>
<dd>Include un-joined rows from the left hand side</dd>
<dt>Right Outer Join (⟖)</dt>
<dd>Include un-joined rows from the right hand side</dd>
<dt>[Full] Outer Join (⟗)</dt>
<dd>Include un-joined rows from either side</dd>
</dl>
</section>
</section>
@ -140,7 +226,7 @@
<section>
<p>What's the bottleneck?</p>
<p class="fragment">IO Cost: $O(N \cdot \log_2(N))$<br/>(with $N$ blocks)</p>
<p class="fragment">IO Cost: $O(N \cdot \lceil\log_2(N)\rceil)$<br/>(with $N$ blocks)</p>
</section>
<section>
@ -153,12 +239,57 @@
<dl>
<dt>Pass 1</dt>
<dd>Sort Bigger Buffers</dd>
<dd class="fragment">Re-Use Memory When Done</dd>
<dt>Pass 2</dt>
<dd>Merge $K$ Runs Simultaneously: $O(N \cdot \lceil\log_K(N)\rceil)$ IO</dd>
</dl>
</section>
</section>
<section>
<h3>Replacement Sort</h3>
<img src="graphics/2018-02-14-ReplSort-1.svg" />
</section>
<section>
<h3>Replacement Sort</h3>
<img src="graphics/2018-02-14-ReplSort-2.svg" />
</section>
<section>
<h3>Replacement Sort</h3>
<img src="graphics/2018-02-14-ReplSort-3.svg" />
</section>
<section>
<h3>Replacement Sort</h3>
<img src="graphics/2018-02-14-ReplSort-4.svg" />
</section>
<section>
<h3>Replacement Sort</h3>
<img src="graphics/2018-02-14-ReplSort-5.svg" />
</section>
<section>
<h3>Replacement Sort</h3>
<img src="graphics/2018-02-14-ReplSort-6.svg" />
</section>
<section>
<h3>Replacement Sort</h3>
<img src="graphics/2018-02-14-ReplSort-7.svg" />
</section>
<section>
<h3>Replacement Sort</h3>
<img src="graphics/2018-02-14-ReplSort-8.svg" />
</section>
<section>
<p>On average, we'll get runs of size $2 \cdot |WS|$</p>
</section>
</section>
</div></div>

View file

@ -0,0 +1,194 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="180.05606mm"
height="101.08517mm"
viewBox="0 0 180.05606 101.08517"
version="1.1"
id="svg4620"
inkscape:version="0.92.2 5c3e80d, 2017-08-06"
sodipodi:docname="2018-02-14-ReplSort-1.svg">
<defs
id="defs4614" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.4"
inkscape:cx="122.06271"
inkscape:cy="144.40364"
inkscape:document-units="mm"
inkscape:current-layer="layer1"
showgrid="false"
fit-margin-top="5"
fit-margin-left="5"
fit-margin-right="5"
fit-margin-bottom="5"
inkscape:window-width="1920"
inkscape:window-height="1031"
inkscape:window-x="0"
inkscape:window-y="1"
inkscape:window-maximized="1" />
<metadata
id="metadata4617">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title />
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-5.8660774,-20.242213)">
<rect
style="fill:#cccccc;fill-opacity:1;stroke:#4d4d4d;stroke-width:0.5;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect4664"
width="21.922615"
height="58.208328"
x="150.96368"
y="38.464287" />
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="16.781551"
y="52.071438"
id="text4624"><tspan
sodipodi:role="line"
x="16.781551"
y="52.071438"
style="stroke-width:0.26458332"
id="tspan4628">12</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="82.220894"
y="75.570923"
id="text4636"><tspan
sodipodi:role="line"
id="tspan4634"
x="82.220894"
y="75.570923"
style="stroke-width:0.26458332">8</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.619041"
y="99.220268"
id="text4640"><tspan
sodipodi:role="line"
id="tspan4638"
x="78.619041"
y="99.220268"
style="stroke-width:0.26458332">10</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="80.538826"
y="116.32738"
id="text4644"><tspan
sodipodi:role="line"
id="tspan4642"
x="80.538826"
y="116.32738"
style="stroke-width:0.26458332">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="55.184525"
y="33.852982"
id="text4648"><tspan
sodipodi:role="line"
id="tspan4646"
x="55.184525"
y="33.852982"
style="stroke-width:0.26458332">Working Set</tspan></text>
<text
id="text4652"
y="33.097031"
x="9.8273811"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="33.097031"
x="9.8273811"
id="tspan4650"
sodipodi:role="line">Input</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="144.3869"
y="33.097031"
id="text4656"><tspan
sodipodi:role="line"
id="tspan4654"
x="144.3869"
y="33.097031"
style="stroke-width:0.26458332">Output</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.74998"
y="52.071426"
id="text4660"><tspan
sodipodi:role="line"
id="tspan4658"
x="158.74998"
y="52.071426"
style="stroke-width:0.26458332">3</tspan><tspan
sodipodi:role="line"
x="158.74998"
y="65.300591"
style="stroke-width:0.26458332"
id="tspan4662">5</tspan></text>
<text
id="text4672"
y="51.315487"
x="82.670761"
style="font-style:normal;font-weight:normal;font-size:9.56478691px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.23911966"
xml:space="preserve"><tspan
id="tspan4670"
style="stroke-width:0.23911966"
y="51.315487"
x="82.670761"
sodipodi:role="line">2</tspan></text>
<text
id="text193"
y="75.694946"
x="20.372326"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
id="tspan191"
style="stroke-width:0.26458332"
y="75.694946"
x="20.372326"
sodipodi:role="line">4</tspan></text>
<text
id="text197"
y="95.349701"
x="18.890909"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="95.349701"
x="18.890909"
id="tspan195"
sodipodi:role="line">...</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 7.4 KiB

View file

@ -0,0 +1,194 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="180.05606mm"
height="101.08517mm"
viewBox="0 0 180.05606 101.08517"
version="1.1"
id="svg4620"
sodipodi:docname="2018-02-14-ReplSort-2.svg"
inkscape:version="0.92.2 5c3e80d, 2017-08-06">
<defs
id="defs4614" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.4"
inkscape:cx="24.205567"
inkscape:cy="144.40364"
inkscape:document-units="mm"
inkscape:current-layer="layer1"
showgrid="false"
fit-margin-top="5"
fit-margin-left="5"
fit-margin-right="5"
fit-margin-bottom="5"
inkscape:window-width="1920"
inkscape:window-height="1031"
inkscape:window-x="0"
inkscape:window-y="1"
inkscape:window-maximized="1" />
<metadata
id="metadata4617">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title />
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-5.8660774,-20.242213)">
<rect
style="fill:#cccccc;fill-opacity:1;stroke:#4d4d4d;stroke-width:0.5;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect4664"
width="21.922615"
height="58.208328"
x="150.96368"
y="38.464287" />
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="16.781551"
y="52.071438"
id="text4624"><tspan
sodipodi:role="line"
x="16.781551"
y="52.071438"
style="stroke-width:0.26458332"
id="tspan4628">12</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.76108"
y="77.989967"
id="text4636"><tspan
sodipodi:role="line"
id="tspan4634"
x="158.76108"
y="77.989967"
style="stroke-width:0.26458332">8</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.619041"
y="99.220268"
id="text4640"><tspan
sodipodi:role="line"
id="tspan4638"
x="78.619041"
y="99.220268"
style="stroke-width:0.26458332">10</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="80.538826"
y="116.32738"
id="text4644"><tspan
sodipodi:role="line"
id="tspan4642"
x="80.538826"
y="116.32738"
style="stroke-width:0.26458332">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="55.184525"
y="33.852982"
id="text4648"><tspan
sodipodi:role="line"
id="tspan4646"
x="55.184525"
y="33.852982"
style="stroke-width:0.26458332">Working Set</tspan></text>
<text
id="text4652"
y="33.097031"
x="9.8273811"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="33.097031"
x="9.8273811"
id="tspan4650"
sodipodi:role="line">Input</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="144.3869"
y="33.097031"
id="text4656"><tspan
sodipodi:role="line"
id="tspan4654"
x="144.3869"
y="33.097031"
style="stroke-width:0.26458332">Output</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.74998"
y="52.071426"
id="text4660"><tspan
sodipodi:role="line"
id="tspan4658"
x="158.74998"
y="52.071426"
style="stroke-width:0.26458332">3</tspan><tspan
sodipodi:role="line"
x="158.74998"
y="65.300591"
style="stroke-width:0.26458332"
id="tspan4662">5</tspan></text>
<text
id="text4672"
y="51.315487"
x="82.670761"
style="font-style:normal;font-weight:normal;font-size:9.56478691px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.23911966"
xml:space="preserve"><tspan
id="tspan4670"
style="stroke-width:0.23911966"
y="51.315487"
x="82.670761"
sodipodi:role="line">2</tspan></text>
<text
id="text193"
y="76.312698"
x="20.822124"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
id="tspan191"
style="stroke-width:0.26458332"
y="76.312698"
x="20.822124"
sodipodi:role="line">4</tspan></text>
<text
id="text197"
y="95.967445"
x="19.340708"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="95.967445"
x="19.340708"
id="tspan195"
sodipodi:role="line">...</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 7.4 KiB

View file

@ -0,0 +1,172 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="180.05606mm"
height="101.08517mm"
viewBox="0 0 180.05606 101.08517"
version="1.1"
id="svg4620"
sodipodi:docname="2018-02-14-ReplSort-3.svg"
inkscape:version="0.92.2 5c3e80d, 2017-08-06">
<defs
id="defs4614" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.4"
inkscape:cx="122.06271"
inkscape:cy="144.40364"
inkscape:document-units="mm"
inkscape:current-layer="layer1"
showgrid="false"
fit-margin-top="5"
fit-margin-left="5"
fit-margin-right="5"
fit-margin-bottom="5"
inkscape:window-width="1920"
inkscape:window-height="1031"
inkscape:window-x="0"
inkscape:window-y="1"
inkscape:window-maximized="1" />
<metadata
id="metadata4617">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-5.8660774,-20.242213)">
<rect
style="fill:#cccccc;fill-opacity:1;stroke:#4d4d4d;stroke-width:0.5;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect4664"
width="21.922615"
height="58.208328"
x="150.96368"
y="38.464287" />
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.769646"
y="74.372032"
id="text4624"><tspan
sodipodi:role="line"
x="78.769646"
y="74.372032"
style="stroke-width:0.26458332"
id="tspan4628">12</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.76108"
y="77.989967"
id="text4636"><tspan
sodipodi:role="line"
id="tspan4634"
x="158.76108"
y="77.989967"
style="stroke-width:0.26458332">8</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.619041"
y="99.220268"
id="text4640"><tspan
sodipodi:role="line"
id="tspan4638"
x="78.619041"
y="99.220268"
style="stroke-width:0.26458332">10</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="80.538826"
y="116.32738"
id="text4644"><tspan
sodipodi:role="line"
id="tspan4642"
x="80.538826"
y="116.32738"
style="stroke-width:0.26458332">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="55.184525"
y="33.852982"
id="text4648"><tspan
sodipodi:role="line"
id="tspan4646"
x="55.184525"
y="33.852982"
style="stroke-width:0.26458332">Working Set</tspan></text>
<text
id="text4652"
y="33.097031"
x="9.8273811"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="33.097031"
x="9.8273811"
id="tspan4650"
sodipodi:role="line">Input</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="144.3869"
y="33.097031"
id="text4656"><tspan
sodipodi:role="line"
id="tspan4654"
x="144.3869"
y="33.097031"
style="stroke-width:0.26458332">Output</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.74998"
y="52.071426"
id="text4660"><tspan
sodipodi:role="line"
id="tspan4658"
x="158.74998"
y="52.071426"
style="stroke-width:0.26458332">3</tspan><tspan
sodipodi:role="line"
x="158.74998"
y="65.300591"
style="stroke-width:0.26458332"
id="tspan4662">5</tspan></text>
<text
id="text4672"
y="51.315487"
x="82.670761"
style="font-style:normal;font-weight:normal;font-size:9.56478691px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.23911966"
xml:space="preserve"><tspan
id="tspan4670"
style="stroke-width:0.23911966"
y="51.315487"
x="82.670761"
sodipodi:role="line">2</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 6.4 KiB

View file

@ -0,0 +1,172 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="180.05606mm"
height="101.08517mm"
viewBox="0 0 180.05606 101.08517"
version="1.1"
id="svg4620"
sodipodi:docname="2018-02-14-ReplSort-4.svg"
inkscape:version="0.92.2 5c3e80d, 2017-08-06">
<defs
id="defs4614" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.4"
inkscape:cx="122.06271"
inkscape:cy="144.40364"
inkscape:document-units="mm"
inkscape:current-layer="layer1"
showgrid="false"
fit-margin-top="5"
fit-margin-left="5"
fit-margin-right="5"
fit-margin-bottom="5"
inkscape:window-width="1920"
inkscape:window-height="1031"
inkscape:window-x="0"
inkscape:window-y="1"
inkscape:window-maximized="1" />
<metadata
id="metadata4617">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-5.8660774,-20.242213)">
<rect
style="fill:#cccccc;fill-opacity:1;stroke:#4d4d4d;stroke-width:0.5;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect4664"
width="21.922615"
height="58.208328"
x="150.96368"
y="38.464287" />
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.769646"
y="74.372032"
id="text4624"><tspan
sodipodi:role="line"
x="78.769646"
y="74.372032"
style="stroke-width:0.26458332"
id="tspan4628">10</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.76108"
y="77.989967"
id="text4636"><tspan
sodipodi:role="line"
id="tspan4634"
x="158.76108"
y="77.989967"
style="stroke-width:0.26458332">8</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.619041"
y="99.220268"
id="text4640"><tspan
sodipodi:role="line"
id="tspan4638"
x="78.619041"
y="99.220268"
style="stroke-width:0.26458332">12</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="80.538826"
y="116.32738"
id="text4644"><tspan
sodipodi:role="line"
id="tspan4642"
x="80.538826"
y="116.32738"
style="stroke-width:0.26458332">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="55.184525"
y="33.852982"
id="text4648"><tspan
sodipodi:role="line"
id="tspan4646"
x="55.184525"
y="33.852982"
style="stroke-width:0.26458332">Working Set</tspan></text>
<text
id="text4652"
y="33.097031"
x="9.8273811"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="33.097031"
x="9.8273811"
id="tspan4650"
sodipodi:role="line">Input</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="144.3869"
y="33.097031"
id="text4656"><tspan
sodipodi:role="line"
id="tspan4654"
x="144.3869"
y="33.097031"
style="stroke-width:0.26458332">Output</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.74998"
y="52.071426"
id="text4660"><tspan
sodipodi:role="line"
id="tspan4658"
x="158.74998"
y="52.071426"
style="stroke-width:0.26458332">3</tspan><tspan
sodipodi:role="line"
x="158.74998"
y="65.300591"
style="stroke-width:0.26458332"
id="tspan4662">5</tspan></text>
<text
id="text4672"
y="51.315487"
x="82.670761"
style="font-style:normal;font-weight:normal;font-size:9.56478691px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.23911966"
xml:space="preserve"><tspan
id="tspan4670"
style="stroke-width:0.23911966"
y="51.315487"
x="82.670761"
sodipodi:role="line">2</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 6.4 KiB

View file

@ -0,0 +1,194 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="180.05606mm"
height="101.08517mm"
viewBox="0 0 180.05606 101.08517"
version="1.1"
id="svg4620"
sodipodi:docname="2018-02-14-ReplSort-5.svg"
inkscape:version="0.92.2 5c3e80d, 2017-08-06">
<defs
id="defs4614" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.4"
inkscape:cx="24.205567"
inkscape:cy="144.40364"
inkscape:document-units="mm"
inkscape:current-layer="layer1"
showgrid="false"
fit-margin-top="5"
fit-margin-left="5"
fit-margin-right="5"
fit-margin-bottom="5"
inkscape:window-width="1920"
inkscape:window-height="1031"
inkscape:window-x="0"
inkscape:window-y="1"
inkscape:window-maximized="1" />
<metadata
id="metadata4617">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title />
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-5.8660774,-20.242213)">
<rect
style="fill:#cccccc;fill-opacity:1;stroke:#4d4d4d;stroke-width:0.5;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect4664"
width="21.922615"
height="58.208328"
x="150.96368"
y="38.464287" />
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="154.93185"
y="91.758934"
id="text4624"><tspan
sodipodi:role="line"
x="154.93185"
y="91.758934"
style="stroke-width:0.26458332"
id="tspan4628">10</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.76108"
y="77.989967"
id="text4636"><tspan
sodipodi:role="line"
id="tspan4634"
x="158.76108"
y="77.989967"
style="stroke-width:0.26458332">8</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.619041"
y="99.220268"
id="text4640"><tspan
sodipodi:role="line"
id="tspan4638"
x="78.619041"
y="99.220268"
style="stroke-width:0.26458332">12</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="80.538826"
y="116.32738"
id="text4644"><tspan
sodipodi:role="line"
id="tspan4642"
x="80.538826"
y="116.32738"
style="stroke-width:0.26458332">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="55.184525"
y="33.852982"
id="text4648"><tspan
sodipodi:role="line"
id="tspan4646"
x="55.184525"
y="33.852982"
style="stroke-width:0.26458332">Working Set</tspan></text>
<text
id="text4652"
y="33.097031"
x="9.8273811"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="33.097031"
x="9.8273811"
id="tspan4650"
sodipodi:role="line">Input</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="144.3869"
y="33.097031"
id="text4656"><tspan
sodipodi:role="line"
id="tspan4654"
x="144.3869"
y="33.097031"
style="stroke-width:0.26458332">Output</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.74998"
y="52.071426"
id="text4660"><tspan
sodipodi:role="line"
id="tspan4658"
x="158.74998"
y="52.071426"
style="stroke-width:0.26458332">3</tspan><tspan
sodipodi:role="line"
x="158.74998"
y="65.300591"
style="stroke-width:0.26458332"
id="tspan4662">5</tspan></text>
<text
id="text4672"
y="51.315487"
x="82.670761"
style="font-style:normal;font-weight:normal;font-size:9.56478691px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.23911966"
xml:space="preserve"><tspan
id="tspan4670"
style="stroke-width:0.23911966"
y="51.315487"
x="82.670761"
sodipodi:role="line">2</tspan></text>
<text
id="text193"
y="51.672626"
x="20.21578"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
id="tspan191"
style="stroke-width:0.26458332"
y="51.672626"
x="20.21578"
sodipodi:role="line">4</tspan></text>
<text
id="text197"
y="71.327377"
x="18.734364"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="71.327377"
x="18.734364"
id="tspan195"
sodipodi:role="line">...</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 7.4 KiB

View file

@ -0,0 +1,194 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="180.05606mm"
height="101.08517mm"
viewBox="0 0 180.05606 101.08517"
version="1.1"
id="svg4620"
sodipodi:docname="2018-02-14-ReplSort-6.svg"
inkscape:version="0.92.2 5c3e80d, 2017-08-06">
<defs
id="defs4614" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="0.98994949"
inkscape:cx="412.73256"
inkscape:cy="190.37467"
inkscape:document-units="mm"
inkscape:current-layer="layer1"
showgrid="false"
fit-margin-top="5"
fit-margin-left="5"
fit-margin-right="5"
fit-margin-bottom="5"
inkscape:window-width="1920"
inkscape:window-height="1031"
inkscape:window-x="0"
inkscape:window-y="1"
inkscape:window-maximized="1" />
<metadata
id="metadata4617">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-5.8660774,-20.242213)">
<rect
style="fill:#cccccc;fill-opacity:1;stroke:#4d4d4d;stroke-width:0.5;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect4664"
width="21.922615"
height="58.208328"
x="150.96368"
y="38.464287" />
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="154.93185"
y="91.758934"
id="text4624"><tspan
sodipodi:role="line"
x="154.93185"
y="91.758934"
style="stroke-width:0.26458332"
id="tspan4628">10</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.76108"
y="77.989967"
id="text4636"><tspan
sodipodi:role="line"
id="tspan4634"
x="158.76108"
y="77.989967"
style="stroke-width:0.26458332">8</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.619041"
y="99.220268"
id="text4640"><tspan
sodipodi:role="line"
id="tspan4638"
x="78.619041"
y="99.220268"
style="stroke-width:0.26458332">12</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="80.538826"
y="116.32738"
id="text4644"><tspan
sodipodi:role="line"
id="tspan4642"
x="80.538826"
y="116.32738"
style="stroke-width:0.26458332">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="55.184525"
y="33.852982"
id="text4648"><tspan
sodipodi:role="line"
id="tspan4646"
x="55.184525"
y="33.852982"
style="stroke-width:0.26458332">Working Set</tspan></text>
<text
id="text4652"
y="33.097031"
x="9.8273811"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="33.097031"
x="9.8273811"
id="tspan4650"
sodipodi:role="line">Input</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="144.3869"
y="33.097031"
id="text4656"><tspan
sodipodi:role="line"
id="tspan4654"
x="144.3869"
y="33.097031"
style="stroke-width:0.26458332">Output</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="158.74998"
y="52.071426"
id="text4660"><tspan
sodipodi:role="line"
id="tspan4658"
x="158.74998"
y="52.071426"
style="stroke-width:0.26458332">3</tspan><tspan
sodipodi:role="line"
x="158.74998"
y="65.300591"
style="stroke-width:0.26458332"
id="tspan4662">5</tspan></text>
<text
id="text4672"
y="51.315487"
x="82.670761"
style="font-style:normal;font-weight:normal;font-size:9.56478691px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.23911966"
xml:space="preserve"><tspan
id="tspan4670"
style="stroke-width:0.23911966"
y="51.315487"
x="82.670761"
sodipodi:role="line">2</tspan></text>
<text
id="text193"
y="74.999947"
x="82.214882"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
id="tspan191"
style="stroke-width:0.26458332"
y="74.999947"
x="82.214882"
sodipodi:role="line">4</tspan></text>
<text
id="text197"
y="49.753426"
x="19.528742"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="49.753426"
x="19.528742"
id="tspan195"
sodipodi:role="line">...</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 7.4 KiB

View file

@ -0,0 +1,167 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="180.05606mm"
height="101.08517mm"
viewBox="0 0 180.05606 101.08517"
version="1.1"
id="svg4620"
sodipodi:docname="2018-02-14-ReplSort-7.svg"
inkscape:version="0.92.2 5c3e80d, 2017-08-06">
<defs
id="defs4614" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="0.98994949"
inkscape:cx="412.73256"
inkscape:cy="190.37467"
inkscape:document-units="mm"
inkscape:current-layer="layer1"
showgrid="false"
fit-margin-top="5"
fit-margin-left="5"
fit-margin-right="5"
fit-margin-bottom="5"
inkscape:window-width="1920"
inkscape:window-height="1031"
inkscape:window-x="0"
inkscape:window-y="1"
inkscape:window-maximized="1" />
<metadata
id="metadata4617">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-5.8660774,-20.242213)">
<rect
style="fill:#cccccc;fill-opacity:1;stroke:#4d4d4d;stroke-width:0.5;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect4664"
width="21.922615"
height="58.208328"
x="150.96368"
y="38.464287" />
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="78.619041"
y="99.220268"
id="text4640"><tspan
sodipodi:role="line"
id="tspan4638"
x="78.619041"
y="99.220268"
style="stroke-width:0.26458332">12</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="80.538826"
y="116.32738"
id="text4644"><tspan
sodipodi:role="line"
id="tspan4642"
x="80.538826"
y="116.32738"
style="stroke-width:0.26458332">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="55.184525"
y="33.852982"
id="text4648"><tspan
sodipodi:role="line"
id="tspan4646"
x="55.184525"
y="33.852982"
style="stroke-width:0.26458332">Working Set</tspan></text>
<text
id="text4652"
y="33.097031"
x="9.8273811"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="33.097031"
x="9.8273811"
id="tspan4650"
sodipodi:role="line">Input</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="144.3869"
y="33.097031"
id="text4656"><tspan
sodipodi:role="line"
id="tspan4654"
x="144.3869"
y="33.097031"
style="stroke-width:0.26458332">Output</tspan></text>
<text
id="text4672"
y="51.315487"
x="82.670761"
style="font-style:normal;font-weight:normal;font-size:9.56478691px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.23911966"
xml:space="preserve"><tspan
id="tspan4670"
style="stroke-width:0.23911966"
y="51.315487"
x="82.670761"
sodipodi:role="line">2</tspan></text>
<text
id="text193"
y="74.999947"
x="82.214882"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
id="tspan191"
style="stroke-width:0.26458332"
y="74.999947"
x="82.214882"
sodipodi:role="line">4</tspan></text>
<text
id="text197"
y="49.753426"
x="19.528742"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="49.753426"
x="19.528742"
id="tspan195"
sodipodi:role="line">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="133.35365"
y="112.24022"
id="text656"><tspan
sodipodi:role="line"
id="tspan654"
x="133.35365"
y="112.24022"
style="stroke-width:0.26458332">max = 10</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 6.3 KiB

View file

@ -0,0 +1,167 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="180.05606mm"
height="101.08517mm"
viewBox="0 0 180.05606 101.08517"
version="1.1"
id="svg4620"
sodipodi:docname="2018-02-14-ReplSort-8.svg"
inkscape:version="0.92.2 5c3e80d, 2017-08-06">
<defs
id="defs4614" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="0.98994949"
inkscape:cx="412.73256"
inkscape:cy="190.37467"
inkscape:document-units="mm"
inkscape:current-layer="layer1"
showgrid="false"
fit-margin-top="5"
fit-margin-left="5"
fit-margin-right="5"
fit-margin-bottom="5"
inkscape:window-width="1920"
inkscape:window-height="1031"
inkscape:window-x="0"
inkscape:window-y="1"
inkscape:window-maximized="1" />
<metadata
id="metadata4617">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-5.8660774,-20.242213)">
<rect
style="fill:#cccccc;fill-opacity:1;stroke:#4d4d4d;stroke-width:0.5;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect4664"
width="21.922615"
height="58.208328"
x="150.96368"
y="38.464287" />
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="155.32539"
y="50.042675"
id="text4640"><tspan
sodipodi:role="line"
id="tspan4638"
x="155.32539"
y="50.042675"
style="stroke-width:0.26458332">12</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="80.538826"
y="116.32738"
id="text4644"><tspan
sodipodi:role="line"
id="tspan4642"
x="80.538826"
y="116.32738"
style="stroke-width:0.26458332">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="55.184525"
y="33.852982"
id="text4648"><tspan
sodipodi:role="line"
id="tspan4646"
x="55.184525"
y="33.852982"
style="stroke-width:0.26458332">Working Set</tspan></text>
<text
id="text4652"
y="33.097031"
x="9.8273811"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="33.097031"
x="9.8273811"
id="tspan4650"
sodipodi:role="line">Input</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="144.3869"
y="33.097031"
id="text4656"><tspan
sodipodi:role="line"
id="tspan4654"
x="144.3869"
y="33.097031"
style="stroke-width:0.26458332">Output</tspan></text>
<text
id="text4672"
y="51.315487"
x="82.670761"
style="font-style:normal;font-weight:normal;font-size:9.56478691px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.23911966"
xml:space="preserve"><tspan
id="tspan4670"
style="stroke-width:0.23911966"
y="51.315487"
x="82.670761"
sodipodi:role="line">2</tspan></text>
<text
id="text193"
y="74.999947"
x="82.214882"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
id="tspan191"
style="stroke-width:0.26458332"
y="74.999947"
x="82.214882"
sodipodi:role="line">4</tspan></text>
<text
id="text197"
y="49.753426"
x="19.528742"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
xml:space="preserve"><tspan
style="stroke-width:0.26458332"
y="49.753426"
x="19.528742"
id="tspan195"
sodipodi:role="line">...</tspan></text>
<text
xml:space="preserve"
style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
x="133.35365"
y="112.24022"
id="text656"><tspan
sodipodi:role="line"
id="tspan654"
x="133.35365"
y="112.24022"
style="stroke-width:0.26458332">max = 10</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 6.3 KiB