arXiv subjects

Joseph Swernofsky

Publications and source records attributed to Joseph Swernofsky.

3 recordsLinked to original sources

arXiv2026

Dense Pinwheel Packing Is Strongly NP-Complete

An instance of {\sc Pinwheel Packing} is a list of positive integers $a_1,\ldots,a_k$. A feasible schedule assigns one task to every integer time so that every interval of $a_i$ consecutive times contains task $i$. The instance is \emph{dense} when $\sum_i1/a_i=1$. We prove that {\sc Dense Pinwheel Packing} is NP-complete even when every period is encoded in unary and equal periods are listed as distinct tasks. Consequently, the usual binary-encoded problem is strongly NP-complete. Kleinberg and Mishra also prove NP-completeness \cite[Corollary~5.1]{KleinbergMishra2026}, but their reduction uses periods of exponential numerical size and therefore yields only weak NP-hardness. Our proof uses a direct reduction from triangle partition in a sparse tripartite graph. If each of the three parts of the source graph has $n$ vertices, the reduction produces $O(n^4\log^3 n)$ explicitly listed tasks, each with period $O(n^4\log^3 n)$; consequently, its full unary encoding has length $O(n^8\log^6 n)$.

cs.CC↗

arXiv2026

Salami Slicing Trellis for Synchronization Errors in DNA Coding

On top of substitution errors, DNA storage channels suffer from both insertions and deletions at the same time. It is therefore important to develop error-correcting codes with efficient encoders and decoders that can combat all three types of noise. This paper introduces the salami-slicing trellis, a decision-feedback trellis that computes bitwise posterior probabilities along each strand and is coupled with polar codes across strands. The decoder alternates between advancing the trellises by one position and polar-decoding the resulting cross-strand slice, feeding the decoded bits back to the trellises for the next position. Simulations suggest that the resulting coding scheme approaches the conjectured capacity of the substitution-insertion-deletion channel.

cs.IT↗

arXiv2019

$d$-Galvin families

The Galvin problem asks for the minimum size of a family $\mathcal{F} \subseteq \binom{[n]}{n/2}$ with the property that, for any set $A$ of size $\frac n 2$, there is a set $S \in \mathcal{F}$ which is balanced on $A$, meaning that $|S \cap A| = |S \cap \overline{A}|$. We consider a generalization of this question that comes from a possible approach in complexity theory. In the generalization the required property is, for any $A$, to be able to find $d$ sets from a family $\mathcal{F} \subseteq \binom{[n]}{n/d}$ that form a partition of $[n]$ and such that each part is balanced on $A$. We construct such families of size polynomial in the parameters $n$ and $d$.

math.CO↗