diff --git a/slides/cours_20.md b/slides/cours_20.md index 511ced6860b3167aaf43cee5af2a4b7687cb8e44..b1db79831742efb57db1319ce7c9c47b782ff41c 100644 --- a/slides/cours_20.md +++ b/slides/cours_20.md @@ -852,6 +852,8 @@ bool last_value(node *qt, int *val) { ## Que devient l'arbre avec $\theta=0.5$? + + . . .  diff --git a/slides/figs/quad_img_simple_variation.svg b/slides/figs/quad_img_simple_variation.svg new file mode 100644 index 0000000000000000000000000000000000000000..eafe19ff0484820ffb90fb9b5cc7bfe21c959fae --- /dev/null +++ b/slides/figs/quad_img_simple_variation.svg @@ -0,0 +1,257 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> +<!-- Generated by graphviz version 2.40.1 (20161225.0304) + --> +<!-- Title: G Pages: 1 --> +<svg width="1142pt" height="188pt" viewBox="0.00 0.00 1142.00 188.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> +<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 184)"> +<title>G</title> +<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-184 1138,-184 1138,4 -4,4"/> +<!-- 0 --> +<g id="node1" class="node"> +<title>0</title> +<ellipse fill="none" stroke="#000000" cx="567" cy="-162" rx="27" ry="18"/> +<text text-anchor="middle" x="567" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000"> </text> +</g> +<!-- sg1 --> +<g id="node2" class="node"> +<title>sg1</title> +<ellipse fill="none" stroke="#000000" cx="171" cy="-90" rx="27" ry="18"/> +<text text-anchor="middle" x="171" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">SG</text> +</g> +<!-- 0->sg1 --> +<g id="edge1" class="edge"> +<title>0->sg1</title> +<path fill="none" stroke="#000000" d="M540.7107,-157.2201C471.8543,-144.7008 286.1298,-110.9327 207.2397,-96.589"/> +<polygon fill="#000000" stroke="#000000" points="207.7449,-93.1236 197.28,-94.7782 206.4926,-100.0107 207.7449,-93.1236"/> +</g> +<!-- sd1 --> +<g id="node3" class="node"> +<title>sd1</title> +<ellipse fill="none" stroke="#000000" cx="459" cy="-90" rx="27" ry="18"/> +<text text-anchor="middle" x="459" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">SD</text> +</g> +<!-- 0->sd1 --> +<g id="edge2" class="edge"> +<title>0->sd1</title> +<path fill="none" stroke="#000000" d="M547.6918,-149.1278C530.6445,-137.763 505.5981,-121.0654 486.4656,-108.3104"/> +<polygon fill="#000000" stroke="#000000" points="488.4031,-105.3956 478.1411,-102.7607 484.5201,-111.2199 488.4031,-105.3956"/> +</g> +<!-- ig1 --> +<g id="node4" class="node"> +<title>ig1</title> +<ellipse fill="none" stroke="#000000" cx="675" cy="-90" rx="27" ry="18"/> +<text text-anchor="middle" x="675" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">IG</text> +</g> +<!-- 0->ig1 --> +<g id="edge3" class="edge"> +<title>0->ig1</title> +<path fill="none" stroke="#000000" d="M586.3082,-149.1278C603.3555,-137.763 628.4019,-121.0654 647.5344,-108.3104"/> +<polygon fill="#000000" stroke="#000000" points="649.4799,-111.2199 655.8589,-102.7607 645.5969,-105.3956 649.4799,-111.2199"/> +</g> +<!-- id1 --> +<g id="node5" class="node"> +<title>id1</title> +<ellipse fill="none" stroke="#000000" cx="963" cy="-90" rx="27" ry="18"/> +<text text-anchor="middle" x="963" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">ID</text> +</g> +<!-- 0->id1 --> +<g id="edge4" class="edge"> +<title>0->id1</title> +<path fill="none" stroke="#000000" d="M593.2893,-157.2201C662.1457,-144.7008 847.8702,-110.9327 926.7603,-96.589"/> +<polygon fill="#000000" stroke="#000000" points="927.5074,-100.0107 936.72,-94.7782 926.2551,-93.1236 927.5074,-100.0107"/> +</g> +<!-- sg2 --> +<g id="node6" class="node"> +<title>sg2</title> +<ellipse fill="none" stroke="#000000" cx="27" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="27" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">21</text> +</g> +<!-- sg1->sg2 --> +<g id="edge5" class="edge"> +<title>sg1->sg2</title> +<path fill="none" stroke="#000000" d="M149.1295,-79.0647C124.7778,-66.8889 85.238,-47.119 57.7715,-33.3858"/> +<polygon fill="#000000" stroke="#000000" points="59.114,-30.1439 48.6045,-28.8022 55.9835,-36.4049 59.114,-30.1439"/> +</g> +<!-- sd2 --> +<g id="node7" class="node"> +<title>sd2</title> +<ellipse fill="none" stroke="#000000" cx="99" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="99" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">12</text> +</g> +<!-- sg1->sd2 --> +<g id="edge6" class="edge"> +<title>sg1->sd2</title> +<path fill="none" stroke="#000000" d="M155.7307,-74.7307C145.803,-64.803 132.6847,-51.6847 121.5637,-40.5637"/> +<polygon fill="#000000" stroke="#000000" points="123.7933,-37.8436 114.2473,-33.2473 118.8436,-42.7933 123.7933,-37.8436"/> +</g> +<!-- ig2 --> +<g id="node8" class="node"> +<title>ig2</title> +<ellipse fill="none" stroke="#000000" cx="171" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="171" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">9</text> +</g> +<!-- sg1->ig2 --> +<g id="edge7" class="edge"> +<title>sg1->ig2</title> +<path fill="none" stroke="#000000" d="M171,-71.8314C171,-64.131 171,-54.9743 171,-46.4166"/> +<polygon fill="#000000" stroke="#000000" points="174.5001,-46.4132 171,-36.4133 167.5001,-46.4133 174.5001,-46.4132"/> +</g> +<!-- id2 --> +<g id="node9" class="node"> +<title>id2</title> +<ellipse fill="none" stroke="#000000" cx="243" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="243" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">7</text> +</g> +<!-- sg1->id2 --> +<g id="edge8" class="edge"> +<title>sg1->id2</title> +<path fill="none" stroke="#000000" d="M186.2693,-74.7307C196.197,-64.803 209.3153,-51.6847 220.4363,-40.5637"/> +<polygon fill="#000000" stroke="#000000" points="223.1564,-42.7933 227.7527,-33.2473 218.2067,-37.8436 223.1564,-42.7933"/> +</g> +<!-- sg3 --> +<g id="node10" class="node"> +<title>sg3</title> +<ellipse fill="none" stroke="#000000" cx="315" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="315" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text> +</g> +<!-- sd1->sg3 --> +<g id="edge9" class="edge"> +<title>sd1->sg3</title> +<path fill="none" stroke="#000000" d="M437.1295,-79.0647C412.7778,-66.8889 373.238,-47.119 345.7715,-33.3858"/> +<polygon fill="#000000" stroke="#000000" points="347.114,-30.1439 336.6045,-28.8022 343.9835,-36.4049 347.114,-30.1439"/> +</g> +<!-- sd3 --> +<g id="node11" class="node"> +<title>sd3</title> +<ellipse fill="none" stroke="#000000" cx="387" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="387" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text> +</g> +<!-- sd1->sd3 --> +<g id="edge10" class="edge"> +<title>sd1->sd3</title> +<path fill="none" stroke="#000000" d="M443.7307,-74.7307C433.803,-64.803 420.6847,-51.6847 409.5637,-40.5637"/> +<polygon fill="#000000" stroke="#000000" points="411.7933,-37.8436 402.2473,-33.2473 406.8436,-42.7933 411.7933,-37.8436"/> +</g> +<!-- ig3 --> +<g id="node12" class="node"> +<title>ig3</title> +<ellipse fill="none" stroke="#000000" cx="459" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="459" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text> +</g> +<!-- sd1->ig3 --> +<g id="edge11" class="edge"> +<title>sd1->ig3</title> +<path fill="none" stroke="#000000" d="M459,-71.8314C459,-64.131 459,-54.9743 459,-46.4166"/> +<polygon fill="#000000" stroke="#000000" points="462.5001,-46.4132 459,-36.4133 455.5001,-46.4133 462.5001,-46.4132"/> +</g> +<!-- id3 --> +<g id="node13" class="node"> +<title>id3</title> +<ellipse fill="none" stroke="#000000" cx="531" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="531" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text> +</g> +<!-- sd1->id3 --> +<g id="edge12" class="edge"> +<title>sd1->id3</title> +<path fill="none" stroke="#000000" d="M474.2693,-74.7307C484.197,-64.803 497.3153,-51.6847 508.4363,-40.5637"/> +<polygon fill="#000000" stroke="#000000" points="511.1564,-42.7933 515.7527,-33.2473 506.2067,-37.8436 511.1564,-42.7933"/> +</g> +<!-- sg4 --> +<g id="node14" class="node"> +<title>sg4</title> +<ellipse fill="none" stroke="#000000" cx="603" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="603" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text> +</g> +<!-- ig1->sg4 --> +<g id="edge13" class="edge"> +<title>ig1->sg4</title> +<path fill="none" stroke="#000000" d="M659.7307,-74.7307C649.803,-64.803 636.6847,-51.6847 625.5637,-40.5637"/> +<polygon fill="#000000" stroke="#000000" points="627.7933,-37.8436 618.2473,-33.2473 622.8436,-42.7933 627.7933,-37.8436"/> +</g> +<!-- sd4 --> +<g id="node15" class="node"> +<title>sd4</title> +<ellipse fill="none" stroke="#000000" cx="675" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="675" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text> +</g> +<!-- ig1->sd4 --> +<g id="edge14" class="edge"> +<title>ig1->sd4</title> +<path fill="none" stroke="#000000" d="M675,-71.8314C675,-64.131 675,-54.9743 675,-46.4166"/> +<polygon fill="#000000" stroke="#000000" points="678.5001,-46.4132 675,-36.4133 671.5001,-46.4133 678.5001,-46.4132"/> +</g> +<!-- ig4 --> +<g id="node16" class="node"> +<title>ig4</title> +<ellipse fill="none" stroke="#000000" cx="747" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="747" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text> +</g> +<!-- ig1->ig4 --> +<g id="edge15" class="edge"> +<title>ig1->ig4</title> +<path fill="none" stroke="#000000" d="M690.2693,-74.7307C700.197,-64.803 713.3153,-51.6847 724.4363,-40.5637"/> +<polygon fill="#000000" stroke="#000000" points="727.1564,-42.7933 731.7527,-33.2473 722.2067,-37.8436 727.1564,-42.7933"/> +</g> +<!-- id4 --> +<g id="node17" class="node"> +<title>id4</title> +<ellipse fill="none" stroke="#000000" cx="819" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="819" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text> +</g> +<!-- ig1->id4 --> +<g id="edge16" class="edge"> +<title>ig1->id4</title> +<path fill="none" stroke="#000000" d="M696.8705,-79.0647C721.2222,-66.8889 760.762,-47.119 788.2285,-33.3858"/> +<polygon fill="#000000" stroke="#000000" points="790.0165,-36.4049 797.3955,-28.8022 786.886,-30.1439 790.0165,-36.4049"/> +</g> +<!-- sg5 --> +<g id="node18" class="node"> +<title>sg5</title> +<ellipse fill="none" stroke="#000000" cx="891" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="891" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text> +</g> +<!-- id1->sg5 --> +<g id="edge17" class="edge"> +<title>id1->sg5</title> +<path fill="none" stroke="#000000" d="M947.7307,-74.7307C937.803,-64.803 924.6847,-51.6847 913.5637,-40.5637"/> +<polygon fill="#000000" stroke="#000000" points="915.7933,-37.8436 906.2473,-33.2473 910.8436,-42.7933 915.7933,-37.8436"/> +</g> +<!-- sd5 --> +<g id="node19" class="node"> +<title>sd5</title> +<ellipse fill="none" stroke="#000000" cx="963" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="963" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">31</text> +</g> +<!-- id1->sd5 --> +<g id="edge18" class="edge"> +<title>id1->sd5</title> +<path fill="none" stroke="#000000" d="M963,-71.8314C963,-64.131 963,-54.9743 963,-46.4166"/> +<polygon fill="#000000" stroke="#000000" points="966.5001,-46.4132 963,-36.4133 959.5001,-46.4133 966.5001,-46.4132"/> +</g> +<!-- ig5 --> +<g id="node20" class="node"> +<title>ig5</title> +<ellipse fill="none" stroke="#000000" cx="1035" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="1035" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text> +</g> +<!-- id1->ig5 --> +<g id="edge19" class="edge"> +<title>id1->ig5</title> +<path fill="none" stroke="#000000" d="M978.2693,-74.7307C988.197,-64.803 1001.3153,-51.6847 1012.4363,-40.5637"/> +<polygon fill="#000000" stroke="#000000" points="1015.1564,-42.7933 1019.7527,-33.2473 1010.2067,-37.8436 1015.1564,-42.7933"/> +</g> +<!-- id5 --> +<g id="node21" class="node"> +<title>id5</title> +<ellipse fill="none" stroke="#000000" cx="1107" cy="-18" rx="27" ry="18"/> +<text text-anchor="middle" x="1107" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">27</text> +</g> +<!-- id1->id5 --> +<g id="edge20" class="edge"> +<title>id1->id5</title> +<path fill="none" stroke="#000000" d="M984.8705,-79.0647C1009.2222,-66.8889 1048.762,-47.119 1076.2285,-33.3858"/> +<polygon fill="#000000" stroke="#000000" points="1078.0165,-36.4049 1085.3955,-28.8022 1074.886,-30.1439 1078.0165,-36.4049"/> +</g> +</g> +</svg> \ No newline at end of file