Sciweavers

2446 search results - page 121 / 490
» Choiceless Polynomial Time
Sort
View
CORR
2008
Springer
159views Education» more  CORR 2008»
15 years 25 days ago
Stochastic Limit-Average Games are in EXPTIME
The value of a finite-state two-player zero-sum stochastic game with limit-average payoff can be approximated to within in time exponential in a polynomial in the size of the gam...
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. H...
CORR
2008
Springer
106views Education» more  CORR 2008»
15 years 25 days ago
Modular difference logic is hard
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...
Nikolaj Bjørner, Andreas Blass, Yuri Gurevi...
115
Voted
CORR
2006
Springer
114views Education» more  CORR 2006»
15 years 23 days ago
Polynomial-time algorithms for coding across multiple unicasts
We consider the problem of network coding across multiple unicasts. We give, for wired and wireless networks, efficient polynomial time algorithms for finding optimal network code...
Tracey Ho
ENTCS
2006
105views more  ENTCS 2006»
15 years 23 days ago
Feasible Reactivity for Synchronous Cooperative Threads
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
Roberto M. Amadio, Frédéric Dabrowsk...
MST
2007
121views more  MST 2007»
15 years 7 days ago
Chinese Remaindering with Multiplicative Noise
We use lattice reduction to obtain a polynomial time algorithm for recovering an integer (up to a multiple) given multiples of its residues modulo sufficiently many primes, when t...
Igor Shparlinski, Ron Steinfeld