Probably a tree set, with O(log(n)) lookups
It's hardly "computer science" either. Good software engineering, sure, but there's obviously no mathematical foundation here.
I think he literally just demonstrated the problem you were trying to illustrate about software provers
Agreed, but if you're relying on Papa John's as a signal, you're probably going to find out about missile launches a lot later than you'd like.
It's a single player game, that requires check-ins to an online server. When Ubisoft shuts down their servers the single player will be unplayable.
Probably a tree set, with O(log(n)) lookups
It's hardly "computer science" either. Good software engineering, sure, but there's obviously no mathematical foundation here.
I think he literally just demonstrated the problem you were trying to illustrate about software provers
Agreed, but if you're relying on Papa John's as a signal, you're probably going to find out about missile launches a lot later than you'd like.
It's a single player game, that requires check-ins to an online server. When Ubisoft shuts down their servers the single player will be unplayable.