2 citations
2 papers
math.CA2008★ 2 cited
Sums of norm spheres are norm shells and lower triangle inequalities are sharp
Lutz Mattner
The statements in the title are explained and proved, as a little exercise in elementary normed vector space theory at the level of Chapter 5 of Dieudonné's "Foundations of Mathema…
cs.DS2008★ 1 cited
A New Upper Bound for Max-2-Sat: A Graph-Theoretic Approach
Daniel Raible, Henning Fernau
In {\sc MaxSat}, we ask for an assignment which satisfies the maximum number of clauses for a boolean formula in CNF. We present an algorithm yielding a run time upper bound of $O^…