中文
相关论文

相关论文: Approximability of Bounded Occurrence Max Ones

200 篇论文

We study range-searching for colored objects, where one has to count (approximately) the number of colors present in a query range. The problems studied mostly involve orthogonal range-searching in two and three dimensions, and the dual…

计算几何 · 计算机科学 2017-03-22 Saladi Rahul

We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence…

群论 · 数学 2024-11-20 Ben Hayes , Srivatsav Kunnawalkam Elayavalli

Sequential decision making under uncertainty is studied in a mixed observability domain. The goal is to maximize the amount of information obtained on a partially observable stochastic process under constraints imposed by a fully observable…

人工智能 · 计算机科学 2016-03-16 Mikko Lauri , Risto Ritala

A matching in a graph is uniquely restricted if no other matching covers exactly the same set of vertices. We establish tight lower bounds on the maximum size of a uniquely restricted matching in terms of order, size, and maximum degree.

组合数学 · 数学 2018-04-30 M. Fürst , D. Rautenbach

We consider a problem of bounding the maximal possible multiplicity of a zero at of some expansions $\sum a_i F_i(x)$, at a certain point $c,$ depending on the chosen family $\{F_i \}$. The most important example is a polynomial with $c=1.$…

经典分析与常微分方程 · 数学 2016-09-07 Ilia Krasikov

Motivated by the pervasiveness of strong inapproximability results for Max-CSPs, we introduce a relaxed notion of an approximate solution of a Max-CSP. In this relaxed version, loosely speaking, the algorithm is allowed to replace the…

计算复杂性 · 计算机科学 2012-04-26 Per Austrin , Johan Håstad

We report (to our knowledge) the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrences can provide search heuristics that…

人工智能 · 计算机科学 2010-05-04 Tom Kelsey , Lars Kotthoff

We introduce a logical foundation to reason on tree structures with constraints on the number of node occurrences. Related formalisms are limited to express occurrence constraints on particular tree regions, as for instance the children of…

计算机科学中的逻辑 · 计算机科学 2015-07-01 Everardo Bárcenas , Jesús Lavalle

Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. The…

计算复杂性 · 计算机科学 2020-10-05 Dmitriy Zhuk

We study the optimization version of constraint satisfaction problems (Max-CSPs) in the framework of parameterized complexity; the goal is to compute the maximum fraction of constraints that can be satisfied simultaneously. In standard…

计算复杂性 · 计算机科学 2018-04-24 Holger Dell , Eun Jung Kim , Michael Lampis , Valia Mitsou , Tobias Mömke

Let $X$ be a random variable distributed according to the binomial distribution with parameters $n$ and $p$. It is shown that $P(X>EX)\ge1/4$ if $1>p\ge c/n$, where $c:=\ln(4/3)$, the best possible constant factor.

概率论 · 数学 2021-08-12 Iosif Pinelis

In this paper, we compute the tightest possible bounds on the probability that the optimal value of a combinatorial optimization problem in maximization form with a random objective exceeds a given number, assuming only knowledge of the…

最优化与控制 · 数学 2022-11-24 Divya Padmanabhan , Selin Damla Ahipasaoglu , Arjun Ramachandra , Karthik Natarajan

A broad set of sufficient conditions that guarantees the existence of the maximum entropy (maxent) distribution consistent with specified bounds on certain generalized moments is derived. Most results in the literature are either focused on…

信息论 · 计算机科学 2009-09-29 Prakash Ishwar , Pierre Moulin

We introduce a new concept of approximation applicable to decision problems and functions, inspired by Bayesian probability. From the perspective of a Bayesian reasoner with limited computational resources, the answer to a problem that…

计算复杂性 · 计算机科学 2025-06-27 Vanessa Kosoy , Alexander Appel

We show improved NP-hardness of approximating Ordering Constraint Satisfaction Problems (OCSPs). For the two most well-studied OCSPs, Maximum Acyclic Subgraph and Maximum Betweenness, we prove inapproximability of $14/15+\epsilon$ and…

计算复杂性 · 计算机科学 2013-07-22 Per Austrin , Rajsekar Manokaran , Cenny Wenner

Enumerating the number of times one word occurs in another is a much-studied combinatorial subject. By utilizing a method that we call ``lexicographic extreme referencing'', we provide a formula for computing occurrences of one binary word…

组合数学 · 数学 2025-07-08 Roger Tian

Models based on approximation capabilities have recently been studied in the context of Optimal Recovery. These models, however, are not compatible with overparametrization, since model- and data-consistent functions could then be…

最优化与控制 · 数学 2020-04-02 Simon Foucart

Causal analysis may be affected by selection bias, which is defined as the systematic exclusion of data from a certain subpopulation. Previous work in this area focused on the derivation of identifiability conditions. We propose instead a…

机器学习 · 统计学 2022-08-03 Marco Zaffalon , Alessandro Antonucci , Rafael Cabañas , David Huber , Dario Azzimonti

Representing some problems with XOR clauses (parity constraints) can allow to apply more efficient reasoning techniques. In this paper, we present a gadget for translating SAT clauses into Max2XOR constraints, i.e., XOR clauses of at most 2…

人工智能 · 计算机科学 2022-04-06 Carlos Ansótegui , Jordi Levy

We present a methodology to extract Selectional Restrictions at a variable level of abstraction from phrasally analyzed corpora. The method relays in the use of a wide-coverage noun taxonomy and a statistical measure of the co-occurrence of…

cmp-lg · 计算机科学 2008-02-03 Francesc Ribas