semiexp @semiexp

20年11月15日

C++ で Aqre 最小化書いてるけど答えが合わない

タグ：

posted at 00:15:29

semiexp @semiexp

20年11月15日

既知の最適値が無理という結果が出る…

タグ：

posted at 00:15:51

semiexp @semiexp

20年11月15日

ゲーッ、黒マス 4 連続を許すとより黒マス減らすらしい…

タグ：

posted at 00:23:43

焼きもうふ @pronter

20年11月15日

1×4マスの白黒塗り分けが全16通りあるなかの、全黒と全白の2通りを禁止形として黒マスひとつながりルールを付けたのがAqreなわけで。
では、禁止形を変えたときに、どういう変化が起きるだろう？　任意の形の禁止形を選べるなら、真っ白な盤面から非自明な唯一解が生まれたりするだろうか？

タグ：

posted at 00:28:15

白岡市民(295) @Whitehill9

20年11月15日

今週はなんやかんやで忙しかったので今日になってようやくトケタに手をつけ始めた

タグ：

posted at 00:34:44

semiexp @semiexp

20年11月15日

横方向は 4 連黒を禁止すると多少ましになるけど、それでも 9x9 が 32 とか言われる

タグ：

posted at 00:37:40

semiexp @semiexp

20年11月15日

黒の連続個数まじめに数えようとすると状態数が爆発するのでやりたくないんだよな

タグ：

posted at 00:38:40

semiexp @semiexp

20年11月15日

多分 10x10 くらいまでなら、DP で作ったテーブルをベースに探索を枝刈りすれば、正しい解だけ得られるはず…

タグ：

posted at 00:44:38

semiexp @semiexp

20年11月15日

これやるには途中経過全部メモリに載せる必要があって、単に最小求めるだけなら 2 回分で済むところの数十倍必要になるのでパソコンでは計算できなくなる

タグ：

posted at 00:51:59

semiexp @semiexp

20年11月15日

12x12 は多分 60 か 61 だと思います、プログラムにあまり自信がない

タグ：

posted at 01:27:55

ニチョ謎 @nichonazo

20年11月15日

おはようございます。本日お昼より #なげっぱ 開店です。
ウェル問25-3「一気に大漁」
魚群？魚群か！？とワクワクしちゃうタイトルですね。
問題は12時にBOOTHにも載せます。なげっぱに来ずともウェル問が解けますのでそちらもよろしくお願いします。
店頭ではトケタ最新作の扱いもありますよ！ pic.twitter.com/W4ExyMgPOo

タグ： なげっぱ

posted at 09:40:44

にしなんとか @chebunanntoka

20年11月15日

rhododendron(シャクナゲ)、何らかの多面体に見える。rhombohedron(ひし形平行六面体)というのがあった

タグ：

posted at 10:18:28

にしなんとか @chebunanntoka

20年11月15日

aqre minに黒4連禁の要素が関わらないってことは、それだけ斜めに黒く塗っていくのが強いということだし、「白タテヨコ禁+黒ナナメ禁」の方が複雑になるのかな

タグ：

posted at 10:59:13

にしなんとか @chebunanntoka

20年11月15日

縦3黒3でジグザグに黒く塗るなり縦1横2でジグザグに黒く塗るなりすれば良いだけの話だった

タグ：

posted at 11:00:45

まり餡 @agnomy

20年11月15日

つまり準Aqreの各4x4のブロックに対して、もし黒マスが7個入ればブロック内部で黒を連結にできるけど、
黒マスを1つ減らすごとに連結成分も1つずつ増やさざるを得ず、
ブロック上下左右にある辺同士の繋がりも1つずつ放棄せねばならなくなる。
これは画像のように模式化できる。（模式化できてる…？） pic.twitter.com/D9xYDhCnPK

タグ：

posted at 11:28:44

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

20年11月15日

昨日のヤジリン、生タイム12:42でした

タグ：

posted at 11:28:49

まり餡 @agnomy

20年11月15日

ゆえに、(準)Aqre in 4Nx4M には少なくとも黒マスが
7NM - (NM-N-M+1) = 6NM+N+M-1
個入る必要がある。
この下界は N=M の値が 3,4 の場合である引用ツイの構成と一致するので、これらの最小性が示された。
twitter.com/agnomy/status/...
twitter.com/agnomy/status/...
多分4の倍数以外にも拡張できるかな…

タグ：

posted at 11:54:52

volxa @volxa

20年11月15日

ぼるはちを解き始めたら、１問目から３回全消しした。劣化が半端ない。ある意味パワーアップしたとも言える。

タグ：

posted at 12:00:05

SP1 @SP1_winter

20年11月15日

4*4ブロックに注目するアイデアいいですね。n=8, 12, 16はこれでいけるのか。それ以上はもうちょっとロス出そうだけど(3/8<2/5なので)。

タグ：

posted at 14:10:21

わんど @wand_125

20年11月15日

baba is youと解き味が似てる。
完成度が高いし、
いくつかの組み合わせを試して突破したけど、
解き上がると力技じゃなくても行けたなーーってなるやつ。

タグ：

posted at 16:09:40

さやちぃ。"23 @88cyi

20年11月15日

volxaさんみたいな人が通っていった

タグ：

posted at 18:27:37

さやちぃ。"23 @88cyi

20年11月15日

って思った日本パズル選手権2018は2位だったでしょねぇ)

タグ：

posted at 18:30:19

にしなんとか @chebunanntoka

20年11月15日

語らなさ過ぎとは言えど、必要最低限よりは多いと思う。「あとは組み合せるだけ」と言われても組合せ方が分からない(せいぜい大ゲイマ・二間トビ程度)ので、組合せ方の具体例一覧を自分で作成したい、と「語り過ぎ」サイドとしては思う。へやわけ以外のパズルで順序よく一覧するのはかなり困難だけど

タグ：

posted at 20:52:18

にしなんとか @chebunanntoka

20年11月15日

なんか寿司職人みたいだな。

タグ：

posted at 21:48:00

非公開

タグ：

posted at xx:xx:xx

volxa @volxa

20年11月15日

何度か休憩をはさみつつ、Slovak Sumsを1問以外解いた。残り1問はやる気と余裕がある時に。

タグ：

posted at 21:50:33

volxa @volxa

20年11月15日

ぼるはちって言うと逆転裁判４が思い出される。

タグ：

posted at 21:52:18

にしなんとか @chebunanntoka

20年11月15日

解きかけのぬりみさきのデータ消しとこう

タグ：

posted at 21:55:08

にしなんとか @chebunanntoka

20年11月15日

最近伊香湾さんという作者のぱずすくの問題が軒並み解けなくててごわさを感じてる

タグ：

posted at 21:55:53

非公開

タグ：

posted at xx:xx:xx

広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi

20年11月15日

トケタ消しゴム問題の攻略って、ひっくるめて書くと…。場合分けしやすいところをなんとか探して、がんばって端から可能性を検討していく、ってなってしまうのかなあ。

タグ：

posted at 22:49:19

時計家 @tokeiya1131

20年11月15日

@melvy_puz 達人まめ

タグ：

posted at 22:52:21

めるーめるん @melvy_puz

20年11月15日

@tokeiya1131 よくずんだになっているので一般珈琲

タグ：

posted at 23:09:44

広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi

20年11月15日

公式みたいなのが提示されたときに、ただそれを覚えるだけのひとと、なぜそうなるのか考えようとするひとと。

タグ：

posted at 23:13:32

Tad Komori @pawakun

20年11月15日

ましゅの内外だってあんなに大量に投稿してもよう分からんみたいな感じやったやんか、くらいは言いたい

タグ：

posted at 23:33:02

広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi

20年11月15日

1×1黒どこ

タグ：

posted at 23:37:58