About SmartGame — 关于我们

SmartGame is a free browser-based puzzle game site focused on classic logic puzzles and algorithmic thinking. No downloads, no registration — just open the browser and play.

SmartGame 是一个免费的浏览器益智游戏网站，专注于经典逻辑谜题与算法思维训练。无需下载，无需注册，直接在浏览器中游玩。

Our Mission / 我们的目标

Our goal is to make logical reasoning genuinely fun. Each game in SmartGame is grounded in real mathematics or computer science — state-space search, common-knowledge logic, dynamic programming, constraint satisfaction — presented as a simple, engaging interactive challenge that anyone can play on a phone or desktop.

We believe the best way to understand an algorithm or mathematical concept is to play with it. The four puzzles in SmartGame have been chosen because they are easy to learn, difficult to master, and connect directly to ideas that matter in computer science, game theory, and everyday decision-making.

我们的目标是让逻辑推理变得好玩。每款游戏背后都有严谨的数学或计算机科学原理——状态空间搜索、公共知识逻辑、动态规划、约束满足——以轻松的互动形式呈现。

The Four Games / 四款游戏

💧

Water Jug — 测水量

Use a 5-liter and 3-liter jug (no markings) to measure exactly 4 liters. A classic state-space search puzzle rooted in Bezout's Identity from number theory. Trains reverse thinking and shortest-path reasoning. | 用5升和3升两个无刻度杯子量出恰好4升水，训练逆向思维与状态搜索。

🚣

River Crossing — 动物过河

Ferry six animals (three parent-cub pairs) across a river under strict safety constraints. A 1,200-year-old puzzle tradition (Alcuin of York, 800 AD), extended into a multi-constraint planning challenge. | 六只动物安全渡河，有 1200 年历史的经典谜题，考验多步规划与约束满足推理。

🐕

Mad Dog Village — 疯狗村

Based on the Muddy Children Puzzle (Geanakoplos 1992), this game trains higher-order reasoning and common-knowledge logic — the same ideas behind distributed consensus protocols and game theory. | 基于公共知识逻辑的经典谜题（Geanakoplos 1992），训练高阶推理与归纳证明能力。

🥚

Egg Drop — 摔鸡蛋

Given a 50-floor building and 2 eggs, find the critical floor using the fewest worst-case drops. A celebrated dynamic programming problem from computer science interviews, with deep connections to information theory and minimax optimization. | 动态规划经典面试题，连接信息论与最优决策，考验minimax思维。

Technical Details / 技术信息

All games are built in JavaScript (React) and run entirely in the browser using HTML5 Canvas for rendering. They support both Chinese and English (toggle in the top-right corner) and work on mobile and desktop browsers.

所有游戏均使用 JavaScript（React）开发，通过 HTML5 Canvas 在浏览器中本地运行，支持中英文切换，兼容手机和桌面浏览器。

Contact / 联系我们

Questions, feedback, or partnership inquiries: isppub.com@gmail.com

问题反馈或合作咨询：isppub.com@gmail.com