-
Interval-Permutation Segment Graphs
Authors:
Zlatko Joveski,
Jeremy P. Spinrad
Abstract:
In this work, we introduce the \emph{interval permutation segment (IP-SEG)} model that naturally generalizes the geometric intersection models of interval and permutation graphs. We study properties of two graph classes that arise from the IP-SEG model and present a family of forbidden subgraphs for these classes. In addition, we present polynomial algorithms for the clique and independent set pro…
▽ More
In this work, we introduce the \emph{interval permutation segment (IP-SEG)} model that naturally generalizes the geometric intersection models of interval and permutation graphs. We study properties of two graph classes that arise from the IP-SEG model and present a family of forbidden subgraphs for these classes. In addition, we present polynomial algorithms for the clique and independent set problems on these classes, when the model is given as part of the input.
△ Less
Submitted 27 August, 2019;
originally announced August 2019.
-
Double Threshold Digraphs
Authors:
Peter Hamburger,
Ross M. McConnell,
Attila Pór,
Jeremy P. Spinrad
Abstract:
A semiorder is a model of preference relations where each element $x$ is associated with a utility value $α(x)$, and there is a threshold $t$ such that $y$ is preferred to $x$ iff $α(y) > α(x)+t$. These are motivated by the notion that there is some uncertainty in the utility values we assign an object or that a subject may be unable to distinguish a preference between objects whose values are clo…
▽ More
A semiorder is a model of preference relations where each element $x$ is associated with a utility value $α(x)$, and there is a threshold $t$ such that $y$ is preferred to $x$ iff $α(y) > α(x)+t$. These are motivated by the notion that there is some uncertainty in the utility values we assign an object or that a subject may be unable to distinguish a preference between objects whose values are close. However, they fail to model the well-known phenomenon that preferences are not always transitive. Also, if we are uncertain of the utility values, it is not logical that preference is determined absolutely by a comparison of them with an exact threshold. We propose a new model in which there are two thresholds, $t_1$ and $t_2$; if the difference $α(y) - α(x)$ less than $t_1$, then $y$ is not preferred to $x$; if the difference is greater than $t_2$ then $y$ is preferred to $x$; if it is between $t_1$ and $t_2$, then then $y$ may or may not be preferred to $x$. We call such a relation a double-threshold semiorder, and the corresponding directed graph $G = (V,E)$ a double threshold digraph. Every directed acyclic graph is a double threshold graph; bounds on $t_2/t_1$ give a nested hierarchy of subclasses of the directed acyclic graphs. In this paper we characterize the subclasses in terms of forbidden subgraphs, and give algorithms for finding an assignment of of utility values that explains the relation in terms of a given $(t_1,t_2)$ or else produces a forbidden subgraph, and finding the minimum value $λ$ of $t_2/t_1$ that is satisfiable for a given directed acyclic graph. We show that $λ$ gives a measure of the complexity of a directed acyclic graph with respect to several optimization problems that are NP-hard on arbitrary directed acyclic graphs.
△ Less
Submitted 26 June, 2018; v1 submitted 21 February, 2017;
originally announced February 2017.
-
Isomorphism of graph classes related to the circular-ones property
Authors:
Andrew R. Curtis,
Min Chih Lin,
Ross M. McConnell,
Yahav Nussbaum,
Francisco J. Soulignac,
Jeremy P. Spinrad,
Jayme L. Szwarcfiter
Abstract:
We give a linear-time algorithm that checks for isomorphism between two 0-1 matrices that obey the circular-ones property. 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.
We give a linear-time algorithm that checks for isomorphism between two 0-1 matrices that obey the circular-ones property. 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.
△ Less
Submitted 21 March, 2012;
originally announced March 2012.
-
Finding a sun in building-free graphs
Authors:
Elaine M. Eschen,
Chinh T. Hoang,
Jeremy P. Spinrad,
R. Sritharan
Abstract:
Deciding whether an arbitrary graph contains a sun was recently shown to be NP-complete. We show that whether a building-free graph contains a sun can be decided in O(min$\{m{n^3}, m^{1.5}n^2\}$) time and, if a sun exists, it can be found in the same time bound. The class of building-free graphs contains many interesting classes of perfect graphs such as Meyniel graphs which, in turn, contains c…
▽ More
Deciding whether an arbitrary graph contains a sun was recently shown to be NP-complete. We show that whether a building-free graph contains a sun can be decided in O(min$\{m{n^3}, m^{1.5}n^2\}$) time and, if a sun exists, it can be found in the same time bound. The class of building-free graphs contains many interesting classes of perfect graphs such as Meyniel graphs which, in turn, contains classes such as hhd-free graphs, i-triangulated graphs, and parity graphs. Moreover, there are imperfect graphs that are building-free. The class of building-free graphs generalizes several classes of graphs for which an efficient test for the presence of a sun is known. We also present a vertex elimination scheme for the class of (building, gem)-free graphs. The class of (building, gem)-free graphs is a generalization of the class of distance hereditary graphs and a restriction of the class of (building, sun)-free graphs.
△ Less
Submitted 9 October, 2009;
originally announced October 2009.
-
On graphs without a C4 or a diamond
Authors:
Elaine M. Eschen,
Chinh T. Hoang,
Jeremy P. Spinrad,
R. Sritharan
Abstract:
We consider the class of (C4, diamond)-free graphs; graphs in this class do not contain a C4 or a diamond as an induced subgraph. We provide an efficient recognition algorithm for this class. We count the number of maximal cliques in a (C4, diamond)-free graph and the number of n-vertex, labeled (C4, diamond)-free graphs. We also give an efficient algorithm for finding a largest clique in the mo…
▽ More
We consider the class of (C4, diamond)-free graphs; graphs in this class do not contain a C4 or a diamond as an induced subgraph. We provide an efficient recognition algorithm for this class. We count the number of maximal cliques in a (C4, diamond)-free graph and the number of n-vertex, labeled (C4, diamond)-free graphs. We also give an efficient algorithm for finding a largest clique in the more general class of (house, diamond)-free graphs.
△ Less
Submitted 25 September, 2009;
originally announced September 2009.
