まいど。
結局DPからのアプローチは精度が上らないので諦めました。
似たような性質を持つALを使ってNP!=ALをまとめました。

対数領域マジ何もできない。道具としてかなり強力ですな。