枝豆(@ek_bm)/2020年03月08日

滑り込み優勝されが発生した

タグ：

posted at 00:10:32

１位とは離れているけど、２位と２２秒差かー。好成績だったな＞ＲＴ

タグ：

posted at 00:14:08

遠い誓い、ユニークネスゲーであることが分かった

タグ：

posted at 00:17:37

こんな団子になるんだ。さっさと全検しないとダメだな

タグ：

posted at 00:21:12

ダブルチョコソルバー、とりあえず簡単なのが解けるようになった

タグ：

posted at 00:21:14

素のタイムで６分後半だったけど、それでも全く勝負になっていない。

タグ：

posted at 00:24:28

こどふぉCは1980msで危なすぎたけど、50万行出力のケースだった（endlをやめたら639msになった）

タグ：

posted at 00:36:58

まだ手筋全然足りないし何かバグがありそうだな

タグ：

posted at 00:39:12

白岡市民(295) @Whitehill9

遠い誓い、途中までルールを勘違いしていてただの誓いを解いていたのは要反省として、また面白いパズルに出会ってしまった…という感じだった

タグ：

posted at 00:42:23

1980ms絶対1位だろって思ってみてみたら1996msが複数いて負けた

タグ：

posted at 00:42:57

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

気になるイベントを見かけたが、コロナ心配だしどうだろう。そもそも15日まで臨時休業っぽい。

タグ：

posted at 00:48:15

パズルをつくっていたら、いつの間にか洗濯が終わってました。

タグ：

posted at 01:07:53

アイ @tigereye_werewe

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

ここまでくるともはや怪文書みたいなDMを投げた

タグ：

posted at 01:08:58

その分おもしろいものが出来上がったということで。

タグ：

posted at 01:09:56

えすのじさんのパズル自由作問、方針は決まった。あとは仕上がるかどうかだけや twitter.com/esqn999/status...

タグ：

posted at 01:26:50

さて、寝るかー

タグ：

posted at 01:43:15

出題側も考えたいな

タグ：

posted at 01:56:37

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ニチョ謎 @nichonazo

おはようございます。日曜日！なげっぱ開店です。

ウェル問21-7「結」

心細くなってしまうような細い雨が降っています。なげっぱのみならず外出の際は足元お気を付けください。

本日の問題も夜22時～23時頃にBOOTHに載せますので外出できない方はそちらをご利用ください。

nichonazo.booth.pm

タグ：

posted at 09:06:59

非公開

タグ：

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 10:50:21

かずねぎ @kazunegi

ニコリ170号来ました。古いオモパファンとして「黒い箱を置け」がとても気に入ったのですが、このルール、昔どこかで見たことがあるような気もする。

タグ：

posted at 11:58:12

かずねぎ @kazunegi

オモパでは白マス黒マス両方とも22禁は採用例は多くなかったが（大全集ではペイントエリアのみ）、近年「ぬりめいず」、「ぬりみさき」と採用例が増えてきた印象。
個人的には「ぬりめいず」が契機になった印象がある。

タグ：

posted at 12:10:33

ウボァー #LMI

タグ： LMI

posted at 12:39:05

先週今週と、昼飯時に昼飯を食べる前に参加しているが、どうもあまりよくないようだ。吐き気がしたりペンを持つ手に力が入らなくなったりする。

タグ：

posted at 12:41:39

かずねぎ @kazunegi

以前は白マス22禁のルールを入れるのを避けてた節もあるのですが、今からするとなんで避けてたんだろうとも思う

タグ：

posted at 12:43:44

昨日のABC-F、まだ混乱して解けてない。むむー

タグ：

posted at 13:35:24

白岡市民(295) @Whitehill9

【#パズルカレンダー更新】
・3/17(火)21:00～22:00
　第3回K.N.Y.シャカシャカ早解き大会(けーえぬわいさん)
・3/19(木)21:00～22:00
　∀人∃ＨＥＹＡ早解き大会(Lennonさん)

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

タグ：

posted at 15:08:17

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Tad Komori @pawakun

へやわけの理論値を出すゲームか？やるか？？

タグ：

posted at 17:37:25

四方が壁の10×10の最密解知らないんですが…

タグ：

posted at 17:44:35

34入るマジ！？

タグ：

posted at 17:49:12

四方壁に黒マス34個詰める方法、コンテストがどうとか関係なく普通に知りたい(33がmaxと思ってたので)

タグ：

posted at 17:55:53

34が反証されたことがないという大きな課題がある

タグ：

posted at 18:00:54

34が見つかるor反証されたら、へやわけ界隈が結構ざわつくと思う。

タグ：

posted at 18:11:57

@SP1_winter 10×10での黒マスの最大値ですか？33を証明できた気がする

タグ：

posted at 19:36:10

@utime1204 マジか！証明気になる！

タグ：

posted at 19:39:35

非公開

タグ：

posted at xx:xx:xx

@SP1_winter web.archive.org/web/2018110609...
多分これと本質的には同じことをしている（けど読んでない)
頂点に入る黒マス数の最大は4，頂点または辺に入る黒マス数の最大は16。
白マスの中心を頂点、隣り合う白マスを結んだものを辺とするグラフを考える。黒マスが1つ増えるたび辺が4(or3or2)、頂点が1減り、

タグ：

posted at 19:43:49

非公開

タグ：

posted at xx:xx:xx

そろそろ企業コン事故る気がするんだよな(昨日のこどふぉで運を使い果たした)

タグ：

posted at 19:46:42

非公開

タグ：

posted at xx:xx:xx

@SP1_winter 頂点数>辺数+1が白マス連結条件のため。
種数(穴の数)を見るとわかりやすく、元(全マス白マス)のグラフの種数は81、頂点が黒マスになると種数が1、辺なら2、内部なら3減るため、81-1×4-2×12-3×17が限界。

タグ：

posted at 19:47:50

@SP1_winter 頂点数<=辺数+1の間違い

タグ：

posted at 19:55:54

非公開

タグ：

posted at xx:xx:xx

600がグラフだと即死なんだよな(n回言ってる)

タグ：

posted at 20:00:01

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

41in11×11、おそらくこの3パターンか？
昔解いたときはグラフに全く気づかなかったので1個めの解を見つけて満足したけど、今なら全探索できた気がする。 pic.twitter.com/9WQMbvKsXm

タグ：

posted at 20:25:35

検証した。確かになー、ってなってる。

タグ：

posted at 20:27:39

わんど @wand_125

わかったこと
解盤面の数は13268079通り、
解盤面は2x2を決めれば定まる、
行列が左側、右側にいくつ入るかのラテン形に着目してもいいかも？たいてい全部左、全部右にはなりにくいはず、
適当に数字を選んだとき、唯一解盤面になる確率は13%

辺り

タグ：

posted at 20:28:42

辺が無い場合は「外側」の消せない頂点を付け足して穴を見るといいんかね

タグ：

posted at 20:28:48

めるーめるん @melvy_puz

あっ今日もなんかあったのか，着かないから不参加だ

タグ：

posted at 20:29:03

パズル大会情報 @puzzle_contest

13%ってめちゃくちゃ高くないか？？「解を1つ以上持つ確率が13%」だとしてもまだ高く感じる。すごいなあ。

タグ：

posted at 20:48:53

[Sudoku] Sudoku Mahabharat - Irregular and Outside (LMI, 90分)
3/6 (金) 15:30 ～ 3/12 (木) 3:30
logicmastersindia.com/SM/202003/
インストラクション和訳（白岡市民さん）
citizen-puzzle.hatenablog.com/entry/2020/03/...

タグ：

posted at 20:50:18

非公開

タグ：

posted at xx:xx:xx

種数による議論だけど、連結性をあまり考慮できてない気がする。なんというか余裕値は方向が逆で「連結になるように頂点を増やす」なので、うまく関連付けられるといいんだけど。

タグ：

posted at 21:07:23

非公開

タグ：

posted at xx:xx:xx

角のヘや奇数×奇数で辺にフルで入れると穴が1個できてしまう、みたいな微妙制約はかかる。角9×9がmax30個なのが確定するけど、打ち上げ花火以外にあるかもしれないのか。

タグ：

posted at 21:16:30

非公開

タグ：

posted at xx:xx:xx

ちょっと試したら無さそう、でも細かい議論かも。辺の方は三角形の穴なので、互い違いに黒マスが来ないと穴ができてしまうね。

タグ：

posted at 21:21:17

最大充填の例 pic.twitter.com/VrKLZtymA2

タグ：

posted at 21:26:52

非公開

タグ：

posted at xx:xx:xx

6側の両辺が閉じてる6*7です。穴が42個、辺は2消費、他は3消費。辺には最大6個置けるので42=2*6+3*10で16個が上限。この図はそれを満たしている。

タグ：

posted at 21:30:01

@SP1_winter 端の25in7x9だけでも5通りある nishiwake.e-contents.biz/hashi-p1 pic.twitter.com/3mJhEgDByz

タグ：

posted at 21:33:57

示唆のある図です pic.twitter.com/OaL30VtCqg

タグ：

posted at 21:35:18

@chebunanntoka ぐえーあるのか。まあ妥当ではあるけども。

タグ：

posted at 21:36:10

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Tad Komori @pawakun

へやわけの理詰めから知識(この部屋はこれ、みたいなの)をできるだけ少なくしようと記事を書いたわけですが

タグ：

posted at 22:20:54

へやわけもうすこしがんばりたい（今日は終わり）

タグ：

posted at 22:26:40

わんど @wand_125

@chebunanntoka 解答盤面が1300万、左右の数字のどちらかを取り出すとして512通りだけどゾロ目や1桁もあるので1/5ぐらい、13億の問題があり、
表出のパターンは10^9で10億でだいたい同じくらいだけど、
実際はかなり偏りがあり、うまく唯一解になっているものが13%といった感じです

タグ：

posted at 22:36:58

@gori_sh 理論値になってない確信があるので

タグ：

posted at 22:39:53

C 二部グラフと見なしたときに頂点数の偏りが少なければOK．そうでなくてもウニグラフとかはOK．その境界は？（結構悩んだけどわからなかった）

タグ：

posted at 23:02:00

E きれいな構造を未証明で投げたら通って草（は？）
ペンシルパズルは競技プログラミングの役に立つ！

タグ：

posted at 23:02:44

C悔しいなー　あと一歩が見えなかった

タグ：

posted at 23:05:28

やっぱりグラフ苦手なんだよな。得意なはずの構築さえできなくなる

タグ：

posted at 23:06:53

Cに1時間以上かけて解けなくて順位表見たら900位くらいで、すべての終わりを感じたが、圧倒的エスパー力で最悪の事態を回避した

タグ：

posted at 23:14:06

めるーめるん @melvy_puz

ABC104 A #める1日1AC

タグ：める1日1AC

posted at 23:18:35

二べきグリッドというだけで今考えてるへやわけの話が浮かんじゃうので、出なくてよかったな

タグ：

posted at 23:19:33

ダブルチョコソルバーバグってたの直したら puzsq.sakura.ne.jp/main/puzzle_pl... が解けた（まだ 2 段の背理法が必要だったけど）

タグ：

posted at 23:20:14

時間できたらちゃんとE証明しよう

タグ：

posted at 23:20:46

白岡市民(295) @Whitehill9

今日謎解きと筋トレしかしてねえ(※BoWは謎解きに含みます)

タグ：

posted at 23:22:41

Dは題意すら理解してないんだよな。とにかく焦りすぎである

タグ：

posted at 23:24:35

zundamochi_1117さんの日立製作所社会システム事業部プログラミングコンテスト2020での成績：123位
パフォーマンス：2468相当
レーティング：2084→2129 (+45) :)
Highestを更新しました！
#AtCoder atcoder.jp/users/zundamoc...

タグ： AtCoder

posted at 23:28:00

順位もパフォもきれい。参加者数も2*3^7だからきれい。

タグ：

posted at 23:29:03