Sciweavers

IPL
2008
61views more  IPL 2008»
13 years 4 months ago
On the complexity of partial order trace model checking
Thierry Massart, Cédric Meuter, Laurent Van...
IPL
2008
84views more  IPL 2008»
13 years 4 months ago
Minimal proper interval completions
Given an arbitrary graph G = (V, E) and a proper interval graph H = (V, F) with E F we say that H is a proper interval completion of G. The graph H is called a minimal proper inte...
Ivan Rapaport, Karol Suchan, Ioan Todinca
IPL
2008
86views more  IPL 2008»
13 years 4 months ago
A more efficient algorithm for perfect sorting by reversals
We describe a new algorithm for the problem of perfect sorting a signed permutation by reversals. The worst-case time complexity of this algorithm is parameterized by the maximum p...
Sèverine Bérard, Cedric Chauve, Chri...
IPL
2008
72views more  IPL 2008»
13 years 4 months ago
Reducing communication costs in robust peer-to-peer networks
Several recent research results describe how to design Distributed Hash Tables (DHTs) that are robust to adversarial attack via Byzantine faults. Unfortunately, all of these resul...
Jared Saia, Maxwell Young
IPL
2008
91views more  IPL 2008»
13 years 4 months ago
Well-balanced orientations of mixed graphs
We show that deciding if a mixed graph has a well-balanced orientation is NP-complete.
Attila Bernáth, Gwenaël Joret
IPL
2008
95views more  IPL 2008»
13 years 4 months ago
Approximating maximum satisfiable subsystems of linear equations of bounded width
We consider the problem known as MAX-SATISFY: given a system of m linear equations over the rationals, find a maximum set of equations that can be satisfied. Let r be the width of...
Zeev Nutov, Daniel Reichman
IPL
2008
79views more  IPL 2008»
13 years 4 months ago
The probability of "undefined" (non-converging) output in generating the universal probability distribution
In order to generate a universal probability distribution to extrapolate a binary string x of length i, we feed random bits into a universal device, M. When we find an input strin...
Ray J. Solomonoff
IPL
2008
131views more  IPL 2008»
13 years 4 months ago
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
J. Francisco Chicano, Enrique Alba