Sciweavers

4 search results - page 1 / 1
» Bounds on degrees of p-adic separating polynomials
Sort
View
JCT
2008
83views more  JCT 2008»
13 years 4 months ago
Bounds on degrees of p-adic separating polynomials
We study a discrete optimization problem introduced by Babai, Frankl, Kutin, and Stefankovic (2001), which provides bounds on degrees of polynomials with p-adically controlled beh...
Daniel J. Katz, Joshua Zahl
CORR
2010
Springer
179views Education» more  CORR 2010»
13 years 2 months ago
The DMM bound: multivariate (aggregate) separation bounds
In this paper we derive aggregate separation bounds, named after Davenport-MahlerMignotte (DMM), on the isolated roots of polynomial systems, specifically on the minimum distance ...
Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsig...
COCO
1997
Springer
144views Algorithms» more  COCO 1997»
13 years 9 months ago
Polynomial Vicinity Circuits and Nonlinear Lower Bounds
We study families of Boolean circuits with the property that the number of gates at distance t fanning into or out of any given gate in a circuit is bounded above by a polynomial ...
Kenneth W. Regan
STOC
2010
ACM
200views Algorithms» more  STOC 2010»
14 years 2 months ago
Hardness Amplification in Proof Complexity
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
Paul Beame, Trinh Huynh and Toniann Pitassi