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?

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

Respuestas:

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.

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 1 , 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