English
Related papers

Related papers: Linear-semiorders and their incomparability graphs

200 papers

For many years, the intuitions underlying partial-order planning were largely taken for granted. Only in the past few years has there been renewed interest in the fundamental principles underlying this paradigm. In this paper, we present a…

Artificial Intelligence · Computer Science 2009-09-25 S. Minton , J. Bresina , M. Drummond

The most elusive problem around the class of circular-arc graphs is identifying all minimal graphs that are not in this class. The main obstacle is the lack of a systematic way of enumerating these minimal graphs. McConnell [FOCS 2001]…

Combinatorics · Mathematics 2025-03-18 Yixin Cao , Jan Derbisz , Tomasz Krawczyk

Given a pseudoword over suitable pseudovarieties, we associate to it a labeled linear order determined by the factorizations of the pseudoword. We show that, in the case of the pseudovariety of aperiodic finite semigroups, the pseudoword…

Formal Languages and Automata Theory · Computer Science 2019-06-26 Jorge Almeida , Alfredo Costa , José Carlos Costa , Marc Zeitoun

A mixed graph can be seen as a type of digraph containing some edges (two opposite arcs). Here we introduce the concept of sequence mixed graphs, which is a generalization of both sequence graphs and iterated line digraphs. These structures…

Combinatorics · Mathematics 2016-10-13 C. Dalfó , M. A. Fiol , N. López

A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence,…

Rings and Algebras · Mathematics 2025-07-14 Paolo Lipparini

A simple-triangle graph is the intersection graph of triangles that are defined by a point on a horizontal line and an interval on another horizontal line. The time complexity of the recognition problem for simple-triangle graphs was a…

Discrete Mathematics · Computer Science 2018-09-20 Asahi Takaoka

Intersection graphs are well-studied in the area of graph algorithms. Some intersection graph classes are known to have algorithms enumerating all unlabeled graphs by reverse search. Since these algorithms output graphs one by one and the…

Data Structures and Algorithms · Computer Science 2022-12-15 Jun Kawahara , Toshiki Saitoh , Hirokazu Takeda , Ryo Yoshinaka , Yui Yoshioka

In this article we show that the semigroup operation of a strictly linearly ordered semigroup on a real interval is automatically continuous if each element of the semigroup admits a square root. Hence, by a result of Acz\'el, such a…

Classical Analysis and ODEs · Mathematics 2014-05-07 Jochen Glück

A graph $G$ with vertex set $\{v_1,v_2,\ldots,v_n\}$ is an intersection graph of segments if there are segments $s_1,\ldots,s_n$ in the plane such that $s_i$ and $s_j$ have a common point if and only if $\{v_i,v_j\}$ is an edge of~$G$. In…

Computational Geometry · Computer Science 2014-06-11 Jiri Matousek

We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of…

Combinatorics · Mathematics 2016-11-29 Christopher Cox , Derrick Stolee

Discriminative linear models are a popular tool in machine learning. These can be generally divided into two types: The first is linear classifiers, such as support vector machines, which are well studied and provide state-of-the-art…

Machine Learning · Computer Science 2012-07-02 Koby Crammer , Amir Globerson

Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r,…

Combinatorics · Mathematics 2007-05-23 Jaroslav Nesetril , Patrice Ossona De Mendez

We consider the semiconjugate factorization and reduction of order for non-autonomous, nonlinear, higher order difference equations containing linear arguments. These equations have appeared in several mathematical models in biology and…

Dynamical Systems · Mathematics 2014-01-16 H. Sedaghat

Comparability graphs are the undirected graphs whose edges can be directed so that the resulting directed graph is transitive. They are related to posets and have applications in scheduling theory. This paper considers the problem of…

Data Structures and Algorithms · Computer Science 2015-03-11 Marc Tedder

Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets…

Functional Analysis · Mathematics 2014-08-22 Denny H. Leung , Wee-Kee Tang

A basic problem in the theory of partially ordered vector spaces is to characterise those cones on which every order-isomorphism is linear. We show that this is the case for every Archimedean cone that equals the inf-sup hull of the sum of…

Functional Analysis · Mathematics 2023-11-27 Bas Lemmens , Hent van Imhoff , Onno van Gaans

Link prediction in graphs is a task that has been widely investigated. It has been applied in various domains such as knowledge graph completion, content/item recommendation, social network recommendations and so on. The initial focus of…

Social and Information Networks · Computer Science 2023-02-07 Nayana Bannur , Mashrin Srivastava , Harsha Vardhan

We introduce a new logic, called \emph{cluster first-order logic}, a restricted fragment of first-order logic specifically designed to study order invariance. An order-invariant formula is one on a vocabulary that contains an order;…

Logic in Computer Science · Computer Science 2026-05-01 Fatemeh Ghasemi , Julien Grange

Chordal graphs are important in algorithmic graph theory. Chordal digraphs are a digraph analogue of chordal graphs and have been a subject of active studies recently. Unlike chordal graphs, chordal digraphs lack many structural properties…

Combinatorics · Mathematics 2022-11-29 Jing Huang , Ying Ying Ye

We describe polynomial time algorithms for determining whether an undirected graph may be embedded in a distance-preserving way into the hexagonal tiling of the plane, the diamond structure in three dimensions, or analogous structures in…

Computational Geometry · Computer Science 2008-07-15 David Eppstein