开个逻辑解谜游戏（Thinky Puzzle）的楼，Maxwell's puzzling demon 8.30

HZY298

weiyun 发表于 2024-5-22 16:41
美区15刀，国区好像48，机核可以提前买key，据说还便宜点，我是众筹的，昨天发的key。 ...

咦，那还挺便宜，谢谢，我去看看

Wiksy

塔洛斯2的三部曲DLC，14号出
希望这次又会有些够难度的谜题了
https://www.youtube.com/watch?v=S_yL_I8BEgk

BRAVADO

mind over magnet的demo实在是太休闲了点，10分钟就打完了，我估计本体时长能超过两小时就算好的了，感觉没啥必要买，实在想玩不如等促销以个位数价格购入

Junakr

才发现 14 种扫雷变体 2 前几天发售了，正在 15% off 首发优惠促销中。
第一代真的玩的非常开心，最好的扫雷，因为还没打完暂时先买来搁置。

苦瓜师傅

搭车问talos 1  2 区别大么？
1买了一直没玩 2试了试开头和1差不多

dustyy

想买一个午休玩， bean and nothingness和can of wormholes哪个比较推荐哇

卡拉德利姆

苦瓜师傅 发表于 2024-6-17 12:25
搭车问talos 1  2 区别大么？
1买了一直没玩 2试了试开头和1差不多

2的机制和花样更多，但总体而言难度比1简单；故事和主题是1的直接延续；2有大量的奇观巨构可以欣赏，丰富的文本配音阐述故事和核心立案。总而言之2是个比1更倾向主流受众的游戏，我的建议是感兴趣就两个都玩。

铃森冬

dustyy 发表于 2024-6-18 10:03
想买一个午休玩， bean and nothingness和can of wormholes哪个比较推荐哇

beans 难度高点，后面复杂的谜题想一中午都不一定能过一关，当然好玩还是很好玩的就是啃起来会更费劲

虫罐关卡也不简单但是有提示关系统，卡关了的话可以看一个简化版的关卡帮你理解这关想干什么是个很人性化的设计，然后关卡质量本身也很高，不想玩的太累的话更推荐虫罐一些

铃森冬

14 扫雷变体 2 昨天买来玩了玩，双板子规则非常有意思，强烈推荐

苌门有K

leap year 小而精的知识锁神作，1个半小时左右的游戏时长，建议都去玩玩

Junakr

才发现 14 种扫雷变体 2 不支持 Mac，别啊一代都支持的呀。

BRAVADO

dustyy 发表于 2024-6-18 10:03
想买一个午休玩， bean and nothingness和can of wormholes哪个比较推荐哇

我觉得bean好玩些，但是bean和虫洞不太能算一类的，bean和baba，drod这些算是一卦的，这类里还是最近出的leaf's odyssey平易近人；虫洞和烤肠怪兽远征篝火这些是一类的。还是看你喜欢哪一类。

weiyun

Maxwell's puzzling demon出了，大概率今年最佳解谜，但难度超高。
https://store.steampowered.com/app/2770160/Maxwells_puzzling_demon/

BRAVADO

weiyun 发表于 2024-8-31 17:58
Maxwell's puzzling demon出了，大概率今年最佳解谜，但难度超高。
https://store.steampowered.com/app/27 ...

昨天买了，草草通了world 1，我感觉作为一个类推箱，rule set稍稍有点平淡，后面有玩得很花的rule set吗？还是就是靠非常扎实的level design脱颖而出的。

Update：今晚上稍微打了一下world 1的bonus level，确实如你所说很困难，level design也很有意思。

Update 2: 又打了些，还是很有趣的，我觉得就我现在所窥见的冰山一角的rule set，应该能玩出很多很有意思的resource management，看看有没有吧。

weiyun

BRAVADO 发表于 2024-8-31 19:54
昨天买了，草草通了world 1，我感觉作为一个类推箱，rule set稍稍有点平淡，后面有玩得很花的rule set吗 ...

有很多其他机制，第三大关就开始meta了，我才打到第四大关，感觉全通可能要50小时以上，有的字母关进入都挺难的。

infinitesimal7

Maxwell真好玩，很有可能是年度最佳了

— from S1 Next Goose v3.1.88.3

莉可厨

在第一大关的字母关就疯狂卡关……怎么感觉比bean还难，明明规则没bean复杂结果死活想不通

BRAVADO

weiyun 发表于 2024-9-1 00:27
有很多其他机制，第三大关就开始meta了，我才打到第四大关，感觉全通可能要50小时以上，有的字母关进入都 ...

好好，那可以先往前快速推进度了，谢谢！

莉可厨

好像渐入佳境了，普通关比sokobond原版后期关卡还简单些

铃森冬

很多关暂时没做先突突到 world5 了，ruleset 的展开相当意料之外情理之中非常漂亮，以及才到第五大关就放出这种机制后面四个大关还有什么已经不敢想了

weiyun

铃森冬 发表于 2024-9-2 00:24
很多关暂时没做先突突到 world5 了，ruleset 的展开相当意料之外情理之中非常漂亮，以及才到第五大关就放出 ...

我也跳了好多关，现在在world 6各种卡关

铃森冬

world7 终于跳了倒数第三个 tips, 后面不会还有更大的活吧

以及终于明白为啥 reset 的时候要做一个复位的动画了，跟这等着呢

weiyun

后面还有一堆meta内容，估计要100小时以上了

icue

https://thinkygames.com/news/ann ... f-incredible-games/

有人建了个 Thinky Games 的数据库

Rincewind

最近在玩i wanna lockpick和冰宫，看看能不能挖一下（应该没事吧……）

虽然爬到T4-4了但说实话不太适应IWL第二大关的主机制（而且个人对这种也不太感冒……就当我死板吧，还是更喜欢自限性的做题。Recursed好几个要求从主关带东西进隐藏关的我也不喜欢）。6和11两个区确实很惊艳。这种设计是现代解谜标配了吗，那我有点恐惧（
我本来以为冰宫是纯抽象逻辑，结果利用游戏设计小细节的trick还挺多的（甚至还有个用思维定式坑人的屑关），有点意外。不过前面估计还是开胃菜偏多，后半应该会严重偏向逻辑吧……

Cosmic Express断断续续拖了好久最后还是在第一轮方碑打了一半的时候放弃了，理由是我感觉自己根本就没怎么逻辑推理纯粹在凭感觉暴力破解……这种机制简单但玩起来无比卡手的是我最不擅长的类型，所以推箱子类我一向都是躲着走有没有玩起来感觉不那么卡的游戏

fmban

Maxwell's puzzling demon全通了，steam时长150h，但实际上远不止。个人心目中是超越baba is you的最佳推箱子类游戏

我认为最特出的有两点

机制创造性很强，单单一个活塞就能玩出花来，后期各种永动机、可控周期系统顺手拈来。还有几关作者自己设计的类似模拟电路的玩意，感觉能造计算机了。从机制和成就名字看作者灵感来源于热力学，但我感觉远不止，打完后感觉学完了一本理/工科教材；

机制完备性很高，每个新机制都有大量关卡去教学和旧机制组合时各种情况怎样触发。不止一次当我想象“如果这样推会发生什么”的情况都很快遇到该情况的教学关，并且这些细节也会成为后续某些关卡的解题关键，颇有一种“这种套路要记住，之后要考”的上课感。（这里点名香肠卷，关卡量完全不够，我通了之后就有感觉部分机制触发可能会模棱两可的情况）。


最后吐槽一下，

总共将近400关里有极少部分关卡是基本上不需要机制纯逻辑推箱子的关卡，不知道作者塞这些关卡进去干嘛。还有一些关卡是简单算法像汉诺塔、二分法等的应用，虽然丰富了关卡类型，但我感觉像没活硬整；

感觉作者定义的meta关（希腊字母关）一点也不meta，一开始就摆出来告诉你这是关卡的也叫meta？也没有什么需要打破第四面场才能进去的说法，换成其他游戏就相当于新手村有个后期才能打开的宝箱这种感觉；

虽然我认为总体比baba好，但是也有一个地方比不上：
（没有记错的话）baba的机制一开始都能用，只是没有告诉玩家，有几关是在告诉你新机制之后直接在相同关卡上面做减法，依靠新机制解题，当时觉得这种设计太神了；而demon也有同一关的模板在新机制下复用（譬如1-16），但这些关卡都是平行的，不存在包含关系，这点我觉得比较可惜

BRAVADO

Rincewind 发表于 2024-11-11 14:32
最近在玩i wanna lockpick和冰宫，看看能不能挖一下（应该没事吧……）

虽然爬到T4-4了但说实话不太适应IW ...

我也不是很喜欢大量的跨关卡联动

不过我觉得如果玩解谜游戏的话，卡关是不可避免的，也是乐趣的一部分，真的想要避免卡关的话得去玩zach like啦，即使是很困难的谜题也不会毫无思路。如果更喜欢以大量的机制（我更喜欢叫ruleset）堆积起来的游戏，试试bean and nothingness和leaf's odyssey，而且这两个游戏没有跨关卡联动:)

Rincewind

BRAVADO 发表于 2024-11-13 03:28
我也不是很喜欢大量的跨关卡联动

不过我觉得如果玩解谜游戏的话，卡关是不可避免的，也是乐趣的一部分， ...

倒不是不喜欢卡关，而是不喜欢推箱子和画线经常出现的那种卡手的感觉……就，你把箱子推到这个位置，结果堵了不能到那边去了，这种。
bean在愿望单了，等促销吧

BRAVADO

Prove You Can Win 12月发售，做题爱好者速来
https://store.steampowered.com/app/3316620/Prove_You_Can_Win/

weiyun

Maxwell's Puzzling Demon更新了一个世界wA，有几十关
最近出了几个新解谜也不错
Trans Neuronica
脱离抢鲜体验，是连线类
https://store.steampowered.com/app/2390520/Trans_Neuronica/
CLONY
纵版同步移动+推箱子
https://store.steampowered.com/app/2953590/CLONY/
Robot Detour
绕线类
https://store.steampowered.com/app/2666840/Robot_Detour/
Globs
伸缩类
https://store.steampowered.com/app/3219110/Globs/
Prickle
粘块类
https://store.steampowered.com/app/2759760/Prickle/
Stig
按顺序生成颜色序列，有类推箱成分
https://store.steampowered.com/app/2834830/Stig/

白軍浪

Gentoo Rescue
https://store.steampowered.com/app/2830480/Gentoo_Rescue/
滑冰加推箱
关卡排布还加了递归要素
我看它有大帝之资

weiyun

24年的Confounding Calendar开始了
https://confoundingcalendar.itch.io/

BRAVADO

LOK Digital出了：https://store.steampowered.com/app/2207440/LOK_Digital/

另外纸笔版可以在这里下载PDF：https://letibus.itch.io/lok

HZY298

Maxwell's Puzzling Demon龟速一天一两题把w1-9数字关通了，字母关只做了一点，然后发现还有w1和wA，前几天还更新wB，太撑了太撑了这个体量

kerorara

maxwell的w1w2是个好游戏。
从w3开始是神作。

—— 来自 鹅球 v3.3.96-alpha

BRAVADO

prove you can win已出

reoch

maxwell真的好玩啊，最近打到w4，好奇有什么视频或者文章讲里面提到的物理学知识吗

BRAVADO

reoch 发表于 2025-1-15 17:38
maxwell真的好玩啊，最近打到w4，好奇有什么视频或者文章讲里面提到的物理学知识吗 ...

其实这个游戏和物理关系不大，不过没关系，游戏好玩就行了。

到可以大致讲讲Maxwell’s demon paradox是什么，说得不一定对，多批评指正：设想你有一个一个充满气体的盒子，然后用绝热的墙把盒子分成两部分，假设墙上还有一个小阀门可以控制气体分子是否通过。假设有一个demon，它可以获知每个气体分子运动速度的信息，同时也可以控制这个阀门，让高速分子只能从左边运动到右边，低速分子只能从右边运动到左边。由于温度是大量气体分子运动平均速度的反映，过一会儿你就会发现左边的温度低于右边，刚开始时系统是处于平衡态的，两边温度一样。所以最终你发现整个系统出现了熵减，这违反了热力学第二定律。

解决这个paradox的关键在于，获取气体分子速度的信息是有热力学效应的，根据Landauer's Principle，存储/擦除定量的信息需要消耗热量，进而改变熵，所以粗略地说，demon拿到气体分子速度信息的过程会让整个系统出现熵增。

所以其实游戏里的这个小精灵的作用其实正好和Maxwell’s demon相反，maxwell‘s demon能在没有温差的时候创造出温差。而这个游戏里的小精灵只是纯粹的做了个热传导而已，让高温和低温物体的热量趋向于平衡。

BRAVADO

qc编程游戏quantum odyssey已出：https://store.steampowered.com/app/2802710/Quantum_Odyssey/

铃森冬

玩了玩 Prove You Can Win，刚看到第5章，简单写个体验供感兴趣的朋友参考：

先说缺点，操作别扭这点很多评测都说了，只能用标号调用结论是真的很反人类。对标 LEAN 之类定理证明器的使用体验的话，更人性化的设计还得是允许把构造出的结论赋值给变量，然后变量有自己的作用域，推理规则也没必要非得设计成最死板的形式，加一些明显的智能匹配和推断的话完全可以放一些复杂度更高的关卡进去填充游戏性，而不是让玩家把精力都花在怎么把已经想明白的话以正确的方式说出来上面。这部分问题前两个大关尤其明显，我玩下来感觉 80% 的时间都在切手册跟语法较劲

还有一点我个人觉得不好的点是文字量实在是太大了，砍到现在的十分之一我都嫌多。当然这点作者自己也很清楚最一开始就指出来了，也用带颜色的框标注出了最重要的内容。我很能理解作者想把很多设计的动机给玩家讲明白的心情，但对有一些数理逻辑基础的玩家来说很多内容写的是太啰嗦了。没基础的玩家真有耐心啃的话可能还不如自己先去读一本真的教科书，做成这个样子完全没发挥出游戏作为媒介的优势，我想象里更好的设计是用更多图形化的例子把最核心的部分直观的展示出来，同时设计更多的引导性的关卡，然后把很多技术细节藏起来等玩家感兴趣了再引导去读（比如学习Z社直接外置PDF）

再说说推荐的地方吧，一个点是形式化证明本身确实很好玩，能让人从一个陌生的视角审视自己熟悉的东西（这点在第三章证明关卡的不可解决性上体现的很好），还有我感受到作者确实有一些好的点子，如果你看了演示视频和商店页的评价还没被劝退，又愿意花几个小时来学习琢磨一些陌生的东西的话，这游戏还是值得一试的

或者如果你完全没有数理逻辑基础，又想尝试以形式化证明为主题的游戏（或者说可交互式材料）的话，推荐也可以先尝试 LEAN 的 natural number game （https://adam.math.hhu.de/#/g/leanprover-community/nng4）带你从皮亚诺公理和自然数运算的定义出发，用数学归纳法形式化的证明包括加法和乘法的交换律和结合律在内很多看似理所当然正确的结论，玩下来的话绝对是一段很有意思的体验