27951187
The Ramsey numbers of trees versus W6 or W7
Let Tn denote a tree of order n and Wm a wheel of order m + 1. In this paper, we show the Ramsey numbers R(Tn, W6) = 2n - 1 + µ for n ≥ 5, where µ = 2 if Tn = Sn, µ = 1 if Tn = Sn(1, 1) or Tn = Sn(1, 2) and n ≡ 0 (mod 3), and µ = 0 otherwise; R(Tn, W7) = 3n - 2 for n ≥ 6.
5672527
Complementary cycles containing a fixed arc in diregular bipartite tournaments
Abstract Let ( x , y ) be a specified arc in a k -regular bipartite tournament B . We prove that there exists a cycle C of length four through ( x , y ) in B such that B − C is hamiltonian.
30370540
On (d, 2)-dominating numbers of binary undirected de Bruijn graphs
Abstract In this paper, we show that: (i) For n-dimensional undirected binary de Bruijn graphs, UB(n), n⩾4, there is a vertex x=x 1 x 1 x 1 ⋯ x 1 x 1 (x1=1 or 0) such that for any other vertex t there exist at least two internally disjoint paths of length at most n−1 between x and t in UB(n), i.e., the (n−1,2)-dominating number of UB(n) is equal to one. (ii) For n⩾5, let S={100⋯01,011⋯10}. For any other vertex t there exist at least two internally disjoint paths of length at most n−2 between t and S in UB(n), i.e., the (n−2,2)-dominating number of UB(n) is no more than 2.
29686713
A note on Ramsey numbers with two parameters
The Ramsey number R(G1, G2) is the smallest integer p such that for any graph G on p vertices either G contains G1 or G- contains G2, where G- denotes the complement of G. In this paper, some new bounds with two parameters for the Ramsey number R(G1, G2), under some assumptions, are obtained. Especially, we prove that R(K6 - e, K6) ≤ 116 and R(K6 - e, K7) ≤ 202, these improve the two upper bounds for the classical Ramsey number in [S.P. Radziszowski, Small Ramsey number, Electron. J. Combin. DSI (2002) 1-36].
8284293
A note on list improper coloring planar graphs
A graph G is called (k, d)*-choosable if, for every list assignment L satisfying |L(v)| = k for all v ϵ V(G), there is an L-coloring of G such that each vertex of G has at most d neighbors colored with the same color as itself. In this note, we prove that every planar graph without 4-cycles and l-cycles for some l ϵ {5, 6, 7} is (3, 1)*-choosable.
15445426
An Ore-type Condition for Cyclability
A graph G is said to be cyclable if for each orientation D of G, there exists a set S(D) ?V(G) such that reversing all the arcs with one end in S results in a Hamiltonian digraph. Let G be a simple graph of even ordern? 8. In this paper, we show that if the degree sum of any two nonadjacent vertices is not less thann+ 1, then G is cyclable and the lower bound is sharp.
8097819
Model Management Through Graph Transformation
Model management offers a higher level interface than current techniques for metadata management, and generic operators drastically reduce amount of programming for metadata applications. The interactive nature of generic model management operators inevitably demands an intuitive representation. This paper proposes a visual representation for model management operators based on graph transformation. Graph transformation formalisms, as the theoretic foundation of many visual programming languages, can formally represent model management operators by visual and intuitive expressions. By using graphical representations, users can easily comprehend and manipulate the operators and desired outputs
13281459
Software Defect Fractal Description
7869643
Fast parallel algorithms for the unit cost editing distance between trees
We present three algorithms to find the distance. The first algorithm is a simple dynamic programming algorithm based on a postorder traversal whose complexity improves upon the best previously published algorithm due to Tai (T79 in JACM). The second and third algorithms are parallel algorithms based on the application of suffix trees to the comparison problem. The cost of executing these algorithms is a monotonic increasing function of the distance between the two trees. Results Let trees T I and T2 have numbers of levels L i and L 2 respectively. Let k be the actual distance between T 1 and T2. Let N be rain (IT11, IT2 ]). The asymptotic running times (assuming a concurrentread concurrent-write parallel random access machine) are:
9738891
Comparing multiple RNA secondary structures using tree comparisons
In a previous paper, an algorithm was presented for analyzing multiple RNA secondary structures utilizing a multiple string alignment algorithm. In this paper we present another approach to the problem of comparing many secondary structures by utilizing a very efficient tree-matching algorithm that will compare two trees in O([T1] X [T2] X L1 X L2) in the worst case and very close to O([T1] X [T2]) for average trees representing secondary structures. The result of the pairwise comparison algorithm is then used with a cluster algorithm to produce a multiple structure clustering which can be displayed in a taxonomy tree to show related structures.
2052176
Structural matching and discovery in document databases
Structural matching and discovery in documents such as SGML and HTML is important for data warehousing [6], version management [7, 11], hypertext authoring, digital libraries [4] and Internet databases. As an example, a user of the World Wide Web may be interested in knowing changes in an HTML document [2, 5, 10]. Such changes can be detected by comparing the old and new version of the document (referred to as structural matching of documents). As another example, in hypertext authoring, a user may wish to find the common portions in the history list of a document or in a database of documents (referred to as structural discovery of documents). In SIGMOD 95 demo sessions, we exhibited a software package, called TreeDiff [13], for comparing two latex documents and showing their differences. Given two documents, the tool represents the documents as ordered labeled trees and finds an optimal sequence of edit operations to transform one document (tree) to the other. An edit operation could be an insert, delete, or change of a node in the trees. The tool is so named because documents are represented and compared using approximate tree matching techniques [9, 12, 14].