789 research outputs found
Symmetric Submodular Function Minimization Under Hereditary Family Constraints
We present an efficient algorithm to find non-empty minimizers of a symmetric
submodular function over any family of sets closed under inclusion. This for
example includes families defined by a cardinality constraint, a knapsack
constraint, a matroid independence constraint, or any combination of such
constraints. Our algorithm make oracle calls to the submodular
function where is the cardinality of the ground set. In contrast, the
problem of minimizing a general submodular function under a cardinality
constraint is known to be inapproximable within (Svitkina
and Fleischer [2008]).
The algorithm is similar to an algorithm of Nagamochi and Ibaraki [1998] to
find all nontrivial inclusionwise minimal minimizers of a symmetric submodular
function over a set of cardinality using oracle calls. Their
procedure in turn is based on Queyranne's algorithm [1998] to minimize a
symmetric submodularComment: 13 pages, Submitted to SODA 201
On the asymptotic minimum number of monochromatic 3-term arithmetic progressions
Let V(n) be the minimum number of monochromatic 3-term arithmetic
progressions in any 2-coloring of {1,2,...,n}. We show that (1675/32768) n^2
(1+o(1)) <= V(n) <= (117/2192) n^2(1+o(1)). As a consequence, we find that V(n)
is strictly greater than the corresponding number for Schur triples (which is
(1/22) n^2 (1+o(1)). Additionally, we disprove the conjecture that V(n) =
(1/16) n^2(1+o(1)), as well as a more general conjecture.Comment: 9 pages. Revised version fixes formatting errors (same text
Built on Borders? Tensions with the Institution Liberalism (Thought It) Left Behind
The Liberal International Order is in crisis. While the symptoms are clear to many, the deep roots of this crisis remain obscured. We propose that the Liberal International Order is in tension with the older Sovereign Territorial Order, which is founded on territoriality and borders to create group identities, the territorial state, and the modern international system. The Liberal International Order, in contrast, privileges universality at the expense of groups and group rights. A recognition of this fundamental tension makes it possible to see that some crises that were thought to be unconnected have a common cause: the neglect of the coordinating power of borders. We sketch out new research agendas to show how this tension manifests itself in a broad range of phenomena of interest
Hypergraphic LP Relaxations for Steiner Trees
We investigate hypergraphic LP relaxations for the Steiner tree problem,
primarily the partition LP relaxation introduced by Koenemann et al. [Math.
Programming, 2009]. Specifically, we are interested in proving upper bounds on
the integrality gap of this LP, and studying its relation to other linear
relaxations. Our results are the following. Structural results: We extend the
technique of uncrossing, usually applied to families of sets, to families of
partitions. As a consequence we show that any basic feasible solution to the
partition LP formulation has sparse support. Although the number of variables
could be exponential, the number of positive variables is at most the number of
terminals. Relations with other relaxations: We show the equivalence of the
partition LP relaxation with other known hypergraphic relaxations. We also show
that these hypergraphic relaxations are equivalent to the well studied
bidirected cut relaxation, if the instance is quasibipartite. Integrality gap
upper bounds: We show an upper bound of sqrt(3) ~ 1.729 on the integrality gap
of these hypergraph relaxations in general graphs. In the special case of
uniformly quasibipartite instances, we show an improved upper bound of 73/60 ~
1.216. By our equivalence theorem, the latter result implies an improved upper
bound for the bidirected cut relaxation as well.Comment: Revised full version; a shorter version will appear at IPCO 2010
Tsirelson bounds for generalized Clauser-Horne-Shimony-Holt inequalities
Quantum theory imposes a strict limit on the strength of non-local
correlations. It only allows for a violation of the CHSH inequality up to the
value 2 sqrt(2), known as Tsirelson's bound. In this note, we consider
generalized CHSH inequalities based on many measurement settings with two
possible measurement outcomes each. We demonstrate how to prove Tsirelson
bounds for any such generalized CHSH inequality using semidefinite programming.
As an example, we show that for any shared entangled state and observables
X_1,...,X_n and Y_1,...,Y_n with eigenvalues +/- 1 we have | + <X_2
Y_1> + + + ... + - | <= 2 n
cos(pi/(2n)). It is well known that there exist observables such that equality
can be achieved. However, we show that these are indeed optimal. Our approach
can easily be generalized to other inequalities for such observables.Comment: 9 pages, LateX, V2: Updated reference [3]. To appear in Physical
Review
The development of children in foster care
<span style="font-size:12.0pt;font-family:"Times New Roman","serif";
mso-fareast-font-family:Calibri;mso-fareast-theme-font:minor-latin;mso-ansi-language:
NL;mso-fareast-language:NL;mso-bidi-language:AR-SA">This dissertation focuses on the development of children in family foster care and examines which characteristics related to the foster child, the foster family, and the foster placement are associated with foster childrenâs development. We used meta-analysis and longitudinal research to provide a better insight in foster childrenâs development. In sum, this dissertation clarifies that foster children vary greatly with respect to their developmental functioning. We found several characteristics related to foster childrenâs development. Although these characteristics partly explain foster childrenâs development and thereby provide useful insights, they cannot explain the total variance in foster childrenâs development. It is both this lack of an accurate model for foster childrenâs development and the heterogeneity of developmental trajectories that lend significance to screening and monitoring of foster childrenâs development. We advise foster care agencies to systematically implement screening and monitoring measures in order to capture foster childrenâs developmental diversity. This enables timely identification of those foster children who experience developmental difficulties and are therefore at risk for negative developmental trajectories and breakdown. Researchers and foster care professionals should establish collaborations in order to improve the validity as well as the feasibility of screening and monitoring children in foster care.Development Psychopathology in context: famil
Scheduling over Scenarios on Two Machines
We consider scheduling problems over scenarios where the goal is to find a
single assignment of the jobs to the machines which performs well over all
possible scenarios. Each scenario is a subset of jobs that must be executed in
that scenario and all scenarios are given explicitly. The two objectives that
we consider are minimizing the maximum makespan over all scenarios and
minimizing the sum of the makespans of all scenarios. For both versions, we
give several approximation algorithms and lower bounds on their
approximability. With this research into optimization problems over scenarios,
we have opened a new and rich field of interesting problems.Comment: To appear in COCOON 2014. The final publication is available at
link.springer.co
The Lazy Bureaucrat Scheduling Problem
We introduce a new class of scheduling problems in which the optimization is
performed by the worker (single ``machine'') who performs the tasks. A typical
worker's objective is to minimize the amount of work he does (he is ``lazy''),
or more generally, to schedule as inefficiently (in some sense) as possible.
The worker is subject to the constraint that he must be busy when there is work
that he can do; we make this notion precise both in the preemptive and
nonpreemptive settings. The resulting class of ``perverse'' scheduling
problems, which we denote ``Lazy Bureaucrat Problems,'' gives rise to a rich
set of new questions that explore the distinction between maximization and
minimization in computing optimal schedules.Comment: 19 pages, 2 figures, Latex. To appear, Information and Computatio
Node-weighted Steiner tree and group Steiner tree in planar graphs
We improve the approximation ratios for two optimization problems in planar graphs. For node-weighted Steiner tree, a classical network-optimization problem, the best achievable approximation ratio in general graphs is Î [theta] (logn), and nothing better was previously known for planar graphs. We give a constant-factor approximation for planar graphs. Our algorithm generalizes to allow as input any nontrivial minor-closed graph family, and also generalizes to address other optimization problems such as Steiner forest, prize-collecting Steiner tree, and network-formation games.
The second problem we address is group Steiner tree: given a graph with edge weights and a collection of groups (subsets of nodes), find a minimum-weight connected subgraph that includes at least one node from each group. The best approximation ratio known in general graphs is O(log3 [superscript 3] n), or O(log2 [superscript 2] n) when the host graph is a tree. We obtain an O(log n polyloglog n) approximation algorithm for the special case where the graph is planar embedded and each group is the set of nodes on a face. We obtain the same approximation ratio for the minimum-weight tour that must visit each group
- âŠ