Showing 2025Show all
2 papers · 1 filter
cs.DS2025
Enumeration of Bases in Matroid with Exponentially Large Ground Set
Yuki Nishimura, Kazuya Haraguchi
When we deal with a matroid , we usually assume that it is implicitly given by means of the independence (IND) oracle. Time complexity of many existi…
math.LO2025
Terminating Hybrid Tableaus for Ordered Models
Yuki Nishimura
Hybrid logic extends modal logic with special propositions called nominals, each of which is true at only one state in a model. This enables us to describe some properties of binar…