Skiminok Jul 14 2010 at 19:30

Поиск декартова произведения с помощью LINQ

7 min

8.5K

Algorithms*

Translation

Comments 6

xonix Jul 14 2010 at 22:26

на прологе

cartesian([S | SS], [H | T]) :-

  member(H, S),

  ( SS = []

  -> T = []

  ; cartesian(SS, T)

  ).

тест:

 ?- cartesian([[a,b],[x,y,z],[p,q]],R).

R = [a, x, p] ;

R = [a, x, q] ;

R = [a, y, p] ;

R = [a, y, q] ;

R = [a, z, p] ;

R = [a, z, q] ;

R = [b, x, p] ;

R = [b, x, q] ;

R = [b, y, p] ;

R = [b, y, q] ;

R = [b, z, p] ;

R = [b, z, q].



или:



?- findall(R,cartesian([[a,b],[x,y,z],[p,q]],R),L).

L = [[a, x, p], [a, x, q], [a, y, p], [a, y, q], [a, z, p], [a, z, q], ...

Skiminok Jul 14 2010 at 22:32

Никаких возражений. Рекурсивные определения естественно и красиво ведут к Прологу, да.

Dr_Zoidberg Jul 15 2010 at 12:06

а пример вызова CartesianProduct можно?

Skiminok Jul 15 2010 at 12:11

на С#:

var S1 = new[] {'a', 'b'};

var S2 = new[] {'x', 'y', 'z'};

var S3 = new[] {'p', 'q', 'r', 's', 't'};

var sequences = new[] { S1, S2, S3 };

var product = sequences.CartesianProduct(); // реализован как метод расширения

Sane Nov 3 2011 at 01:09

Спасибо, только что применил для вывода дистрибьютивности в логических выражениях.

VMAtm Apr 5 2016 at 13:11

Отмечу, что в оригинальном посте появилась ссылка на мысли другого разработчика на то же вычисление:
http://www.interact-sw.co.uk/iangblog/2010/07/28/
Там же доступны версии для других языков (Haskell, Closure) и ранних версий .NET:
http://www.interact-sw.co.uk/iangblog/2010/08/05/linq-cartesian-5

Show the best of all time