La Ville de Québec injecte 220 000 $ dans une installation d’art public pour marquer l’été 2027. Le Canard de bain de Florentijn Hofman flottera pendant deux mois sur le Saint-Laurent, dans le secteur...

**Authors:** Tymoteusz Kucharek, Piotr Hofman Integer reachability is NP-complete for vector addition systems with states (VASS), but becomes PSPACE-complete in the presence of transfer operations. We refine this complexity gap for single-transfer VASS by identifying structural features of transfers responsible for the increase in complexity. Each system induces a transfer graph whose vertices are counters and whose edges represent possible transfers. We classify its vertices as good or bad, according to the branching and cyclic structure of their reachable subgraphs. Let $b$ be the number of bad vertices. We show that every positive instance admits a polynomially verifiable certificate of size $|I|^{O(b+1)}$, where $|I|$ is the input size. Consequently, integer reachability for single-transfer VASS can be decided in nondeterministic time $|I|^{O(b+1)}$; in particular, it belongs to NP for every class with a bounded number of bad counters. Conversely, we show that bad counters provide sufficient structural power to encode space-bounded computation. For every transfer graph with $b$ bad vertices, we construct a single-transfer VASS that encodes the acceptance of a Turing machine using $b^{O(1)}$ tape cells. This yields PSPACE-hardness for every polynomial-time constructible family of transfer graphs containing linearly many bad vertices. Our results isolate the transfer patterns responsible for the complexity of integer reachability.

Over the two days (Sunday’s activities were rained out), we diverted almost half a ton of compostables and recyclables from the trash.

Presentator Tim Hofman steekt met Boos inmiddels al tien jaar een vette middelvinger op naar allerhande onrecht. Waar de NPO eerst nog weinig van dit ‘Kassa voor jongeren’ moest hebben, is Boos nu een...

Presentator Tim Hofman steekt met Boos inmiddels al tien jaar een vette middelvinger op naar allerhande onrecht. Waar de NPO eerst nog weinig van dit ‘Kassa voor jongeren’ moest hebben, is Boos nu een...

De documentaire over de misstanden bij The Voice zal Tim Hofman met Boos waarschijnlijk nooit meer overtreffen. Maar de veelbekeken en prijswinnende online serie is al tien jaar lang een garantie voor impact. Van een gebroken kaak tot rellen met politici: tien spraakmakende fragmenten van het jubilerende Boos op een rij.

De documentaire over de misstanden bij The Voice zal Tim Hofman met Boos waarschijnlijk nooit meer overtreffen. Maar de veelbekeken en prijswinnende online serie is al tien jaar lang een garantie voor impact. Van een gebroken kaak tot rellen met politici: tien spraakmakende fragmenten van het jubilerende Boos op een rij.

De documentaire over de misstanden bij <i>The Voice</i> zal Tim Hofman met <i>Boos</i> waarschijnlijk nooit meer overtreffen. Maar de veelbekeken en prijswinnende online serie is al tien jaar lang een...

De documentaire over de misstanden bij <i>The Voice</i> zal Tim Hofman met <i>Boos</i> waarschijnlijk nooit meer overtreffen. Maar de veelbekeken en prijswinnende online serie is al tien jaar lang een...

Welke omstandigheden?.

Presentator Tim Hofman steekt met Boos inmiddels al tien jaar een vette middelvinger op naar allerhande onrecht. Waar de NPO eerst nog weinig van dit ‘Kassa voor jongeren’ moest hebben, is Boos nu een...