کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
401487 675370 2015 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Some computational aspects of solvable regular covers of graphs
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Some computational aspects of solvable regular covers of graphs
چکیده انگلیسی

Given a connected graph X and a group G   of its automorphisms we first introduce an approach for constructing all pairwise nonequivalent connected solvable regular coverings ℘:X˜→X (that is, with a solvable group of covering transformations CT(℘)CT(℘)) along which G lifts, up to a prescribed order n   of X˜.Next, given a connected solvable regular covering ℘:X˜→X by means of voltages and a group G≤Aut(X)G≤Aut(X) that lifts along ℘, we consider algorithms for testing whether the lifted group G˜ is a split extension of CT(℘)CT(℘). In computational group theory, methods for testing whether a given extension of permutation groups splits are known. However, in order to apply the existing algorithms, X˜ together with CT(℘)CT(℘) and G˜ need to be constructed in the first place, which is far from optimal. Recently, an algorithm avoiding such explicit constructions has been proposed by Malnič and Požar (submitted for publication). We here provide additional details about this algorithm and investigate its performance compared to the one using explicit constructions. To this end, a concrete dataset of solvable regular covers of graphs has been generated by the algorithm mentioned in the first paragraph.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 70, September–October 2015, Pages 1–13
نویسندگان
,