Jennifer Seberry 1, Mieko Yamada2
1Department of Computer Science The University of Wollongong Wollongong, NSW, 2500 Australia
2Department of Mathematics Kyushu University Fukuoka 812 Japan
Abstract:

We show that \(M\)-structures can be extended to Hadamard matrices of generalized quaternion type and obtain multiplication type theorems which preserve the structure.

Hyeong-Ah Choi1, Bhagirath Narahari1
1Department of Electrical Engineering & Computer Science The George Washington University Washington, DC U.S.A. 20052
Abstract:

Reconfigurable parallel computers provide a number of choices of algorithm or architecture configurations to execute a task. This paper introduces and discusses the problem of allocating configurations to nodes of a task precedence graph, where each node represents a subtask. Each subtask can be executed on one of a number of distinct configurations and one of these choices must be assigned to it. We are given the execution time on a configuration, and the reconfiguration time between any allocatable pair of configurations of related subtasks. The objective is to assign a configuration for each subtask such that the overall completion time of the entire task is minimized. This paper provides a graph theoretic formulation for this configuration assignment problem, and shows that it is NP-hard even if the maximum degree of the precedence graph is at most 3 and the number of choices for each subtask is at most 2. The problem is shown to be solvable when the maximum degree of the precedence graph is 2, thus closing the gap between the P and NP cases in terms of the degree of the graph. We then present efficient polynomial time algorithms to find the optimal assignment for two special cases of precedence graphs—(1) trees, and (2) series-parallel graphs.

Zoran Radosavijevic1, Slobodan Simic1, Zsolt Tuza2
1Department of Mathematics, Faculty of Electrical Engineering University of Belgrade Bulevar Revolucije 73 11000 Belgrade Serbia, Yugoslavia
2Computer and Automation Institute Hungarian Academy of Sciences H-1111 Budapest, Kende u. 13-17 Hungary
Abstract:

A graph is orientable to a line digraph (OLD, for short) if its lines can be oriented in such a way that the resulting digraph is the line digraph of some digraph. In this paper, we find all graphs such that both the graph and its complement are OLD and also characterize these graphs in terms of minimal forbidden subgraphs. As shown, all of these graphs have at most nine points.

W. H. Holzmann1
1Department of Mathematical Sciences University of Lethbridge 4401 University Drive Lethbridge, Alberta Canada, T1K 3M4
Abstract:

Using multisets, a short proof of Polya’s theorem is given.

A. Duksu Oh1, Hyeong-Ah Choi2, Abdol-Hossein Esfahanian3
1Department of Mathematics St. Mary’s College of Maryland St. Mary’s City, MD 20686
2Department of Electrical Engineering & Computer Science George Washington University Washington, DC 20052
3Department of Computer Science Michigan State University East Lansing, MI 48824
Abstract:

The connectivity of a graph \(G(V, E)\) is the least cardinality \(|S|\) of a vertex set \(S\) such that \(G – S\) is either disconnected or trivial. This notion of connectivity has been generalized in two ways: one by imposing some graphical property on the set \(S\), and the other by imposing some graphical property on the components of the graph \(G – S\). In this paper, we study some instances of each of the above generalizations.

First, we prove that the problem of finding the least cardinality \(|S|\) such that the graph \(G – S\) is disconnected and one of the following properties (i) – (iii) is satisfied, is NP-hard: (i) given a set of forbidden pairs of vertices, the set \(S\) does not contain a forbidden pair of vertices; (ii) the set \(S\) does not contain the neighborhood of any vertex in \(G\); (iii) no component of \(G – S\) is trivial.
We then show that the problem satisfying property (ii) or (iii) has a polynomial-time solution if \(G\) is a \(k\)-tree. Applications of the above generalizations and the implications of our results to the topological design of fault-tolerant networks are discussed.

Johannes H. Hattingh1, Michael A. Henning2
1Department of Mathematics Rand Afrikaans University P. O. Box 524, 2006 Aucklandpark, South Africa
2Department of Mathematics and Applied Mathematics University of Natal P. O. Box 375, 3200 Pietermaritzburg, South Africa
Abstract:

Let \(k \geq 1\) be an integer and let \(G\) be a graph. A set \(D\) of vertices of \(G\) is a \(k\)-dominating set if every vertex of \(V(G) – D\) is within distance \(k\) of some vertex of \(D\). The graph \(G\) is called well-\(k\)-dominated if every minimal \(k\)-dominating set of \(G\) is of the same cardinality. A characterization of block graphs that are well-\(k\)-dominated is presented, where a block graph is a graph in which each of its blocks is complete.

Ralph J. Faudree1, Brendan D. McKay2
1Department of Mathematical Sciences Memphi State University Memphis, Tennessee, USA
2Computer Science Department Australian National University Canberra, ACT, Australia
Abstract:

It was conjectured by Paul Erdős that if \(G\) is a graph with chromatic number at least \(k\), then the diagonal Ramsey number \(r(G) \geq r(K_k)\). That is, the complete graph \(K_k\) has the smallest diagonal Ramsey number among the graphs of chromatic number \(k\). This conjecture is shown to be false for \(k = 4\) by verifying that \(r(W_6) = 17\), where \(W_6\) is the wheel with \(6\) vertices, since it is well known that \(r(K_4) = 18\). Computational techniques are used to determine \(r(W_6)\) as well as the Ramsey numbers for other pairs of small order wheels.

Louis D. Nel1, Heidi J. Strayer2
1School of Computer Science Carleton University Ottawa, Ontario K1S 5B6
2Department of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1
Abstract:

A simple model of an unreliable network is a probabilistic graph in which each edge has an independent probability of being operational. The two-terminal reliability is the probability that specified source and target nodes are connected by a path of operating edges.
Upper bounds on the two-terminal reliability can be obtained from an edge-packing of the graph by source-target cutsets. However, the particular cutsets chosen can greatly affect the bound.
In this paper, we examine three cutset selection strategies, one of which is based on a transshipment formulation of the $k$-cut problem.
These cutset selection strategies allow heuristics for obtaining good upper bounds analogous to the pathset selection heuristics used for lower bounds.
The computational results for some example graphs from the literature provide insight for obtaining good edge-packing bounds. In particular, the computational results indicate that, for the purposes of generating good reliability bounds, the effect of allowing crossing cuts cannot be ignored, and should be incorporated in a good edge-packing heuristic.
This gives rise to the problem of finding a least cost cutset whose contraction in the graph reduces the source-target distance by exactly one.

E-mail Alert

Add your e-mail address to receive upcoming issues of Journal of Combinatorial Mathematics and Combinatorial Computing (JCMCC).

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;