中文
相关论文

相关论文: Cardinality Maximum Flow Network Interdiction Prob…

200 篇论文

As it follows from G\"odel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in…

数据结构与算法 · 计算机科学 2020-11-25 Roman Galay , Daniil Kalistratov

The non-uniform demand network coding problem is posed as a single-source and multiple-sink network transmission problem where the sinks may have heterogeneous demands. In contrast with multicast problems, non-uniform demand problems are…

信息论 · 计算机科学 2010-01-27 Joseph C. Koo , John Gill

In the well known planted clique problem, a clique (or alternatively, an independent set) of size $k$ is planted at random in an Erdos-Renyi random $G(n, p)$ graph, and the goal is to design an algorithm that finds the maximum clique (or…

数据结构与算法 · 计算机科学 2020-04-29 Uriel Feige , Vadim Grinberg

In the paper where he first defined Communication Complexity, Yao asks: \emph{Is computing $CC(f)$ (the 2-way communication complexity of a given function $f$) NP-complete?} The problem of deciding whether $CC(f) \le k$, when given the…

计算复杂性 · 计算机科学 2025-07-15 Shuichi Hirahara , Rahul Ilango , Bruno Loff

In the maximum constraint satisfaction problem (MAX CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to assign values from a given finite domain to the variables so…

计算复杂性 · 计算机科学 2007-05-23 Vladimir Deineko , Peter Jonsson , Mikael Klasson , Andrei Krokhin

The clique problems, including $k$-CLIQUE and Triangle Finding, form an important class of computational problems; the former is an NP-complete problem, while the latter directly gives lower bounds for Matrix Multiplication. A number of…

量子物理 · 物理学 2025-11-10 Ali Hadizadeh Moghadam , Payman Kazemikhah , Hossein Aghababa

In this manuscript, assuming that Graedel's 1991 results are correct (which implies that bounds on the solution values for optimization problems can be expressed in existential second order logic where the first order part is universal…

计算复杂性 · 计算机科学 2022-06-28 Prabhu Manyem

Numerous graph neural network (GNN)-based algorithms have been proposed to solve graph-based combinatorial optimization problems (COPs), but methods to explain their predictions remain largely undeveloped. We introduce ARM-Explainer, a…

机器学习 · 计算机科学 2025-12-01 Bharat Sharman , Elkafi Hassini

Many NP-hard problems, such as Dominating Set, are FPT parameterized by clique-width. For graphs of clique-width $k$ given with a $k$-expression, Dominating Set can be solved in $4^k n^{O(1)}$ time. However, no FPT algorithm is known for…

离散数学 · 计算机科学 2015-01-05 Sang-il Oum , Sigve Hortemo Sæther , Martin Vatshelle

We present a definition of the class NP in combinatorial context as the set of languages of structures defined by finitely many forbidden lifted substructures. We apply this to special syntactically defined subclasses and show how they…

组合数学 · 数学 2007-06-13 Gabor Kun , Jaroslav Nesetril

The bandwidth of a graph G is the minimum of the maximum difference between adjacent labels when the vertices have distinct integer labels. We provide a polynomial algorithm to produce an optimal bandwidth labeling for graphs in a special…

组合数学 · 数学 2007-05-23 Le Tu Quoc Hung , Maciej M. Syslo , Margaret L. Weaver , Douglas B. West

In this paper, we settle the open complexity status of interval constrained coloring with a fixed number of colors. We prove that the problem is already NP-complete if the number of different colors is 3. Previously, it has only been known…

离散数学 · 计算机科学 2009-12-17 Jaroslaw Byrka , Andreas Karrenbauer , Laura Sanita

In this paper, we address the minimum-cost node-capacitated multiflow problem in an undirected network. For this problem, Babenko and Karzanov (2012) showed strongly polynomial-time solvability via the ellipsoid method. Our result is the…

数据结构与算法 · 计算机科学 2019-09-05 Hiroshi Hirai , Motoki Ikeda

Finding large cliques or cliques missing a few edges is a fundamental algorithmic task in the study of real-world graphs, with applications in community detection, pattern recognition, and clustering. A number of effective…

组合数学 · 数学 2021-11-23 Balaram Behera , Edin Husić , Shweta Jain , Tim Roughgarden , C. Seshadhri

In the maximum constraint satisfaction problem (Max CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to assign values from a given domain to the variables so as to…

计算复杂性 · 计算机科学 2007-05-23 Peter Jonsson , Mikael Klasson , Andrei Krokhin

This paper is devoted to the complexity of the Boolean satisfiability problem. We consider a version of this problem, where the Boolean formula is specified in the conjunctive normal form. We prove an unexpected result that the…

计算复杂性 · 计算机科学 2018-07-23 Grigoriy V. Bokov

In this work we consider the problem of maximizing the PageRank of a given target node in a graph by adding $k$ new links. We consider the case that the new links must point to the given target node (backlinks). Previous work shows that…

数据结构与算法 · 计算机科学 2015-03-20 Martin Olsen , Anastasios Viglas , Ilia Zvedeniouk

We consider the k-disjoint-clique problem. The input is an undirected graph G in which the nodes represent data items, and edges indicate a similarity between the corresponding items. The problem is to find within the graph k disjoint…

最优化与控制 · 数学 2013-12-03 Brendan P. W. Ames , Stephen A. Vavasis

The maximum independent set problem is known to be NP-hard in the class of subcubic graphs, i.e. graphs of vertex degree at most 3. We present a polynomial-time solution in a subclass of subcubic graphs generalizing several previously known…

数据结构与算法 · 计算机科学 2018-10-26 Ararat Harutyunyan , Michael Lampis , Vadim Lozin , Jérôme Monnot

We provide a polynomial-time algorithm for b-Coloring on graphs of constant clique-width. This unifies and extends nearly all previously known polynomial time results on graph classes, and answers open questions posed by Campos and Silva…

数据结构与算法 · 计算机科学 2022-07-20 Lars Jaffke , Paloma T. Lima , Daniel Lokshtanov