Sciweavers

3678 search results - page 319 / 736
» On the Stable Paths Problem
Sort
View
ALGORITHMICA
2008
82views more  ALGORITHMICA 2008»
15 years 6 months ago
Random Bichromatic Matchings
Given a graph with edges colored Red and Blue, we wish to sample and approximately count the number of perfect matchings with exactly k Red edges. We study a Markov chain on the sp...
Nayantara Bhatnagar, Dana Randall, Vijay V. Vazira...
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 6 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 6 months ago
A lower bound for the tree-width of planar graphs with vital linkages
The disjoint paths problem asks, given an graph G and k + 1 pairs of terminals (s0, t0), . . . , (sk, tk), whether there are k + 1 pairwise disjoint paths P0, . . . , Pk, such tha...
Isolde Adler, Philipp Klaus Krause
EOR
2006
110views more  EOR 2006»
15 years 6 months ago
A constructive algorithm for realizing a distance matrix
The natural metric of a weighted graph is the length of the shortest paths between all pairs of vertices. The investigated problem consists in a representation of a given metric b...
Sacha C. Varone
162
Voted
COMGEO
2007
ACM
15 years 6 months ago
On simultaneous planar graph embeddings
We consider the problem of simultaneous embedding of planar graphs. There are two variants of this problem, one in which the mapping between the vertices of the two graphs is given...
Peter Braß, Eowyn Cenek, Christian A. Duncan...