scholarly journals Linear time recognition of P4-indifference graphs

2001 ◽  
Vol Vol. 4 no. 2 ◽  
Author(s):  
Michel Habib ◽  
Christophe Paul ◽  
Laurent Viennot
Keyword(s):  
Linear Time ◽  
International Audience ◽  
Chordless Path

International audience A graph is a P4-indifference graph if it admits an ordering < on its vertices such that every chordless path with vertices a, b, c, d and edges ab, bc, cd has a

scholarly journals Graphs with many vertex-disjoint cycles

2012 ◽  
Vol Vol. 14 no. 2 (Graph Theory) ◽  
Author(s):  
Dieter Rautenbach ◽  
Friedrich Regen
Keyword(s):  
Graph Theory ◽  
Upper Bound ◽  
Linear Time ◽  
Simple Extension ◽  
Disjoint Cycles ◽  
Cyclomatic Number ◽  
Finite Set ◽  
Extension Rule ◽  
International Audience ◽  
Vertex Disjoint

Graph Theory International audience We study graphs G in which the maximum number of vertex-disjoint cycles nu(G) is close to the cyclomatic number mu(G), which is a natural upper bound for nu(G). Our main result is the existence of a finite set P(k) of graphs for all k is an element of N-0 such that every 2-connected graph G with mu(G)-nu(G) = k arises by applying a simple extension rule to a graph in P(k). As an algorithmic consequence we describe algorithms calculating minmu(G)-nu(G), k + 1 in linear time for fixed k.

scholarly journals Number conserving cellular automata: new results on decidability and dynamics

2003 ◽  
Vol DMTCS Proceedings vol. AB,... (Proceedings) ◽  
Author(s):  
Bruno Durand ◽  
Enrico Formenti ◽  
Aristide Grange ◽  
Zsuzsanna Róka
Keyword(s):  
Cellular Automata ◽  
Linear Time ◽  
Number Conservation ◽  
International Audience

International audience This paper is a survey on our recent results about number conserving cellular automata. First, we prove the linear time decidability of the property of number conservation. The sequel focuses on dynamical evolutions of number conserving cellular automata.

scholarly journals Packing triangles in low degree graphs and indifference graphs

2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Gordana Manić ◽  
Yoshiko Wakabayashi
Keyword(s):  
Maximum Degree ◽  
Linear Time ◽  
Time Algorithm ◽  
Simple Graph ◽  
Set Packing ◽  
The Best Approximation ◽  
Low Degree ◽  
International Audience ◽  
Approximation Guarantee ◽  
Vertex Disjoint

International audience We consider the problems of finding the maximum number of vertex-disjoint triangles (VTP) and edge-disjoint triangles (ETP) in a simple graph. Both problems are NP-hard. The algorithm with the best approximation guarantee known so far for these problems has ratio $3/2 + ɛ$, a result that follows from a more general algorithm for set packing obtained by Hurkens and Schrijver in 1989. We present improvements on the approximation ratio for restricted cases of VTP and ETP that are known to be APX-hard: we give an approximation algorithm for VTP on graphs with maximum degree 4 with ratio slightly less than 1.2, and for ETP on graphs with maximum degree 5 with ratio 4/3. We also present an exact linear-time algorithm for VTP on the class of indifference graphs.

scholarly journals Representing Reversible Cellular Automata with Reversible Block Cellular Automata

2001 ◽  
Vol DMTCS Proceedings vol. AA,... (Proceedings) ◽  
Author(s):  
Jérôme Durand-Lose
Keyword(s):  
System Theory ◽  
Cellular Automata ◽  
Cellular Automaton ◽  
Linear Time ◽  
Fixed Size ◽  
Mathematical System ◽  
Reversible Cellular Automaton ◽  
International Audience ◽  
Infinite Lattices ◽  
Reversible Cellular Automata

International audience Cellular automata are mappings over infinite lattices such that each cell is updated according tothe states around it and a unique local function.Block permutations are mappings that generalize a given permutation of blocks (finite arrays of fixed size) to a given partition of the lattice in blocks.We prove that any d-dimensional reversible cellular automaton can be exp ressed as thecomposition of d+1 block permutations.We built a simulation in linear time of reversible cellular automata by reversible block cellular automata (also known as partitioning CA and CA with the Margolus neighborhood) which is valid for both finite and infinite configurations. This proves a 1990 conjecture by Toffoli and Margolus <i>(Physica D 45)</i> improved by Kari in 1996 <i>(Mathematical System Theory 29)</i>.

scholarly journals Acyclic Coloring of Graphs of Maximum Degree $\Delta$

2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Guillaume Fertin ◽  
André Raspaud
Keyword(s):  
Chromatic Number ◽  
Upper Bound ◽  
Maximum Degree ◽  
Linear Time ◽  
Time Algorithm ◽  
Linear Time Algorithm ◽  
Acyclic Coloring ◽  
International Audience ◽  
Better Than

International audience An acyclic coloring of a graph $G$ is a coloring of its vertices such that: (i) no two neighbors in $G$ are assigned the same color and (ii) no bicolored cycle can exist in $G$. The acyclic chromatic number of $G$ is the least number of colors necessary to acyclically color $G$, and is denoted by $a(G)$. We show that any graph of maximum degree $\Delta$ has acyclic chromatic number at most $\frac{\Delta (\Delta -1) }{ 2}$ for any $\Delta \geq 5$, and we give an $O(n \Delta^2)$ algorithm to acyclically color any graph of maximum degree $\Delta$ with the above mentioned number of colors. This result is roughly two times better than the best general upper bound known so far, yielding $a(G) \leq \Delta (\Delta -1) +2$. By a deeper study of the case $\Delta =5$, we also show that any graph of maximum degree $5$ can be acyclically colored with at most $9$ colors, and give a linear time algorithm to achieve this bound.

scholarly journals Packing Three-Vertex Paths in a Subcubic Graph

2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Adrian Kosowski ◽  
Michal Malafiejski ◽  
Pawel Zyliński
Keyword(s):  
Linear Time ◽  
Packing Problem ◽  
Time Algorithm ◽  
Vertex Degree ◽  
Linear Time Algorithm ◽  
Cubic Graph ◽  
Subcubic Graph ◽  
International Audience ◽  
Subcubic Graphs

International audience In our paper we consider the $P_3$-packing problem in subcubic graphs of different connectivity, improving earlier results of Kelmans and Mubayi. We show that there exists a $P_3$-packing of at least $\lceil 3n/4\rceil$ vertices in any connected subcubic graph of order $n>5$ and minimum vertex degree $\delta \geq 2$, and that this bound is tight. The proof is constructive and implied by a linear-time algorithm. We use this result to show that any $2$-connected cubic graph of order $n>8$ has a $P_3$-packing of at least $\lceil 7n/9 \rceil$ vertices.

scholarly journals The Cycles of the Multiway Perfect Shuffle Permutation

2002 ◽  
Vol Vol. 5 ◽  
Author(s):  
John Ellis ◽  
Hongbing Fan ◽  
Jeffrey Shallit
Keyword(s):  
Linear Time ◽  
Time Algorithm ◽  
Equal Size ◽  
Linear Time Algorithm ◽  
Theoretic Analysis ◽  
Cycle Structure ◽  
International Audience ◽  
Perfect Shuffle

International audience The (k,n)-perfect shuffle, a generalisation of the 2-way perfect shuffle, cuts a deck of kn cards into k equal size decks and interleaves them perfectly with the first card of the last deck at the top, the first card of the second-to-last deck as the second card, and so on. It is formally defined to be the permutation ρ _k,n: i → ki \bmod (kn+1), for 1 ≤ i ≤ kn. We uncover the cycle structure of the (k,n)-perfect shuffle permutation by a group-theoretic analysis and show how to compute representative elements from its cycles by an algorithm using O(kn) time and O((\log kn)^2) space. Consequently it is possible to realise the (k,n)-perfect shuffle via an in-place, linear-time algorithm. Algorithms that accomplish this for the 2-way shuffle have already been demonstrated.

scholarly journals Isomorphism of graph classes related to the circular-ones property

2013 ◽  
Vol Vol. 15 no. 1 (Discrete Algorithms) ◽  
Author(s):  
Andrew R. Curtis ◽  
Min Chih Lin ◽  
Ross M. Mcconnell ◽  
Yahav Nussbaum ◽  
Francisco Juan Soulignac ◽  
...  
Keyword(s):  
Linear Time ◽  
Time Algorithm ◽  
Linear Time Algorithm ◽  
Circular Arc ◽  
Graph Classes ◽  
Discrete Algorithms ◽  
International Audience ◽  
Related Graph ◽  
Circular Arc Graphs ◽  
Proper Circular Arc Graphs

Discrete Algorithms International audience We give a linear-time algorithm that checks for isomorphism between two 0-1 matrices that obey the circular-ones property. Our algorithm is similar to the isomorphism algorithm for interval graphs of Lueker and Booth, but works on PC trees, which are unrooted and have a cyclic nature, rather than with PQ trees, which are rooted. This algorithm leads to linear-time isomorphism algorithms for related graph classes, including Helly circular-arc graphs, Γ circular-arc graphs, proper circular-arc graphs and convex-round graphs.

scholarly journals Linear time equivalence of Littlewood―Richardson coefficient symmetry maps

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Olga Azenhas ◽  
Alessandro Conflitti ◽  
Ricardo Mamede
Keyword(s):  
Computational Complexity ◽  
Linear Time ◽  
Nous Pouvons ◽  
Bijective Proof ◽  
International Audience ◽  
Knuth Equivalence

International audience Benkart, Sottile, and Stroomer have completely characterized by Knuth and dual Knuth equivalence a bijective proof of the Littlewood―Richardson coefficient conjugation symmetry, i.e. $c_{\mu, \nu}^{\lambda} =c_{\mu^t,\nu^t}^{\lambda ^t}$. Tableau―switching provides an algorithm to produce such a bijective proof. Fulton has shown that the White and the Hanlon―Sundaram maps are versions of that bijection. In this paper one exhibits explicitly the Yamanouchi word produced by that conjugation symmetry map which on its turn leads to a new and very natural version of the same map already considered independently. A consequence of this latter construction is that using notions of Relative Computational Complexity we are allowed to show that this conjugation symmetry map is linear time reducible to the Schützenberger involution and reciprocally. Thus the Benkart―Sottile―Stroomer conjugation symmetry map with the two mentioned versions, the three versions of the commutative symmetry map, and Schützenberger involution, are linear time reducible to each other. This answers a question posed by Pak and Vallejo. Benkart, Sottile, et Stroomer ont complètement caractérisé par équivalence et équivalence duelle à Knuth une preuve bijective de la symétrie de la conjugaison des coefficients de Littlewood―Richardson, i.e. $c_{\mu, \nu}^{\lambda} =c_{\mu^t,\nu^t}^{\lambda ^t}$. Le tableau-switching donne un algorithme par produire une telle preuve bijective. Fulton a montré que les bijections de White et de Hanlon et Sundaram sont des versions de cette bijection. Dans ce papier on exhibe explicitement le mot de Yamanouchi produit par cette bijection de conjugaison lequel à son tour conduit à une nouvelle version très naturelle de la même bijection déjà considérée indépendamment. Une conséquence de cette dernière construction c'est qu'en utilisant des notions de Complexité Computationnelle Relative nous pouvons montrer que cette bijection de symétrie de la conjugaison est linéairement réductible à l'involution de Schützenberger et réciproquement. Ainsi la bijection de symétrie de la conjugaison de Benkart, Sottile et Stroomer avec les deux versions mentionnées, tout comme les trois versions de la bijection de la commutativité, et l'involution de Schützenberger sont linéairement réductibles les unes aux autres. Ça répond à une question posée par Pak et Vallejo.

scholarly journals A linear time algorithm for finding an Euler walk in a strongly connected 3-uniform hypergraph

2012 ◽  
Vol Vol. 14 no. 1 (Discrete Algorithms) ◽  
Author(s):  
Zbigniew Lonc ◽  
Pawel Naroski
Keyword(s):  
Linear Time ◽  
Natural Extension ◽  
Time Algorithm ◽  
Linear Time Algorithm ◽  
Uniform Hypergraph ◽  
Graph Theoretic ◽  
Uniform Hypergraphs ◽  
Discrete Algorithms ◽  
Strongly Connected ◽  
International Audience

Discrete Algorithms International audience By an Euler walk in a 3-uniform hypergraph H we mean an alternating sequence v(0), epsilon(1), v(1), epsilon(2), v(2), ... , v(m-1), epsilon(m), v(m) of vertices and edges in H such that each edge of H appears in this sequence exactly once and v(i-1); v(i) is an element of epsilon(i), v(i-1) not equal v(i), for every i = 1, 2, ... , m. This concept is a natural extension of the graph theoretic notion of an Euler walk to the case of 3-uniform hypergraphs. We say that a 3-uniform hypergraph H is strongly connected if it has no isolated vertices and for each two edges e and f in H there is a sequence of edges starting with e and ending with f such that each two consecutive edges in this sequence have two vertices in common. In this paper we give an algorithm that constructs an Euler walk in a strongly connected 3-uniform hypergraph (it is known that such a walk in such a hypergraph always exists). The algorithm runs in time O(m), where m is the number of edges in the input hypergraph.

Sign in / Sign up

Export Citation Format

Share Document