أرسل هذا في رسالة قصيرة: Pebble Games, Proof Complexity, and Time-Space Trade-offs