666 research outputs found
Relational Galois connections between transitive fuzzy digraphs
Fuzzy-directed graphs are often chosen as the data structure to model and implement solutions to several problems in the applied sciences. Galois connections have also shown to be useful both in theoretical and in practical problems. In this paper, the notion of relational Galois connection is extended to be applied between transitive fuzzy directed graphs. In this framework, the components of the connection are crisp relations satisfying certain reasonable properties given in terms of the so-called full powering
On the existence and number of -kings in -quasi-transitive digraphs
Let be a digraph and an integer. We say that
is -quasi-transitive if for every directed path in
, then or . Clearly, a
2-quasi-transitive digraph is a quasi-transitive digraph in the usual sense.
Bang-Jensen and Gutin proved that a quasi-transitive digraph has a 3-king
if and only if has a unique initial strong component and, if has a
3-king and the unique initial strong component of has at least three
vertices, then has at least three 3-kings. In this paper we prove the
following generalization: A -quasi-transitive digraph has a -king
if and only if has a unique initial strong component, and if has a
-king then, either all the vertices of the unique initial strong
components are -kings or the number of -kings in is at least
.Comment: 17 page
Minimum Cost Homomorphisms to Locally Semicomplete and Quasi-Transitive Digraphs
For digraphs and , a homomorphism of to is a mapping $f:\
V(G)\dom V(H)uv\in A(G)f(u)f(v)\in A(H)u \in V(G)c_i(u), i \in V(H)f\sum_{u\in V(G)}c_{f(u)}(u)HHHGc_i(u)u\in V(G)i\in V(H)GH$ and, if one exists, to find one of minimum cost.
Minimum cost homomorphism problems encompass (or are related to) many well
studied optimization problems such as the minimum cost chromatic partition and
repair analysis problems. We focus on the minimum cost homomorphism problem for
locally semicomplete digraphs and quasi-transitive digraphs which are two
well-known generalizations of tournaments. Using graph-theoretic
characterization results for the two digraph classes, we obtain a full
dichotomy classification of the complexity of minimum cost homomorphism
problems for both classes
Countable locally 2-arc-transitive bipartite graphs
We present an order-theoretic approach to the study of countably infinite
locally 2-arc-transitive bipartite graphs. Our approach is motivated by
techniques developed by Warren and others during the study of cycle-free
partial orders. We give several new families of previously unknown countably
infinite locally-2-arc-transitive graphs, each family containing continuum many
members. These examples are obtained by gluing together copies of incidence
graphs of semilinear spaces, satisfying a certain symmetry property, in a
tree-like way. In one case we show how the classification problem for that
family relates to the problem of determining a certain family of highly
arc-transitive digraphs. Numerous illustrative examples are given.Comment: 29 page
Abelian Cayley digraphs with asymptotically large order for any given degree
Abelian Cayley digraphs can be constructed by using a generalization to Z(n) of the concept of congruence in Z. Here we use this approach to present a family of such digraphs, which, for every fixed value of the degree, have asymptotically large number of vertices as the diameter increases. Up to now, the best known large dense results were all non-constructive.Peer ReviewedPostprint (author's final draft
- …