Sciweavers

2766 search results - page 61 / 554
» Algorithms for trigonometric polynomials
Sort
View
95
Voted
SAT
2007
Springer
129views Hardware» more  SAT 2007»
15 years 6 months ago
Minimum 2CNF Resolution Refutations in Polynomial Time
We present an algorithm for finding a smallest Resolution refutation of any 2CNF in polynomial time.
Joshua Buresh-Oppenheim, David G. Mitchell
107
Voted
CASC
2010
Springer
160views Mathematics» more  CASC 2010»
14 years 11 months ago
Factorization of Polynomials and GCD Computations for Finding Universal Denominators
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
Sergei A. Abramov, A. Gheffar, D. E. Khmelnov
MICS
2010
77views more  MICS 2010»
14 years 11 months ago
Preemptive Scheduling of Equal-Length Jobs in Polynomial Time
We study the preemptive scheduling problem of a set of n jobs with release times and equal processing times on a single machine. The objective is to minimize the sum of the weighte...
George B. Mertzios, Walter Unger
102
Voted
FOCS
2006
IEEE
15 years 6 months ago
Inclusion--Exclusion Algorithms for Counting Set Partitions
Given an n-element set U and a family of subsets S ⊆ 2U we show how to count the number of k-partitions S1 ∪ · · · ∪ Sk = U into subsets Si ∈ S in time 2nnO(1). The only...
Andreas Björklund, Thore Husfeldt
ICALP
2007
Springer
15 years 4 months ago
Efficient Algorithms for Constant Well Supported Approximate Equilibria in Bimatrix Games
Abstract. In this work we study the tractability of well supported approximate Nash Equilibria (SuppNE in short) in bimatrix games. In view of the apparent intractability of constr...
Spyros C. Kontogiannis, Paul G. Spirakis