Sciweavers

10997 search results - page 51 / 2200
» On the Structure of Complete Sets
Sort
View
IPL
2007
60views more  IPL 2007»
13 years 10 months ago
Robustness of PSPACE-complete sets
We study the robustness of complete languages in PSPACE and prove that they are robust against P-selective sparse sets. Earlier similar results are known for EXPcomplete sets [3] ...
Aduri Pavan, Fengming Wang
DM
1999
83views more  DM 1999»
13 years 9 months ago
A characterization of uniquely vertex colorable graphs using minimal defining sets
A defining set (of vertex coloring) of a graph G is a set of vertices S with an assignment of colors to its elements which has a unique completion to a proper coloring of G. We de...
Hossein Hajiabolhassan, Mojtaba L. Mehrabadi, Ruzb...
ORL
2008
120views more  ORL 2008»
13 years 10 months ago
Composition of stable set polyhedra
Barahona and Mahjoub found a defining system of the stable set polytope for a graph with a cut-set of cardinality 2. We extend this result to cut-sets composed of a complete graph...
Benjamin McClosky, Illya V. Hicks
STACS
2010
Springer
14 years 4 months ago
Collapsing and Separating Completeness Notions under Average-Case and Worst-Case Hypotheses
This paper presents the following results on sets that are complete for NP. (i) If there is a problem in NP that requires 2nΩ(1) time at almost all lengths, then every many-one N...
Xiaoyang Gu, John M. Hitchcock, Aduri Pavan
JAPLL
2010
104views more  JAPLL 2010»
13 years 8 months ago
Complete axiomatizations for XPath fragments
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
Balder ten Cate, Tadeusz Litak, Maarten Marx