Complejo zoológico para lenguas unarias

25

Por supuesto, algunos resultados de complejidad pueden colapsar para los idiomas unarios, pero me pregunto si hay alguna encuesta que resuma los resultados conocidos en este caso: una especie de zoológico de complejidad para los idiomas unarios. ¿Sabrías de tal referencia?

cc.complexity-theory reference-request big-list

— J.-E. Alfiler
fuente

77

Por supuesto, se desconoce si existe un lenguaje unario NP-completo. Vea esto para más información: en.wikipedia.org/wiki/…

— Ryan

No es exactamente lo que está buscando, pero aquí hay un mini zoológico con algunos idiomas reducibles a idiomas unarios. arxiv.org/abs/1212.3282

— Niall Murphy

23

Todavía no hay una referencia de estilo zoológico, pero una reciente encuesta teórica de autómatas de Giovanni Pighizzini me ha sido útil, especialmente las diapositivas de su charla.

Giovanni Pighizzini, Investigaciones sobre autómatas e idiomas sobre un alfabeto unario , CIAA 2014. doi: 10.1007 / 978-3-319-08846-4_3

— András Salamon
fuente

12

Una pregunta interesante sobre las clases de complejidad sobre un alfabeto unario que no está en las referencias anteriores es la fuerza de la clase de Valiant #P ₁ , la clase de problemas de conteo sobre un alfabeto unario (ver http://epubs.siam.org/doi/ abs / 10.1137 / 0208032 ). No se sabe mucho acerca de su poder, aunque tiene problemas naturales completos y, como los lenguajes unarios, tiene circuitos de tamaño polinómico.

— Paul Beame
fuente