PAFP is FPT by BFS-width plus backward arcs in the union digraph and polynomial-time solvable via 2-SAT for DAGs of exact-length width 2, with matching NP-hardness for width 3.
Journal of Algorithms12(2), 308–340 (1991)
4 Pith papers cite this work. Polarity classification is still indexing.
citation-role summary
citation-polarity summary
verdicts
UNVERDICTED 4roles
background 1polarities
background 1representative citing papers
Matroids satisfy a generalized basis exchange where for X and Y in the symmetric difference of bases A and B there exist U and V containing them with |U|=|V| at most rank(X+Y) such that A-U+V and B+U-V are bases, plus a framework for Grassmann-Plücker extensions in characteristic-zero representable
A neuron-astrocyte network with dual-timescale memory reduces median path lengths up to sixfold in partially observable grid-world navigation tasks.
Derives a second-order sum rule for eigenvalues of abstract Hamiltonian families and applies it to Lieb-Thirring bounds, Bessel zeros, and trace inequalities.
citing papers explorer
-
Layer-Based Width for PAFP
PAFP is FPT by BFS-width plus backward arcs in the union digraph and polynomial-time solvable via 2-SAT for DAGs of exact-length width 2, with matching NP-hardness for width 3.
-
Generalizing the Multiple Exchange Property for Matroid Bases
Matroids satisfy a generalized basis exchange where for X and Y in the symmetric difference of bases A and B there exist U and V containing them with |U|=|V| at most rank(X+Y) such that A-U+V and B+U-V are bases, plus a framework for Grassmann-Plücker extensions in characteristic-zero representable
-
Dual-Timescale Memory in a Spiking Neuron-Astrocyte Network for Efficient Navigation
A neuron-astrocyte network with dual-timescale memory reduces median path lengths up to sixfold in partially observable grid-world navigation tasks.
-
Sum rules and a second order Feynman-Hellman theorem for abstract operators with applications
Derives a second-order sum rule for eigenvalues of abstract Hamiltonian families and applies it to Lieb-Thirring bounds, Bessel zeros, and trace inequalities.