124 research outputs found
Parametric matroid of rough set
Rough set is mainly concerned with the approximations of objects through an
equivalence relation on a universe. Matroid is a combinatorial generalization
of linear independence in vector spaces. In this paper, we define a parametric
set family, with any subset of a universe as its parameter, to connect rough
sets and matroids. On the one hand, for a universe and an equivalence relation
on the universe, a parametric set family is defined through the lower
approximation operator. This parametric set family is proved to satisfy the
independent set axiom of matroids, therefore it can generate a matroid, called
a parametric matroid of the rough set. Three equivalent representations of the
parametric set family are obtained. Moreover, the parametric matroid of the
rough set is proved to be the direct sum of a partition-circuit matroid and a
free matroid. On the other hand, since partition-circuit matroids were well
studied through the lower approximation number, we use it to investigate the
parametric matroid of the rough set. Several characteristics of the parametric
matroid of the rough set, such as independent sets, bases, circuits, the rank
function and the closure operator, are expressed by the lower approximation
number.Comment: 15 page
Streaming Non-monotone Submodular Maximization: Personalized Video Summarization on the Fly
The need for real time analysis of rapidly producing data streams (e.g.,
video and image streams) motivated the design of streaming algorithms that can
efficiently extract and summarize useful information from massive data "on the
fly". Such problems can often be reduced to maximizing a submodular set
function subject to various constraints. While efficient streaming methods have
been recently developed for monotone submodular maximization, in a wide range
of applications, such as video summarization, the underlying utility function
is non-monotone, and there are often various constraints imposed on the
optimization problem to consider privacy or personalization. We develop the
first efficient single pass streaming algorithm, Streaming Local Search, that
for any streaming monotone submodular maximization algorithm with approximation
guarantee under a collection of independence systems ,
provides a constant approximation guarantee for maximizing a
non-monotone submodular function under the intersection of and
knapsack constraints. Our experiments show that for video summarization, our
method runs more than 1700 times faster than previous work, while maintaining
practically the same performance
The Sample Complexity of Auctions with Side Information
Traditionally, the Bayesian optimal auction design problem has been
considered either when the bidder values are i.i.d, or when each bidder is
individually identifiable via her value distribution. The latter is a
reasonable approach when the bidders can be classified into a few categories,
but there are many instances where the classification of bidders is a
continuum. For example, the classification of the bidders may be based on their
annual income, their propensity to buy an item based on past behavior, or in
the case of ad auctions, the click through rate of their ads. We introduce an
alternate model that captures this aspect, where bidders are a priori
identical, but can be distinguished based (only) on some side information the
auctioneer obtains at the time of the auction. We extend the sample complexity
approach of Dhangwatnotai et al. and Cole and Roughgarden to this model and
obtain almost matching upper and lower bounds. As an aside, we obtain a revenue
monotonicity lemma which may be of independent interest. We also show how to
use Empirical Risk Minimization techniques to improve the sample complexity
bound of Cole and Roughgarden for the non-identical but independent value
distribution case.Comment: A version of this paper appeared in STOC 201
Non-crossing frameworks with non-crossing reciprocals
We study non-crossing frameworks in the plane for which the classical
reciprocal on the dual graph is also non-crossing. We give a complete
description of the self-stresses on non-crossing frameworks whose reciprocals
are non-crossing, in terms of: the types of faces (only pseudo-triangles and
pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a
geometric condition on the stress vectors at some of the vertices.
As in other recent papers where the interplay of non-crossingness and
rigidity of straight-line plane graphs is studied, pseudo-triangulations show
up as objects of special interest. For example, it is known that all planar
Laman circuits can be embedded as a pseudo-triangulation with one non-pointed
vertex. We show that if such an embedding is sufficiently generic, then the
reciprocal is non-crossing and again a pseudo-triangulation embedding of a
planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation
embedding of a planar Laman circuit, the reciprocal is still non-crossing and a
pseudo-triangulation, but its underlying graph may not be a Laman circuit.
Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal
arise as the reciprocals of such, possibly singular, stresses on
pseudo-triangulation embeddings of Laman circuits.
All self-stresses on a planar graph correspond to liftings to piece-wise
linear surfaces in 3-space. We prove characteristic geometric properties of the
lifts of such non-crossing reciprocal pairs.Comment: 32 pages, 23 figure
Recommended from our members
Combinatorial Optimization
Combinatorial Optimization is an active research area that developed from the rich interaction among many mathematical areas, including combinatorics, graph theory, geometry, optimization, probability, theoretical computer science, and many others. It combines algorithmic and complexity analysis with a mature mathematical foundation and it yields both basic research and applications in manifold areas such as, for example, communications, economics, traffic, network design, VLSI, scheduling, production, computational biology, to name just a few. Through strong inner ties to other mathematical fields it has been contributing to and benefiting from areas such as, for example, discrete and convex geometry, convex and nonlinear optimization, algebraic and topological methods, geometry of numbers, matroids and combinatorics, and mathematical programming. Moreover, with respect to applications and algorithmic complexity, Combinatorial Optimization is an essential link between mathematics, computer science and modern applications in data science, economics, and industry
Discrete Mathematics and Symmetry
Some of the most beautiful studies in Mathematics are related to Symmetry and Geometry. For this reason, we select here some contributions about such aspects and Discrete Geometry. As we know, Symmetry in a system means invariance of its elements under conditions of transformations. When we consider network structures, symmetry means invariance of adjacency of nodes under the permutations of node set. The graph isomorphism is an equivalence relation on the set of graphs. Therefore, it partitions the class of all graphs into equivalence classes. The underlying idea of isomorphism is that some objects have the same structure if we omit the individual character of their components. A set of graphs isomorphic to each other is denominated as an isomorphism class of graphs. The automorphism of a graph will be an isomorphism from G onto itself. The family of all automorphisms of a graph G is a permutation group
Discrete Optimization Methods for Segmentation and Matching
This dissertation studies discrete optimization methods for several computer vision problems. In the first part, a new objective function for superpixel segmentation is proposed. This objective function consists of two components: entropy rate of a random walk on a graph and a balancing term. The entropy rate favors formation of compact and homogeneous clusters, while the balancing function encourages clusters with similar sizes. I present a new graph construction for images and show that this construction induces a matroid. The segmentation is then given by the graph topology which maximizes the objective function under the matroid constraint. By exploiting submodular and monotonic properties of the objective function, I develop an efficient algorithm with a worst-case performance bound of for the superpixel segmentation problem. Extensive experiments on the Berkeley segmentation benchmark show the proposed algorithm outperforms the state of the art in all the standard evaluation metrics.
Next, I propose a video segmentation algorithm by maximizing a submodular objective function subject to a matroid constraint. This function is similar to the standard energy function in computer vision with unary terms, pairwise terms from the Potts model, and a novel higher-order term based on appearance histograms. I show that the standard Potts model prior, which becomes non-submodular for multi-label problems, still induces a submodular function in a maximization framework. A new higher-order prior further enforces consistency in the appearance histograms both spatially and temporally across the video. The matroid constraint leads to a simple algorithm with a performance bound of . A branch and bound procedure is also presented to improve the solution computed by the algorithm.
The last part of the dissertation studies the object localization problem in images given a single hand-drawn example or a gallery of shapes as the object model. Although many shape matching algorithms have been proposed for the problem, chamfer matching remains to be the preferred method when speed and robustness are considered. In this dissertation, I significantly improve the accuracy of chamfer matching while reducing the computational time from linear to sublinear (shown empirically). It is achieved by incorporating edge orientation information in the matching algorithm so the resulting cost function is piecewise smooth and the cost variation is tightly bounded. Moreover, I present a sublinear time algorithm for exact computation of the directional chamfer matching score using techniques from 3D distance transforms and directional integral images. In addition, the smooth cost function allows one to bound the cost distribution of large neighborhoods and skip the bad hypotheses. Experiments show that the proposed approach improves the speed of the original chamfer matching up to an order of 45 times, and it is much faster than many state of art techniques while the accuracy is comparable. I further demonstrate the application of the proposed algorithm in providing seamless operation for a robotic bin picking system
- …