English
Related papers

Related papers: Computational Complexity of the Minimum Cost Homom…

200 papers

This paper introduces a general multi-class approach to weakly supervised classification. Inferring the labels and learning the parameters of the model is usually done jointly through a block-coordinate descent algorithm such as…

Machine Learning · Computer Science 2012-07-03 Armand Joulin , Francis Bach

In this paper we study the complexity of counting Constraint Satisfaction Problems (CSPs) of the form #CSP($\mathcal{C}$,-), in which the goal is, given a relational structure $\mathbf{A}$ from a class $\mathcal{C}$ of structures and an…

Computational Complexity · Computer Science 2020-05-15 Andrei A. Bulatov , Stanislav Zivny

The question if a given partial solution to a problem can be extended reasonably occurs in many algorithmic approaches for optimization problems. For instance, when enumerating minimal dominating sets of a graph $G=(V,E)$, one usually…

Computational Complexity · Computer Science 2018-10-11 Katrin Casel , Henning Fernau , Mehdi Khosravian Ghadikolaei , Jérôme Monnot , Florian Sikora

This study investigates the potential of hybrid metaheuristic algorithms to enhance the training of Probabilistic Neural Networks (PNNs) by leveraging the complementary strengths of multiple optimisation strategies. Traditional learning…

Neural and Evolutionary Computing · Computer Science 2025-04-16 Piotr A. Kowalski , Szymon Kucharczyk , Jacek Mańdziuk

This thesis explores algorithmic applications and limitations of convex relaxation hierarchies for approximating some discrete and continuous optimization problems. - We show a dichotomy of approximability of constraint satisfaction…

Computational Complexity · Computer Science 2025-09-01 Mrinalkanti Ghosh

Holant problems are a general framework to study the computational complexity of counting problems. It is a more expressive framework than counting constraint satisfaction problems (CSP) which are in turn more expressive than counting graph…

Computational Complexity · Computer Science 2025-04-22 Jin-Yi Cai , Jin Soo Ihm

We develop new algorithmic methods with provable guarantees for feature selection in regard to categorical data clustering. While feature selection is one of the most common approaches to reduce dimensionality in practice, most of the known…

Data Structures and Algorithms · Computer Science 2021-08-20 Sayan Bandyapadhyay , Fedor V. Fomin , Petr A. Golovach , Kirill Simonov

In this paper, we propose an effective search procedure that interleaves two steps: subproblem generation and subproblem solution. We mainly focus on the first part. It consists of a variable domain value ranking based on reduced costs.…

Artificial Intelligence · Computer Science 2007-05-23 M. Milano , W. J. van Hoeve

The Constraint Satisfaction Problem (CSP) and its counting counterpart appears under different guises in many areas of mathematics, computer science, and elsewhere. Its structural and algorithmic properties have demonstrated to play a…

Combinatorics · Mathematics 2020-07-15 Raimundo Briceño , Andrei Bulatov , Victor Dalmau , Benoit Larose

In the constraint satisfaction problem (CSP) corresponding to a constraint language (i.e., a set of relations) $\Gamma$, the goal is to find an assignment of values to variables so that a given set of constraints specified by relations from…

Computational Complexity · Computer Science 2014-01-21 Andrei A. Bulatov , Dániel Marx

Answering Conjunctive Queries (CQs) and solving Constraint Satisfaction Problems (CSPs) are arguably among the most fundamental tasks in Computer Science. They are classical NP-complete problems. Consequently, the search for tractable…

Databases · Computer Science 2018-12-14 Georg Gottlob , Matthias Lanzinger , Reinhard Pichler

The work explores a specific scenario for structural computational optimization based on the following elements: (a) a relaxed optimization setting considering the ersatz (bi-material) approximation, (b) a treatment based on a nonsmoothed…

Computational Engineering, Finance, and Science · Computer Science 2021-08-06 J. Oliver , D. Yago , J. Cante , O. Lloberas-Valls

We propose a stochastic conditional gradient method (CGM) for minimizing convex finite-sum objectives formed as a sum of smooth and non-smooth terms. Existing CGM variants for this template either suffer from slow convergence rates, or…

Machine Learning · Computer Science 2022-04-19 Gideon Dresdner , Maria-Luiza Vladarean , Gunnar Rätsch , Francesco Locatello , Volkan Cevher , Alp Yurtsever

A Datalog program solves a constraint satisfaction problem (CSP) if and only if it derives the goal predicate precisely on the unsatisfiable instances of the CSP. There are three Datalog fragments that are particularly important for…

Rings and Algebras · Mathematics 2026-05-07 Manuel Bodirsky , Florian Starke

Consensus-based optimization (CBO) is a versatile multi-particle optimization method for performing nonconvex and nonsmooth global optimizations in high dimensions. Proofs of global convergence in probability have been achieved for a broad…

Optimization and Control · Mathematics 2026-01-13 Jonas Beddrich , Enis Chenchene , Massimo Fornasier , Hui Huang , Barbara Wohlmuth

Homomorphic encryption is one of the main solutions for building secure and privacy-preserving solutions for Machine Learning as a Service. This motivates the development of homomorphic algorithms for the main building blocks of AI,…

Cryptography and Security · Computer Science 2024-10-16 Wonhee Cho , Guillaume Hanrot , Taeseong Kim , Minje Park , Damien Stehlé

Constrained multi-objective optimization problems (CMOPs) frequently arise in real-world applications where multiple conflicting objectives must be optimized under complex constraints. Existing dual-population two-stage algorithms have…

Neural and Evolutionary Computing · Computer Science 2025-10-27 Zhen-Song Chen , Hong-Wei Ding , Xian-Jia Wang , Witold Pedrycz

The so-called algebraic approach to the constraint satisfaction problem (CSP) has been a prevalent method of the study of complexity of these problems since early 2000's. The core of this approach is the notion of polymorphisms which…

Logic in Computer Science · Computer Science 2026-05-15 Maximilian Hadek , Tomáš Jakl , Jakub Opršal

Bi-level optimisation problems have gained increasing interest in the field of combinatorial optimisation in recent years. With this paper, we start the runtime analysis of evolutionary algorithms for bi-level optimisation problems. We…

Neural and Evolutionary Computing · Computer Science 2014-01-10 Dogan Corus , Per Kristian Lehre , Frank Neumann , Mojgan Pourhassan

We give a unified treatment to optimization problems that can be expressed in the form of nonnegative-real-weighted Boolean constraint satisfaction problems. Creignou, Khanna, Sudan, Trevisan, and Williamson studied the complexity of…

Computational Complexity · Computer Science 2011-09-19 Tomoyuki Yamakami