We give recursive methods for enumerating the number of orientations of a tree which can be efficiently dominated. We also examine the maximum number, \(\eta_q\), of orientations admitting an efficient dominating set in a tree with \(q\) edges. While we are unable to give either explicit formulas or recursive methods for finding \(\eta_q\), we are able to show that the growth rate of the sequence \(\langle\eta_q\rangle\) stabilizes by showing that \(\lim_{q\to\infty}\eta^\frac{1}{q}_q \) exists.

Let \(G = (V, E)\) be a finite simple graph. \(G\) is said to be a magic graph iff there exists a magic assignment of \(G\), which is a mapping \(L\) from \(E\) to \({N} = \{1, 2, \ldots\}\) such that the sums of the labels of all edges incident to the vertices in \(V\) are identical. Let \(M(G)\) be the set of all magic assignments of \(G\). For any \(L\) in \(M(G)\), define \(s(L) = \max\{L(e): e \in E\}\). Then, the magic strength of \(G\) is defined as \(m(G) = \min\{s(L): L \in M(G)\}\). In this paper, we determine the magic strengths of several classes of graphs and introduce some constructions of magic graphs. We also show that every connected graph is an induced subgraph of a magic graph.

We determine upper bounds on the number of elements in connected and \(3\)-connected matroids with fixed rank and bounded cocircuit size. The existence of these upper bounds is a Ramsey property of matroids. We also determine size type function and extremal matroids in several classes of matroids with small cocircuits.

Let \(V\) be a finite set of order \(v\). A \((v, \kappa, \lambda)\) packing design of index \(\lambda\) and block size \(u\) is a collection of \(u\)-element subsets, called blocks, such that every \(2\)-subset of \(V\) occurs in at most \(\lambda\) blocks. The packing problem is to determine the maximum number of blocks, \(\sigma(v, \kappa, \lambda)\), in a packing design. It is well known that \(\sigma(v, \kappa, \lambda) \leq [\frac{v}{\kappa}[\frac{v-1}{\kappa-1}\lambda]] = \psi(v, \kappa, \lambda)\), where \([ x ]\) is the largest integer satisfying \(x \geq [ x ]\). It is shown here that \(\sigma(v, 5, 3) = \psi(v, 5, 3)\) for all positive integers \(v \geq 5\) with the possible exceptions of \(v = 43\) and that \(\sigma(v, 5, 3) = \psi(v, 5, 3)\) for all positive integers \(v = 1, 5, 9, 17 \pmod{20}\) and \(\sigma(v, 5, 3) = \psi(v, 5, 3) – 1\) for all positive integers \(v \equiv 13 \pmod{20}\) with the possible exception of \(v = 17, 29, 33, 49\).

A graph with signed edges is orientation embedded in a surface when it is topologically embedded and a polygon preserves or reverses orientation depending on whether its sign product is positive or negative. We study orientation-embedding analogs of three facts about unsigned graph embedding: planarity is equivalent to having cographic polygon matroid, the polygon matroid of a graph determines the surfaces in which it embeds, and contraction preserves embeddability of a graph in a surface.
We treat three matroids of a signed graph. Our main results:
For a signed graph which is orientation embeddable in the projective plane, the bias and lift matroids (which coincide) are cographic.
Neither the bias nor lift nor complete lift matroid determines the surfaces in which a signed graph orientation embeds.
Of the two associated contractions of signed edges, the bias contraction does not preserve orientation embeddability but the lift contraction does.Thus the signed graphs which orientation embed in a particular surface are characterizable by forbidden lift minors.

A graph \(G\) having \(7\) vertices is called a chordal ring if its vertices can be arranged in a Hamiltonian cycle \(0, 1, 2, \ldots, n-1\) and there is a proper divisor \(d\) of \(n\) such that for all vertices \(i\) and \(j\), \(i\) is adjacent to \(j\) in \(G\) if and only if \(i+d\) is adjacent to \(j+d\) (addition modulo \(n\)). We consider here the efficacy of coloring the vertices of such a graph by the greedy algorithm applied to the vertices in the order of their appearance on the cycle. For any positive integer \(n\), let \(\Sigma_n\) denote the set of all permutations of the set \(\{1, 2, \ldots, n\}\) together with the adjacency relation \(\sim\) defined as follows: for \(\sigma\) and \(\tau\) in \(\Sigma_n\), \(\sigma \sim \tau\) if and only if there is an integer \(i\) such that \(\sigma-i = \tau-i\). (Here \(\sigma-i\) denotes the permutation of length \(n-1\) obtained by deleting \(i\) from \(\sigma\).) In this paper, we study some of the properties of the graph \((\Sigma_n, \sim)\). Two of the results obtained are the following:
(i) \((\Sigma_n, \sim)\) is a chordal ring for every positive integer \(n\);
(ii) the chromatic number of \(\Sigma_5\) is \(5\) but the greedy algorithm colors \(\Sigma_5\) in \(9\) colors.

A division of a cake \(X = X_1 \cup \cdots \cup X_n\) among \(n\) players with associated probability measures \(\mu_1, \ldots, \mu_n\) on \(X\) is said to be:

(a) exact in the ratios of \(\alpha_1 : \alpha_2 : \cdots : \alpha_n\) provided whenever \(1 \leq i, j \leq n\), \(\frac{\mu_i(X_j)} { \mu_1(X)} = \alpha_i / (\alpha_1 + \cdots + \alpha_n)\)

(b) \(\epsilon\)-near exact in the ratios \(\alpha_1 : \alpha_2 : \cdots : \alpha_n\) provided whenever \(1 \leq i, j \leq n\), \(|\frac{\mu_i(X_i)}{\mu_1(X_1)} + \cdots +\frac {\alpha_j}{\alpha_1 + \cdots + \alpha_n}| < \epsilon\)

(c) envy free in ratios \(\alpha_1 : \alpha_2 : \cdots : \alpha_n\) provided whenever \(1 \leq i, j \leq n\), \(\frac{\mu_i(X_i)}{\mu_i(X_j)} \geq \frac{\alpha_i}{\alpha_j}\).

A moving knife exact division is described for two players and it is shown there can be no finite exact algorithm for \(n \geq 2\) players. A bounded finite \(\epsilon\)-near exact algorithm is given which is used to produce a finite envy free, \(\epsilon\)-near exact algorithm.

We study bounds on the cardinality of sum-distinct sets of \(n\)-vectors with nonnegative integral components under component-wise real-number addition. A subclass of sum-distinct sets induced by an \(n \times n\) integral matrix of rank \(n\) is studied as well.