Kíváncsian várom a fejleményeket, valamint az eddigi kérdéseimre a választ. Azt hiszem, az eddigi leírásod alapján csak részben lehet formalizálni az algoritmust Természetesen az egzaktság viszont szükséges, hogy a valódi használhatóságát és esetleges tulajdonságait bizonyítani tudjuk. Bizonyított működés nélkül viszont egy algoritmus sokat nem ér tudományos szempontból, legfeljebb egy bizonyos szabályok szerinti próbálgatásról lehet beszélni, nem algoritmusról.