scholarly journals Geometry and complexity of O'Hara's algorithm

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Matjaž Konvalinka ◽  
Igor Pak
Keyword(s):  
Polynomial Time ◽  
Finite Support ◽  
Type Result ◽  
Complexity Bounds ◽  
International Audience

International audience In this paper we analyze O'Hara's partition bijection. We present three type of results. First, we see that O'Hara's bijection can be viewed geometrically as a certain scissor congruence type result. Second, we present a number of new complexity bounds, proving that O'Hara's bijection is efficient in most cases and mildly exponential in general. Finally, we see that for identities with finite support, the map of the O'Hara's bijection can be computed in polynomial time, i.e. much more efficiently than by O'Hara's construction.

scholarly journals On paths, trails and closed trails in edge-colored graphs

2012 ◽  
Vol Vol. 14 no. 2 (Graph Theory) ◽  
Author(s):  
Laurent Gourvès ◽  
Adria Lyra ◽  
Carlos A. Martinhon ◽  
Jérôme Monnot
Keyword(s):  
Polynomial Time ◽  
Optimal Solution ◽  
Colored Graph ◽  
Edge Disjoint ◽  
Colored Graphs ◽  
International Audience ◽  
Np Complete ◽  
T Path ◽  
Vertex Disjoint

Graph Theory International audience In this paper we deal from an algorithmic perspective with different questions regarding properly edge-colored (or PEC) paths, trails and closed trails. Given a c-edge-colored graph G(c), we show how to polynomially determine, if any, a PEC closed trail subgraph whose number of visits at each vertex is specified before hand. As a consequence, we solve a number of interesting related problems. For instance, given subset S of vertices in G(c), we show how to maximize in polynomial time the number of S-restricted vertex (resp., edge) disjoint PEC paths (resp., trails) in G(c) with endpoints in S. Further, if G(c) contains no PEC closed trails, we show that the problem of finding a PEC s-t trail visiting a given subset of vertices can be solved in polynomial time and prove that it becomes NP-complete if we are restricted to graphs with no PEC cycles. We also deal with graphs G(c) containing no (almost) PEC cycles or closed trails through s or t. We prove that finding 2 PEC s-t paths (resp., trails) with length at most L > 0 is NP-complete in the strong sense even for graphs with maximum degree equal to 3 and present an approximation algorithm for computing k vertex (resp., edge) disjoint PEC s-t paths (resp., trails) so that the maximum path (resp., trail) length is no more than k times the PEC path (resp., trail) length in an optimal solution. Further, we prove that finding 2 vertex disjoint s-t paths with exactly one PEC s-t path is NP-complete. This result is interesting since as proved in Abouelaoualim et. al.(2008), the determination of two or more vertex disjoint PEC s-t paths can be done in polynomial time. Finally, if G(c) is an arbitrary c-edge-colored graph with maximum vertex degree equal to four, we prove that finding two monochromatic vertex disjoint s-t paths with different colors is NP-complete. We also propose some related problems.

scholarly journals The extended equivalence and equation solvability problems for groups

2011 ◽  
Vol Vol. 13 no. 4 ◽  
Author(s):  
Gabor Horvath ◽  
Csaba Szabo
Keyword(s):  
Polynomial Time ◽  
Equivalence Problem ◽  
Nilpotent Groups ◽  
60Th Birthday ◽  
Special Issue ◽  
Algorithms And Complexity ◽  
International Audience ◽  
Solvability Problem ◽  
Np Complete ◽  
Equation Solvability

special issue in honor of Laci Babai's 60th birthday: Combinatorics, Groups, Algorithms, and Complexity International audience We prove that the extended equivalence problem is solvable in polynomial time for finite nilpotent groups, and coNP-complete, otherwise. We prove that the extended equation solvability problem is solvable in polynomial time for finite nilpotent groups, and NP-complete, otherwise.

scholarly journals The resolving number of a graph Delia

2013 ◽  
Vol Vol. 15 no. 3 (Graph Theory) ◽  
Author(s):  
Delia Garijo ◽  
Antonio González ◽  
Alberto Márquez
Keyword(s):  
Graph Theory ◽  
Polynomial Time ◽  
Maximum Degree ◽  
Clique Number ◽  
Metric Dimension ◽  
Np Hard ◽  
Arbitrary Graph ◽  
International Audience ◽  
Graph Parameters ◽  
Two Parameters

Graph Theory International audience We study a graph parameter related to resolving sets and metric dimension, namely the resolving number, introduced by Chartrand, Poisson and Zhang. First, we establish an important difference between the two parameters: while computing the metric dimension of an arbitrary graph is known to be NP-hard, we show that the resolving number can be computed in polynomial time. We then relate the resolving number to classical graph parameters: diameter, girth, clique number, order and maximum degree. With these relations in hand, we characterize the graphs with resolving number 3 extending other studies that provide characterizations for smaller resolving number.

scholarly journals The number of Euler tours of a random $d$-in/$d$-out graph

2010 ◽  
Vol DMTCS Proceedings vol. AM,... (Proceedings) ◽  
Author(s):  
Páidí Creed ◽  
Mary Cryan
Keyword(s):  
Asymptotic Distribution ◽  
Directed Graph ◽  
Polynomial Time ◽  
Simple Approach ◽  
Uniform Sampling ◽  
Concentration Result ◽  
International Audience ◽  
De Bruijn ◽  
Euler Tours

International audience In this paper we obtain the expectation and variance of the number of Euler tours of a random $d$-in/$d$-out directed graph, for $d \geq 2$. We use this to obtain the asymptotic distribution and prove a concentration result. We are then able to show that a very simple approach for uniform sampling or approximately counting Euler tours yields algorithms running in expected polynomial time for almost every $d$-in/$d$-out graph. We make use of the BEST theorem of de Bruijn, van Aardenne-Ehrenfest, Smith and Tutte, which shows that the number of Euler tours of a $d$-in/$d$-out graph is the product of the number of arborescences and the term $[(d-1)!]^n/n$. Therefore most of our effort is towards estimating the asymptotic distribution of the number of arborescences of a random $d$-in/$d$-out graph.

scholarly journals Acyclic colourings of graphs with bounded degree

2010 ◽  
Vol Vol. 12 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Mieczyslaw Borowiecki ◽  
Anna Fiedorowicz ◽  
Katarzyna Jesse-Jozefczyk ◽  
Elzbieta Sidorowicz
Keyword(s):  
Polynomial Time ◽  
Maximum Degree ◽  
Cubic Graph ◽  
Bounded Degree ◽  
Complete Problem ◽  
International Audience ◽  
Np Complete

Graphs and Algorithms International audience A k-colouring of a graph G is called acyclic if for every two distinct colours i and j, the subgraph induced in G by all the edges linking a vertex coloured with i and a vertex coloured with j is acyclic. In other words, there are no bichromatic alternating cycles. In 1999 Boiron et al. conjectured that a graph G with maximum degree at most 3 has an acyclic 2-colouring such that the set of vertices in each colour induces a subgraph with maximum degree at most 2. In this paper we prove this conjecture and show that such a colouring of a cubic graph can be determined in polynomial time. We also prove that it is an NP-complete problem to decide if a graph with maximum degree 4 has the above mentioned colouring.

scholarly journals Solving equations over small unary algebras

2005 ◽  
Vol DMTCS Proceedings vol. AF,... (Proceedings) ◽  
Author(s):  
Przemyslaw Broniek
Keyword(s):  
Polynomial Time ◽  
Partial Characterization ◽  
Polynomial Equations ◽  
Solving Equations ◽  
International Audience ◽  
Np Complete ◽  
System Of Polynomial Equations

International audience We consider the problem of solving a system of polynomial equations over fixed algebra $A$ which we call MPolSat($A$). We restrict ourselves to unary algebras and give a partial characterization of complexity of MPolSat($A$). We isolate a preorder $P(A)$ to show that when $A$ has at most 3 elements then MPolSat($A$) is in $P$ when width of $P(A)$ is at most 2 and is NP-complete otherwise. We show also that if $P ≠ NP$ then the class of unary algebras solvable in polynomial time is not closed under homomorphic images.

scholarly journals Independent sets in (P₆, diamond)-free graphs

2009 ◽  
Vol Vol. 11 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Raffaele Mosca
Keyword(s):  
Polynomial Time ◽  
Dominating Set ◽  
Minimum Weight ◽  
Independent Set ◽  
Independent Sets ◽  
Maximum Weight ◽  
Independent Set Problem ◽  
International Audience ◽  
Dominating Set Problem ◽  
Independent Dominating Set

Graphs and Algorithms International audience We prove that on the class of (P6,diamond)-free graphs the Maximum-Weight Independent Set problem and the Minimum-Weight Independent Dominating Set problem can be solved in polynomial time.

scholarly journals On hereditary Helly classes of graphs

2008 ◽  
Vol Vol. 10 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Marina Groshaus ◽  
Jayme Luiz Szwarcfiter
Keyword(s):  
Graph Theory ◽  
Polynomial Time ◽  
Natural Question ◽  
Fixed Size ◽  
Forbidden Subgraphs ◽  
Induced Subgraph ◽  
Helly Property ◽  
International Audience

Graphs and Algorithms International audience In graph theory, the Helly property has been applied to families of sets, such as cliques, disks, bicliques, and neighbourhoods, leading to the classes of clique-Helly, disk-Helly, biclique-Helly, neighbourhood-Helly graphs, respectively. A natural question is to determine for which graphs the corresponding Helly property holds, for every induced subgraph. This leads to the corresponding classes of hereditary clique-Helly, hereditary disk-Helly, hereditary biclique-Helly and hereditary neighbourhood-Helly graphs. In this paper, we describe characterizations in terms of families of forbidden subgraphs, for the classes of hereditary biclique-Helly and hereditary neighbourhood-Helly graphs. We consider both open and closed neighbourhoods. The forbidden subgraphs are all of fixed size, implying polynomial time recognition for these classes.

scholarly journals Polynomial-time normalizers

2011 ◽  
Vol Vol. 13 no. 4 ◽  
Author(s):  
Eugene M. Luks ◽  
Takunari Miyazaki
Keyword(s):  
Polynomial Time ◽  
Graph Isomorphism ◽  
Extensive Study ◽  
Permutation Groups ◽  
Linear Representations ◽  
Algorithms And Complexity ◽  
International Audience ◽  
Open Issue ◽  
Composition Factors ◽  
New Procedures

special issue in honor of Laci Babai's 60th birthday: Combinatorics, Groups, Algorithms, and Complexity International audience For an integer constant d \textgreater 0, let Gamma(d) denote the class of finite groups all of whose nonabelian composition factors lie in S-d; in particular, Gamma(d) includes all solvable groups. Motivated by applications to graph-isomorphism testing, there has been extensive study of the complexity of computation for permutation groups in this class. In particular, the problems of finding set stabilizers, intersections and centralizers have all been shown to be polynomial-time computable. A notable open issue for the class Gamma(d) has been the question of whether normalizers can be found in polynomial time. We resolve this question in the affirmative. We prove that, given permutation groups G, H \textless= Sym(Omega) such that G is an element of Gamma(d), the normalizer of H in G can be found in polynomial time. Among other new procedures, our method includes a key subroutine to solve the problem of finding stabilizers of subspaces in linear representations of permutation groups in Gamma(d).

scholarly journals Why These Automata Types?

10.29007/c3bj ◽  
2018 ◽  
Author(s):  
Udi Boker
Keyword(s):  
Polynomial Time ◽  
Single Type ◽  
Natural Question ◽  
Boolean Operations ◽  
Standard Type ◽  
Complexity Bounds ◽  
Infinite Words ◽  
Deterministic Automata ◽  
Alternating Automata ◽  
Exponential Size

There are various types of automata on infinite words, differing in their acceptance conditions. The most classic ones are weak, Bu ̈chi, co-Bu ̈chi, parity, Rabin, Streett, and Muller. This is opposed to the case of automata on finite words, in which there is only one standard type. The natural question is why—Why not a single type? Why these particular types? Shall we further look into additional types?For answering these questions, we clarify the succinctness of the different automata types and the size blowup involved in performing boolean operations on them. To this end, we show that unifying or intersecting deterministic automata of the classic ω-regular- complete types, namely parity, Rabin, Streett, and Muller, involves an exponential size blowup.We argue that there are good reasons for the classic types, mainly in the case of nondeterministic and alternating automata. They admit good size and complexity bounds with respect to succinctness, boolean operations, and decision procedures, and they are closely connected to various logics.Yet, we also argue that there is place for additional types, especially in the case of deterministic automata. In particular, generalized-Rabin, which was recently introduced, as well as a disjunction of Streett conditions, which we call hyper-Rabin, where the latter further generalizes the former, are interesting to consider. They may be exponentially more succinct than the classic types, they allow for union and intersection with only a quadratic size blowup, and their nonemptiness can be checked in polynomial time.

Sign in / Sign up

Export Citation Format

Share Document