競技プログラミングにハマるプログラマのスレ 145

[0410 仕様書無しさん 2023/12/28(木) 17:19:42.39]

純粋培養に教えてやるけど、3-SATに帰着させることで多くの問題が多項式時間で解けないことが示されてるからな
これをインコに理解させるのは難しいかもしれませんが