Una garra es un . Un algoritmo trivial detectará una garra en el tiempo . Se puede hacer en , donde es el exponente de la multiplicación de matriz rápida, de la siguiente manera: tome el subgrafo inducido por para cada vértice , y encuentre un triángulo en su complemento.
Hasta donde yo sé, estos algoritmos básicos solo se conocen. Spinrad enumeró en su libro "representaciones gráficas eficientes" la detección de una garra en el tiempo como un problema abierto (8.3, página 103). Para el límite inferior, sabemos que un algoritmo de tiempo implicará un algoritmo tiempo máximo para encontrar un triángulo. Por lo tanto, podemos considerar como un límite inferior.
Pregunta:
- Hay algún progreso en esto. ¿O algún progreso en demostrar que es imposible?
- ¿Existen otros problemas naturales con los algoritmos de tiempo que son los mejores?
Observación:
- Estoy pidiendo explícitamente la detección de una garra, en lugar del reconocimiento de gráficos sin garras. Aunque un algoritmo generalmente resuelve ambos, hay pocas excepciones.
- Se afirma en el Manual de Algoritmos y Ciencias de la Computación Teórica que se puede encontrar en tiempo lineal, pero era solo un error tipográfico (ver "representaciones gráficas eficientes").