Альтернативные доказательства теоремы Иммермана-Селепченого

Иммерман и Szelepcsenyi независимо друг от друга доказали , что . Используя метод индуктивного подсчета, Бородин и др. Доказали, что S A C i замкнут при комплементации при i > 0 . До теоремы Рейнгольда ( S L = L ) Нисан и Та-Шма доказали S L = c o S L , используя унифицированные проекции логарифмического пространства. Бумага Альвареса и Гринлоу за 1996 год "Доказательство $NL=coNL$$SAC^i$$i > 0$$SL=L$$SL=coSL$ с использованием методов, подобных методам Нисана и Та-Шмы, не было достигнуто, хотя такое доказательство было бы очень интересно ". Мне интересно, было ли найдено такое доказательство за последние 14 лет. Существуют ли другие альтернативные доказательства из N L = C O N L ?$NL=coNL$$NL=coNL$

Поскольку у нас, похоже, нет ответов, могу я сделать комментарий?

$n$$X=x_1,\cdots,x_n$$\neg x_1,\cdots, \neg x_n.$

$k$$\neg x_i = Th^{n-1}_{k}(X-x_i)$$x_i$

С этой конструкцией мотивация для индуктивного счета ясна (по крайней мере, для меня). Стоит спросить, какой еще совет подойдет? Я не знаю ничего другого. Но это может держать ключ к вашему вопросу.