<p><img src="https://gyazo.com/25b6533da9d20f64c553e9091a64d635/thumb/1000" alt="image"></p>
<ul>
<li>ある抽象的な解法Aである具体的な問題Xが解ける</li>
<li>これはAを知っていると自明にわかる</li>
<li>しかし意外な問題YがAで解けることがある</li>
<li>ある問題変換Bが存在して、それが一部の問題を別の問題に写像する<ul>
<li><a href="/ja/%E6%9C%80%E5%A4%A7%E6%B5%81%E6%9C%80%E5%B0%8F%E3%82%AB%E3%83%83%E3%83%88%E5%AE%9A%E7%90%86">最大流最小カット定理</a>とか</li>
<li>これによって一見Aに含まれないYがAに含まれるY&#39;に写像される</li>
</ul>
</li>
</ul>
<p>問題変換には他にどんなものがあるだろうか</p>
<ul>
<li>ベクトルで表現されてる問題を複素数に変換して解く<a href="/ja/%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E8%A4%87%E7%B4%A0%E6%95%B0%E5%A4%89%E6%8F%9B">ベクトル複素数変換</a></li>
<li><a href="/ja/%E5%80%A4%E5%9F%9F%E3%81%A8%E5%AE%9A%E7%BE%A9%E5%9F%9F%E3%81%AE%E4%BA%A4%E6%8F%9B">値域と定義域の交換</a><ul>
<li>数の集合を0/1の列とみなして<a href="/ja/%E3%83%95%E3%82%A7%E3%83%8B%E3%83%83%E3%82%AF%E6%9C%A8">フェニック木</a>を使う</li>
</ul>
</li>
<li><a href="/ja/%E5%BA%A7%E6%A8%99%E5%9C%A7%E7%B8%AE">座標圧縮</a>して計算可能な範囲の値にする</li>
<li>巨大な整数を桁の列とみなしてDPする<a href="/ja/%E6%A1%81DP">桁DP</a></li>
<li><a href="/ja/Project%20Selection%20Problem">Project Selection Problem</a>を<a href="/ja/%E6%9C%80%E5%B0%8F%E8%B2%BB%E7%94%A8%E6%B5%81">最小費用流</a>に帰着</li>
<li>数列の問題を<a href="/ja/%E5%BD%A2%E5%BC%8F%E7%9A%84%E3%81%B9%E3%81%8D%E7%B4%9A%E6%95%B0">形式的べき級数</a>とみなす</li>
<li><a href="/ja/%E5%8F%8C%E5%AF%BE%E7%B7%9A%E5%BD%A2%E8%A8%88%E7%94%BB%E5%95%8F%E9%A1%8C">双対線形計画問題</a></li>
</ul>
