Abstract:
It is known that the subsemimodule membership problem for finite rank free $\mathbb Z\times\mathbb Z$-modules is undecidable. Modifying the undecidability construction, we present a complete one-way function based on finite rank free $\mathbb Z\times\mathbb Z$-modules.
Key words and phrases:one-way functions, average-case complexity, tiling problems.