Zoo di complessità per le lingue unarie

25

Certo, alcuni risultati di complessità possono crollare per le lingue unarie, ma mi chiedo se c'è un sondaggio che riassuma i risultati noti in questo caso: una specie di zoo di complessità per le lingue unarie. Sapresti di un tale riferimento?

cc.complexity-theory reference-request big-list

— J.-E. perno
fonte

7

Naturalmente, non è noto se esista un linguaggio unario NP-completo. Vedi questo per altro: en.wikipedia.org/wiki/…

— Ryan,

Non esattamente quello che stai cercando, ma qui è il mini zoo con alcune lingue riducibili a lingue unarie. arxiv.org/abs/1212.3282

— Niall Murphy il

23

Non esiste ancora alcun riferimento in stile Zoo, ma una recente indagine teorica sugli automi di Giovanni Pighizzini mi è stata utile, in particolare le diapositive dei suoi discorsi.

Giovanni Pighizzini, Indagini su automi e lingue su un alfabeto unario , CIAA 2014. doi: 10.1007 / 978-3-319-08846-4_3

— András Salamon
fonte

12

Una domanda interessante sulle classi di complessità rispetto a un alfabeto unario che non è nei riferimenti precedenti è la forza della classe # P ₁ di Valiant , la classe di conteggio dei problemi rispetto a un alfabeto unario (vedi http://epubs.siam.org/doi/ abs / 10.1137 / 0208032 ). Non si sa molto del suo potere, sebbene abbia problemi naturali completi e, come i linguaggi unari, ha circuiti di dimensioni polinomiali.

— Paul Beame
fonte