中文
相关论文

相关论文: Algorithms and Complexity for Variants of Covariat…

200 篇论文

A central question in computer science and statistics is whether efficient algorithms can achieve the information-theoretic limits of statistical problems. Many computational-statistical tradeoffs have been shown under average-case…

计算复杂性 · 计算机科学 2025-07-18 Guy Blanc , Caleb Koch , Carmen Strassle , Li-Yang Tan

Many combinatorial optimization problems can be formulated as the search for a subgraph that satisfies certain properties and minimizes the total weight. We assume here that the vertices correspond to points in a metric space and can take…

数据结构与算法 · 计算机科学 2024-12-25 Marin Bougeret , Jérémy Omer , Michael Poss

Many combinatorial optimisation problems can be modelled as valued constraint satisfaction problems. In this paper, we present a polynomial-time algorithm solving the valued constraint satisfaction problem for a fixed number of variables…

最优化与控制 · 数学 2020-03-03 Manuel Bodirsky , Marcello Mamino , Caterina Viola

We prove a complexity dichotomy theorem for the eight-vertex model. For every setting of the parameters of the model, we prove that computing the partition function is either solvable in polynomial time or \#P-hard. The dichotomy criterion…

计算复杂性 · 计算机科学 2017-03-31 Jin-Yi Cai , Zhiguo Fu

The cryptanalysis of various cipher problems can be formulated as NP-Hard combinatorial problem. Solving such problems requires time and/or memory requirement which increases with the size of the problem. Techniques for solving…

密码学与安全 · 计算机科学 2010-07-01 Poonam Garg

The computational complexity of the partition, 0-1 subset sum, unbounded subset sum, 0-1 knapsack and unbounded knapsack problems and their multiple variants were studied in numerous papers in the past where all the weights and profits were…

离散数学 · 计算机科学 2018-02-27 Dominik Wojtczak

In this work, we introduce a novel variant of the multivariate quadratic problem, which is at the core of one of the most promising post-quantum alternatives: multivariate cryptography. In this variant, the solution of a given multivariate…

符号计算 · 计算机科学 2025-03-11 Antoine Joux , Rocco Mora

We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Robin Eßmann , Tobias Nipkow , Simon Robillard , Ujkan Sulejmani

Here we study the NP-complete $K$-SAT problem. Although the worst-case complexity of NP-complete problems is conjectured to be exponential, there exist parametrized random ensembles of problems where solutions can typically be found in…

无序系统与神经网络 · 物理学 2019-07-11 Hendrik Schawe , Roman Bleim , Alexander K. Hartmann

General factors are a generalization of matchings. Given a graph $G$ with a set $\pi(v)$ of feasible degrees, called a degree constraint, for each vertex $v$ of $G$, the general factor problem is to find a (spanning) subgraph $F$ of $G$…

离散数学 · 计算机科学 2024-05-24 Shuai Shao , Stanislav Živný

We address the problem of improving the performance and in particular the sample complexity of deep neural networks by enforcing and guaranteeing invariances to symmetry transformations rather than learning them from data. Group-equivariant…

机器学习 · 计算机科学 2023-03-06 Matthias Rath , Alexandru Paul Condurache

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…

最优化与控制 · 数学 2011-12-08 Jesus A. De Loera , Peter N. Malkin , Pablo A. Parrilo

A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The problem: given a propositional logic program P and a non-negative integer k, decide whether P has a stable…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Zbigniew Lonc , Miroslaw Truszczynski

We revisit the coalition structure generation problem in which the goal is to partition the players into exhaustive and disjoint coalitions so as to maximize the social welfare. One of our key results is a general polynomial-time algorithm…

计算机科学与博弈论 · 计算机科学 2011-06-21 Haris Aziz , Bart de Keijzer

We consider variable selection in high-dimensional linear models where the number of covariates greatly exceeds the sample size. We introduce the new concept of partial faithfulness and use it to infer associations between the covariates…

统计方法学 · 统计学 2012-01-12 Peter Bühlmann , Markus Kalisch , Marloes H. Maathuis

We study the design of fixed-parameter algorithms for problems already known to be solvable in polynomial time. The main motivation is to get more efficient algorithms for problems with unattractive polynomial running times. Here, we focus…

计算复杂性 · 计算机科学 2021-01-06 Archontia C. Giannopoulou , George B. Mertzios , Rolf Niedermeier

In this paper we consider the coupled task scheduling problem with exact delay times on a single machine with the objective of minimizing the total completion time of the jobs. We provide constant-factor approximation algorithms for several…

最优化与控制 · 数学 2024-05-03 David Fischer , Péter Györgyi

We present randomized algorithms for some well-studied, hard combinatorial problems: the k-path problem, the p-packing of q-sets problem, and the q-dimensional p-matching problem. Our algorithms solve these problems with high probability in…

数据结构与算法 · 计算机科学 2010-07-08 Andreas Björklund , Thore Husfeldt , Petteri Kaski , Mikko Koivisto

Finding the k-medianin a network involves identifying a subset of k vertices that minimize the total distance to all other vertices in a graph. This problem has been extensively studied in computer science, graph theory, operations…

数据结构与算法 · 计算机科学 2023-12-14 Roldan Pozo

We give a general fixed parameter tractable algorithm to compute quantum invariants of links presented by diagrams, whose complexity is singly exponential in the carving-width (or the tree-width) of the diagram. In particular, we get a…

几何拓扑 · 数学 2019-10-02 Clément Maria