libstdc++-v3/doc/xml/images/pbds_pairing_priority_queue_text_modify_down_thin.svg

<?xml version="1.0" ?>
<!--Created by PyChart 1.39 Copyright 1999-2006 Yasushi Saito-->
<svg viewBox="178 -544 620 456" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
  <defs>
    <clipPath id="clip0">
      <path d="M 294 -294 L 294 -526 L 786 -526 L 786 -294 Z"/>
    </clipPath>
    <clipPath id="clip1">
      <path d="M 294 -294 L 294 -526 L 786 -526 L 786 -294 Z"/>
    </clipPath>
    <clipPath id="clip2">
      <path d="M 280 -280 L 280 -540 L 800 -540 L 800 -280 Z"/>
    </clipPath>
    <clipPath id="clip3">
      <path d="M 321.8181818181818 -441.4383867795615 L 315.5681818181818 -451.4383867795615 L 328.0681818181818 -451.4383867795615 Z"/>
    </clipPath>
    <clipPath id="clip4">
      <path d="M 343.6363636363636 -456.61127287587965 L 337.3863636363636 -466.61127287587965 L 349.8863636363636 -466.61127287587965 Z"/>
    </clipPath>
    <clipPath id="clip5">
      <path d="M 365.45454545454544 -477.9863479049334 L 359.20454545454544 -487.9863479049334 L 371.70454545454544 -487.9863479049334 Z"/>
    </clipPath>
    <clipPath id="clip6">
      <path d="M 387.27272727272725 -482.27203938546415 L 381.02272727272725 -492.27203938546415 L 393.52272727272725 -492.27203938546415 Z"/>
    </clipPath>
    <clipPath id="clip7">
      <path d="M 409.0909090909091 -483.06294139432714 L 402.8409090909091 -493.06294139432714 L 415.3409090909091 -493.06294139432714 Z"/>
    </clipPath>
    <clipPath id="clip8">
      <path d="M 430.9090909090909 -496.94025133136665 L 424.6590909090909 -506.94025133136665 L 437.1590909090909 -506.94025133136665 Z"/>
    </clipPath>
    <clipPath id="clip9">
      <path d="M 452.72727272727275 -503.234454618597 L 446.47727272727275 -513.234454618597 L 458.97727272727275 -513.234454618597 Z"/>
    </clipPath>
    <clipPath id="clip10">
      <path d="M 474.5454545454545 -507.66554282722245 L 468.2954545454545 -517.6655428272225 L 480.7954545454545 -517.6655428272225 Z"/>
    </clipPath>
    <clipPath id="clip11">
      <path d="M 496.3636363636364 -485.585609746753 L 490.1136363636364 -495.585609746753 L 502.6136363636364 -495.585609746753 Z"/>
    </clipPath>
    <clipPath id="clip12">
      <path d="M 518.1818181818182 -515.0 L 511.9318181818182 -525.0 L 524.4318181818182 -525.0 Z"/>
    </clipPath>
    <clipPath id="clip13">
      <path d="M 294 -294 L 294 -526 L 786 -526 L 786 -294 Z"/>
    </clipPath>
    <clipPath id="clip14">
      <path d="M 280 -280 L 280 -540 L 800 -540 L 800 -280 Z"/>
    </clipPath>
    <clipPath id="clip15">
      <path d="M 290 -94 L 290 -136 L 422.944 -136 L 422.944 -94 Z"/>
    </clipPath>
    <clipPath id="clip16">
      <path d="M 308.0 -120.33333333333334 L 301.75 -130.33333333333334 L 314.25 -130.33333333333334 Z"/>
    </clipPath>
  </defs>
  <g style="stroke-linejoin:miter;font-size:8;font-family:Helvetica;fill:none;stroke-linecap:butt;stroke:rgb(0,0,0);font-stretch:normal;stroke-dasharray:none;font-weight:normal;font-style:normal;stroke-width:0.5;">
    <path d="M 300 -300 L 780 -300"/>
    <path d="M 300 -300 L 780 -300"/>
    <path d="M 300.0 -300 L 300.0 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,300,-288)" x="300.0" y="-288.0">
      0
    </text>
    <path d="M 343.6363636363636 -300 L 343.6363636363636 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,343.636,-288)" x="343.6363636363636" y="-288.0">
      200
    </text>
    <path d="M 387.27272727272725 -300 L 387.27272727272725 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,387.273,-288)" x="387.27272727272725" y="-288.0">
      400
    </text>
    <path d="M 430.9090909090909 -300 L 430.9090909090909 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,430.909,-288)" x="430.9090909090909" y="-288.0">
      600
    </text>
    <path d="M 474.5454545454545 -300 L 474.5454545454545 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,474.545,-288)" x="474.5454545454545" y="-288.0">
      800
    </text>
    <path d="M 518.1818181818182 -300 L 518.1818181818182 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,518.182,-288)" x="518.1818181818182" y="-288.0">
      1000
    </text>
    <path d="M 561.8181818181818 -300 L 561.8181818181818 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,561.818,-288)" x="561.8181818181818" y="-288.0">
      1200
    </text>
    <path d="M 605.4545454545455 -300 L 605.4545454545455 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,605.455,-288)" x="605.4545454545455" y="-288.0">
      1400
    </text>
    <path d="M 649.090909090909 -300 L 649.090909090909 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,649.091,-288)" x="649.090909090909" y="-288.0">
      1600
    </text>
    <path d="M 692.7272727272727 -300 L 692.7272727272727 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,692.727,-288)" x="692.7272727272727" y="-288.0">
      1800
    </text>
    <path d="M 736.3636363636364 -300 L 736.3636363636364 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,736.364,-288)" x="736.3636363636364" y="-288.0">
      2000
    </text>
    <path d="M 780.0 -300 L 780.0 -288"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,780,-288)" x="780.0" y="-288.0">
      2200
    </text>
    <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="524.44" y="-220.0">
      Size
    </text>
    <path d="M 300 -300 L 300 -520"/>
    <path d="M 300 -300.0 L 288 -300.0"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-294.0">
      0.00e+00
    </text>
    <path d="M 300 -344.0 L 288 -344.0"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-338.0">
      1.25e-07
    </text>
    <path d="M 300 -388.0 L 288 -388.0"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-382.0">
      2.51e-07
    </text>
    <path d="M 300 -432.0 L 288 -432.0"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-426.0">
      3.76e-07
    </text>
    <path d="M 300 -476.0 L 288 -476.0"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-470.0">
      5.01e-07
    </text>
    <path d="M 300 -520.0 L 288 -520.0"/>
    <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-514.0">
      6.26e-07
    </text>
    <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" transform="rotate(-90,200,-340.648)" x="200.0" y="-340.648">
      Average time (sec.)
    </text>
    <g style="clip-path:url(#clip0);">
      <g style="clip-path:url(#clip1);">
        <path d="M 321.8181818181818 -446.4383867795615 L 343.6363636363636 -461.61127287587965 L 365.45454545454544 -482.9863479049334 L 387.27272727272725 -487.27203938546415 L 409.0909090909091 -488.06294139432714 L 430.9090909090909 -501.94025133136665 L 452.72727272727275 -508.234454618597 L 474.5454545454545 -512.6655428272225 L 496.3636363636364 -490.585609746753 L 518.1818181818182 -520.0" style="stroke:rgb(126,126,126);stroke-width:0.4;stroke-dasharray:1.5,1.5;"/>
      </g>
      <g style="clip-path:url(#clip2);">
        <g style="fill:rgb(0,0,0);clip-path:url(#clip3);">
          <path d="M 315.5681818181818 -441.4383867795615 L 315.5681818181818 -451.4383867795615 L 328.0681818181818 -451.4383867795615 L 328.0681818181818 -441.4383867795615 Z" style="stroke:none;"/>
        </g>
        <g>
          <path d="M 321.8181818181818 -441.4383867795615 L 315.5681818181818 -451.4383867795615 L 328.0681818181818 -451.4383867795615 Z"/>
          <g style="fill:rgb(0,0,0);clip-path:url(#clip4);">
            <path d="M 337.3863636363636 -456.61127287587965 L 337.3863636363636 -466.61127287587965 L 349.8863636363636 -466.61127287587965 L 349.8863636363636 -456.61127287587965 Z" style="stroke:none;"/>
          </g>
          <g>
            <path d="M 343.6363636363636 -456.61127287587965 L 337.3863636363636 -466.61127287587965 L 349.8863636363636 -466.61127287587965 Z"/>
            <g style="fill:rgb(0,0,0);clip-path:url(#clip5);">
              <path d="M 359.20454545454544 -477.9863479049334 L 359.20454545454544 -487.9863479049334 L 371.70454545454544 -487.9863479049334 L 371.70454545454544 -477.9863479049334 Z" style="stroke:none;"/>
            </g>
            <g>
              <path d="M 365.45454545454544 -477.9863479049334 L 359.20454545454544 -487.9863479049334 L 371.70454545454544 -487.9863479049334 Z"/>
              <g style="fill:rgb(0,0,0);clip-path:url(#clip6);">
                <path d="M 381.02272727272725 -482.27203938546415 L 381.02272727272725 -492.27203938546415 L 393.52272727272725 -492.27203938546415 L 393.52272727272725 -482.27203938546415 Z" style="stroke:none;"/>
              </g>
              <g>
                <path d="M 387.27272727272725 -482.27203938546415 L 381.02272727272725 -492.27203938546415 L 393.52272727272725 -492.27203938546415 Z"/>
                <g style="fill:rgb(0,0,0);clip-path:url(#clip7);">
                  <path d="M 402.8409090909091 -483.06294139432714 L 402.8409090909091 -493.06294139432714 L 415.3409090909091 -493.06294139432714 L 415.3409090909091 -483.06294139432714 Z" style="stroke:none;"/>
                </g>
                <g>
                  <path d="M 409.0909090909091 -483.06294139432714 L 402.8409090909091 -493.06294139432714 L 415.3409090909091 -493.06294139432714 Z"/>
                  <g style="fill:rgb(0,0,0);clip-path:url(#clip8);">
                    <path d="M 424.6590909090909 -496.94025133136665 L 424.6590909090909 -506.94025133136665 L 437.1590909090909 -506.94025133136665 L 437.1590909090909 -496.94025133136665 Z" style="stroke:none;"/>
                  </g>
                  <g>
                    <path d="M 430.9090909090909 -496.94025133136665 L 424.6590909090909 -506.94025133136665 L 437.1590909090909 -506.94025133136665 Z"/>
                    <g style="fill:rgb(0,0,0);clip-path:url(#clip9);">
                      <path d="M 446.47727272727275 -503.234454618597 L 446.47727272727275 -513.234454618597 L 458.97727272727275 -513.234454618597 L 458.97727272727275 -503.234454618597 Z" style="stroke:none;"/>
                    </g>
                    <g>
                      <path d="M 452.72727272727275 -503.234454618597 L 446.47727272727275 -513.234454618597 L 458.97727272727275 -513.234454618597 Z"/>
                      <g style="fill:rgb(0,0,0);clip-path:url(#clip10);">
                        <path d="M 468.2954545454545 -507.66554282722245 L 468.2954545454545 -517.6655428272225 L 480.7954545454545 -517.6655428272225 L 480.7954545454545 -507.66554282722245 Z" style="stroke:none;"/>
                      </g>
                      <g>
                        <path d="M 474.5454545454545 -507.66554282722245 L 468.2954545454545 -517.6655428272225 L 480.7954545454545 -517.6655428272225 Z"/>
                        <g style="fill:rgb(0,0,0);clip-path:url(#clip11);">
                          <path d="M 490.1136363636364 -485.585609746753 L 490.1136363636364 -495.585609746753 L 502.6136363636364 -495.585609746753 L 502.6136363636364 -485.585609746753 Z" style="stroke:none;"/>
                        </g>
                        <g>
                          <path d="M 496.3636363636364 -485.585609746753 L 490.1136363636364 -495.585609746753 L 502.6136363636364 -495.585609746753 Z"/>
                          <g style="fill:rgb(0,0,0);clip-path:url(#clip12);">
                            <path d="M 511.9318181818182 -515.0 L 511.9318181818182 -525.0 L 524.4318181818182 -525.0 L 524.4318181818182 -515.0 Z" style="stroke:none;"/>
                          </g>
                          <g>
                            <path d="M 518.1818181818182 -515.0 L 511.9318181818182 -525.0 L 524.4318181818182 -525.0 Z"/>
                          </g>
                        </g>
                      </g>
                    </g>
                  </g>
                </g>
              </g>
            </g>
          </g>
        </g>
      </g>
      <g style="clip-path:url(#clip13);">
        <path d="M 321.8181818181818 -349.430321954459 L 343.6363636363636 -352.54932761196886 L 365.45454545454544 -353.9235725323423 L 387.27272727272725 -350.9562851998008 L 409.0909090909091 -352.33474451808996 L 430.9090909090909 -354.1191908356002 L 452.72727272727275 -352.67997394735835 L 474.5454545454545 -350.2728503377904 L 496.3636363636364 -353.6043318902213 L 518.1818181818182 -354.41349629005276" style="stroke:rgb(137,42,226);stroke-width:2;"/>
      </g>
      <g style="clip-path:url(#clip14);">
        <path d="M 314.67532467532465 -349.430321954459 L 328.961038961039 -349.430321954459" style="stroke-width:1;"/>
        <path d="M 321.8181818181818 -342.2874648116018 L 321.8181818181818 -356.5731790973161" style="stroke-width:1;"/>
        <path d="M 336.4935064935065 -352.54932761196886 L 350.7792207792208 -352.54932761196886" style="stroke-width:1;"/>
        <path d="M 343.6363636363636 -345.40647046911175 L 343.6363636363636 -359.69218475482603" style="stroke-width:1;"/>
        <path d="M 358.31168831168833 -353.9235725323423 L 372.5974025974026 -353.9235725323423" style="stroke-width:1;"/>
        <path d="M 365.45454545454544 -346.7807153894852 L 365.45454545454544 -361.06642967519946" style="stroke-width:1;"/>
        <path d="M 380.12987012987014 -350.9562851998008 L 394.4155844155844 -350.9562851998008" style="stroke-width:1;"/>
        <path d="M 387.27272727272725 -343.8134280569436 L 387.27272727272725 -358.09914234265796" style="stroke-width:1;"/>
        <path d="M 401.94805194805195 -352.33474451808996 L 416.23376623376623 -352.33474451808996" style="stroke-width:1;"/>
        <path d="M 409.0909090909091 -345.19188737523285 L 409.0909090909091 -359.47760166094713" style="stroke-width:1;"/>
        <path d="M 423.76623376623377 -354.1191908356002 L 438.05194805194805 -354.1191908356002" style="stroke-width:1;"/>
        <path d="M 430.9090909090909 -346.976333692743 L 430.9090909090909 -361.2620479784573" style="stroke-width:1;"/>
        <path d="M 445.5844155844156 -352.67997394735835 L 459.87012987012986 -352.67997394735835" style="stroke-width:1;"/>
        <path d="M 452.72727272727275 -345.5371168045012 L 452.72727272727275 -359.82283109021546" style="stroke-width:1;"/>
        <path d="M 467.4025974025974 -350.2728503377904 L 481.68831168831167 -350.2728503377904" style="stroke-width:1;"/>
        <path d="M 474.5454545454545 -343.1299931949332 L 474.5454545454545 -357.41570748064754" style="stroke-width:1;"/>
        <path d="M 489.22077922077926 -353.6043318902213 L 503.5064935064935 -353.6043318902213" style="stroke-width:1;"/>
        <path d="M 496.3636363636364 -346.46147474736415 L 496.3636363636364 -360.7471890330785" style="stroke-width:1;"/>
        <path d="M 511.038961038961 -354.41349629005276 L 525.3246753246754 -354.41349629005276" style="stroke-width:1;"/>
        <path d="M 518.1818181818182 -347.2706391471956 L 518.1818181818182 -361.5563534329099" style="stroke-width:1;"/>
      </g>
    </g>
    <g style="fill:rgb(255,255,255);clip-path:url(#clip15);">
      <path d="M 290 -94 L 290 -136 L 422.944 -136 L 422.944 -94 Z" style="stroke:none;"/>
    </g>
    <path d="M 300 -125.33333333333334 L 316 -125.33333333333334" style="stroke:rgb(126,126,126);stroke-width:0.4;stroke-dasharray:1.5,1.5;"/>
    <g style="fill:rgb(0,0,0);clip-path:url(#clip16);">
      <path d="M 301.75 -120.33333333333334 L 301.75 -130.33333333333334 L 314.25 -130.33333333333334 L 314.25 -120.33333333333334 Z" style="stroke:none;"/>
    </g>
    <g>
      <path d="M 308.0 -120.33333333333334 L 301.75 -130.33333333333334 L 314.25 -130.33333333333334 Z"/>
      <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-120.0">
        thin_heap
      </text>
      <path d="M 300 -105.33333333333334 L 316 -105.33333333333334" style="stroke:rgb(137,42,226);stroke-width:2;"/>
      <path d="M 300.85714285714283 -105.33333333333334 L 315.14285714285717 -105.33333333333334" style="stroke-width:1;"/>
      <path d="M 308.0 -98.1904761904762 L 308.0 -112.47619047619048" style="stroke-width:1;"/>
      <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-100.0">
        pairing_heap
      </text>
    </g>
  </g>
</svg>