SciELO - Scientific Electronic Library Online

 
vol.20 issue1(Hyper)sequent Calculi for the ALC(S4) Description LogicsSocial Network Analysis: a Practical Case Study Abstract author indexsubject indexsearch form
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • Have no similar articlesSimilars in SciELO

Share


Computación y Sistemas

Print version ISSN 1405-5546

Abstract

SAGOLS, Feliú; MORALES-LUNA, Guillermo  and  BUITRON-DAMASO, Israel. Trajectory Graphs Appearing from the Skein Problems at the Hypercube. Comp. y Sist. [online]. 2016, vol.20, n.1, pp.81-87. ISSN 1405-5546.  http://dx.doi.org/10.13053/cys-20-1-2061.

We formally state Skein Problems in Hamiltonian graphs and prove that they are reduced to the Independence Problem in Graph Theory. Skein problems can be widely used in cryptography, particularly, in protocols for message authentication or entities identification. Let G be a Hamiltonian graph. Given a Hamiltonian cycle H, let Π be a set of pairwise disjoint sub-paths within H,

P 1 = v 11 , , v m 1 , , P k = [ v 1 k , , v m k ]

where m and k are two positive integers, then the pairs of extreme vertices V = { ( v 11 , v m 1 ) , , ( v 1 k , v m k ) } are connected by the paths at Π without any crossing. Conversely, let us assume that the following problem is posed: given a collection of pairs V it is required to find a collection of pairwise disjoint paths, without any crossing, connecting each pair at V We reduce this last problem to the Independence Problem in Graph Theory. In particular, for the case of the n-dimensional hypercube, we show that the resulting translated instances are not Berge graphs, thus the most common polynomial-time algorithms to solve the translated problem do not apply. We have built a computing system to explicitly generate the resulting graphs of the reduction to the Independence problem. Nevertheless, due to the doubly exponential growth in terms of n of these graphs, the physical computational resources are quickly exhausted.

Keywords : Independence problem in graph theory; Berge graphs; doubly-exponential growth.

        · text in English     · English ( pdf )