IBM - 433,362
30 karma · joined June 23, 2010
Given that underspecification, it's perfectly justifiable to use an exponential amount of resources to achieve the goal.
e.g., each node can generate its own subset to check, so you only need to distribute the program and input. That can be done using a multicast tree of some kind which brings distribution costs back down by a log.
EDIT: here's a link to a paper describing this approach: http://www.springerlink.com/content/j5213p8761224304/