中文
相关论文

相关论文: Serial and parallel kernelization of Multiple Hitt…

200 篇论文

For a finite set $\mathcal{F}$ of graphs, the $\mathcal{F}$-Hitting problem aims to compute, for a given graph $G$ (taken from some graph class $\mathcal{G}$) of $n$ vertices (and $m$ edges) and a parameter $k\in\mathbb{N}$, a set $S$ of…

数据结构与算法 · 计算机科学 2025-02-19 Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Jie Xue , Meirav Zehavi

This paper studies the kernelization complexity of graph coloring problems with respect to certain structural parameterizations of the input instances. We are interested in how well polynomial-time data reduction can provably shrink…

数据结构与算法 · 计算机科学 2015-03-19 Bart M. P. Jansen , Stefan Kratsch

We study provably effective and efficient data reduction for a class of NP-hard graph modification problems based on vertex degree properties. We show fixed-parameter tractability for NP-hard graph completion (that is, edge addition) cases…

离散数学 · 计算机科学 2016-04-13 Vincent Froese , André Nichterlein , Rolf Niedermeier

The most efficient algorithms for finding maximum independent sets in both theory and practice use reduction rules to obtain a much smaller problem instance called a kernel. The kernel can then be solved quickly using exact or heuristic…

数据结构与算法 · 计算机科学 2019-09-11 Demian Hespe , Christian Schulz , Darren Strash

An enumeration kernel as defined by Creignou et al. [Theory Comput. Syst. 2017] for a parameterized enumeration problem consists of an algorithm that transforms each instance into one whose size is bounded by the parameter plus a…

数据结构与算法 · 计算机科学 2021-01-12 Petr A. Golovach , Christian Komusiewicz , Dieter Kratsch , Van Bang Le

We investigate whether kernelization results can be obtained if we restrict kernelization algorithms to run in logarithmic space. This restriction for kernelization is motivated by the question of what results are attainable for…

数据结构与算法 · 计算机科学 2015-05-01 Stefan Fafianie , Stefan Kratsch

Kernelization is the standard framework to analyze preprocessing routines mathematically. Here, in terms of efficiency, we demand the preprocessing routine to run in time polynomial in the input size. However, today, various NP-complete…

计算复杂性 · 计算机科学 2025-08-15 Hendrik Molter , Meirav Zehavi

The IEEE 754-2008 standard recommends the correct rounding of some elementary functions. This requires to solve the Table Maker's Dilemma which implies a huge amount of CPU computation time. We consider in this paper accelerating such…

数学软件 · 计算机科学 2013-06-06 Pierre Fortin , Mourad Gouicem , Stef Graillat

Kernelization is an important tool in parameterized algorithmics. Given an input instance accompanied by a parameter, the goal is to compute in polynomial time an equivalent instance of the same problem such that the size of the reduced…

计算复杂性 · 计算机科学 2018-10-23 Till Fluschnik , George B. Mertzios , André Nichterlein

A kernelization for a parameterized decision problem $\mathcal{Q}$ is a polynomial-time preprocessing algorithm that reduces any parameterized instance $(x,k)$ into an instance $(x',k')$ whose size is bounded by a function of $k$ alone and…

数据结构与算法 · 计算机科学 2023-10-09 Bart M. P. Jansen , Bart van der Steenhoven

The Partitioning Min-Max Weighted Matching (PMMWM) problem is an NP-hard problem that combines the problem of partitioning a group of vertices of a bipartite graph into disjoint subsets with limited size and the classical Min-Max Weighted…

数据结构与算法 · 计算机科学 2022-01-26 Yuxuan Wang , Jinyao Xie , Jiongzhi Zheng , Kun He

Heterogeneous graph neural networks (HGNNs) are essential for capturing the structure and semantic information in heterogeneous graphs. However, existing GPU-based solutions, such as PyTorch Geometric, suffer from low GPU utilization due to…

硬件体系结构 · 计算机科学 2024-08-19 Meng Wu , Jingkai Qiu , Mingyu Yan , Wenming Li , Yang Zhang , Zhimin Zhang , Xiaochun Ye , Dongrui Fan

This paper presents a novel meta algorithm, Partition-Merge (PM), which takes existing centralized algorithms for graph computation and makes them distributed and faster. In a nutshell, PM divides the graph into small subgraphs using our…

数据结构与算法 · 计算机科学 2013-09-25 Vincent Blondel , Kyomin Jung , Pushmeet Kohli , Devavrat Shah

Makespan minimization (on parallel identical or unrelated machines) is arguably the most natural and studied scheduling problem. A common approach in practical algorithm design is to reduce the size of a given instance by a fast…

数据结构与算法 · 计算机科学 2020-03-05 Dušan Knop , Martin Koutecký

In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is…

数据结构与算法 · 计算机科学 2019-01-14 Eva-Maria C. Hols , Stefan Kratsch

In this work, we consider the reformulation of hierarchical ($\mathcal{H}$) matrix algorithms for many-core processors with a model implementation on graphics processing units (GPUs). $\mathcal{H}$ matrices approximate specific dense…

分布式、并行与集群计算 · 计算机科学 2017-09-04 Peter Zaspel

Given a graph $G=(V,E)$, two vertices $s,t\in V$, and two integers $k,\ell$, the Short Secluded Path problem is to find a simple $s$-$t$-path with at most $k$ vertices and $\ell$ neighbors. We study the parameterized complexity of the…

数据结构与算法 · 计算机科学 2020-10-05 René van Bevern , Till Fluschnik , Oxana Yu. Tsidulko

The hitting set problem is a well-known NP-hard optimization problem in which, given a set of elements and a collection of subsets, the goal is to find the smallest selection of elements, such that each subset contains at least one element…

计算几何 · 计算机科学 2023-09-26 Sander Aarts , David B. Shmoys

We show that the Minimal Length-Bounded L-But problem can be computed in linear time with respect to L and the tree-width of the input graph as parameters. In this problem the task is to find a set of edges of a graph such that after…

数据结构与算法 · 计算机科学 2016-10-25 Dušan Knop , Pavel Dvořák

For over a decade now, physical and energy constraints have limited clock speed improvements in commodity microprocessors. Instead, chipmakers have been pushed into producing lower-power, multi-core processors such as GPGPU, ARM and Intel…