[megoldva] GAP

Fórumok

GAP szakértőktől kérdezném, hogy hogyan lehet kinyerni egy ilyen (vagy hasonló) rendszerből azt, hogy ha adott egy permutációcsoportom (pl. otszog := Group((1,2),(2,3),(3,4),(4,5),(5,1),(1,3),(2,4),(3,5),(4,1),(5,2));), akkor abból milyen elemekből lehet egy 1->2 mozgást tartalmazó permutációt összehozni úgy, hogy mindegyik elemet maximum 1-szer lehet használni? (A többi elem esetleges elmozdulása érdektelen.)

(Más módon számolva kiderült, hogy 514 ilyen összeállítás van, de az annyira számolásigényes és csúnya megoldás, hogy szeretnék valami frappánsabbat, valami csoportelmélet-szagúbbat keresni.)

Hozzászólások

nem vagyok gapértő, de c-ben ez kb. 500 karakteres program, ami egy mezei desktopon kb. 0 sec alatt ki is irja a megoldásokat...
edit: félreértettem? adott a fenti dominókészlet, melyből 1*.....*2 konfigurációkat kell kirakni, egy dominót legfeljebb 1x használva (elforgatható a dominó). Tovább számolva: n=(2,3,4,5,6,7)-re (1,2,15,514,106085,317848626)-adódik (3.5 perc és egy sysrescuecd (van g++) alatt:-). Hoppá, ez a sorozat nincs az OEIS-en! Ha kiszámolod még vagy n=10-ig, +egy értelmes motivációt is írsz, érdemes elküldeni.

Tetszik az átfogalmazásod a dominóra, s az általánosításod n-re!

Mivel ezt te találtad ki és te számoltad ki, azt javaslom, küldd el nyugodtan az OEIS-re (ha érzel magadban erre indíttatást).

Én is írtam egy kis php programot (azzal számoltam ki az 514-et), de az más elven működött: egy mátrixként felírva a gráf csúcsait (hogy honnan hová vezet él) a mátrix hatványozásával lehet kiszámítani az adott számú lépésekkel történő átjutást a megfelelő csúcsok között. De ez a dominós ötletesebb! A programodat szívesen megnézném. :-)