scholarly journals On matroids that are transversal and cotransversal

2021 ◽  
Author(s):  
◽  
Meenu Mariya Jose

<p>There are distinct differences between classes of matroids that are closed under principal extensions and those that are not Finite-field-representable matroids are not closed under principal extensions and they exhibit attractive properties like well-quasi-ordering and decidable theories (at least for subclasses with bounded branch-width). Infinite-field-representable matroids, on the other hand, are closed under principal extensions and exhibit none of these behaviours. For example, the class of rank-3 real representable matroids is not well-quasi-ordered and has an undecidable theory. The class of matroids that are transversal and cotransversal is not closed under principal extensions or coprincipal coextentions, so we expect it to behave more like the class of finite-field-representable matroids. This thesis is invested in exploring properties in the aforementioned class. A major idea that has inspired the thesis is the investigation of well-quasi-ordered classes in the world of matroids that are transversal and cotransversal. We conjecture that any minor-closed class with bounded branch-width containing matroids that are transversal and cotransversal is well-quasi-ordered. In Chapter 8 of the thesis, we prove this is true for lattice-path matroids, a well-behaved class that falls in this intersection. The general class of lattice-path matroids is not well-quasi-ordered as it contains an infinite antichain of so-called ‘notch matroids’. The interesting phenomenon that we observe is that this is essentially the only antichain in this class, that is, any minor-closed family of lattice-path matroids that contains only finitely many notch matroids is well-quasi-ordered. This answers a question posed by Jim Geelen.  Another question that drove the research was recognising fundamental transversal matroids, since these matroids are also cotransversal. We prove that this problem in general is in NP and conjecture that it is NP-complete. We later explore this question for the classes of lattice-path and bicircular matroids. We are successful in finding polynomial-time algorithms in both classes that identify fundamental transversal matroids. We end this part by investigating the intersection of bicircular and cobicircular matroids. We define a specific class - whirly-swirls - and conjecture that eventually any matroid in the above mentioned intersection belongs to this class.</p>

2021 ◽  
Author(s):  
◽  
Meenu Mariya Jose

<p>There are distinct differences between classes of matroids that are closed under principal extensions and those that are not Finite-field-representable matroids are not closed under principal extensions and they exhibit attractive properties like well-quasi-ordering and decidable theories (at least for subclasses with bounded branch-width). Infinite-field-representable matroids, on the other hand, are closed under principal extensions and exhibit none of these behaviours. For example, the class of rank-3 real representable matroids is not well-quasi-ordered and has an undecidable theory. The class of matroids that are transversal and cotransversal is not closed under principal extensions or coprincipal coextentions, so we expect it to behave more like the class of finite-field-representable matroids. This thesis is invested in exploring properties in the aforementioned class. A major idea that has inspired the thesis is the investigation of well-quasi-ordered classes in the world of matroids that are transversal and cotransversal. We conjecture that any minor-closed class with bounded branch-width containing matroids that are transversal and cotransversal is well-quasi-ordered. In Chapter 8 of the thesis, we prove this is true for lattice-path matroids, a well-behaved class that falls in this intersection. The general class of lattice-path matroids is not well-quasi-ordered as it contains an infinite antichain of so-called ‘notch matroids’. The interesting phenomenon that we observe is that this is essentially the only antichain in this class, that is, any minor-closed family of lattice-path matroids that contains only finitely many notch matroids is well-quasi-ordered. This answers a question posed by Jim Geelen.  Another question that drove the research was recognising fundamental transversal matroids, since these matroids are also cotransversal. We prove that this problem in general is in NP and conjecture that it is NP-complete. We later explore this question for the classes of lattice-path and bicircular matroids. We are successful in finding polynomial-time algorithms in both classes that identify fundamental transversal matroids. We end this part by investigating the intersection of bicircular and cobicircular matroids. We define a specific class - whirly-swirls - and conjecture that eventually any matroid in the above mentioned intersection belongs to this class.</p>


1995 ◽  
Vol 39 (4) ◽  
pp. 887-893 ◽  
Author(s):  
F Sanschagrin ◽  
F Couture ◽  
R C Levesque

We determined the nucleotide sequence of the blaOXA-3(pMG25) gene from Pseudomonas aeruginosa. The bla structural gene encoded a protein of 275 amino acids representing one monomer of 31,879 Da for the OXA-3 enzyme. Comparisons between the OXA-3 nucleotide and amino acid sequences and those of class A, B, C, and D beta-lactamases were performed. An alignment of the eight known class D beta-lactamases including OXA-3 demonstrated the presence of conserved amino acids. In addition, conserved motifs composed of identical amino acids typical of penicillin-recognizing proteins and specific class D motifs were identified. These conserved motifs were considered for possible roles in the structure and function of oxacillinases. On the basis of the alignment and identity scores, a dendrogram was constructed. The phylogenetic data obtained revealed five groups of class D beta-lactamases with large evolutionary distances between each group.


2007 ◽  
Vol Vol. 9 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Bill Rosgen ◽  
Lorna Stewart

Graphs and Algorithms International audience A graph class has few cliques if there is a polynomial bound on the number of maximal cliques contained in any member of the class. This restriction is equivalent to the requirement that any graph in the class has a polynomial sized intersection representation that satisfies the Helly property. On any such class of graphs, some problems that are NP-complete on general graphs, such as the maximum clique problem and the maximum weighted clique problem, admit polynomial time algorithms. Other problems, such as the vertex clique cover and edge clique cover problems remain NP-complete on these classes. Several classes of graphs which have few cliques are discussed, and the complexity of some partitioning and covering problems are determined for the class of all graphs which have fewer cliques than a given polynomial bound.


2016 ◽  
Vol 41 (3) ◽  
pp. 163-181
Author(s):  
Takayuki Nagoya

AbstractIn this paper, we deal with two variants of graph matching, the graph isomorphism with restriction and the prefix set of graph isomorphism. The former problem is known to be NP-complete, whereas the latter problem is known to be GI-complete. We propose polynomial time exact algorithms for these problems on partial k-trees.


2021 ◽  
Author(s):  
Jochen Pascal Gollin ◽  
Kevin Hendrey ◽  
Dillon Mayhew ◽  
Sang-il Oum

DeVos, Kwon, and Oum introduced the concept of branch-depth of matroids as a natural analogue of tree-depth of graphs. They conjectured that a matroid of sufficiently large branch-depth contains the uniform matroid Un;2n or the cycle matroid of a large fan graph as a minor. We prove that matroids with sufficiently large branch-depth either contain the cycle matroid of a large fan graph as a minor or have large branch-width. As a corollary, we prove their conjecture for matroids representable over a fixed finite field and quasi-graphic matroids, where the uniform matroid is not an option.


2015 ◽  
Vol 25 (04) ◽  
pp. 283-298
Author(s):  
Oswin Aichholzer ◽  
Franz Aurenhammer ◽  
Thomas Hackl ◽  
Clemens Huemer ◽  
Alexander Pilz ◽  
...  

Deciding 3-colorability for general plane graphs is known to be an NP-complete problem. However, for certain families of graphs, like triangulations, polynomial time algorithms exist. We consider the family of pseudo-triangulations, which are a generalization of triangulations, and prove NP-completeness for this class. This result also holds if we bound their face degree to four, or exclusively consider pointed pseudo-triangulations with maximum face degree five. In contrast to these completeness results, we show that pointed pseudo-triangulations with maximum face degree four are always 3-colorable. An according 3-coloring can be found in linear time. Some complexity results relating to the rank of pseudo-triangulations are also given.


2020 ◽  
Vol 40 (4) ◽  
pp. 1008-1019
Author(s):  
Zhiwei Guo ◽  
Hajo Broersma ◽  
Ruonan Li ◽  
Shenggui Zhang

Abstract A compatible spanning circuit in a (not necessarily properly) edge-colored graph G is a closed trail containing all vertices of G in which any two consecutively traversed edges have distinct colors. Sufficient conditions for the existence of extremal compatible spanning circuits (i.e., compatible Hamilton cycles and Euler tours), and polynomial-time algorithms for finding compatible Euler tours have been considered in previous literature. More recently, sufficient conditions for the existence of more general compatible spanning circuits in specific edge-colored graphs have been established. In this paper, we consider the existence of (more general) compatible spanning circuits from an algorithmic perspective. We first show that determining whether an edge-colored connected graph contains a compatible spanning circuit is an NP-complete problem. Next, we describe two polynomial-time algorithms for finding compatible spanning circuits in edge-colored complete graphs. These results in some sense give partial support to a conjecture on the existence of compatible Hamilton cycles in edge-colored complete graphs due to Bollobás and Erdős from the 1970s.


PLoS ONE ◽  
2013 ◽  
Vol 8 (11) ◽  
pp. e80298 ◽  
Author(s):  
Yann Mathieu ◽  
Pascalita Prosper ◽  
Frédérique Favier ◽  
Luc Harvengt ◽  
Claude Didierjean ◽  
...  

1991 ◽  
Vol 02 (02) ◽  
pp. 83-99
Author(s):  
V. ARVIND ◽  
S. BISWAS

In this paper edge-deletion problems are studied with a new perspective. In general an edge-deletion problem is of the form: Given a graph G, does it have a subgraph H obtained by deleting zero or more edges such that H satisfies a polynomial-time verifiable property? This paper restricts attention to first-order expressible properties. If the property is expressed by π, which in prenex normal form is Q(Φ) where Q is the quantifier-prefix, then we prove results on the quantifier structure that characterize the complexity of the edge-deletion problem. In particular we give polynomial-time algorithms for problems for which Q is ‘simple’ and in other cases we encode certain NP-complete problems as edge-deletion problems, essentially using the quantifier structure of π. We also present evidence that Q alone cannot capture the complexity of the edge-deletion problem.


Author(s):  
P. Renjith ◽  
N. Sadagopan

For an optimization problem known to be NP-Hard, the dichotomy study investigates the reduction instances to determine the line separating polynomial-time solvable vs NP-Hard instances (easy vs hard instances). In this paper, we investigate the well-studied Hamiltonian cycle problem (HCYCLE), and present an interesting dichotomy result on split graphs. T. Akiyama et al. (1980) have shown that HCYCLE is NP-complete on planar bipartite graphs with maximum degree [Formula: see text]. We use this result to show that HCYCLE is NP-complete for [Formula: see text]-free split graphs. Further, we present polynomial-time algorithms for Hamiltonian cycle in [Formula: see text]-free and [Formula: see text]-free split graphs. We believe that the structural results presented in this paper can be used to show similar dichotomy result for Hamiltonian path problem and other variants of Hamiltonian cycle (path) problems.


Sign in / Sign up

Export Citation Format

Share Document