3 papers
cs.DM2026
UTVPI-representable integer point sets: discrete convexity, polymorphisms, and pairwise closure
Kei Kimura, Kazuhisa Makino, Shota Yamada +1
We study subsets of the integer lattice represented by single-variable-per-inequality (SVPI), difference-constraint (DC), unit two-variable-per-inequality (UTVPI), and two-variable…
cs.DS2024
Characterizing the integer points in 2-decomposable polyhedra by closedness under operations
Kei Kimura, Kazuhisa Makino, Shota Yamada +1
Characterizing the solution sets in a problem by closedness under operations is recognized as one of the key aspects of algorithm development, especially in constraint satisfaction…
quant-ph2023
Public Key Encryption with Secure Key Leasing
Shweta Agrawal, Fuyuki Kitagawa, Ryo Nishimaki +2
We introduce the notion of public key encryption with secure key leasing (PKE-SKL). Our notion supports the leasing of decryption keys so that a leased key achieves the decryption…