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.

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 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 Recognizing HH-free, HHD-free, and Welsh-Powell Opposition Graphs

2006 ◽  
Vol Vol. 8 ◽  
Author(s):  
Stavros D. Nikolopoulos ◽  
Leonidas Palios
Keyword(s):  
Linear Time ◽  
Time Algorithm ◽  
Recognition Algorithm ◽  
Space Complexity ◽  
Linear Time Algorithm ◽  
Free Graph ◽  
Graph Recognition ◽  
International Audience ◽  
Time And Space Complexity ◽  
Perfect Elimination Ordering

International audience In this paper, we consider the recognition problem on three classes of perfectly orderable graphs, namely, the HH-free, the HHD-free, and the Welsh-Powell opposition graphs (or WPO-graphs). In particular, we prove properties of the chordal completion of a graph and show that a modified version of the classic linear-time algorithm for testing for a perfect elimination ordering can be efficiently used to determine in O(n min \m α (n,n), m + n^2 log n\) time whether a given graph G on n vertices and m edges contains a house or a hole; this implies an O(n min \m α (n,n), m + n^2 log n\)-time and O(n+m)-space algorithm for recognizing HH-free graphs, and in turn leads to an HHD-free graph recognition algorithm exhibiting the same time and space complexity. We also show that determining whether the complement øverlineG of the graph G is HH-free can be efficiently resolved in O(n m) time using O(n^2) space, which leads to an O(n m)-time and O(n^2)-space algorithm for recognizing WPO-graphs. The previously best algorithms for recognizing HH-free, HHD-free, and WPO-graphs required O(n^3) time and O(n^2) space.

scholarly journals The complexity of 2-coloring and strong coloring in uniform hypergraphs of high minimum degree

2013 ◽  
Vol Vol. 15 no. 2 (Discrete Algorithms) ◽  
Author(s):  
Edyta Szymańska
Keyword(s):  
Time Complexity ◽  
Minimum Degree ◽  
Threshold Value ◽  
Vertex Degree ◽  
Uniform Hypergraph ◽  
Fano Plane ◽  
Uniform Hypergraphs ◽  
Discrete Algorithms ◽  
International Audience ◽  
Np Complete

Discrete Algorithms International audience In this paper we consider the problem of deciding whether a given r-uniform hypergraph H with minimum vertex degree at least c\binom|V(H)|-1r-1, or minimum degree of a pair of vertices at least c\binom|V(H)|-2r-2, has a vertex 2-coloring. Motivated by an old result of Edwards for graphs, we obtain first optimal dichotomy results for 2-colorings of r-uniform hypergraphs. For each problem, for every r≥q 3 we determine a threshold value depending on r such that the problem is NP-complete for c below the threshold, while for c strictly above the threshold it is polynomial. We provide an algorithm constructing the coloring with time complexity O(n^\lfloor 4/ε\rfloor+2\log n) with some ε>0. This algorithm becomes more efficient in the case of r=3,4,5 due to known Turán numbers of the triangle and the Fano plane. In addition, we determine the computational complexity of strong k-coloring of 3-uniform hypergraphs H with minimum vertex degree at least c\binom|V(H)|-12, for some c, leaving a gap for k≥q 5 which vanishes as k→ ∞.

scholarly journals On Tours that contain all Edges of a Hypergraph

10.37236/416 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
Zbigniew Lonc ◽  
Paweł Naroski
Keyword(s):  
Broad Class ◽  
Interesting Case ◽  
Necessary Condition ◽  
Uniform Hypergraph ◽  
Graph Theoretic ◽  
Uniform Hypergraphs ◽  
Proper Subclass ◽  
Strongly Connected ◽  
Euler Tour ◽  
Euler Tours

Let $H$ be a $k$-uniform hypergraph, $k\geqslant 2$. By an Euler tour in $H$ we mean an alternating sequence $v_0,e_1,v_1,e_2,v_2,\ldots,v_{m-1},e_m,v_m=v_0$ of vertices and edges in $H$ such that each edge of $H$ appears in this sequence exactly once and $v_{i-1},v_i\in e_i$, $v_{i-1}\neq v_i$, for every $i=1,2,\ldots,m$. This is an obvious generalization of the graph theoretic concept of an Euler tour. A straightforward necessary condition for existence of an Euler tour in a $k$-uniform hypergraph is $|V_{odd}(H)|\leqslant (k-2)|E(H)|$, where $V_{odd}(H)$ is the set of vertices of odd degrees in $H$ and $E(H)$ is the set of edges in $H$. In this paper we show that this condition is also sufficient for hypergraphs of a broad class of $k$-uniform hypergraphs, that we call strongly connected hypergraphs. This result reduces to the Euler theorem on existence of Euler tours, when $k=2$, i.e. for graphs, and is quite simple to prove for $k>3$. Therefore, we concentrate on the most interesting case of $k=3$. In this case we further consider the problem of existence of an Euler tour in a certain class of $3$-uniform hypergraphs containing the class of strongly connected hypergraphs as a proper subclass. For hypergraphs in this class we give a sufficient condition for existence of an Euler tour and prove intractability (NP-completeness) of the problem in this class in general.

scholarly journals Total Roman {3}-Domination: The Complexity and Linear-Time Algorithm for Trees

Mathematics ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 293
Author(s):  
Xinyue Liu ◽  
Huiqin Jiang ◽  
Pu Wu ◽  
Zehui Shao
Keyword(s):  
Linear Time ◽  
Minimum Weight ◽  
Domination Number ◽  
Time Algorithm ◽  
Simple Graph ◽  
Linear Time Algorithm ◽  
Domination Problem ◽  
Np Complete ◽  
Chordal Bipartite Graphs ◽  
Dominating Function

For a simple graph G=(V,E) with no isolated vertices, a total Roman {3}-dominating function(TR3DF) on G is a function f:V(G)→{0,1,2,3} having the property that (i) ∑w∈N(v)f(w)≥3 if f(v)=0; (ii) ∑w∈N(v)f(w)≥2 if f(v)=1; and (iii) every vertex v with f(v)≠0 has a neighbor u with f(u)≠0 for every vertex v∈V(G). The weight of a TR3DF f is the sum f(V)=∑v∈V(G)f(v) and the minimum weight of a total Roman {3}-dominating function on G is called the total Roman {3}-domination number denoted by γt{R3}(G). In this paper, we show that the total Roman {3}-domination problem is NP-complete for planar graphs and chordal bipartite graphs. Finally, we present a linear-time algorithm to compute the value of γt{R3} for trees.

Sign in / Sign up

Export Citation Format

Share Document