Cooperatie guards in the fortress problem.
Cooperative guards in art galleries [Book]
Curvature and Flow in Digital Space
We first define the curvature indices of vertices of digital objects. Second, using these indices, we define the principal normal vectors of digital curves and surfaces. These definitions allow us to derive the Gauss-Bonnet theorem for digital objects. Third, we introduce curvature flow for isothetic polytopes defined in a digital space.
Cutwidth of iterated caterpillars
The cutwidth is an important graph-invariant in circuit layout designs. The cutwidth of a graph G is the minimum value of the maximum number of overlap edges when G is embedded into a line. A caterpillar is a tree which yields a path when all its leaves are removed. An iterated caterpillar is a tree which yields a caterpillar when all its leaves are removed. In this paper we present an exact formula for the cutwidth of the iterated caterpillars.
Cutwidth of the de Bruijn graph
Cycle and path embedding on 5-ary N-cubes
We study two topological properties of the 5-ary -cube . Given two arbitrary distinct nodes and in , we prove that there exists an - path of every length ranging from to , where . Based on this result, we prove that is 5-edge-pancyclic by showing that every edge in lies on a cycle of every length ranging from to .
Cycle and Path Embedding on 5-ary N-cubes
We study two topological properties of the 5-ary n-cube . Given two arbitrary distinct nodes x and y in , we prove that there exists an x-y path of every length ranging from 2n to 5n - 1, where n ≥ 2. Based on this result, we prove that is 5-edge-pancyclic by showing that every edge in lies on a cycle of every length ranging from 5 to 5n.
Decidability of equivalence for a class of non-deterministic tree transducers
Deciding soccer scores and partial orientations of graphs.
Dépliage d'un graphe pointé en un cactus
Descendants and ascendants in binary trees.
Description d'une classe de grammaires de graphes sans circuit
Diamètre de graphes et qualité de service d'un réseau de données
Difference metrics for interactive orthogonal graph drawing algorithms.
Digital search trees with keys of variable length
Directed forests with application to algorithms related to Markov chains
This paper is devoted to computational problems related to Markov chains (MC) on a finite state space. We present formulas and bounds for characteristics of MCs using directed forest expansions given by the Matrix Tree Theorem. These results are applied to analysis of direct methods for solving systems of linear equations, aggregation algorithms for nearly completely decomposable MCs and the Markov chain Monte Carlo procedures.
Discussing graph theory with a computer. II: Theorems suggested by the computer.
Discussing Graph Theory with a Computer III, Man-machine Theorem Proving
Disjoint unions of complete graphs characterized by their Laplacian spectrum.
Distributed graph layout for sensor networks.