Sciweavers

3204 search results - page 190 / 641
» The b-chromatic Number of a Graph
Sort
View
CCCG
2007
13 years 12 months ago
Morphing Planar Graph Drawings
We give an algorithm to morph between two planar drawings of a graph, preserving planarity, but allowing edges to bend during the course of the morph. The morph uses a polynomial ...
Anna Lubiw
IJCAI
2003
13 years 11 months ago
Automated Verification: Graphs, Logic, and Automata
Automated verification is one of the most success­ ful applications of automated reasoning in com­ puter science. In automated verification one uses algorithmic techniques to es...
Moshe Y. Vardi
ENDM
2008
123views more  ENDM 2008»
13 years 10 months ago
Morphing Planar Graph Drawings with Bent Edges
We give an algorithm to morph between two planar drawings of a graph, preserving planarity, but allowing edges to bend. The morph uses a polynomial number of elementary steps, whe...
Anna Lubiw, Mark Petrick
FFA
2006
116views more  FFA 2006»
13 years 10 months ago
Amorphic association schemes with negative Latin square-type graphs
Applying results from partial difference sets, quadratic forms, and recent results of Brouwer and Van Dam, we construct the first known amorphic association scheme with negative La...
James A. Davis, Qing Xiang
DM
2000
89views more  DM 2000»
13 years 10 months ago
On median graphs and median grid graphs
Let G be a Q4-free median graph on n vertices and m edges. Let k be the number of equivalence classes of Djokovi
Sandi Klavzar, Riste Skrekovski