枝豆(@ek_bm)/2020年05月18日

理詰めで解けることを報告しておきます。おやすみなさい。

タグ：

posted at 02:34:28

にしなんとか @chebunanntoka

@chebunanntoka2 にて作問コンテストやります。テスター募集します(最適化ルールの相談もお願いすると思います)よろしくお願いします。問題なさそうなら最速で5/19の21時から大会やろうかなと思います

タグ：

posted at 05:55:19

#パズルジャパンオープン

・嘘つきナンバーエリア
そもそも、四角に切れの性質を良く知らない。というか、多分私と相性が悪い。ユニークネスを防ぐ方法もよく分からん。
適当に分割して、唯一解になるように数値を調整という方法だったので、自己採点品質は低め。
やけに簡単になったりしたし。

posted at 07:38:34

過去には「？入り」バージョンも担当したし、何故かこのパズルには縁がある。
なんか7×7とかの小サイズで作りにくいので、苦手意識があるんだなあ。何を作っても気持ち悪さが残る。
気持ち悪さの正体は何か、どうすれば解消できるのか、向き合いだすと奥は深い。

タグ：

posted at 07:46:16

#パズルジャパンオープン

・ノータッチ・ペントミノ分割２
本気を出すと何処までも大変にできるので、小サイズという枷を付けた。
その中で出来ることを試したので、作ってて楽しかったなぁ。ユニークネスを防ぎやすい黒マス配置なんかも気づけたし。
唯一解にするのはそれなりに大変だったけど。

posted at 07:53:48

#パズルジャパンオープン

・ノータッチ・ペントミノ分割１
２を試行錯誤にしたので、１は理詰めに。
細部をこだわろうとすればもう少し時間をかけたんだけど、ある程度で切り上げた。
黒マスを減らし、アルファベットを増やすのがオーソドックスな問題なのかも。そんな問題にしても良かったかもね。

posted at 07:59:08

黒マスを自由における点がいい。
アルファベットを自由における点がいい。
アルファベットを自由に選べる点がいい。
このパズル、問題空間って多分かなり広い。

タグ：

posted at 08:03:11

このような大会に試行錯誤問題を出すことについては、賛否を含めて色々な意見があるとは思う。
少しずつ配慮・改善はしているつもり。
・大サイズ、高配点にしない
・大量に作らない
・「これは試行錯誤問題だよ～」という雰囲気を醸し出す。（←これは上達してる気がする）

タグ：

posted at 08:15:32

#パズルジャパンオープン

・テトロミノプレース
サイズを小さくして試行錯誤にしてみたつもり。
もしかしたら理詰めで行けるかもしれん。
どちらなのかを考えるより、手を動かした方が多分早いよねコレ。ある程度ぎゅうぎゅうに詰めないといけないし。

posted at 08:19:50

×を減らしたりして、もう少し難度を上げることはできたかも。これもある程度で切り上げた。
今回の中では、一番時間をかけずに作ったパズル。

タグ：

posted at 08:22:20

#パズルジャパンオープン

・ペントミノプレース
理詰めの問題で難しいのを作ったつもりが、ボツを食らった。
そこで再作成。8割理詰め、最後だけ直観の問題にしたつもり。
こういう「最後だけ少し試行錯誤」っての良く見るし。
×はまだ減らせたが、再度ボツを食らうのが怖くて多めに配置した。

posted at 08:25:16

なんでこの問題が高配点なのかよく分からん。
唯一解チェックは適当にしかしてないので、私の知らない枝がたくさん残ってたのかな？（←おい）
単純に盤面が大きいからか？

タグ：

posted at 08:29:29

#パズルジャパンオープン

自分が作ったもの以外の感想も書こうかな。他の作家さんも、個別の評価は気になると思うし。
そろそろ出かけよう。書くのはまた今度。

posted at 08:32:07

めるーめるん @melvy_puz

詫び闇は闇度高いな

タグ：

posted at 09:05:43

非公開

タグ：

posted at xx:xx:xx

遡って解き直したらハタンが直ってひとまず先に進める

タグ：

posted at 12:56:16

@made_puzzle700 twitter.com/pawakun/status...

タグ：

posted at 13:12:17

非公開

タグ：

posted at xx:xx:xx

クィアウルフ（ダイナモでなぐるマン） @xevs99

sp1氏はちがうか…？

タグ：

posted at 14:18:22

ミルテの木さん、木野てるみさんなのかな、って推測したことはありました。

タグ：

posted at 17:41:13

スリリン、あるパターンで確定することは知っているけどそれを知らなくても他から確定するように制作している、ようなものはけっこう色々あるかも。

タグ：

posted at 17:44:41

ルール文からその結論を導くまでに、段階をたくさん踏まなければいけないほど「難しい考え方が必要なもの」みたいにとらえている…かも。
数学の証明問題で、説明がたくさん必要だと難しい、みたいな。慣れてくると「ここまで自明」で飛ばせるのも似ている？

タグ：

posted at 17:50:49

@polake 前例？類似例？もありますし、それらしい響きになるしで、もしかしてと思ってしまいますよねえ。

タグ：

posted at 18:22:23

PJOの自作品にタイトルを付けるとしたら、「３つの力を１つに」「回り道」「最後に一ひねり」「脱出路を探せ」とかそんな感じかなあ。

タグ：

posted at 18:49:39

白岡市民(295) @Whitehill9

Hexa 7、面白いんだけどTerra Xと同じ危険な匂いを感じる(ハタンに気づかず誤答しそう)

タグ：

posted at 19:08:58

白岡市民(295) @Whitehill9

というわけでPGPります

タグ：

posted at 19:09:09

難易度評価は特殊技能

タグ：

posted at 19:40:12

ニコリすごいという話

タグ：

posted at 19:40:26

fff @fff_create

パズル系のサクサク系コンテンツ制作中です。
公開日など決定したら続報を流させていただきます。

sick_monsters, zako_rush, パズルボスラッシュ、他沢山の作品に感謝を込めて。

タグ：

posted at 20:29:46

アイ @tigereye_werewe

PGPだん。そう来たかぁ。

タグ：

posted at 20:35:08

ペントミノプレースの本気バージョン見たいね

タグ：

posted at 21:36:55

全力理詰めと全力試行錯誤の両極端な作風があるの結構好き。コンテストで相手するのは大変だけど。。。

タグ：

posted at 21:39:34

2箇所目のハタン……

タグ：

posted at 21:47:24

2択の片方をユニークネスで潰したせいだろうか……

タグ：

posted at 21:48:52

ハタンの原因が判明したっぽい（パターン見落とし）

タグ：

posted at 22:00:48

やったー！スリザーリンクを倒したぞ！ BOSS No.4 SLITHERLINK script.google.com/macros/s/AKfyc... #パズルボスラッシュ
執念で討伐した

タグ：パズルボスラッシュ

posted at 22:29:14

これで裏ボス以外は倒した

タグ：

posted at 22:29:44

21時、しごおわと同時にスタートか……

タグ：

posted at 22:31:02

早作問でなければあまり問題はない

タグ：

posted at 22:31:25

違和感あるようなないような #パズル作家のペンネームを下から読んでも違和感ない説

タグ：パズル作家のペンネームを下から読んでも違和感ない説

posted at 22:57:14

いや違和感ある、名前が「げっしょ」になってしまう

タグ：

posted at 23:02:40

白岡市民(295) @Whitehill9

【#パズルカレンダー更新】
・5/19(火)21:00～22:00
　作問コンテスト(主催：にしなんとか(@ chebunanntoka2)さん)

パズルカレンダー：calendar.google.com/calendar/b/1/e...
パズルカレンダーの使い方：citizen-puzzle.hatenablog.com/entry/2019/05/...

タグ：

posted at 23:14:07

nonconsective sudokuのソルバーをcspuzを使って書いた。書いたけど、分からんということが分かった。画像は遊んでたらできた表出6個の問題。解こうとしちゃダメだぞ！絶対だぞ！！ pic.twitter.com/fNBhGIfmQG

タグ：

posted at 23:15:19

さすがにもう減らないかなぁ(全くわからん)

タグ：

posted at 23:17:23

ぱずすくに上げて

タグ：

posted at 23:17:46

お、cspuz の活用例だ

タグ：

posted at 23:21:44

詫びは概念

タグ：

posted at 23:22:42

表出5個はなさそうな雰囲気だけど

タグ：

posted at 23:24:02

そもそもこのパズルを解けるだけの理論を持ち合わせていないんですよね

タグ：

posted at 23:24:28

cspuzはかなり直感的に実装できるのでSATソルバとSugarを導入した人にはおすすめ。完全移植されたらもっと便利になりそう。

タグ：

posted at 23:25:41

理詰め増やしたけど当然のごとく太刀打ちできない

タグ：

posted at 23:25:42

詫びは解説放送とかでいいんじゃないかな

タグ：

posted at 23:26:34

実は今の cspuz は z3 バックエンドも選べてパズルによるけど割といい性能が出る(ものによってはいつまで経っても終わらないけど)ので、気軽に試したいならそっちもおすすめ

タグ：

posted at 23:27:55

z3 は pip で入れられるので Sugar よりい手軽

タグ：

posted at 23:28:44

@SP1_winter 自動生成機能は使ってますか(数独の例が github.com/semiexp/cspuz/... にあって一応ヒント数制限もできる)

タグ：

posted at 23:32:16

@semiexp 自動生成はまだ試してないですねー。やってみます。

タグ：

posted at 23:33:43

例の問題解こうとしたけど、マジで何も分からんな。。。

タグ：

posted at 23:35:56

バリアントルールいろいろブラウザ上で試せるのとか作ったら面白いかな

タグ：

posted at 23:36:51

3×3に入る組み合わせ全列挙がいいのかな(template deleteみたいなのを各ブロックでやる)

タグ：

posted at 23:36:59

理詰めの有無のほかにも、
2つ違いまで禁止ナンプレが全検可能なので人間に解けるけど、
1つ違いナンプレになると全検不可能になるので解けない、
みたいな話もあったり。

タグ：

posted at 23:37:22

同様に、表出0個のナンプレも制約が強くて検査する空間が小さいので解けうる。 twitter.com/wand_125/statu...

タグ：

posted at 23:39:16

12072

タグ：

posted at 23:39:29

表出6個は多いので解けない.......

タグ：

posted at 23:40:06

そういえば表出17数独は簡単になりがちっていうの、検証してないな......。
ヒントが強いんかな。

タグ：

posted at 23:41:43

nonconsective sudokuで、一つの箱の入れ方の場合の数です(回転・反転は同一視せず)。覚えておきましょう

タグ：

posted at 23:41:45

ヒント数が極端に少ないnon-con数独が見つかっても簡単になる気はしない......

タグ：

posted at 23:41:47

#パズル闇ラッシュ開催か？(ソルバー等ツール使用可、大いなる闇に立ち向かえ)

タグ：パズル闇ラッシュ

posted at 23:43:30

12072通り覚える必要があるな

タグ：

posted at 23:44:07

闇を自動生成するのはわりとできそうだけど自動生成できるならソルバー使えば一発なんだよな

タグ：

posted at 23:45:11

@SP1_winter ソルバーを書けって大会に…

タグ：

posted at 23:45:25

普通にパズルを題材にしたプロコンになりそう。それはそれで楽しそうだけど。

タグ：

posted at 23:45:44

ツール使用可無差別級パズルコンテストすごい。
ボスラッシュのぬりかべみたいなのが出題されて結局ソルバが死ぬやつ

タグ：

posted at 23:46:30

Fusionなんとかが出てきてcspuzでいち早く制約を書く回も見たい。

タグ：

posted at 23:47:34

ソルバーは大域手筋が苦手感ある(書いてないからわからんが)

タグ：

posted at 23:47:49

単にソルバーにかけるだけだといつまでも終わらないが理詰めで制約導いて付け加えるとすぐ解ける問題とか

タグ：

posted at 23:55:08