9433006
No antitwins in minimal imperfect graphs
Abstract It is customary to call vertices x and y twins if every vertex distinct from x and y is adjacent either to both of them or to neither of them. By analogy, we shall call vertices x and y antitwins if every vertex distinct from x and y is adjacent to precisely one of them. Lovasz proved that no minimal imperfect graph has twins. The purpose of this note is to prove the analogous statement for antitwins.
32558867
Linear Time Algorithms for Dominating Pairs in Asteroidal Triple-free Graphs
An independent set of three of vertices is called an asteroidal triple if between each, pair in the triple there exists a path that avoids the neighbourhood of the third. A graph is asteroidal triple-free (AT-free, for short) if it contains no asteroidal triple. The motivation for this investigation is provided, in part, by the fact that AT-free graphs offer a common generalization of interval, permutation, trapezoid, and cocomparability graphs. Previously, the authors have given an existential proof of the fact that every connected AT-free graph contains a dominating pair, that is, a pair of vertices such that every path joining them is a dominating set in the graph. The main contribution of this paper is a constructive proof of the existence of dominating pairs in connected AT-free graphs. The resulting simple algorithm, based on the well-known Lexicographic Breadth-First Search, can be implemented to run in time linear in the size of the input, whereas the best algorithm previously known for this problem has complexity O(¦V¦3) for input graph G=(V, E). In addition, we indicate how our algorithm can be extended to find, in time linear in the size of the input, all dominating pairs in a connected AT-free graph with diameter greater than three. A remarkable feature of the extended algorithm is that, even though there may be O(¦V¦2) dominating pairs, the algorithm can compute and represent them in linear time.
205001978
A Linear Time Algorithm to Compute a Dominating Path in an AT-Free Graph
Abstract An independent set { x , y , z } is called an asteroidal triple if between any pair in the triple there exists a path that avoids the neighborhood of the third. A graph is referred to as AT-free if it does not contain an asteroidal triple. We present a simple linear-time algorithm to compute a dominating path in a connected AT-free graph.
37426117
On the Closure of Triangle-Free Graphs Under Substitution
On dit qu'un graphe G se construit a partir de deux graphes G 1 et G 2 par substitution,si,pour un sommet donne w de G 1 ,G apparait en supprimant w et en rendant,par la suite,les sommets de G 2 adjacents a tous les voisins de w dans G 1 .On presente ici une caracterisation par configurations interdites de la fermeture de graphes sans triangles sous substitution.
39112817
Asteroidal Triple-Free Graphs
An independent set of three vertices such that each pair is joined by a path that avoids the neighborhood of the third is called an asteroidal triple. A graph is asteroidal triple-free (AT-free) if it contains no asteroidal triples. The motivation for this investigation was provided, in part, by the fact that the AT-free graphs provide a common generalization of interval, permutation, trapezoid, and cocomparability graphs. The main contribution of this work is to investigate and reveal fundamental structural properties of AT-free graphs. Specifically, we show that every connected AT-free graph contains a dominating pair, that is, a pair of vertices such that every path joining them is a dominating set in the graph. We then provide characterizations of AT-free graphs in terms of dominating pairs and minimal triangulations. Subsequently, we state and prove a decomposition theorem for AT-free graphs. An assortment of other properties of AT-free graphs is also provided. These properties generalize known structural properties of interval, permutation, trapezoid, and cocomparability graphs.
5840834
Asteroidal Triple-Free Graphs
Many families of perfect graphs such as interval graphs, permutation graphs, trapezoid graphs and cocomparability graphs demonstrate a type of linear ordering of their vertex sets. These graphs are all subfamilies of a class of graphs called the asteroidal triple-free graphs. (An independent triple {x, y, z} is called an asteroidal triple (AT, for short) if between any pair in the triple there exists a path that avoids the neighbourhood of the third vertex.) In this paper we argue that the property of being AT-free is what is enforcing the linear ordering of the vertex sets. To justify this claim, we present various structural properties and characterizations of AT-free graphs.
14933759
Classifying matrices separating rows and columns
The classification problem transforms a set of N numbers in such a way that none of the first N/2 numbers exceeds any of the last N/2 numbers. A comparator network that solves the classification problem on a set of r numbers is commonly called an r-classifier. We show how the well-known Leighton's Columnsort algorithm can be modified to solve the classification problem of N=rs numbers, with 1 /spl les/ s /spl les/ r, using an r-classifier instead of an r-sorting network. Overall, the r-classifier is used O(s) times, namely, the same number of times that Columnsort applies an r-sorter. A hardware implementation is proposed that runs in optimal O(s+logr) time and uses an O(rlogr(s + logr)) work. The implementation shows that, when N= rlogr, there is a classifier network solving the classification problem on N numbers in the same O(logr) time and using the same O(rlogr) comparators as an r-classifier, thus saying a logr factor in the number of comparators over an (rlogr)-classifier.
932666
Q-Win – A New Admission and Handoff Management Scheme for Multimedia LEO Satellite Networks
Low Earth Orbit (LEO) satellite networks are deployed as an enhancement to terrestrial wireless networks in order to provide broadband services to users regardless of their location. In addition to global coverage, these satellite systems support communications with hand-held devices and offer low cost-per-minute access cost, making them promising platform for Personal Communication Services (PCS). LEO satellites are expected to support multimedia traffic and to provide their users with the negotiated Quality of Service (QoS). However, the limited bandwidth of the satellite channel, satellite rotation around the Earth and mobility of end-users makes QoS provisioning and mobility management a challenging task. One important mobility problem is the intra-satellite handoff management. The main contribution of this work is to propose Q-Win, a novel call admission and handoff management scheme for LEO satellite networks. A key ingredient in our scheme is a companion predictive bandwidth allocation strategy that exploits the topology of the network and contributes to maintaining high bandwidth utilization. Our bandwidth allocation scheme is specifically tailored to meet the QoS needs of multimedia connections. The performance of Q-Win is compared to that of two recent schemes proposed in the literature. Simulation results show that our scheme offers low call dropping probability, providing for reliable handoff of on-going calls, good call blocking probability for new call requests, while maintaining bandwidth utilization high.
2805859
A time-optimal solution for the path cover problem on cographs
We show that the notoriously difficult problem of finding and reporting the smallest number of vertex-disjoint paths that cover the vertices of a graph can be solved time- and work-optimally for cographs. Our result implies that for this class of graphs the task of finding a Hamiltonian path can be solved time- and work-optimally in parallel.It was open for more than 10 years to find a time- and work-optimal parallel solution for this important problem. Our contribution is to offer an optimal solution to this important problem. We begin by showing that any algorithm that solves an instance of size n of the problem must take ?(logn) time on the CREW, even if an infinite number of processors are available. We then go on to show that this time lower bound is tight by devising an EREW algorithm that, given an n-vertex cograph G represented by its cotree, finds and reports all the paths in a minimum path cover in O(logn) time using n/logn processors.
11087297
Fairness in DQDB revisited: a new solution
The main contribution of this work is to a new way of looking at fairness in a DQDB system. Our scheme is very simple and efficient to implement and compares favorably with the leading rate-controlled schemes proposed in the literature. In addition, simulation results show that in the presence of non-uniform loads, such as a file server being brought up, our scheme converges rapidly to a fair steady state.<<ETX>>
31459718
Sequential and Parallel Meta-Heuristics for Solving the Single Row Routing Problem
The design of multi-layer printed circuit boards is vital in the construction of complex electronic systems. Wire routing is a crucial step in the overall design process, which can be decomposed into a number of single row routing (SRR) problems. This paper proposes an approach to solve the SRR problem based on parallel meta-heuristics. The development of this technique involves the design of an encoding strategy that allows all possible routings to be uniquely represented and the derivation of cost functions that maximizes the quality of the developed solutions. Further, parallelization of the proposed approach is attempted to improve the computational efficiency. The different stages of the development are backed by experiments to show the pros and cons of the sequential and parallel implementations.