Складність зоопарку для одинарних мов

25

Звичайно, деякі результати складності можуть звалитися для одинарних мов, але мені цікаво, чи є десь опитування, що підсумовує відомі результати в цьому випадку: своєрідний зоопарк складності для одинарних мов. Чи знаєте ви про таке посилання?

cc.complexity-theory reference-request big-list

— Ж.-Є. Шпилька
джерело

7

Звичайно, невідомо, чи існує NP-повна одинарна мова. Про це див. Докладніше: en.wikipedia.org/wiki/…

— Райан

Не зовсім те, що ви шукаєте, але ось міні-зоопарк з деякими мовами, зведеними до одинарних мов. arxiv.org/abs/1212.3282

— Найлл Мерфі

23

Ще немає посилання на зоопарк, але нещодавнє автоматизо-теоретичне опитування Джованні Пігіцзіні було мені корисним, особливо слайди з його розмови.

Джованні Пігіцзіні, Дослідження автоматів та мов унарного алфавіту , CIAA 2014. doi: 10.1007 / 978-3-319-08846-4_3

— Андраш Саламон
джерело

12

Одне цікаве запитання щодо класів складності над одинарним алфавітом, якого немає у наведених вище посиланнях, - це сила класу # P ₁ Валіана , клас підрахунку проблем над одинарним алфавітом (див. Http://epubs.siam.org/doi/ abs / 10.1137 / 0208032 ). Немало відомо про його потужність, хоча вона має природні повноцінні проблеми і, як і унарські мови, має схеми розмірів поліномів.

— Пол Бейм
джерело