33,563 research outputs found
Streaming Algorithms for Submodular Function Maximization
We consider the problem of maximizing a nonnegative submodular set function
subject to a -matchoid
constraint in the single-pass streaming setting. Previous work in this context
has considered streaming algorithms for modular functions and monotone
submodular functions. The main result is for submodular functions that are {\em
non-monotone}. We describe deterministic and randomized algorithms that obtain
a -approximation using -space, where is
an upper bound on the cardinality of the desired set. The model assumes value
oracle access to and membership oracles for the matroids defining the
-matchoid constraint.Comment: 29 pages, 7 figures, extended abstract to appear in ICALP 201
Counting Euler Tours in Undirected Bounded Treewidth Graphs
We show that counting Euler tours in undirected bounded tree-width graphs is
tractable even in parallel - by proving a upper bound. This is in
stark contrast to #P-completeness of the same problem in general graphs.
Our main technical contribution is to show how (an instance of) dynamic
programming on bounded \emph{clique-width} graphs can be performed efficiently
in parallel. Thus we show that the sequential result of Espelage, Gurski and
Wanke for efficiently computing Hamiltonian paths in bounded clique-width
graphs can be adapted in the parallel setting to count the number of
Hamiltonian paths which in turn is a tool for counting the number of Euler
tours in bounded tree-width graphs. Our technique also yields parallel
algorithms for counting longest paths and bipartite perfect matchings in
bounded-clique width graphs.
While establishing that counting Euler tours in bounded tree-width graphs can
be computed by non-uniform monotone arithmetic circuits of polynomial degree
(which characterize ) is relatively easy, establishing a uniform
bound needs a careful use of polynomial interpolation.Comment: 17 pages; There was an error in the proof of the GapL upper bound
claimed in the previous version which has been subsequently remove
Two Counting Problems in Geometric Triangulations and Pseudoline Arrangements
The purpose of this dissertation is to study two problems in combinatorial geometry in regard to obtaining better bounds on the number of geometric objects of interest: (i) monotone paths in geometric triangulations and (ii) pseudoline arrangements.
\medskip(i) A directed path in a graph is monotone in direction of if every edge in the path has a positive inner product with . A path is monotone if it is monotone in some direction. Monotone paths are studied in optimization problems, specially in classical simplex algorithm in linear programming. We prove that the (maximum) number of monotone paths in a geometric triangulation of points in the plane is . This improves an earlier upper bound of ; the current best lower bound is (Dumitrescu~\etal, 2016).
\medskip (ii) Arrangements of lines and pseudolines are fundamental objects in discrete and computational geometry. They also appear in other areas of computer science, for instance in the study of sorting networks. Let be the number of nonisomorphic arrangements of pseudolines and let . The problem of estimating was posed by Knuth in 1992. Knuth conjectured that and also derived the first upper and lower bounds: and . The upper bound underwent several improvements, (Felsner, 1997), and (Felsner and Valtr, 2011), for large . Here we show that for some constant . In particular, for large . This improves the previous best lower bound, , due to Felsner and Valtr (2011). Our arguments are elementary and geometric in nature. Further, our constructions are likely to spur new developments and improved lower bounds for related problems, such as in topological graph drawings.
\medskip Developing efficient algorithms and computer search were key to verifying the validity of both results
A Unifying Hierarchy of Valuations with Complements and Substitutes
We introduce a new hierarchy over monotone set functions, that we refer to as
(Maximum over Positive Hypergraphs). Levels of the hierarchy
correspond to the degree of complementarity in a given function. The highest
level of the hierarchy, - (where is the total number of
items) captures all monotone functions. The lowest level, -,
captures all monotone submodular functions, and more generally, the class of
functions known as . Every monotone function that has a positive
hypergraph representation of rank (in the sense defined by Abraham,
Babaioff, Dughmi and Roughgarden [EC 2012]) is in -. Every
monotone function that has supermodular degree (in the sense defined by
Feige and Izsak [ITCS 2013]) is in -. In both cases, the
converse direction does not hold, even in an approximate sense. We present
additional results that demonstrate the expressiveness power of
-.
One can obtain good approximation ratios for some natural optimization
problems, provided that functions are required to lie in low levels of the
hierarchy. We present two such applications. One shows that the
maximum welfare problem can be approximated within a ratio of if all
players hold valuation functions in -. The other is an upper
bound of on the price of anarchy of simultaneous first price auctions.
Being in - can be shown to involve two requirements -- one
is monotonicity and the other is a certain requirement that we refer to as
(Positive Lower Envelope). Removing the monotonicity
requirement, one obtains the hierarchy over all non-negative
set functions (whether monotone or not), which can be fertile ground for
further research
- …