Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.08645

Parametrized Exact Hardware-Software Partitioning

Cameron Ibrahim·S M Ferdous·Erdal Mutlu·Ilya Safro·Mahantesh Halappanavar
View original source ↗Read source document ↗Export metadata ↓

Abstract

When optimizing computing architecture for specific computationally intensive tasks, such as evaluating or training a neural network, it is important to identify what computational subtasks will offer the greatest decrease in cost (e.g., wall clock time or energy usage). This problem is known as Hardware-Software (HS) Partitioning, and it has a variety of formulations, many of which are NP-Hard. In this paper, we will define a family of HS Partitioning formulations which admit an exact fixed parameter tractable algorithm based on the directed pathwidth of the given task graph and show that this family of problems contains multiple existing formulations such as makespan minimization. Finally, we examine task graphs with small directed pathwidth that arise in real world applications and show that our algorithm can provide a speed up of up to 200x over a comparable linear programming approach utilizing the Gurobi ILP Library.

Explore related subjects

cs.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cameron Ibrahim, S M Ferdous, Erdal Mutlu, Ilya Safro, Mahantesh Halappanavar. 2026-10-06. Parametrized Exact Hardware-Software Partitioning. https://arxiv.org/abs/2610.08645

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Decremental Single-Source Reachability in Planar Digraphs

In this paper we show a new algorithm for the decremental single-source reachability problem in directed planar graphs. It processes any sequence of edge deletions in $O(n\log^2{n}\log\log{n})$ total time and explicitly maintains the set of vertices reachable from a fixed source vertex. Hence, if all edges are eventually deleted, the amortized time of processing each edge deletion is only $O(\log^2 n \log \log n)$, which improves upon a previously known $O(\sqrt{n})$ solution. We also show an algorithm for decremental maintenance of strongly connected components in directed planar graphs with the same total update time. These results constitute the first almost optimal (up to polylogarithmic factors) algorithms for both problems. To the best of our knowledge, these are the first dynamic algorithms with polylogarithmic update times on general directed planar graphs for non-trivial reachability-type problems, for which only polynomial bounds are known in general graphs.

cs.DS↗
arXiv2026

Tight Bounds for Sparsifying Random CSPs

The problem of CSP sparsification asks: for a given CSP instance, what is the sparsest possible reweighting such that for every possible assignment to the instance, the number of satisfied constraints is preserved up to a factor of $1 \pm ε$? We initiate the study of the sparsification of random CSPs. In particular, we consider two natural random models: the $r$-partite model and the uniform model. In the $r$-partite model, CSPs are formed by partitioning the variables into $r$ parts, with constraints selected by randomly picking one vertex out of each part. In the uniform model, $r$ distinct vertices are chosen at random from the pool of variables to form each constraint. In the $r$-partite model, we exhibit a sharp threshold phenomenon. For every predicate $P$, there is an integer $k$ such that a random instance on $n$ vertices and $m$ edges cannot (essentially) be sparsified if $m \le n^k$ and can be sparsified to size $\approx n^k$ if $m \ge n^k$. Here, $k$ corresponds to the largest copy of the AND which can be found within $P$. Furthermore, these sparsifiers are simple, as they can be constructed by i.i.d. sampling of the edges. In the uniform model, the situation is a bit more complex. For every predicate $P$, there is an integer $k$ such that a random instance on $n$ vertices and $m$ edges cannot (essentially) be sparsified if $m \le n^k$ and can sparsified to size $\approx n^k$ if $m \ge n^{k+1}$. However, for some predicates $P$, if $m \in [n^k, n^{k+1}]$, there may or may not be a nontrivial sparsifier. In fact, we show that there are predicates where the sparsifiability of random instances is non-monotone, i.e., as we add more random constraints, the instances become more sparsifiable. We give a precise (efficiently computable) procedure for determining which situation a specific predicate $P$ falls into.

cs.DS↗
arXiv2026

Connectivity-Preserving Important Separators: A Framework for Cut-Uncut Problems

Important separators reduce the search space in parameterized graph separation to a small family that can be enumerated efficiently. We extend this approach to cut-uncut problems, which require separating some vertices while keeping a prescribed terminal set connected. We introduce connectivity-preserving important separators in undirected graphs. These are inclusion-minimal $s,t$-vertex separators that keep the prescribed terminals connected to $s$ and admit no such separator of no greater size whose source component is properly contained in their own. We show that there are at most $2^{O(k^2\log k)}$ such separators of size at most $k$ and give an algorithm that enumerates them in $O(2^{O(k^2\log k)}nT(n,m))$ time. Here $n$ and $m$ denote the numbers of vertices and edges, and $T(n,m)$ is the time to compute a minimum-cardinality $s,t$-separator. We apply this result to Mixed Multiway Cut-Uncut with any fixed number of terminal classes, improving the published $2^{O(p^3\log p)}$ parameter dependence to $2^{O(p^2\log p)}$, where $p$ is the sum of the vertex and edge deletion budgets. For Annotated Odd Cycle Transversal with the additional requirement that an unbounded set of undeletable terminals remain connected, we give a $2^{O(k^2\log k)}(n+m+1)^{O(1)}$-time algorithm. This improves the doubly exponential dependence of a direct treewidth-reduction approach. We also obtain a fixed-parameter tractable algorithm for finding a minimum-cardinality inclusion-minimal $s,t$-separator whose source component contains a prescribed set $A$ and avoids a prescribed set $B$.

cs.DS↗