Pith. sign in

REVIEW 1 cited by

Listing Small Minimal s,t-separators in FPT-Delay

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2307.00604 v2 pith:TUOS5F3W submitted 2023-07-02 cs.DS cs.DB

Listing Small Minimal s,t-separators in FPT-Delay

classification cs.DS cs.DB
keywords minimalgraphseparatorsalgorithmfpt-delaylistingwhosealgorithms
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Let $G$ be an undirected graph, and $s,t$ distinguished vertices of $G$. A minimal $s,t$-separator is an inclusion-wise minimal vertex-set whose removal places $s$ and $t$ in distinct connected components. We present an algorithm for listing the minimal $s,t$-separators of a graph, whose cardinality is at most $k$, with FPT-delay, where the parameter depends only on $k$. This problem finds applications in various algorithms parameterized by treewidth, which include query evaluation in relational databases, probabilistic inference, and many more. We also present a simple algorithm that enumerates all of the (not necessarily minimal) $s,t$-separators of a graph in ranked order by size.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Faster Exponential-Time Approximate Counting via Bounded Self-Reductions

    cs.DS 2026-07 accept novelty 7.0

    A reusable enumerate-or-sample framework turns recursion-tree upper bounds into O*(sqrt(b))-time approximate counters, improving bases for five counting problems.