Ответ на »сообщение 5485« (AVC)
___________________________

Короче, пока что -- поток сознания... :)

Зато в верном направлении.

Мы привыкли к "синхронному мышлению": видим цель и сразу ищем средства её достижения. Для непростых задач требуется иное: "асинхронное мышление". Подпитывать свой мозг информацией, не торопя события. Решение будет само постепенно вызревать. Подпитывать только надо пытаться исходя из постепенно проступающих контуров решения.

По поводу сложности.
Задали мне "задачку", однако. Пока что провожу "мобилизацию" (в смысле Пойа :) ).

С точки зрения теории алгоритмов сложность связана со временем (числом шагов) исполнения алгоритма.
Но это не наш случай.
Мне идти пешком до работы 3 км, но если бы пришлось идти 4 км, мой путь стал бы длиннее, но не сложнее.

Скорее сложность -- это то, что как-то связано с барьером, препятствующим автоматизации решения интеллектуальных задач.
Почему программирование "сложно"? Потому что его пока не удается автоматизировать.

Для программистов, как создателей программных систем, наверное, самое трудное -- бороться со сложностью при изменении системы, так сказать -- в динамике.
Здесь огромное значение приобретает "ортогональность", когда части программной системы "не отбрасывают тень" друг на друга.

Бывает также сложность научения, "погружения" в некий предмет.
Возможно, неплохим примером тому может быть редактор Vim.
Все от него шарахаются, как от уж очень непривычного, но зато впоследствии он может повысить существенно эффективность редактирования текстов.

Короче, пока что -- поток сознания... :)

Ответ на »сообщение 5482« (Beginner)
___________________________
Дерево - граф.

Да хоть князь :)
На ОО языках реализованы все известные алгоритмы работы с графами.
Причем вполне изящно.
Некоторые задачи из теории графов хорошо решаются реляционной алгеброй, там достаточно таблиц. Но и таблицы прекрасно реализуются в ООП.
Чем же не подходит?

Ответ на »сообщение 5479« (AVC)
___________________________

Тут еще непонятнее. В описании АО, данном Патриком Риали, вообще нет списка стандартных процедур и функций...

Да, я тоже удивился этому. В-общем, AO.NET следует воспринимать как пробный камень перед Зонноном...
Кстати, как там Зоннон, уже научился поддерживать вложенные процедуры? ;о)

Ответ на »сообщение 5480« (Сергей Перовский)
___________________________
Дерево - граф.

К вопросу о сложности.
"Пусть у нас есть 10 млн. элементов (битов)" и пример Сергея Перовского о кристалле хорошо объясняется в рамках теории комплектов. Это пример не сложной системы, а системы в которой один элемент имеет большую мощность - входит в большом числе экземпляров.

Ответ на »сообщение 5476« (Beginner)
___________________________
ООП для графов не подходит.
???

Ответ на »сообщение 5477« (Geniepro)
___________________________

А что это за компилятор Active Oberon.NET такой непонятный? В нём почему-то нет вещественной функции ABS - при использовании этого кл. слова компилер ругается на ожидание целого типа и генерирует вызов целочисленной .NET'овской функции abs, что приводит к ошибке при работе... Как так? Не дошли руки довести компилятор до ума?

Тут еще непонятнее. В описании АО, данном Патриком Риали, вообще нет списка стандартных процедур и функций...

А что это за компилятор Active Oberon.NET такой непонятный? В нём почему-то нет вещественной функции ABS - при использовании этого кл. слова компилер ругается на ожидание целого типа и генерирует вызов целочисленной .NET'овской функции abs, что приводит к ошибке при работе... Как так? Не дошли руки довести компилятор до ума?

MODULE Test;

PROCEDURE SqrtIter* (guess, x : REAL) : REAL;
  VAR g : REAL;
BEGIN
  g := guess;
  WHILE ABS(g*g - x)/x > 0.001 DO
    g := (g + (x/g))/2.0
  END;
  RETURN g
END SqrtIter;

BEGIN
  WRITELN(SqrtIter (1.0, 2.0));
END Test.

Line:7 pos 123 INTEGER expected

.method static public float64 SqrtIter (float64 guess, float64 x) {
.maxstack 11
.locals init (float64)
  ldarg 0
  stloc 0
L0_2: ldloc 0
  ldloc 0
  mul
  ldarg 1
  sub
  call int32 [mscorlib]System.Math::Abs(int32) ; !!! Вот тут !!!
  ldarg 1
  div
  ldc.r8 0.001
  bne.un L0_21
  ldloc 0
  ldarg 1
  ldloc 0
  div
  add
  ldc.r8 2
  div
  stloc 0
  br L0_2
L0_21: ldloc 0
  ret
}

Unhandled Exception: System.DivideByZeroException: Attempted to divide by zero.
  at Test.Test.SqrtIter(Double guess, Double x)
  at Test.Test.$OberonBody()

Кусок из компилятора (Oberon.mod):

| 11 (*ABS*) : Expression(x); Obgen.Load(x);
(* $$$ IF x.type # Obgen.intType THEN S.Mark("INTEGER expected") END; *)
IF x.type.form # Obgen.Integer THEN S.Mark("INTEGER expected") END;
Eat(Obscan.Rparen);
Obgen.EnterString(fnr, "int32 [mscorlib]System.Math::Abs(int32)");
Obgen.PutCall(fnr)