it is hard to find a moderately priced digital that can respond fast enough.
Actually, any Canon camera compatible with CHDK (www.chdk.wikia.com) can do 1/60000 shutter speeds (sufficient for high-speed photography) and can be controlled via a quick 5V pulse over usb (which you CAN trigger from an arduino).