2 papers
cs.FL2026
Reverse Post Correspondence Problem and Undecidability of String Assembly Systems
Benedek Nagy
The Post Correspondence Problem is as follows: having a set of dominoes, is there any (maybe repeating) sequence of them such that the words formed by the upper parts and the lower…
math.CO2025
Hilbert basis in the face-centered cubic grid -- mathematical proofs
Bela Vizvari, Gergely Kovacs, Benedek Nagy +1
The Hilbert basis is fundamental in describing the structure of the integer points of a polyhedral cone. The face-centered cubic grid is one of the densest packing of the 3-dimensi…