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

MiniSat v1.12 ではまだ non-clause constraint 対応しているんだけどこれ最新版よりだいぶ遅いのでそのままだと使いづらい…

タグ：

posted at 23:32:42

非公開

タグ：

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

@pawakun 投票者の使う文字が全表出されている、なるほど（分からん）

タグ：

posted at 22:51:52

さやちぃ。"23 @88cyi

親切なStatue Park

タグ：

posted at 22:51:44

@Xana_uzzle 投票者()

タグ：

posted at 22:51:21

@made_puzzle700 親切な人は親切なパズルを推薦するのかー

タグ：

posted at 22:51:07

@pawakun 何の……？

タグ：

posted at 22:50:38

非公開

タグ：

posted at xx:xx:xx

@Xana_uzzle 使う文字？

タグ：

posted at 22:49:47

@made_puzzle700 親切だ！

タグ：

posted at 22:49:14

@pawakun 何が……？

タグ：

posted at 22:49:06

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@Xana_uzzle つまり全表出されている…

タグ：

posted at 22:42:57

←たいへんおてごろおてごろを推薦する親切な投票者（パズル界での「親切な」は親切とは限らない）

タグ：

posted at 22:35:49

しもりん@ペンパ(19/8/9) @simorin_puzzle

パズスクオブザイヤー投稿完了

タグ：

posted at 22:34:11

パズスクオブザイヤーはハバネロ３問推薦しましたごめんなさい。でも、他の人とあまり被っていないはず(解答登録者数合計が14)

タグ：

posted at 22:26:12

gori.sh/aoki/140ｺﾛﾆｰ @gori_sh

自分も1問くらい自薦しようかな

タグ：

posted at 22:06:37

非公開

タグ：

posted at xx:xx:xx

解いた。これはTwitter向けだｗｗｗ twitter.com/USBe6/status/1...

タグ：

posted at 21:56:06

@pawakun そうですね、「1問はここから選ぼう」みたいなのは一応あります

タグ：

posted at 21:53:24

@Xana_uzzle 印象に強く残っているやつを探し出す作業

タグ：

posted at 21:51:52

パズスクオブザイヤー用にいいねリストを見返そうとしたら2224件もいいねしてて詰んだ（2問に1問いいねしてるらしい）

タグ：

posted at 21:50:14

と言いつつ何も進んでないので一生完成しない気がしてきた

タグ：

posted at 21:36:01

スターバトル、すぐハタンする

タグ：

posted at 21:05:22

#えすきゅんこれといて
 twitter.com/pawakun/status...
twitter.com/pawakun/status...

タグ：えすきゅんこれといて

posted at 21:05:00

そのあと進捗は0.1くらいです

タグ：

posted at 21:01:26

@puzzle_pencil でもなーその先がなあ

タグ：

posted at 20:34:14

とりあえず一手目を見つけた

タグ：

posted at 20:31:42

ウサミンスターバトル印刷した。とりあえず何もわからん♪

タグ：

posted at 20:25:25

Geradewegは個々のヒントが強いので試した方が速いことが多いけど、なんか知らない理詰めが隠れていそうな気がする。特に「特定の1*3マスで両方は引けない」という状況によく出くわすので、それを活かせないかなと思う。

タグ：

posted at 20:24:16

@puzzle_pencil ボケ

タグ：

posted at 20:21:13

Goto trouble

タグ：

posted at 20:13:51

ひさびさにGeradewegガチャで遊んだ。楽しい。良かった問題をいくつか。
puzz.link/p?geradeweg/10... (lv.28)
puzz.link/p?geradeweg/10... (lv.29)
puzz.link/p?geradeweg/10... (lv.34)

タグ：

posted at 20:08:48

そういえば線引いてスターバトル解くのは手が止まるような難しい問題だと若干メリットが薄れそうだなって思ってる

タグ：

posted at 19:44:29

deu @charmychachacha

会社の長い会議、競プロの考察に向いてることを改めて今日感じた

タグ：

posted at 19:35:33

@puzzle_pencil なるほど……
長期的にはそれに慣れるのが良いのかもですね

タグ：

posted at 19:34:35

@puzzle_pencil ゆーてsarcasmは通じるでしょっていう慢心で書いた

タグ：

posted at 19:13:57

と書いたものの、結構その時の気分かも。二択を線でマークするので、それと混同しなければ何でもよい。重たい問題だったら見やすさや仮定も考慮して○×にしてると思う。

タグ：

posted at 19:12:18

しもりん@ペンパ(19/8/9) @simorin_puzzle

スターバトルの記号は、星は○で書いて空白マスは素直に×をつけてる。・にしてた時期もあったが、ぐりぐりしててあんまり効率出てないと気付いてからは×に戻した。仮定のときに△と・を使ってる。

タグ：

posted at 19:08:52

@pawakun あまり浅くない先読みをたくさん入れて、道の細い理詰めで作ればそれっぽくなるよ。ハバネロのマックロみたいな感じ

タグ：

posted at 19:05:40

さすがに自重した pic.twitter.com/FhXgPqhZoX

タグ：

posted at 18:57:48

非公開

タグ：

posted at xx:xx:xx

@simorin_puzzle きっっつ

タグ：

posted at 18:53:29

@puzzle_pencil 線って星の周りを四角く囲ったり、用済みの行を一気に線で消したりする方法ですかね
慣れれば圧倒的に早そうだなとは思ってます

タグ：

posted at 18:53:22

空白マスを塗る解き方だと完成盤面が夜空の星みたいになるのでありと言えばあり（案外点をひとつずつ打つより早いかもしれない）

タグ：

posted at 18:51:25

しもりん@ペンパ(19/8/9) @simorin_puzzle

点を打つ方法の欠点として点をしっかり打たないと空白マスと見間違えてしまうというのがある

タグ：

posted at 18:50:04

@pawakun 目標の8割くらいヒントを置いて全検
唯一解になるように残りのヒントを調整

タグ：

posted at 18:49:45

@ark184 塗ると時間かかりそうですが、星を小さめに書いて黒っぽくする（密度を高くする）のはありかもですね。

タグ：

posted at 18:49:19

非公開

タグ：

posted at xx:xx:xx

inner coral実装されないかな数えミス怖すぎるんだけど

タグ：

posted at 18:47:39

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@pawakun 一周回ってそこに落ち着くような気がしてきました

タグ：

posted at 18:44:49

@Xana_uzzle 点

タグ：

posted at 18:41:12

非公開

タグ：

posted at xx:xx:xx

トケタは武器や防具としても優秀。

タグ：

posted at 18:35:49

マスによって印の大きさがまちまちになるのであまり良くなかった

タグ：

posted at 18:33:16

点と斜線を足して2で割ったような印が良いのかな

タグ：

posted at 18:31:03

試しに軽く塗ってみたけど時間かかる

タグ：

posted at 18:30:29

スターバトルで星が入らないマスにつける印、何が最適なのかいまだにつかめてない（ちょっと前まで斜線引いてたけど星とマスの密度が近くてちょっと危うい気がした）

タグ：

posted at 18:29:57

トケタvol.7のスターバトル、解いてない問題も多いので手をつける

タグ：

posted at 18:25:08

夏の訪れ。夏にテヌート。

タグ：

posted at 18:21:08

今年もそろそろ夏が終わってほしい。

タグ：

posted at 18:03:24

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

記憶除去装置さえあれば、1問のパズルだけで一生楽しく暮らせるのに？

タグ：

posted at 14:48:04

@wand_125 待って、そんなにお金ないです

タグ：

posted at 14:12:03

試行錯誤系のなげなわが作れない…無理……

タグ：

posted at 13:54:38

pzv.jp/p.html?heyawak...
試行錯誤系っぽいへやわけ

タグ：

posted at 13:36:10

pzv.jp/p.html?mashu/1...
とりあえず試行錯誤系っぽいましゅ(理詰めないよね？？あったら教えてほしい)

タグ：

posted at 13:20:34

わんど @wand_125

@homerestaurant3 いま試したらこれが95.8sでした

twitter.com/buyaketa/statu...

タグ：

posted at 13:19:39

(一番最初に作ったましゅ仮定しまくってたから消しゴム難易度だった気が)

タグ：

posted at 13:05:09

消しゴム難易度作れる人すごい

タグ：

posted at 13:04:08

これなのかなぁ

タグ：

posted at 13:03:04

ペンシルパズルソルバーを発注すると数十〜数百万くらいは消し飛ばせそう

タグ：

posted at 12:58:58

最近はLunaシリーズのゲームプレイ動画をBGMにしていたけど、そういえばこれのキャラデザも窪岡さんだ。たしかに青髪で歌がうまいひとが出てくる（？）

タグ：

posted at 12:52:33

非公開

タグ：

posted at xx:xx:xx

紅茶ラッテには「お」は付いていなかったような…？

タグ：

posted at 12:42:15

ちょっと缶詰めでした。牛乳屋さんのお抹茶ラッテおいしい。

タグ：

posted at 12:41:44

作り方、募集中です

タグ：

posted at 12:32:46

試行錯誤系のパズルの作り方(試行錯誤するしかなさそう)

タグ：

posted at 12:31:20

めるーめるん @melvy_puz

考えてみたらペンパ本はいきなりどれだけ買ってきても家計を圧迫はせんな．なんか異常に安いんだよな．どちらかというと家のスペースを食う効果の方が大きいくらい

タグ：

posted at 12:12:36

非公開

タグ：

posted at xx:xx:xx

@pots_orange なるほど、確かに難易度を抑えた方が解く人は増えそうですねー
商業誌向けに作るか、Twitterで出すかの違いのひとつかもしれません

タグ：

posted at 08:51:01

ぽっつ @pots_orange

@Xana_uzzle ナンリンスーパージャイアントは難度上げすぎるとチェック大変なのでホドホドにお願いしますって依頼される(なので比較的難度低め(でも解こうって思ってくれる人が多くなって欲しいので結果的にそれで良かったと思う

タグ：

posted at 07:26:18

非公開

タグ：

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

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

残り93件のツイートを見る

非公開

タグ：

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

非公開

タグ：

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

個数制約 SAT に帰着せず直接処理するようにしたら速くなるんかな

タグ：

posted at 02:24:47

パズルの理詰めの理を発見するのめっちゃ楽しいな

タグ：

posted at 02:24:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

グラフ制約自体けっこう複雑なので、最初は練習の意味でも count 制約とかから書いてみるかな

タグ：

posted at 01:55:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

MiniSat 論文読んでると普通に追加制約増やせそうに見えてくるけど実際の MiniSat のコードを見るとそこまで簡単ではなさそう

タグ：

posted at 01:48:23

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

utime @utime1204

そういえば先日の全探索パズル、ソルバーが13秒で解いたらしいですが、単純計算で計算量が結構はち切れてそうな気がしてて、satソルバーが偉いのか計算量見積もりが下手なのかという気分。

タグ：

posted at 01:33:17

非公開

タグ：

posted at xx:xx:xx

(ボスラッシュの後でよかったですね皆さん)

タグ：

posted at 01:31:13

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あ、inner coralが面白くなってきた(何か見つけた)

タグ：

posted at 01:26:07

非公開

タグ：

posted at xx:xx:xx

SAT ソルバーで連結性扱う場合は propagate の過程でカットを求める必要があって、平面グラフならいいけど一般のグラフだと面倒だな

タグ：

posted at 01:23:16

非公開

タグ：

posted at xx:xx:xx

@pleiades_puz 4+iと4-iに

タグ：

posted at 01:21:59

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

めるーめるん @melvy_puz

なぜかこっちのTLが弐寺したい流れに（したいです）

タグ：

posted at 01:14:06

非公開

タグ：

posted at xx:xx:xx

個人情報とか感情とかが隠匿されているので、何をしていたのか傍目にはわからなさすぎる。パズルだけやってる人になってる。

タグ：

posted at 01:09:16

著しく個人の情報を隠しているな。忍者かなんかか？

タグ：

posted at 01:04:51

巨大パズルを作るとしてもきらら記事の後

タグ：

posted at 01:03:38

なんか思い出したので twitter.com/pawakun/status...

タグ：

posted at 01:02:51

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

巨大パズル、自分が作るならそれに見合った難易度が欲しいなと思ってしまう人なので作成ハードルが上がる

タグ：

posted at 01:01:25

アレを解いた周辺の自分のつぶやきを何となく眺めていたが、あの時期確かメンタル終わっていたはずなのにその様子を全く隠してパズルばっかりしていて、なんやこいつってなった

タグ：

posted at 00:59:30

inner coralだと7638が1マスで表出できますね？？？？

タグ：

posted at 00:58:37

今のうちに7638表出の何かを貯めておかないと

タグ：

posted at 00:58:08

違います

タグ：

posted at 00:57:23

恋する☆宇宙戦争っ！！？

タグ：

posted at 00:57:14

明日の夜は記事を書こう

タグ：

posted at 00:57:12

非公開

タグ：

posted at xx:xx:xx

恋する惑星大戦を作るとスターバトルに強くなる（ならない）

タグ：

posted at 00:56:14

gori.sh/aoki/140ｺﾛﾆｰ @gori_sh

女性をFairyに見立てるのは英語では1590年にはやってた(エドマンド・スペンサー)っぽいので、通じそう
en.wikipedia.org/wiki/The_Faeri...

タグ：

posted at 00:52:43

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ヘルゴルフ（変種ルール）
puzsq.sakura.ne.jp/main/puzzle_pl...

タグ：

posted at 00:47:39

スターバトル、普通に星3つでも意味がわからないので7つが解けるわけがない

タグ：

posted at 00:47:37

非公開

タグ：

posted at xx:xx:xx

Can you be the third?は流石に草

タグ：

posted at 00:45:17

非公開

タグ：

posted at xx:xx:xx

え、inner coral例題出したよね

タグ：

posted at 00:39:04

非公開

タグ：

posted at xx:xx:xx

ほれ。みんなやろう！

タグ：

posted at 00:35:39

寝れない時に重たいパズルやりすぎでは？

タグ：

posted at 00:33:04

時間どれくらいかかったんだっけ？寝れなくて初めて朝になったらできてた覚えしかない

タグ：

posted at 00:32:32

あれ、やってみると意外できるとの噂なので、みんなやろう！

タグ：

posted at 00:31:22

非公開

タグ：

posted at xx:xx:xx

これはドヤる僕 pic.twitter.com/xDzf0uSsOt

タグ：

posted at 00:29:50

"As far as I know, that 7 Star starbattle is only solved by 2 people so far, me and Takuma (from Castle Wall vid). Can you be the third?"じゃあないんだよ

タグ：

posted at 00:29:32

非公開

タグ：

posted at xx:xx:xx

7638問を紹介するならいっぱい候補があっていいね

タグ：

posted at 00:24:24

めるーめるん @melvy_puz

LMIダンダダン

タグ：

posted at 00:22:11

とりあえずなんかジャンルが追加されてたので投稿してみた

タグ：

posted at 00:21:31

さやちぃ。"23 @88cyi

鋭直鈍ゴルフ

タグ：

posted at 00:20:57

coral作ったことないんだよなぁ(解いたことあるか怪しいレベル)

タグ：

posted at 00:20:46

Inner Coralの厄介なところは「Coralであることを忘れる」だと思ってる

タグ：

posted at 00:19:48

さやちぃ。"23 @88cyi

外国人に語呂合わせって通じるの……？

タグ：

posted at 00:19:47

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

他にも「日本のポップカルチャーがいかに(パズル界に)浸透しているかがわかる」みたいなコメントも。違うううそうじゃないいい

タグ：

posted at 00:12:29

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

山本達也 @PuzzleYamamoto

@Monk1_3110 いや、理詰めっちゃあ理詰めか？
最近その境目が溶けてるので。。

タグ：

posted at 00:07:29

これはSimonが解説してないのに元ネタに自分で気づいて解説してくれる視聴者 pic.twitter.com/mgz1fhI062

タグ：

posted at 00:07:00

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx