Локальне згладжування для евклідової хвильової рівняння. У доведенні використовується допоміжне диференціальне рівняння в частинних похідних, щоб встановити локальне згладжування Согге для хвиль у кожній просторовій розмірності не меншій за дві. Воно також дає максимальну гіпотезу Какеї та гіпотезу про розмірність, а також сферичні оцінки обмеження Штейна в усій внутрішній частині передбачуваного діапазону. Ми публікуємо результат моделі безпосередньо, як і в нашій публікації від 6 жовтня.
Експоненціальна часова гіпотеза є хибною. У статті представлено детермінований алгоритм, який точно підраховує кількість виконувальних присвоєнь формул КНФ фіксованої ширини за субекспоненційний час і за поліноміального обсягу пам’яті. Випадок 3-SAT спростовує експоненціальну часову гіпотезу. Незалежна робоча група комп’ютерних науковців під керівництвом Рассела Імпальяццо, Рамамохана Патурі та Раяна Вільямса перевірить і пояснить доведення. На прохання групи ми негайно робимо матеріали загальнодоступними, щоб їх могли перевірити й інші.
Перекладено автоматично з англійської. Оригінал статті — за посиланням нижче.
