В зале суда — строка, поданная на вход. Двенадцать присяжных (вычислительных путей) изучают её символ за символом. Каждый может вынести «виновен» (принять) или «невиновен». Для обычного недетерминированного автомата (НКА) достаточно одного голоса «за». Но в суде с симметрической разностью (XNFA) вердикт выносится по нечётности: если число голосов «виновен» нечётно — слово принято. Такой странный суд, где решение зависит от арифметики голосов, а не от наличия единодушия, меняет всю алгоритмическую стратегию.

Переход от булева полукольца (ИЛИ/И) к полю GF(2) (XOR/AND) кажется формальностью, но он переводит задачи в иной класс сложности. Приём слова в НКА полон для класса NL, а в XNFA — для ⊕L. Вопрос о совпадении этих классов — открытая проблема, подобная вопросу: можно ли перестроить суд одного типа в суд другого, не утратив правосудия? Практический же выигрыш даёт тонкий анализ времени: для k-неоднозначных автоматов (где у слова не более k путей-присяжных) разработан динамический алгоритм, который отслеживает состояния, выполняя лишь k|Q| операций на символ. Здесь |Q| — число состояний, а k — мера неоднозначности.

Самое неожиданное — редукция между моделями. НКА можно превратить в ансамбль из k параллельных XNFA, используя случайные веса над полем GF($2^k$). Вероятностный анализ гарантирует: если исходный НКА принимает слово, то хотя бы один XNFA из ансамбля выдаст нечётный вердикт с ошибкой не более 1/2. Этот трюк опирается на лемму Шварца–Зиппеля — классику линейной алгебры над конечными полями. Получается, что полиномиально неоднозначный НКА не труднее, чем XNFA: если для приёма в XNFA найдётся алгоритм с временем O((|δ||w|)^{1-ε}), то и НКА будет решаться почти так же быстро. Это контригра гипотезе Bringmann et al., утверждавшей, что НКА принципиально тяжелее.

В итоге стирается грань между «лёгкими» кольцами и «трудными» полукольцами. Структура автомата, его стохастическая неоднозначность оказываются ключом к ускорению алгоритмов и к нижним оценкам: попытка доказать оптимальность кубического времени ($n^3$) для этих задач через SETH потребовала бы опровержения NSETH — ещё одной недоказанной гипотезы. Автоматный суд, где присяжные голосуют по чётности, не просто экзотика, а инструмент, приближающий нас к пониманию тонкой границы между полиномиальными и сверхбыстрыми вычислениями. Остаётся главный вызов: снять требование полиномиальной неоднозначности. Тогда каждый сдвиг показателя ω от 3 к 2 приблизит момент, когда проверка любого вердикта станет почти квадратичной — и зал суда опустеет, оставив лишь мгновенный расчёт.