Ich suche nach natürlichen Beispielen für effiziente Algorithmen (dh in Polynomialzeit) st
- ihre Richtigkeit und Wirksamkeit kann konstruktiv nachgewiesen werden (zB in oder ), aber
- Es ist kein Beweis bekannt, bei dem nur effiziente Konzepte verwendet werden (dh wir wissen nicht, wie ihre Richtigkeit und Effizienz in oder S 1 2 nachgewiesen werden kann ).
Ich kann selbst künstliche Beispiele machen. Ich möchte jedoch interessante natürliche Beispiele, dh Algorithmen, die für sich selbst studiert und nicht nur zur Beantwortung dieser Art von Fragen entwickelt wurden.