Sciweavers

15033 search results - page 108 / 3007
» Complexity Theory and Algorithms
Sort
View
ICDT
2010
ACM
125views Database» more  ICDT 2010»
15 years 7 months ago
Synthesizing View Definitions from Data
Given a database instance and a corresponding view instance, we address the view definitions problem (VDP): Find the most succinct and accurate view definition, when the view quer...
Anish Das Sarma, Aditya Parameswaran, Hector Garci...
128
Voted
GECCO
2006
Springer
157views Optimization» more  GECCO 2006»
15 years 7 months ago
How randomized search heuristics find maximum cliques in planar graphs
Surprisingly, general search heuristics often solve combinatorial problems quite sufficiently, although they do not outperform specialized algorithms. Here, the behavior of simple...
Tobias Storch
SYNASC
2006
IEEE
67views Algorithms» more  SYNASC 2006»
15 years 9 months ago
Mathematical Theory Exploration
Bruno Buchberger
STOC
2007
ACM
119views Algorithms» more  STOC 2007»
16 years 4 months ago
Balanced max 2-sat might not be the hardest
We show that, assuming the Unique Games Conjecture, it is NPhard to approximate MAX 2-SAT within LLZ + , where 0.9401 < LLZ < 0.9402 is the believed approximation ratio of t...
Per Austrin
COMPGEOM
2010
ACM
15 years 8 months ago
Adding one edge to planar graphs makes crossing number hard
A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show that it is NP-hard to compute the crossing number of near-planar graphs. The main idea ...
Sergio Cabello, Bojan Mohar