Sciweavers

83 search results - page 5 / 17
» dam 2006
Sort
View
FUIN
2006
68views more  FUIN 2006»
13 years 8 months ago
Program Transformation with Scoped Dynamic Rewrite Rules
Martin Bravenboer, Arthur van Dam, Karina Olmos, E...
DAM
2006
66views more  DAM 2006»
13 years 8 months ago
On the structure of the adjacency matrix of the line digraph of a regular digraph
We show that the adjacency matrix M of the line digraph of a d-regular digraph D on n vertices can be written as M = AB, where the matrix A is the Kronecker product of the all-one...
Simone Severini
DAM
2006
91views more  DAM 2006»
13 years 8 months ago
Precoloring extension on unit interval graphs
In the precoloring extension problem we are given a graph with some of the vertices having a preassigned color and it has to be decided whether this coloring can be extended to a ...
Dániel Marx
DAM
2006
79views more  DAM 2006»
13 years 8 months ago
Edge ranking of weighted trees
: In this paper we consider the edge ranking problem of weighted trees. We prove that a special instance of this problem, namely edge ranking of multitrees is NP-hard already for m...
Dariusz Dereniowski
DAM
2006
66views more  DAM 2006»
13 years 8 months ago
Positivity of second order linear recurrent sequences
We give an elementary proof for the Positivity Problem for second order recurrent sequences: it is decidable whether or not a recurrent sequence defined by un = aun-1 + bun-2 has ...
Vesa Halava, Tero Harju, Mika Hirvensalo