English
Related papers

Related papers: Tight Algorithmic Applications of Clique-Width Gen…

200 papers

In the mixture modeling frame, this paper presents the polynomial Gaussian cluster-weighted model (CWM). It extends the linear Gaussian CWM, for bivariate data, in a twofold way. Firstly, it allows for possible nonlinear dependencies in the…

Methodology · Statistics 2012-07-05 Antonio Punzo

Recently, the use of circle representation has emerged as a method to improve the identification of spherical objects (such as glomeruli, cells, and nuclei) in medical imaging studies. In traditional bounding box-based object detection,…

Computer Vision and Pattern Recognition · Computer Science 2024-12-02 Jialin Yue , Tianyuan Yao , Ruining Deng , Quan Liu , Juming Xiong , Junlin Guo , Haichun Yang , Yuankai Huo

The reachability problem in multi-pushdown automata (MPDA) has many applications in static analysis of recursive programs. An example is safety verification of multi-threaded recursive programs with shared memory. Since these problems are…

Formal Languages and Automata Theory · Computer Science 2025-12-05 C. Aiswarya , Pascal Baumann , Prakash Saivasan , Lia Schütze , Georg Zetzsche

We propose a novel heuristic quantum algorithm for the Minimum Vertex Cover (MVC) problem based on continuous-time quantum walks (CTQWs). In this framework, the coherent propagation of a quantum walker over a graph encodes its structural…

Quantum Physics · Physics 2026-05-26 F. S. Luiz , A. K. F. Iwakami , D. H. Moraes , M. C. de Oliveira

Mining cohesive subgraphs in attributed graphs is an essential problem in the domain of graph data analysis. The integration of fairness considerations significantly fuels interest in models and algorithms for mining fairness-aware cohesive…

Databases · Computer Science 2023-12-08 Qi Zhang , Rong-Hua Li , Zifan Zheng , Hongchao Qin , Ye Yuan , Guoren Wang

Metric clustering is fundamental in areas ranging from Combinatorial Optimization and Data Mining, to Machine Learning and Operations Research. However, in a variety of situations we may have additional requirements or knowledge, distinct…

Machine Learning · Computer Science 2021-03-04 Brian Brubach , Darshan Chakrabarti , John P. Dickerson , Aravind Srinivasan , Leonidas Tsepenekas

A clique in a graph is a set of vertices, each of which is adjacent to every other vertex in this set. A k-clique relaxes this requirement, requiring vertices to be within a distance k of each other, rather than directly adjacent. In…

Data Structures and Algorithms · Computer Science 2014-08-28 Ciaran McCreesh , Patrick Prosser

We identify a sufficient condition, treewidth-pliability, that gives a polynomial-time algorithm for an arbitrarily good approximation of the optimal value in a large class of Max-2-CSPs parameterised by the class of allowed constraint…

Discrete Mathematics · Computer Science 2024-01-04 Miguel Romero , Marcin Wrochna , Stanislav Živný

In this paper, we relate the problem of finding a maximum clique to the intersection number of the input graph (i.e. the minimum number of cliques needed to edge cover the graph). In particular, we consider the maximum clique problem for…

Discrete Mathematics · Computer Science 2012-04-19 S. Nikoletseas , C. Raptopoulos , P. G. Spirakis

We propose the pivoting meta algorithm (PM) to enhance optimization algorithms that generate iterates as convex combinations of vertices of a feasible region $C\subseteq \mathbb{R}^n$, including Frank-Wolfe (FW) variants. PM guarantees that…

Optimization and Control · Mathematics 2025-08-06 Elias Wirth , Mathieu Besançon , Sebastian Pokutta

Structural measures of graphs, such as treewidth, are central tools in computational complexity resulting in efficient algorithms when exploiting the parameter. It is even known that modern SAT solvers work efficiently on instances of small…

Artificial Intelligence · Computer Science 2025-11-17 Yasir Mahmood , Markus Hecher , Johanna Groven , Johannes K. Fichte

The Recognizability Theorem states that if a set of finite graphs is definable by a monadic second-order (MSO) sentence, then it is recognizable with respect to the graph algebra upon which the definition of clique-width is based.…

Logic in Computer Science · Computer Science 2014-09-19 Bruno Courcelle , Irène A. Durand

Cliques, groups of fully connected nodes in a network, are often used to study group dynamics of complex systems. In real-world settings, group dynamics often have a temporal component. For example, conference attendees moving from one…

Social and Information Networks · Computer Science 2024-12-04 Hanjo D. Boekhout , Frank W. Takes

Finding a Maximum Clique is a classic property test from graph theory; find any one of the largest complete subgraphs in an Erd\"os-R\'enyi G(N, p) random graph. We use Maximum Clique to explore the structure of the problem as a function of…

Disordered Systems and Neural Networks · Physics 2023-05-26 Raffaele Marino , Scott Kirkpatrick

We study the question of ``how robust are the known lower bounds of labeling schemes when one increases the number of consulted labels''. Let $f$ be a function on pairs of vertices. An $f$-labeling scheme for a family of graphs $\cF$ labels…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Amos Korman , Shay Kutten

In many combinatorial problems one may need to model the diversity or similarity of assignments in a solution. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this…

Artificial Intelligence · Computer Science 2014-01-17 Emmanuel Hebrard , Dániel Marx , Barry O'Sullivan , Igor Razgon

In Clique Cover, given a graph $G$ and an integer $k$, the task is to partition the vertices of $G$ into $k$ cliques. Clique Cover on unit ball graphs has a natural interpretation as a clustering problem, where the objective function is the…

Data Structures and Algorithms · Computer Science 2024-10-07 Tomohiro Koana , Nidhi Purohit , Kirill Simonov

Inspired by the "generalized t-designs" defined by Cameron [P. J. Cameron, A generalisation of t-designs, Discrete Math. 309 (2009), 4835--4842], we define a new class of combinatorial designs which simultaneously provide a generalization…

Combinatorics · Mathematics 2015-03-17 Robert F. Bailey , Andrea C. Burgess , Michael S. Cavers , Karen Meagher

We generalize the family of $(\sigma, \rho)$-problems and locally checkable vertex partition problems to their distance versions, which naturally captures well-known problems such as distance-$r$ dominating set and distance-$r$ independent…

Computational Complexity · Computer Science 2018-07-12 Lars Jaffke , O-joung Kwon , Torstein J. F. Strømme , Jan Arne Telle

The author has pledged in various papers, conference or seminar presentations, and scientific grant applications (between 2004-2015) for the unification of fusion theories, combinations of fusion rules, image fusion procedures, filter…

Artificial Intelligence · Computer Science 2015-07-28 Florentin Smarandache
‹ Prev 1 4 5 6 7 8 10 Next ›