Алгоритм need help

children, а не childs!

Там где есть описание i, имеется в виду выборка из списка, к примеру childs(i), \[i\] кушается лортегами

P(MD1, MD2), которая возвращает true или false

Если в Node1.depends есть Node2, то в Node2.depends будет Node1

Желаемый результат <skip /> P(Node, Node.depends)=true; 0<i<length(Node.childs)

на первый взгляд последнее либо лишнее, либо исключающее

а вообще всё это похоже на извращённое дерево поиска по ключу P. Хотя это не так иначе такое странной задачи с изменением MD (данных в узле?) не возникло бы.

Без знаний принципа организации дерева, свойств P() и M() общего алгоритма «пофиксить данные узлов» скорее нет

зы. зря вот вы пытаетесь изложить конкретную проблему в общем виде, да и ещё академичным языком. Чем кокретнее вопрос тем больше вероятность получить ответ

kinder

Желаемый результат <skip /> P(Node, Node.depends)=true; 0<i<length(Node.childs)

ошибся, должно быть:

P(Node, Node.depends[i])=true; 0<i<length(Node.depends)

вообще depends нужно чтобы перейти от неориентированного графа к дереву, то есть, к примеру, есть граф вида:

a-b-c
 \-/

a-b-c(a)

функцию M(Node1.MD, Node2.MD) можно представить как ф-цию изменяющую Node1.MD в соотв с Node2.MD, причём в отдельных случаях она может не нарушать зависимости P(Node1.MD, Node1.childs[i]) и P(Node1.MD, Node1.depends[i]). Т.о. представьте дерево вида

a[i]-a[i+1]-...-a[n]
P(m.MD,n.MD) = true, для i<=m,n<=n кроме m=i+r, n=i+r+1 

l = i+r+1; t = i+r
1. M(a[l].MD, a[t].MD)
2. если l<=n, 
     тo l <- l+1, t <- t+1, переходим в шаг 3.
     иначе переходим в шаг 4.
3. если P(a[l].MD, a[t].MD) = true,
     то переходим в шаг 4.
     иначе переходим в шаг 1.
4. ветвь решена.

Я на всякий случай напишу описание подхода, накоденного мной, он не во всех случаях способен найти решение когда оно есть, именно поэтому я прошу подсказать что нибудь полезное.
Я помечаю пройденные узлы и ставлю им счетчик количества применений ф-ции P, где они стоят первым аргументом. Используя прямой проход по дереву, я его выравниваю от корня к листьям - P(parent, child)!=true then M(child, parent). Когда встречается узел A с не пустым списком помеченных пройденными depends, то если в depends один узел и его счетчик применений M больше счетчика A, то M(A, depends[[1]]) и начинается обратный проход по дереву(A->A.parent), после которого продолжается прямой проход с этой точки, иначе для всех depends: M(depends[i], A) и продолжаю прямой проход по дереву.

Сам делай свою домашку!

я то делаю и сам, но задача, на мой взгляд очень интересная и, кстати, реальная. Не проблема написать алгоритм, он у меня есть, проблема доказать, желательно математически, что он способен найти лучшее решение