枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2020年01月10日(金)
Sugar を C++ に移植して MiniSAT を直接呼び出すようにして retry を incremental にやって Python binding も書いて MiniSAT の内部で直接連結性とかを扱うようにすればかなり速くなるだろうけど，全部やるのはかなり大変
タグ：
posted at 23:03:06
B 添字の範囲で1ペナ
C next_permutation
D 4の倍数があったら0だと勘違いして1ペナ
E 二項係数をごりごりするやつに見えたが、式変形したら重み付けて足して2べきをかけるだけになった
F AとBの隣接2項のxorからなる数列どうしがいくつ平行移動したら一致するか。TLE覚悟で投げたら通った（は？）
タグ：
posted at 22:44:57
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
走り書きのメモを見て、「±<5」ってなんだろう？ ってしばらくハテナマークが浮かんでた。
タグ：
posted at 22:22:11
オーディンの祝祭に至っては、中盤まで進めた時点でダウンして途中でやめてしまいました。１人回し途中でやめたのは後にも先にもこの１回だけ・・かな？オーディンの祝祭はとても楽しい重ゲーだけど、１人回し向きではないと思います(笑)
タグ：
posted at 22:16:07
一方、「低」のグレートウエスタントレイルはサクサク手を進められて、ちゃんと考えながらやってもまあ３時間くらい（通常の４人戦の少し増し）では終わります。正直、一人回しは計算の複雑でないゲームのほうが楽しいですねｗ
タグ：
posted at 22:15:14
ちなみに、計算の情報量がどのくらいなのかは分析しなくても、４人分１人回しをしてみればわかります(笑)。「高」のは一度他プレイヤーの手を考えて戻ってくると、往々にしてまた最初から考え直しになります。メモ必須ｗ 時間も通常の４人戦の何倍もかかり、何日かテーブルに広げっぱなしのこともｗ
タグ：
posted at 22:14:43
計算がすべてではないとはいえ、重ゲーを分類する上では一つの重要な観点ではないかと思っています。私の経験上、ＧＷＴだけは重ゲーがあまり好きでない方にも勧めたら気に入ってもらえたのですが、こうした計算の易しさが関係しているのではないかと。麻雀のような感覚で打てる・・といいますか。
タグ：
posted at 22:14:05
グレートウエスタントレイルは資源がお金しかなく、貯めて先読みが必要な場面も限られているため、計算面では考えることはとても少ない。お金をたくさん貯めるのは、最初の人雇いや職人戦術の高レベル建物建設時、技師戦術の終盤の駅獲得・・くらいでしょうか。それ以外はほぼ流れで打てる。
タグ：
posted at 22:13:38
アグリコラやカヴェルナは、ワーカープレイスメントのインタラクション要素により必ずしも計算通りにいかないという意味で、難易度中。テラフォーミングマーズはカード多いけど、なんだかんだでほとんどがお金の計算一本に帰着されるから、そこまで複雑じゃない・・と思う。
タグ：
posted at 22:13:03
ガイアプロジェクトは資源の種類が多く、足りたかどうかで拡大再生産や得点に大きく影響するので計算がシビアな印象。ブラックアウト香港は要素が多くて、最適手の比較検討が難しい（けれども計算しきれる絶妙なバランス）。オーディンの祝祭は二次元要素が入るから、きちんと計算するととても複雑。
タグ：
posted at 22:12:32
重ゲーの計算複雑さの印象まとめ
高：ガイアプロジェクト，ブラックアウト香港，オーディンの祝祭
中：アグリコラ，カヴェルナ，テラフォーミングマーズ
低：グレートウエスタントレイル
プレイの中で必要な資源量等を計算する、その思考過程のみに絞った複雑さの話です。（個人の感覚です）
タグ：
posted at 22:11:56
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
せっかくなのでもう少し（アイス）バーンを配置してあげたくなりました（
pzv.jp/p.html?barns/8...
（すみません冗談です）
タグ：
posted at 21:07:11
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
計算すべき要素が多いから、慣れてきてからでも頭の中は常にＧＷＴよりも忙しくなりそうｗ その点、プレイ中の頭の使い方はガイアプロジェクトに近い印象を持っています。単純に脳力の高い方が強そう。
タグ：
posted at 20:37:24
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
hirose_atsumiは
A=嘘をつく頻度
B=異性の前での下心
C=悪事を働いた時の罪悪感の無さ
D=法を犯す可能性
E=他人の不幸好き度
shindanmaker.com/chart/958441-2...
#クズ度測ったー #shindanmaker
shindanmaker.com/958441
タグ： shindanmaker クズ度測ったー
posted at 18:37:06
非公開
タグ：
posted at xx:xx:xx
今井洋輔（パズル屋たまにジャグラー） @puzzle_101
「フォントサイズ大丈夫！？」って感じのスケルトンが完成した。
己の知識で7割方リスト作りができるくらいの超得意分野。
掲載されたら告知するので、関係者はチェックするように。
タグ：
posted at 16:43:22
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@puzzle_pencil 確かに迷路が出題される場合、最短経路制約がつきそう......！
（盲点）（このパズルの場合は特にありそう）
競技迷路の世界（そんなものはない）、
最短経路ひっかけの是非とか議論されてそう
タグ：
posted at 13:47:05
非公開
タグ：
posted at xx:xx:xx
@puzzle_pencil （この迷路、パズルとしても面白そう（ありそう））
（でも、紙で解く時の解答盤面を雑に描くとチェックできなさそう）
（いや、この問題については丁寧とかもはや関係なさそうだ）
（解答盤面が一意に特定できるなら良いというお約束でなんとか……） pic.twitter.com/xWB0ub703r
タグ：
posted at 13:10:22
非公開
タグ：
posted at xx:xx:xx
@pronter 単純な制約が複雑な構造を生み出す例としては inabapuzzle.com/hirameki/suuri...
UVZについてはまだ未解決なので是非挑戦してください。意外とあっさり解けるかもしれません。
タグ：
posted at 09:22:09
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
「唯一解のひとりにしてくれで、"数字一マス変えて唯一解にしてくれ"として解くと変え方が5000通り」でも、とりあえず唯一解のを作って、最後に数字埋めをする段階で色々調節すれば5000通りに合わせられそうではある
タグ：
posted at 00:10:57
