Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

枝豆

@ek_bm

  • いいね数 318,604/239,302
  • フォロー 428 フォロワー 553 ツイート 5,744
  • 現在地
Favolog ホーム » @ek_bm » 2019年12月01日
並び順 : 新→古 | 古→新

2019年12月01日(日)

deu @charmychachacha

19年12月1日

黄色になったらAGC042のページに参加登録ボタンが生えた!

タグ:

posted at 23:59:58

semiexp @semiexp

19年12月1日

MiniSAT ベースの簡易 CSP ソルバーがあって,あれを作った目的がぬりかべとかを SAT ソルバーで解かせるためだったと記憶しているが,ぬりかべソルバーのほうが出てこない

タグ:

posted at 23:59:25

semiexp @semiexp

19年12月1日

スリザーリンクを SAT で解くのはコードまで残ってたし JOI の講義で話したこともある

タグ:

posted at 23:57:23

SP1 @SP1_winter

19年12月1日

@charmychachacha いやいや精進のおかげだとおもいます!ぼくも追いつけるように頑張りたいですねー

タグ:

posted at 23:56:57

semiexp @semiexp

19年12月1日

あれ,ぬりかべは気のせいだったかな(まったく見つからない…)

タグ:

posted at 23:56:14

deu @charmychachacha

19年12月1日

@made_puzzle700 いえーい。ありがとう!

タグ:

posted at 23:56:13

deu @charmychachacha

19年12月1日

@SP1_winter ありがとうございます!!!(算数セットに感謝なのです)

タグ:

posted at 23:55:46

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年12月1日

@puzzle_pencil や、ごめんてきとうだったw ま衆人環視だとモチベになるかなって

タグ:

posted at 23:54:32

初月葉桜(10887) @Xana_uzzle

19年12月1日

補足ですが細切れに分けてやって合計した時間です(8時間続けては厳しい)

タグ:

posted at 23:53:58

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

deu @charmychachacha

19年12月1日

橙って自分に到達可能なレベルなんだろうか。頑張るしかねえ

タグ:

posted at 23:52:00

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

semiexp @semiexp

19年12月1日

はずなんだけど,どこやったっけ…

タグ:

posted at 23:44:10

TokusiN @toku51n

19年12月1日

@semiexp 連結系の制約はSATソルバーに落とし込むのが難しそう・・・

タグ:

posted at 23:44:10

semiexp @semiexp

19年12月1日

ぬりかべ SAT ソルバーで解くのは昔やったことがある

タグ:

posted at 23:43:19

SP1 @SP1_winter

19年12月1日

頑張れば一日で終わりそうだけど、一生ハタンしそう...

タグ:

posted at 23:42:18

semiexp @semiexp

19年12月1日

SAT に多項式時間帰着できなさそうなのは計算量的に難しいの (PSPACE 完全,倉庫番とか) とそもそも論理的な帰着が困難なもの (クロスワードとか) があって後者のほうばかり意識していた

タグ:

posted at 23:41:43

SP1 @SP1_winter

19年12月1日

「108合体ナンプレRTA」という電波を受信

タグ:

posted at 23:41:24

semiexp @semiexp

19年12月1日

@toku51n 指摘ありがとうございます

タグ:

posted at 23:38:20

めるーめるん @melvy_puz

19年12月1日

coffee_beansさんの三井住友信託銀行プログラミングコンテスト2019での成績:439位
パフォーマンス:1760相当
レーティング:1411→1451 (+40) :)
Highestを更新しました!
#AtCoder atcoder.jp/users/coffee_b...
算数は良い文明ヾ(め_る)ノ

タグ: AtCoder

posted at 23:36:50

SP1 @SP1_winter

19年12月1日

色が変わったんで記事待機だな!?

タグ:

posted at 23:36:44

deu @charmychachacha

19年12月1日

ちがう、男色じゃない…

タグ:

posted at 23:36:04

TokusiN @toku51n

19年12月1日

@semiexp 多項式時間で、が抜けています。倉庫番はSATでは不可能。

タグ:

posted at 23:35:18

SP1 @SP1_winter

19年12月1日

@charmychachacha おめでとうございます!!!

タグ:

posted at 23:35:02

SP1 @SP1_winter

19年12月1日

万能ではあるらしいが、効率でって意味でした。

タグ:

posted at 23:34:39

deu @charmychachacha

19年12月1日

男色コーダーの仲間入り!嬉しいのです! pic.twitter.com/Of7vuoSKyv

タグ:

posted at 23:34:30

semiexp @semiexp

19年12月1日

連結性も SAT に帰着できるんだけど変数の個数が 2 乗になるなどがよく起きる

タグ:

posted at 23:33:59

semiexp @semiexp

19年12月1日

SAT は NP 完全なので論理的に正解判定ができるパズルは基本的に SAT に帰着して解けるはず

タグ:

posted at 23:32:22

deu @charmychachacha

19年12月1日

銀行コン40分全完で、ついに黄色になりました!初めて1900に乗ってから4ヶ月半。長かった…。

タグ:

posted at 23:32:16

deu @charmychachacha

19年12月1日

zundamochi_1117さんの三井住友信託銀行プログラミングコンテスト2019での成績:76位
パフォーマンス:2400相当
レーティング:1947→2002 (+55) :)
Highestを更新し、初段になりました!
#AtCoder atcoder.jp/users/zundamoc...

タグ: AtCoder

posted at 23:31:46

初月葉桜(10887) @Xana_uzzle

19年12月1日

でっち上げ大会、結局ルール投稿できずじまいだった
今から結果を見てみる

タグ:

posted at 23:29:05

SP1 @SP1_winter

19年12月1日

まSATソルバーくんが万能というわけでもないか。他のプログラミングの方法の一般論を知らんので困ってるけど...全探索と枝刈りとかどうやるんだろうね。

タグ:

posted at 23:29:03

SP1 @SP1_winter

19年12月1日

単一配置でお願いします。複数配置は形状記憶が闇。

タグ:

posted at 23:27:46

SP1 @SP1_winter

19年12月1日

あと、領域分割系はマジでどうしようもなさそう。線を管理するんかな、でも領域の連結性とかあるし、どうしたもんかね。四角に切れのように、配置系とみなすのが精いっぱいかなぁ。シンプルブロックパズルとか解けたらいいのにね。

タグ:

posted at 23:27:09

SP1 @SP1_winter

19年12月1日

SATソルバーくん、数字系以外だとマインスイーパーなど配置系にはかなり強そう。「置くか置くか」の二択で、局所的ヒントが与えられてるものは、自然に書けそう。

タグ:

posted at 23:25:05

SP1 @SP1_winter

19年12月1日

お絵かきロジックが使えたりしないかなぁ

タグ:

posted at 23:23:23

SP1 @SP1_winter

19年12月1日

一方、黒どこも似たような操作が必要だけど、こっちは黒マスを置いてから長さをカウントする必要がので、どうやって論理式に表せばいいのか全然わからなかった。

タグ:

posted at 23:21:16

初月葉桜(10887) @Xana_uzzle

19年12月1日

まだ片面と超上級が残ってる

タグ:

posted at 23:20:35

初月葉桜(10887) @Xana_uzzle

19年12月1日

ついに完成しました
総時間500分くらいでした

タグ:

posted at 23:20:21

SP1 @SP1_winter

19年12月1日

そーいえば、美術館のSATソルバーを書こうってなったとき、行と列で自分から見える場所を調べて論理式にする必要があって、「あ、これ競プロで見たやつだ!」ってなった。

タグ:

posted at 23:20:02

deu @charmychachacha

19年12月1日

Eは嘘つきがいる場合にも矛盾しないように考えて実装したな

タグ:

posted at 23:16:15

deu @charmychachacha

19年12月1日

zundamochi_1117's replay of 三井住友信託銀行プログラミングコンテスト2019

最大瞬間風速は 76位 (40:24, sumitb2019_f AC) だよ!
atcoder-replay.kakira.dev
#AtCoder_Replay pic.twitter.com/NYK44YxIgB

タグ: AtCoder_Replay

posted at 23:03:21

deu @charmychachacha

19年12月1日

今回は誤答の回数が相当順位にひびいているな…

タグ:

posted at 23:00:31

deu @charmychachacha

19年12月1日

今日はにぶたんを意識するまでもなく全完できたのでよかった

タグ:

posted at 22:45:13

deu @charmychachacha

19年12月1日

家庭内12完を達成した

タグ:

posted at 22:44:16

めるーめるん @melvy_puz

19年12月1日

三井住友信託銀行2019 A-F #めるAC #める1日1AC
わーい全完だー.圧倒的算数w 四谷大塚で見たw

タグ: める1日1AC めるAC

posted at 22:43:47

deu @charmychachacha

19年12月1日

C 個数決め打ち全探索
D 本質的にはこれが一番難しく感じた。各数字の累積個数を両側から持っておいて,中央の文字を全探索
E 左からかけ算
F 中学入試の算数っぽさ。1周期での差に注目して割り算

タグ:

posted at 22:43:00

deu @charmychachacha

19年12月1日

TL見てると無限人全完してるな

タグ:

posted at 22:35:40

deu @charmychachacha

19年12月1日

ノーペナrated10位確定

タグ:

posted at 21:44:02

deu @charmychachacha

19年12月1日

全完致した

タグ:

posted at 21:43:22

初月葉桜(10887) @Xana_uzzle

19年12月1日

もう1問作成

タグ:

posted at 21:42:04

初月葉桜(10887) @Xana_uzzle

19年12月1日

パズルリーグの問題を1問作って満足してる

タグ:

posted at 21:22:58

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

deu @charmychachacha

19年12月1日

しかしにぶたん知ったのちょうど昨年の今頃だったな。懐かしい

タグ:

posted at 20:59:21

非公開

タグ:

posted at xx:xx:xx

deu @charmychachacha

19年12月1日

銀行コンいくぞ!目指せ全完

タグ:

posted at 20:57:08

SP1 @SP1_winter

19年12月1日

ところで、HPLでサンプルの動画が送られてけど、序盤の図形を見て「オイオイ読まれたぞ」ってなってました

タグ:

posted at 20:55:35

日本パズル連盟 WPC体験会8/26開催 @jppuzzles

19年12月1日

#日本パズル選手権 2019 懇親会パズル Q9】

今回の問題の制限時間は30秒です。解答は明日発表予定。 pic.twitter.com/2srXItpPS8

タグ: 日本パズル選手権

posted at 20:54:09

日本パズル連盟 WPC体験会8/26開催 @jppuzzles

19年12月1日

【解答】

Q8の答えは「③4」。
できる熟語は「親密(しんみつ)」。

タグ:

posted at 20:52:07

deu @charmychachacha

19年12月1日

迷ったらにぶたん!(素振り)迷ったらにぶたん!(素振り)

タグ:

posted at 20:51:43

deu @charmychachacha

19年12月1日

@k_pan_opt Lighthousesに1票

タグ:

posted at 20:49:05

volxa @volxa

19年12月1日

@k_pan_opt バッグに一票

タグ:

posted at 20:45:53

めるーめるん @melvy_puz

19年12月1日

使用可能なプログラミング言語などないがってなるやつ(今日の)

タグ:

posted at 20:34:52

Tad Komori @pawakun

19年12月1日

@QatSimorin @k_pan_opt 完全に見落としてた

タグ:

posted at 19:49:18

とくちゃん@都道 @Jihad_Survivor

19年12月1日

同じゲームなのに、カウボーイ、職人、技師それぞれに異なった奥深さがある。毎回自然と頭の違う部分を使っている感覚。GWTは本当に、リプレイ性の高い名作重ゲーだと思います!!

タグ:

posted at 19:42:10

とくちゃん@都道 @Jihad_Survivor

19年12月1日

GWT楽しすぎ!!!

タグ:

posted at 19:37:40

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

エクトぷらずま @Ecto__PLASMA

19年12月1日

@pawakun ぬりかべ-連結-2x2禁
つまり、ヒント以外全部塗る

タグ:

posted at 18:49:44

非公開

タグ:

posted at xx:xx:xx

Tad Komori @pawakun

19年12月1日

lakesのルールなんだっけ

タグ:

posted at 18:47:49

Tad Komori @pawakun

19年12月1日

@k_pan_opt モチコロってシマの大きさじゃないの?ぬりかべ同様

タグ:

posted at 18:47:15

エクトぷらずま @Ecto__PLASMA

19年12月1日

@k_pan_opt Lakes (定番度がわかんない)

タグ:

posted at 18:47:13

非公開

タグ:

posted at xx:xx:xx

Tad Komori @pawakun

19年12月1日

@k_pan_opt モチコロ…?

タグ:

posted at 18:33:43

山本達也 @PuzzleYamamoto

19年12月1日

そういえば、私とあの御方の頭の中はこんならしい。 pic.twitter.com/DxK9m4nNFQ

タグ:

posted at 18:29:32

非公開

タグ:

posted at xx:xx:xx

初月葉桜(10887) @Xana_uzzle

19年12月1日

LG2セット4に行ってしまおうか

タグ:

posted at 17:56:24

稲葉直貴(パズル作家) @puzlab

19年12月1日

ダブルポジションってどういうルールでしたっけ。

タグ:

posted at 16:33:27

にしなんとか @chebunanntoka

19年12月1日

今見るとこれ(遷移行列の自動生成)いける気がする。各状態の黒マスに、それが属する連結部分ごとに連結番号をつけておく。n+1行目を左から順に見て、黒マスの左上と右上が同じ連結番号なら不可、異なる連結番号なら左上の連結番号を受け継いで右上を書き換える。終わったら左から連結番号を振り直す。

タグ:

posted at 16:18:28

アイ @tigereye_werewe

19年12月1日

【急募】解きチェック

どなたか!お願いします!!

タグ:

posted at 15:40:32

わんど @wand_125

19年12月1日

11020パターンが漏れてる、23パターンかな

タグ:

posted at 15:12:12

SP1 @SP1_winter

19年12月1日

連結成分で見た方が分かりやすいか

タグ:

posted at 15:11:09

わんど @wand_125

19年12月1日

へやわけDPについては、
横5マスの黒マスと分断状態が下記の22パターンになり、
次の行として許される状態は、一つ上の行から決まる、
かな。 pic.twitter.com/LS1OZENnp7

タグ:

posted at 15:07:58

SP1 @SP1_winter

19年12月1日

角を考えるとして、辺の影響は、最初の連結成分と、1の側の遷移が何本か消える、というもの。

タグ:

posted at 15:00:49

SP1 @SP1_winter

19年12月1日

へやわけのDPでの分断禁の扱いが気になったけど、「同一連結成分のものが黒マスで引っ付かない」でいいのかな。ただ辺に注意しないとだめなのね。

タグ:

posted at 14:47:46

SP1 @SP1_winter

19年12月1日

@wand_125 日本語誤読マンでした、すんませんね...Sugarのサイトで公開されてないんですかねぇ

タグ:

posted at 13:43:18

わんど @wand_125

19年12月1日

@SP1_winter (iSugarが)何かしらの(ソースが公開されるタイプの)コンテストに出ていたらそこからダウンロードできるかも
と思ったのですが、
学会系で論文やポスターを公開するタイプのコンテストだったのでなかったです。(上記URLがその論文かな)

www.sig-sldm.org/designcontest....

タグ:

posted at 13:38:34

SP1 @SP1_winter

19年12月1日

早めに枠取っておいてよかったね。自分のは軽い前菜盛り合わせみたいなのなんで...

タグ:

posted at 13:37:24

SP1 @SP1_winter

19年12月1日

なんかアドベントの記事が全部メインディッシュに見えてきた。コース料理なら胸焼けしそう。

タグ:

posted at 13:36:26

SP1 @SP1_winter

19年12月1日

@chebunanntoka 現状だとやっぱりしまをつぶすことになりそうだけど、余裕値が線形に減ってるのがかなりヤバい。別の議論が使えるか、もはや人間の手には負えないのか。どうしたもんかねぇ...

タグ:

posted at 13:35:19

SP1 @SP1_winter

19年12月1日

@wand_125 むえー、パズルの作問のためにSATコンテストに出るの、ハードルが高すぎる...まあしかし気になりますね。自分はまだそこまでの知識が足りてないですが。

タグ:

posted at 13:32:53

SP1 @SP1_winter

19年12月1日

なんかこの辺のゲームは定理で周期性が保証されていたような、関係ないかもだけど

タグ:

posted at 13:30:56

わんど @wand_125

19年12月1日

@SP1_winter これのやつですね
www.jstage.jst.go.jp/article/jssst/...
解列挙や制約微調整(≒作問向き)に使えそうで気になってるのですが、
iSugarは公開されてなさそう。
コンテストに出てたらそこからダウンロードできるかも?

タグ:

posted at 13:30:05

にしなんとか @chebunanntoka

19年12月1日

@SP1_winter 後者だとは思う。構成の話が広がりを見せたんだけど、逆に上から押さえる手段が足りていない状態。

タグ:

posted at 13:29:40

SP1 @SP1_winter

19年12月1日

Dawson's Kayles(って名前なの今知った)に通ずるものを感じる。fibonacci-freak.hatenablog.com/entry/2017/09/...

タグ:

posted at 13:29:34

SP1 @SP1_winter

19年12月1日

@chebunanntoka 後者と予想してるけどどうなんだろう。周期16はたぶん縦5から来てるだろうけど、縦の長さを変えたらどうなるか、とかまだまだ興味は尽きない...

タグ:

posted at 13:26:21

にしなんとか @chebunanntoka

19年12月1日

しまつぶしの余裕値が減っているのが、「5x1000で法則が乱れる」になるのか、「壁の長さが余裕値を削ってる」になるのか、すら分からん

タグ:

posted at 13:24:05

わんど @wand_125

19年12月1日

DPによる探索なので、そのまま周期16の証明までできる可能性も高そう

タグ:

posted at 13:23:23

にしなんとか @chebunanntoka

19年12月1日

DP実装の話、唯一解の具体的構築、その応用、は書くつもりなのでまだたくさんある。最大性や唯一性も示せたら嬉しい

タグ:

posted at 13:22:18

SP1 @SP1_winter

19年12月1日

Sugar+iSL、ここ数年前にできたんかい。一般人にも遊べるのかねこれ。

タグ:

posted at 13:21:40

SP1 @SP1_winter

19年12月1日

いままでへやわけは強い人・調べてる人がわりとたくさんいて、その人たちに聞けばいいかって敬遠してたけど、そろそろ真面目に考察せんとな...

タグ:

posted at 13:19:51

SP1 @SP1_winter

19年12月1日

さすがにDP使ってそうだけどね、逆算もできるだろうし。縦5なら結構長くまで解けそうだし。

タグ:

posted at 13:18:39

SP1 @SP1_winter

19年12月1日

29 in 5*16edgeをええ感じで付け加える方法が見つかったってことなんかね、すさまじい執念...

タグ:

posted at 13:17:20

SP1 @SP1_winter

19年12月1日

サイズが16増えるごとにしまつぶしの余裕値が1減ってるのが気になるな。減るにしても不思議な減り方な気がする。

タグ:

posted at 13:15:07

わんど @wand_125

19年12月1日

2003年にへやわけMXの概念が生まれて、
2019年の今、角の5 x nのMXの周期が16である予想が立ってるの面白いなー、
歴史が動いてる(?)

タグ:

posted at 13:13:47

SP1 @SP1_winter

19年12月1日

アドベント先取りさせててすまんなぁという気持ちになってる

タグ:

posted at 13:13:39

SP1 @SP1_winter

19年12月1日

MX(5,n)を実現する配置がところどころ唯一解になるのウケるなぁ、ほんまかいな

タグ:

posted at 12:59:55

SP1 @SP1_winter

19年12月1日

てかもっと一般に「グラフの独立集合であって、それらを取り除いたとき連結になるもののうち、大きさ最大のもの」と考えれば、十分学術的な価値がありそう。

タグ:

posted at 12:56:22

にしなんとか @chebunanntoka

19年12月1日

1~113,129,234,257について取り急ぎ nishiwake.e-contents.biz/kado-p2 に載せました

タグ:

posted at 12:52:50

deu @charmychachacha

19年12月1日

トケタ7を入手した(スタッフ配分)

タグ:

posted at 12:52:21

初月葉桜(10887) @Xana_uzzle

19年12月1日

LG2のセット3、早くも解くのが難しくなってきた

タグ:

posted at 12:42:21

にしなんとか @chebunanntoka

19年12月1日

角のnx5のMX値の周期は16(n<114のとき)。例として17から33までのMX値と解の総数を示す。
17 32 1
18 33 833
19 35 394
20 37 24
21 39 19
22 40 14185
23 42 5728
24 44 627
25 46 331
26 48 1
27 50 6
28 51 13233
29 53 5376
30 55 232
31 57 166
32 58 249585
33 61 1

タグ:

posted at 12:41:11

Tad Komori @pawakun

19年12月1日

5×8は違うな…

タグ:

posted at 12:34:28

Tad Komori @pawakun

19年12月1日

@SP1_winter mn+m+nが3の倍数になると若干余裕生まれない?って昨日考えてた

タグ:

posted at 12:33:38

にしなんとか @chebunanntoka

19年12月1日

5×100までやっても「5×1000までやったら法則が乱れてぐちゃっとした解が発生したりしないかな」という気持ちになってしまう

タグ:

posted at 12:22:18

SP1 @SP1_winter

19年12月1日

「外周があるとだいたいサイズ4減」を信じるなら、5*8とか7*10は十分例外の範疇とも言える...実際30 in 8*11allは厳しそうだし。

タグ:

posted at 12:18:21

SP1 @SP1_winter

19年12月1日

やな予感がしたため一応投げておく。24 in 7*10all. pic.twitter.com/jkE69EmoRF

タグ:

posted at 12:12:36

にしなんとか @chebunanntoka

19年12月1日

へやわけMX値を一般のサイズで上から抑えるのかなり厳しくて、壁があると今のところ「もしn+1個入るならn個の解がもっとあるはずだ」みたいに全探索するしかない

タグ:

posted at 12:09:17

SP1 @SP1_winter

19年12月1日

これ、もしかして打ち上げ花火と似たような例外の可能性ある?

タグ:

posted at 12:08:59

SP1 @SP1_winter

19年12月1日

信頼性怪しい気がせんでもない

タグ:

posted at 11:59:10

にしなんとか @chebunanntoka

19年12月1日

@wand_125 このハニカム3つ目って、4つの白確定のうち一番下は白確定しないのではないでしょうか pic.twitter.com/8iQluVGsIP

タグ:

posted at 11:57:59

非公開

タグ:

posted at xx:xx:xx

わんど @wand_125

19年12月1日

OEISにへやわけの充填数を投稿した人のサイトを見つけた
www.elliottline.com/other-projects...

タグ:

posted at 11:56:25

SP1 @SP1_winter

19年12月1日

たとえばMX(3,6)=8なのでMX(3,6)+7+10-2=23だが、7*10には24個は置ける。

タグ:

posted at 11:56:15

SP1 @SP1_winter

19年12月1日

てかOEISに載ってるなら、ちゃんと探せば論文見つかりそう...

タグ:

posted at 11:52:28

SP1 @SP1_winter

19年12月1日

実際m*nの場合だと微妙に多く置けるかも。

タグ:

posted at 11:51:51

わんど @wand_125

19年12月1日

ハニカムスターバトルについてまとめました。
scrapbox.io/wandsbox/%E3%8...

タグ:

posted at 11:51:45

SP1 @SP1_winter

19年12月1日

n*nのときMX(n-4, n-4)+2n-2以上になるのは、外周に黒マス置いてから中空のパターンをつかえばよいのでわかる(n偶数でも大丈夫)。それより多く置けるかはわからんですが...

タグ:

posted at 11:49:03

SP1 @SP1_winter

19年12月1日

載ってんのかーい

タグ:

posted at 11:44:20

utime @utime1204

19年12月1日

・答えの値を決め打ちして探索
・隅から埋める場合、真に上位互換の配置があれば除外
とか有効かもしれないが、多分無効。知らんけど。

タグ:

posted at 11:43:00

SP1 @SP1_winter

19年12月1日

下からの評価も、定数ならもう少し複雑な構成になるかも

タグ:

posted at 11:41:19

SP1 @SP1_winter

19年12月1日

M*3-m*nが定数なのかもよくわかってないし。外周の影響が減ったらもうちょっと詰めれたわ、みたいなのがまだ否定できてない。

タグ:

posted at 11:40:01

ニチョ謎 @nichonazo

19年12月1日

本日12時から #なげっぱ やりますよー!
先週のお休みを知らずに訪れてしまった方、申し訳ありませんでした。

ウェル問20-2「かんたんだったもの」

一週間寝かせたから難しくなったわけではありません。難しいわけでもありませんよ!

それでは、もうすぐ12時からオープンです。

タグ: なげっぱ

posted at 11:39:23

SP1 @SP1_winter

19年12月1日

それは置いといて、オーダーはいいので、細かい定数が気になってます。人間が意味を見いだせるかは不明ですが...

タグ:

posted at 11:37:06

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年12月1日

もっとかんたんな構成あったわ...

タグ:

posted at 11:35:54

semiexp @semiexp

19年12月1日

@SP1_winter @southerwolfie x+y mod3 が 0 のところに黒マスを置く(x か y のときは置かない)

タグ:

posted at 11:34:33

SP1 @SP1_winter

19年12月1日

わからんので、機械さんに代わりに殴ってもらおうという魂胆です

タグ:

posted at 11:33:12

SP1 @SP1_winter

19年12月1日

これは「しまつぶしの原理」で示せるそうな(詳しくはへやわけMXのアーカイブ見て)。残念なことに、辺がある場合への応用は知られていない。精密化できるかもだけどね。

タグ:

posted at 11:31:52

SP1 @SP1_winter

19年12月1日

もっと詰められるかについてはおそらくNOで、というのも中空ケース(辺なし)だいたい(m+1)(n+1)/3個であることが知られています。

タグ:

posted at 11:30:16

SP1 @SP1_winter

19年12月1日

m,nが小さいと外周の影響が大きすぎてぶれるので除外で。m,n>3 だとよさそう。

タグ:

posted at 11:28:40

SP1 @SP1_winter

19年12月1日

1/3詰めるのは、たとえば(odd,odd)置く→退化した盤面で(odd,odd)置く→ を繰り返せば、だいたい1/4+1/64+...=1/3は置ける(若干ロスがあるのでざっくりだけど)。

タグ:

posted at 11:27:12

Tad Komori @pawakun

19年12月1日

mかnが1の時って個数は2だよね…

タグ:

posted at 11:24:46

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年12月1日

@southerwolfie たぶん...(頑張れば構成できそう)

タグ:

posted at 11:22:35

SP1 @SP1_winter

19年12月1日

今走らせてる愚直なSATソルバーくんだと、マス目が60くらいで探索が困難になってる。

タグ:

posted at 11:22:02

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年12月1日

【問題】m*nのマス目のいくつかのマスを黒く塗る。ただし、黒マス同士はタテヨコに隣接せず、白マスはひとつながりになるとする。このとき、黒マスの個数最大Mを求めよ。またS=M*3-m*nを考察せよ。

タグ:

posted at 11:20:20

deu @charmychachacha

19年12月1日

青まで対象の前回の企業コン見てるけど、最後の木の問題何もわからないな。何らかのdpをするのだろうという木にしかならない

タグ:

posted at 11:20:16

SP1 @SP1_winter

19年12月1日

ちゃんと書くか

タグ:

posted at 11:17:44

SP1 @SP1_winter

19年12月1日

@pawakun S=(max)*3-m*n として、S=2の例が(7,7)や(5,8)なので、ひとまとめにしちゃった

タグ:

posted at 11:17:13

Tad Komori @pawakun

19年12月1日

一部屋だけのへやわけって何ていうの?latinへやわけ?

タグ:

posted at 11:16:36

SP1 @SP1_winter

19年12月1日

リストあったら欲しい。なんとなくm,n<=20ぐらいで見てみたい。

タグ:

posted at 11:13:24

Tad Komori @pawakun

19年12月1日

3×3と7×7は例外中の例外では(感覚)

タグ:

posted at 11:13:00

semiexp @semiexp

19年12月1日

連結成分を正規化した Union Find で持って状態全部 map に突っ込めばそんなに大変じゃない気がする

タグ:

posted at 11:12:14

SP1 @SP1_winter

19年12月1日

m*n盤面に分断なしで入る黒マスは「だいたい」(m*n)/3個だけど、たまに効率のよさげな入れ方がある。(3,3)はちょっと例外っぽいけど、とか(7,7)とか(5,8)がそれです。

タグ:

posted at 11:11:47

SP1 @SP1_winter

19年12月1日

しまつぶしっぽい評価ができそうなんだけども、具体的にはよくわからん。

タグ:

posted at 11:09:19

SP1 @SP1_winter

19年12月1日

これだっけ。まあできそう(外周がややだるい?)だけど、やっぱだるそう。

タグ:

posted at 11:08:23

semiexp @semiexp

19年12月1日

n×n の盤面に入る黒マスの個数ってどれくらい調べられてるんだろ

タグ:

posted at 11:08:15

semiexp @semiexp

19年12月1日

へやわけだったら面倒なことで有名な DP したほうが(実行速度は)速いかも

タグ:

posted at 11:02:37

Tad Komori @pawakun

19年12月1日

ただの上級手筋のオンパレードです()

タグ:

posted at 10:51:16

初月葉桜(10887) @Xana_uzzle

19年12月1日

今度のパズルリーグはたまたま選手として出れることになったけど一体どれだけ勝てるんだろうかと思いながらインストを見ている

タグ:

posted at 10:38:14

初月葉桜(10887) @Xana_uzzle

19年12月1日

もう少し濃いシャー芯買うかー

タグ:

posted at 10:24:28

SP1 @SP1_winter

19年12月1日

うまいこといじって34個入りそうな見た目をしてるけど、だめそう

タグ:

posted at 10:12:20

SP1 @SP1_winter

19年12月1日

僕が堪え性がなく1分くらいで探索打ち切ってるから説あるし、もうちょっと見守るかね

タグ:

posted at 10:04:18

SP1 @SP1_winter

19年12月1日

うんやっぱ8*8やね。7*7で18個はいけたので、8*8で22個がどうか。

タグ:

posted at 10:03:30

SP1 @SP1_winter

19年12月1日

まあまともに探索したら最低O(2^mn)で到底ダメなわけで、それを高速で解を拾ってこれるSATソルバくん凄まじいわけだけども、どれくらい高速なのかが定量的にはわかんねぇ

タグ:

posted at 09:58:18

SP1 @SP1_winter

19年12月1日

四隅辺の10*10に黒マスは33個置けるけど、それはなかなか判定してくれない。34個置けるかどうかも判定しんどそう。

タグ:

posted at 09:41:52

SP1 @SP1_winter

19年12月1日

さすがに言い過ぎかね。探索空間に対し解の個数がめちゃくちゃ少なかったら、普通にめっちゃ時間かかるっぽい。

タグ:

posted at 09:40:20

SP1 @SP1_winter

19年12月1日

上限を求める感じだったら、悩みまくってたら無いと解釈していいのかね。さすがにそれは暴論?

タグ:

posted at 09:33:20

SP1 @SP1_winter

19年12月1日

SATソルバーくんの速度がイマイチわからん。一つの解を拾ってくるのは相当早いけど、解がないときに延々悩み続けてる。悩み続ける時がおそらく計算量maxで、その時の大体の速度が変数の個数とか式の個数とか範囲の大きさで評価できればいいんだけど...(まあもちろん式によるといえばそこまでだけどね)

タグ:

posted at 09:32:11

SP1 @SP1_winter

19年12月1日

作戦は例のpdfの通り、別の変数を用意して木にして確かめるとしてやった。変数3倍しかも一つは範囲が広すぎる感じになっちゃったから遅くなったんかね。

タグ:

posted at 09:29:10

SP1 @SP1_winter

19年12月1日

へやをわけてないへやわけのSATソルバーを書いて、7*7に黒マスが17個まで置けることを確認したが、8*8に置ける個数の確認にすごく時間がかかってる。

タグ:

posted at 09:27:29

Tad Komori @pawakun

19年12月1日

アドベント初日から面白くてハードルが高い

タグ:

posted at 09:15:15

とくちゃん@都道 @Jihad_Survivor

19年12月1日

山崎さんに製材所プレイをぶつけようものなら、死が待っている・・気しかしないwww

タグ:

posted at 08:35:42

とくちゃん@都道 @Jihad_Survivor

19年12月1日

GWTも50戦くらいやってるとそろそろトリックプレイやりたくなるんだけど、皆さんが強すぎてなかなかそれを許してもらえないw

タグ:

posted at 08:34:48

とくちゃん@都道 @Jihad_Survivor

19年12月1日

今日は関西から友人が来て、一日中GWTができるという超幸せな日!
最近やってなくて腕は鈍ってるだろうけど、全力で楽しみたい!!

タグ:

posted at 08:29:11

volxa @volxa

19年12月1日

戯れにいつもと違うルートにそれてみたら、中々いつものルートに戻れず、30分強余分に歩く羽目に。疲れた。

タグ:

posted at 07:14:24

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

白岡市民(295) @Whitehill9

19年12月1日

SVS(041)のThermometerはいいぞ #vsSVS

タグ: vsSVS

posted at 00:28:21

エクトぷらずま @Ecto__PLASMA

19年12月1日

Tridってロシア発だしロシア語由来だったりしないかな。どうせTriangular Gridの略だろうけど

タグ:

posted at 00:27:11

エクトぷらずま @Ecto__PLASMA

19年12月1日

HPLセットの中では唯一Tridを解いたことがない。理由はわかりやすくて、ラテン苦手変型盤面苦手なのでコンテストで出たら間違いなく触れないからである。

タグ:

posted at 00:25:58

初月葉桜(10887) @Xana_uzzle

19年12月1日

1週間後は自分の番だ

タグ:

posted at 00:05:07

初月葉桜(10887) @Xana_uzzle

19年12月1日

文章が軽快で読んでて楽しい>RT

タグ:

posted at 00:04:51

@ek_bmホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

1日1ひきたし 都バスのアレ 都バスのオリ 都バスのイロ hikitashi EreMffs LMI 日本パズル選手権 ペンパガチャ shindanmaker

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました