プログラミングのお題スレ Part12

1 名前：デフォルトの名無しさん mailto:sage [2018/09/28(金) 10:09:07.13 ID:phwOkayR.net] プログラミングのお題スレです。 【出題と回答例】 1 名前：デフォルトの名無しさん 　　お題：お題本文 2 名前：デフォルトの名無しさん 　　>>1 使用言語 　　回答本文 【ソースコードが長くなったら】 (オンラインでコードを実行できる) https://ideone.com/ codepad.org/ compileonline.com/ rextester.com/runcode https://runnable.com/ https://code.hackerearth.com/ melpon.org/wandbox https://paiza.io/ 宿題は宿題スレがあるのでそちらへ。 前スレ プログラミングのお題スレ Part10 https://mevius.5ch.net/test/read.cgi/tech/1514772904/ プログラミングのお題スレ Part11 https://mevius.5ch.net/test/read.cgi/tech/1524570314/ 528 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 11:04:51.39 ID:qaNu/as0.net] >>512 89 23| 67 45| 78 41| 60 21 33| 64 50| 61 58 全探索ではないけど 33 61 58 41 50 21 60 64 23 45 67 78 89 これを全ての順列作って前から順に120以内ぎりぎりのところで区切っていく ってやり方で出てくる このやり方もこれでは出来たけど最適解が必ず見つかるか分からない 529 名前：114 [2018/11/16(金) 11:42:51.07 ID:00yShIqx.net] >>514 ありがとう。 やってみたけど、こっちでは順列だと1個増えた。 (と言うか、自分もソートしてから渡してるので順列なんだよね。念のため小さい順にしたら増えた) うーん。。。 やってる事同じっぽいのに、なぜだ。。。 530 名前：114 [2018/11/16(金) 11:55:02.54 ID:00yShIqx.net] 自分は最後の一個入れようとして、入りきらなかったら入る分一個、はみ出た分一個で2個カウントしてるんだけど、そこが1個とカウントしてるとかだったり。。。 そう言う勘違いであってほしいな。。。 box n c ns [] [x] | c < sum (x:ns) = n + 2 -- x+nsで入りきらないので、nsで一個、xで一個。 じゃないと私じゃお手上げ＼(^o^)／ 531 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 11:57:38.57 ID:qaNu/as0.net] 入るとか入らないとかじゃなくてこの並びが出てきたら左から順に区切って行くだけだよ 89 23 67 45 78 41 60 21 33 64 50 61 58 532 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 12:22:55.60 ID:tOyusnlA.net] >>515 510のやり方で最小値は求まるのでコードが間違ってる 533 名前：114 [2018/11/16(金) 12:23:45.77 ID:00yShIqx.net] おおう。。。勘違い。 順列の意味勘違いしてた。 数学の順列か。分かった。 やってみる。 ありがとう。 534 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 12:25:57.98 ID:tOyusnlA.net] >>514 必ず見つかる 最小になるパターンの内各箱の中を逆順にソートした数列を考えてみると自明 535 名前：114 [2018/11/16(金) 15:20:04.95 ID:00yShIqx.net] 多分これで出るはずだけど、家のPCが低スペックでメモリ不足で止まる。。。(ideoneでも止まる辺り、現実的じゃない) (小さいリストでは確かめて見たので、動いてるっぽい？) import Data.List main = print $ map (\(x,ys)->(x, bmin x ys)) list bmin x xs = minimum $ map (\lst -> box 0 x [] lst) $ permutations xs box c x [] [] = c box c x ns [] = c + 1 box c x ns (y:ys) | x < sum (y:ns) = box (c + 1) x [] (y:ys) box c x ns (y:ys) | x >= sum (y:ns) = box c x (y:ns) ys list = [(30,[8,5, 536 名前：10,6,4,5,8,5,9,6,9]), (120,[33,61,58,41,50,21,60,64]), (120,[33,61,58,41,50,21,60,64,23,45,67,78,89])] せっかく >>514 さんに順列と言うヒント貰っておいて活かしきれてない。。。ごめん。 [] [ここ壊れてます] 537 名前：114 [2018/11/16(金) 15:22:31.31 ID:00yShIqx.net] >>514 さんに折角、順列って言うヒント貰っておいて活かせなかった。 ごめん。 538 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 15:27:37.42 ID:7Qu0EE2P.net] 箱に入れた量で大小関係を付けると６個で３６通り 539 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 15:40:46.44 ID:i0pW9pnK.net] >>475 https://ideone.com/gsuOUp 力技、順列力技ゆえN<=20程度しか求められない。 TSPのやつの変形(2^n*n)、 冗長な計算してるのだろうが、実装できない ついでに、min(乱択(5000回),貪欲解*2) 回答も書いてみた。 最初のと比較をしてみると、3000テストで42個、間違えた。 (ideone上は100テストで2つ間違っている) ※N,Cが小さければ、 この程度で、そのくらい当たりやすい問題なのだろう。 (逆に間違いを探すのが大変) 余談 これは『ビンパッキング問題』そのもの でかいNに対しては、ググればもっといい近似値の求め方がある。 540 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 17:13:07.29 ID:36ZZe95D.net] ビンパッキングって焼きなまし法(近傍が分からない)のとビームサーチ、どっちが効率良いだろうか 541 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 17:37:36.91 ID:t5p43h9A.net] お題：nの階乗の末尾の連続した0の個数を求める。（過去スレから） 542 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 17:46:29.02 ID:TvsPH/qp.net] >>526 Ruby f = ->n{s = 0; while 0 < n /= 5; s += n; end; s} [0, 1, 2, 3, 4, 5, 10, 100, 1000000, 10000000000000000].each{|e| puts '%d => %d' % [e, f[e]]} # => 0 => 0 1 => 0 2 => 0 3 => 0 4 => 0 5 => 1 10 => 2 100 => 24 1000000 => 249998 10000000000000000 => 2499999999999996 543 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 19:19:00.00 ID:KTZidSV2.net] お題 N段の三角形ピラミッドの一筆書きを構成せよ 例えば、2段の三角形ピラミッドは以下のような図形である 　△ △ △ 頂点の番号は上から順番に 1 2 3 4 5 6 …… と与えられる。 (入出力例) N=1 => 3 2 1 3 N=2 => 1 2 4 5 2 3 5 6 3 1 => 1 3 5 6 3 2 5 4 2 1 (解は複数あるが、そのうちの一つを出力すればよい) 544 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 20:05:31.22 ID:JjlNk60X.net] >>528 Ruby def hitofude(n) 　　return [1] if n == 0 　　x, y = n*(n + 1)/2, (n + 1)*(n + 2)/2 　　[ 　　　　y, 　　　　*hitofude(n - 1), 　　　　*(1...n).flat_map{|i| [y - i, x - i]}, 　　　　*(x + 1..y), 　　] end [2, 3, 4].each{|i| p hitofude(i)} # => [6, 3, 1, 2, 3, 5, 2, 4, 5, 6] [10, 6, 3, 1, 2, 3, 5, 2, 4, 5, 6, 9, 5, 8, 4, 7, 8, 9, 10] [15, 10, 6, 3, 1, 2, 3, 5, 2, 4, 5, 6, 9, 5, 8, 4, 7, 8, 9, 10, 14, 9, 13, 8, 12, 7, 11, 12, 13, 14, 15] 545 名前：デフォルトの名無しさん mailto:sage [2018/11/16(金) 21:39:18.95 ID:0oMzWKAu.net] >>528 C https://ideone.com/i2ui3M 546 名前：デフォルトの名無しさん [2018/11/17(土) 09:45:00.71 ID:u+BaxmkL.net] >>475 やった。 順列使わないで三番目が6個になった！ Haskell main = mapM_ print $ map mapbox (slist list) slist xs = map (\(x,y) -> (x, qsort y)) xs mapbox (x,y) = (x,length (box x [] [] y)) box _ [] [] [] = [[]] box _ ns [] [] = [ns] box c ns ys [x] | c >= sum (x:ns) = box c (x:ns) [] (reverse ys) box c ns ys [x] | c < sum (x:ns) = [ns] ++ box c [] [] (reverse (x:ys)) box c ns ys (x:xs) | c >= sum (x:ns) = box c (x:ns) ys xs box c ns ys (x:xs) | c < sum (x:ns) && c >= sum ((last xs):ns) = box c ns (x:ys) xs box c ns ys (x:xs) | c < sum (x:ns) && c < sum ((last xs):ns) = [ns] ++ box c [] [] (reverse ys ++ (x:xs)) qsort [] = [] qsort (x:xs) = large ++ [x] ++ small where small = qsort [a|a <- xs,a <= x] large = qsort [a|a <- xs,a > x] list = [(30,[8,5,10,6,4,5,8,5,9,6,9]), (120,[33,61,58,41,50,21,60,64]), (120,[33,61,58,41,50,21,60,64,23,45,67,78,89])] 547 名前：デフォルトの名無しさん [2018/11/17(土) 09:45:32.76 ID:u+BaxmkL.net] qsort (x:xs) = large ++ [x] ++ small where small = qsort [a|a <- xs,a <= x] large = qsort [a|a <- xs,a > x] list = [(30,[8,5,10,6,4,5,8,5,9,6,9]), (120,[33,61,58,41,50,21,60,64]), (120,[33,61,58,41,50,21,60,64,23,45,67,78,89])] 548 名前：デフォルトの名無しさん [2018/11/17(土) 09:46:31.74 ID:u+BaxmkL.net] (120,[33,61,58,41,50,21,60,64,23,45,67,78,89])] 549 名前： mailto:sage [2018/11/17(土) 11:31:38.44 ID:ByrEztlA.net] >>500 やっと理解しました…すべての xor 演算を利用しているわけではないのですね… 550 名前：デフォルトの名無しさん [2018/11/17(土) 11:41:54.02 ID:u+BaxmkL.net] >>526 Haskell main = mapM_ print $ zip list $ map zlen list zlen x = (length.(filter (== '0')).show.product) [1..x] list = [0,1,2,3,4,5,10,100,1000,10000] Out (0,0) (1,0) (2,0) (3,0) (4,0) (5,1) (10,2) (100,30) (1000,472) (10000,5803) 551 名前：デフォルトの名無しさん mailto:sage [2018/11/17(土) 12:12:32.80 ID:PHz1iip2.net] >>535 よーわからんが末尾じゃなくてすべての0を数えてない？ 552 名前：デフォルトの名無しさん [2018/11/17(土) 12:27:52.98 ID:z9owpr8+.net] >>526 ぺちぷ <?php function solve(int $n):int{ $a=0; for($i=5;$i<=$n;$i*=5)$a+=intdiv($n,$i); return $a; } foreach([1,5,10,1e2,1e6,1e16] as $i)printf("%d -> %d\n",$i,solve($i)); ?> 1 -> 0 5 -> 1 10 -> 2 100 -> 24 1000000 -> 249998 10000000000000000 -> 2499999999999996 553 名前：デフォルトの名無しさん [2018/11/17(土) 12:46:05.88 ID:u+BaxmkL.net] >>536 コリャうっかりw zlen 差替え。 zlen x = (length.(takeWhile (== '0')).reverse.show.product) [1..x] 554 名前：デフォルトの名無しさん [2018/11/17(土) 12:48:16.01 ID:u+BaxmkL.net] 実行結果 (0,0) (1,0) (2,0) (3,0) (4,0) (5,1) (10,2) (100,24) (1000,249) (10000,2499) 555 名前：デフォルトの名無しさん mailto:sage [2018/11/17(土) 15:08:29.22 ID:thhERN1M.net] >>526 Perl5 その1:単純にloop for $i (0,1,2,3,4,5,10,100,1000,10000,1000000) { ($s, $n) = ($i, 0); while ($s) { $s = int $s / 5; $n += $s; } print "$i $n\n"; } >>526 Perl5 その2: lambdaのtail recursion use feature current_sub; for $i (0,1,2,3,4,5,10,100,1000,10000,1000000) { $n = sub {my $j = shift; $j ? do {my $s = int $j / 5; $s + __SUB__->($s)} : 0; }->($i); print "$i $n\n"; } いずれも実行結果は $ perl 12_522.pl 0 0 1 0 2 0 3 0 4 0 5 1 10 2 100 24 1000 249 10000 2499 1000000 249998 = i/5のreductionよりもエレガントな解法をしばらく考えていたけど一旦断念して投稿します 556 名前：デフォルトの名無しさん [2018/11/17(土) 17:48:20.07 ID:corCuJCM.net] お題 月(01から12)、日(01から31)、時(00から59)、分(00から59)、秒(00から59)の10桁の日付データで 全部の桁が異なる場合を全て求める。だ 557 名前：デフォルトの名無しさん [2018/11/17(土) 17:53:02.90 ID:corCuJCM.net] すいません。最後の文字はゴミです無視してください 558 名前：デフォルトの名無しさん mailto:sage [2018/11/17(土) 18:44:23.27 ID:eb0sqdRj.net] >>541 時って00から23じゃないの？ 559 名前：デフォルトの名無しさん [2018/11/17(土) 19:03:48.66 ID:corCuJCM.net] >>543 その通りです。すいません。 時(00から23)に訂正します。 560 名前：デフォルトの名無しさん mailto:sage [2018/11/17(土) 19:42:56.43 ID:qglse9qW.net] >>541 Ruby date = (3..9).flat_map do |mo| 　　[*1..2].permutation.flat_map do |dd, dh| 　　　　([*3..5] - [mo]).permutation(2).flat_map do |dm, ds| 　　　　　　([*3..9] - [mo, dm, ds]).permutation.map do |d, h, m, s| 　　　　　　　　[0, mo, dd, d, dh, h, dm, m, ds, s] if dh == 1 || h < 4 　　　　　　end 　　　　end 　　end end.compact p date.size # => 768 puts date.map(&:join) # => 0326174859 0326174958 0326184759 0326184957 0326194758 0326194857 0327164859 0327164958 0327184659 0327184956 ... 略 561 名前：デフォルトの名無しさん mailto:sage [2018/11/17(土) 20:18:24.56 ID:e9k3MEr9.net] 東西ローマ帝国勃興期か 胸が熱くなるな 562 名前：デフォルトの名無しさん [2018/11/17(土) 20:30:15.26 ID:z9owpr8+.net] >>540 ルジャンドルの定理がエレガントでは無いと申すか 563 名前：デフォルトの名無しさん [2018/11/17(土) 20:54:52.23 ID:u+BaxmkL.net] >>541 Haskell main = ((mapM_ putStrLn).only.(zip (ccheck date10))) date10 n2 n | n < 10 = '0':show n n2 n = show n only = (map (\(_, d) -> d)).filter (\(x,_) -> x == False) ccheck = map ((elem False).count) count xs = map (\c -> ((<2).length.(filter (== c))) xs) "1234567890" date10 = [concat [n2 month, "/", n2 day, " ", n2 hour, ":", n2 minut, ":", n2 sec] | month <- [0..12], day <- [0..31], hour <- [0..24], minut <- [0..60], sec <- [0..60]] パターン数字や最初付近が合ってるかはRubyの人(>>545)ので確認したので多分合ってる。 564 名前：デフォルトの名無しさん [2018/11/17(土) 20:56:09.09 ID:u+BaxmkL.net] ccheck = map ((elem False).count) count xs = map (\c -> ((<2).length.(filter (== c))) xs) "1234567890" date10 = [concat [n2 month, "/", n2 day, " ", n2 hour, ":", n2 minut, ":", n2 sec] | month <- [0..12], day <- [0..31], hour <- [0..24], minut <- [0..60], sec <- [0..60]] >>545 の人ので答え合わせしたので、多分合ってる。 565 名前：デフォルトの名無しさん [2018/11/17(土) 20:57:39.57 ID:u+BaxmkL.net] date10 = [concat [n2 month, "/", n2 day, " ", n2 hour, ":", n2 minut, ":", n2 sec] | month <- [0..12], day <- [0..31], hour <- [0..24], minut <- [0..60], sec <- [0..60]] >>545 の結果で答え合わせ済み。 566 名前：デフォルトの名無しさん [2018/11/17(土) 20:58:20.76 ID:u+BaxmkL.net] >>545 の結果で答え合わせ済み。 567 名前：デフォルトの名無しさん mailto:sage [2018/11/17(土) 21:15:29.25 ID:qglse9qW.net] >>545の全結果 過不足がないことは確認済み https://ideone.com/sNgmqP 568 名前：デフォルトの名無しさん mailto:sage [2018/11/17(土) 22:37:13.60 ID:BeWwS75G.net] >>541 Perl5 sub f {grep{!/(.)\1/} map{sprintf "%02d", $_} @_} sub g {map{$_=>1} split'', shift} for $M (1..10,12) { ($S) = f($M); $D = $M == 2 ? 28 : ($M =~ /(4|6|9)/ ? 30 : 31); for $d (f 1..$D) { %t = g "$S$d"; next if 4 != keys %t; for $h (f 1..23) { %t = g "$S$d$h"; next if 6 != keys %t; for $m (f 0..59) { %t = map{$_=>1} split'', "$S$d$h$m"; next if 8 != keys %t; for $s (f 0..59) { %t = map{$_=>1} split'', "$S$d$h$m$s"; next if 10 != keys %t; print "$S$d$h$m$s\n"; } } } } } 実行結果 $ perl 12_537.pl 0326174859 0326174958 0326175849 ... 中略 0928175436 0928175634 0928175643 計768個 569 名前：デフォルトの名無しさん [2018/11/17(土) 23:10:25.25 ID:u+BaxmkL.net] >>548 03/26 17:48:59 みたいに書式化してるんだけど、RubyもPerlも数字だけなのな。。。 その方が速いのは分かるけど。 570 名前：デフォルトの名無しさん mailto:sage [2018/11/17(土) 23:53:27.88 ID:BeWwS75G.net] >>547 数学的にルジャンドルの定理と同じ原理に帰結する解法であっても もっとエレガントなコードアーキテクチャ、たとえば桁の三角形の5と10を 再帰的に渡り歩いてshiftしながら足しこんでいくようなすごくシンプルで、 もっと短いコード実現を探してたという意味です。 つか5とか10とか100とか通過するたびに0が一桁二桁増えることに パターンがあるのに気がついてうまく使おうとしたけど、 それがルジャンドルの定理のひとつだとは知りゃせんでした。 571 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 00:08:39.78 ID:2kF9kdFV.net] 25 125が出てこない辺り理屈わかってなさそう 572 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 00:17:41.21 ID:XHHQeobW.net] >>555 5は*5ね 50+は… 573 名前：デフォルトの名無しさん [2018/11/18(日) 05:42:08.97 ID:HhgIFMcS.net] 分かっちゃ居たけど、聞いたこともない定理が出る辺り高卒にはエレガントな回答は無理ぽ。。。 574 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 10:00:29.21 ID:5NL96rQC.net] >>558 codeIQで類似の問題を解いた当時は知らなかったけど、 普通に行き着いたけどな 575 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 10:39:30.27 ID:Q5hV0WNe.net] >>541 ruby https://ideone.com/dCnEfd 576 名前：デフォルトの名無しさん [2018/11/18(日) 11:15:29.83 ID:HhgIFMcS.net] >>526 せっかくルジャンドルの定理を知ったので作り直してみた。 Haskell main = ((mapM_ print).(zip list).(map (zlen 0 1))) list zlen ans x n | 5 ^ x > n = ans zlen ans x n = zlen (n `div` (5 ^ x) + ans) (x + 1) n list = [0,1,2,3,4,5,10,100,1000,10000,12000,100000000] 577 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 13:05:15.26 ID:oKOqkAfz.net] お題：同調圧力 要素０，１からなる3次以上の正方行列がある。 縦、横、対角線に０が1個だと1に変化する。この変化が繰り返される。 最後にすべての要素が1になる最小数の１の数と初期配置を求めよ。 578 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 13:38:56.07 ID:XHHQeobW.net] >>558 定理名を知らなくても考えれば見出せるよ 579 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 14:07:39.31 ID:/U8hetN/.net] >>558 ttp://examist.jp/mathematics/math-a/integer/kaijyou-soinsu/ ttps://www.youtube.com/watch?v=pWV0mlibNGQ 高校数学の範囲内だろ 「高卒」なる言い訳が通用するほど高校数学は甘くない 580 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 14:25:30.20 ID:qNfVdQsW.net] まあ入試でよく見る問題だよね 581 名前：デフォルトの名無しさん [2018/11/18(日) 14:54:31.18 ID:HhgIFMcS.net] >>559 >>563-564 そうだね。 高卒だからは言い訳だ。 そう言うのを思いつけない頭の悪さでプログラマーに成れなかった。 それだけだな。 582 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 15:01:13.02 ID:XHHQeobW.net] >>566 短時間で車輪を思い付く/付かないはある意味、向き/不向きでもある そういうひらめきタイプじゃなくてもちゃんと食べているプログラマーはいっぱいいるぞ 583 名前：デフォルトの名無しさん [2018/11/18(日) 16:24:57.02 ID:HhgIFMcS.net] >>567 ありがとう。 でももう、プログラマー目指す年齢じゃないから＾＾； iPadのHaskell(Raskell)で力付くでも12000！までは解ける辺り、 効率悪くてもとりあえず動く物を作れるようになったのは良い時代になったと思う。 584 名前： mailto:sage [2018/11/18(日) 19:54:03.12 ID:KS5/UdBT.net] >>564 その動画、素因数の5を数えればよい、と言い切っちゃっているが、2は数えなくてもいいのか？あるいは 2 を数えなくてもいい理由を述べていないよね それに、どうして素因数分解は必ずひととおりになるのですか？二通りになるかもしれないのでは？ 585 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 19:58:30.97 ID:/tSlZOJ0.net] そうだね おまけに足し算がアーベル群を成していないかもしれないから和と自然数の定義から確認しないと駄目だね 586 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 21:11:02.75 ID:cU5Dmtcu.net] 今、((2n-1)2^m, n5^m)をペアで考えるよ そうすると、1≦n, mで常に(2n-1)2^m≦n2^(m+1)≦n4^m≦n5^mになる で、ということはx!の中にある5の倍数が含まれるなら、対応した2の倍数もまた含まれていて素因数の個数が同じ なので素因数は5だけ数えれば良い 587 名前： 素因数分解が一通りなのは自明なので定義からやり直せ [] [ここ壊れてます] 588 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 21:18:15.05 ID:HyP7YfXU.net] 2以上のnに対しn!=(2^p)*(5^q)*N（Nと2と5は互いに素）とする非負整数p,q,Nがただ一組存在して p>qであることはほとんど自明だが証明しろと言われると… 589 名前：デフォルトの名無しさん [2018/11/18(日) 21:24:02.32 ID:HhgIFMcS.net] >>569 https://mathtrain.jp/legendretheorem 末尾の 0の数は，10で何回割り切れるか，すなわち 2で割れる回数と 5で割れる回数の少ない方である。 （直感的に考えて 5 で割れる回数のほうが少ないので 5で割れる回数だけ考えればよいが練習のため，） 590 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 21:50:28.21 ID:tNgGKwOg.net] 普通に自明 591 名前： mailto:sage [2018/11/18(日) 21:56:44.59 ID:KS5/UdBT.net] >>571 ＞素因数分解が一通りなのは自明 自明ではないと思います…「素数の定義は 1 と自身以外の約数を持たない」であって「素数の積が一通り」ではないですから ＞そうすると、1≦n, mで常に(2n-1)2^m≦5^mになる OKです ＞で、ということはx!の中にある5の倍数が含まれるなら、対応した2の倍数もまた含まれていて素因数の個数が同じ ここは飛躍しているのでは？ n・5^m →(2n-1)・2^m と対応づけるとき n・5^m の形の数が決して (2n-1)・2^m の形にならないのであれば一対一の対応がとれますが、n・5^m の形であってかつ (2n-1)・2^m の形である整数が存在する場合は一対一の対応にならない 厳密に一対一の対応にならないのなら、因数 2 の個数と因数 5 の個数の大小についてなにもいえないのでは？ 592 名前： mailto:sage [2018/11/18(日) 21:58:55.74 ID:KS5/UdBT.net] >>573 ＞直感的に考えて 5 で割れる回数のほうが少ないので あくまでも「直感的に」ですよね 厳密にそういえますか？ 593 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 21:59:59.80 ID:tNgGKwOg.net] ルジャンドルの定理を考えれば普通に自明 594 名前：デフォルトの名無しさん [2018/11/18(日) 22:33:22.36 ID:ryC6c2pW.net] >>569 証明はされているしググれば出てくる 内容についてはこのスレの趣旨的にここで深く論じる事ではないと思う 595 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 22:34:24.44 ID:I7k3lQnf.net] ◆QZaw55cn4c は荒らしなのでスルーでお願いします 596 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 22:42:22.16 ID:qz83zcM7.net] お題 UTF-8のバイト列が与えられるので、Unicodeのコードポイントを求めよ 6F 64 61 69 => U+006F U+0064 U+0061 U+0069 E3 81 8A E9 A1 8C => U+304A U+984C C2 A9 F0 9F 8D 94 E9 A6 99 41 => U+00A9 U+1F354 U+9999 U+0041 597 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 23:39:58.87 ID:N6zzFXD1.net] ◆QZaw55cn4c は、このスレでも荒らしてるのか。 598 名前： mailto:sage [2018/11/18(日) 23:51:49.66 ID:KS5/UdBT.net] >>578 ＞内容についてはこのスレの趣旨的にここで深く論じる事ではない 一理あるとは思います 599 名前：デフォルトの名無しさん mailto:sage [2018/11/18(日) 23:58:08.89 ID:N6zzFXD1.net] 何かと思ったら、自然数の素因数分解の一意性に文句を付けているのかよ。 600 名前：デフォルトの名無しさん mailto:sage [2018/11/19(月) 00:12:50.43 ID:En0/bEno.net] >>575 n・5^m=(2n-1)・2^mなら、nは2の累乗かつ2n-1は5の累乗(2と5は互いに素なので) でも、2n-1が5の累乗だとするとn=3,13,63,313…と奇数なので(f(1)=3, f(x)=f(x-1)+2・5^(x-1)で導出)nが2の累乗であることに矛盾する 素因数分解が一意なのはwikipediaにでも載ってる というか自分である程度考えてよ……粗探ししてないでさ 601 名前：デフォルトの名無しさん mailto:sage [2018/11/19(月) 00:15:20.48 ID:DnlmRpTS.net] >>580 Java https://ideone.com/uuHw3q 602 名前： mailto:sage [2018/11/19(月) 00:25:31.38 ID:MufxDZB0.net] >>584 ＞ n・5^m=(2n-1)・2^m そう置くのではなく a・5^b = (2c-1)・2^d と置くべきなのでは？ たとえば m = 1 のとき n の小さいものから順に 1・5 → 1・2 2・5 → 3・2 3・5 → 5・2…�@ ここ�@で 5・2 はすでに数え上げているので、一対一対応になっていないと思います 一対一対応にな� 603 名前：轤ﾈい以上、>>575 の推論は飛躍しているのではないでしょうか 繰り返しますが >>575 「n・5^m の形であってかつ (2n-1)・2^m の形である整数が存在する場合は一対一の対応にならない 厳密に一対一の対応にならないのなら、因数 2 の個数と因数 5 の個数の大小についてなにもいえないのでは？」 です [] [ここ壊れてます] 604 名前：デフォルトの名無しさん mailto:sage [2018/11/19(月) 00:36:52.56 ID:En0/bEno.net] ん、あれ確かにおかしいな 即レスはミスの源だな、再検討してくる 605 名前：デフォルトの名無しさん mailto:sage [2018/11/19(月) 01:06:40.64 ID:4D1JIT10.net] >>580 大変勉強になりました。 const getCP = s => [...new TextDecoder('utf-8').decode(Uint8Array.from(s.split` `.map(x => parseInt(x, 16))))].map(u => 'U+' + u.codePointAt().toString(16).toUpperCase().padStart(4, 0)).join` ` getCP('6F 64 61 69') => "U+006F U+0064 U+0061 U+0069" getCP('E3 81 8A E9 A1 8C') => "U+304A U+984C" getCP('C2 A9 F0 9F 8D 94 E9 A6 99 41') => "U+00A9 U+1F354 U+9999 U+0041" 606 名前：デフォルトの名無しさん mailto:sage [2018/11/19(月) 01:10:37.57 ID:rdQ6rffg.net] n/2>=n/5 n/2^2>=n/5^2 以下略 5の方が多くなることはないわな 607 名前：デフォルトの名無しさん mailto:sage [2018/11/19(月) 01:11:16.13 ID:4D1JIT10.net] あっ、>>588はJavascript(整形にpadStart使ったのでES2017)です。 608 名前：デフォルトの名無しさん [2018/11/19(月) 03:32:52.09 ID:hjbRrJKx.net] >>580 Perl5 変換は Perl 任せ。 https://paiza.io/projects/bErYwPOrGUtJk52KIHj-yw 609 名前：デフォルトの名無しさん [2018/11/19(月) 10:25:48.15 ID:X6/A5UND.net] 問題と言うより、単純な興味なんだけど。 Cでこんなコード書いて (Hello World!!が横に流れ続けて下でマークがクルクル回る) https://ideone.com/ZaZSaa それをHaskellで書いてみたのね。 https://ideone.com/ui16nc ハイブリッドな言語増えて来たので、他の言語だとどう書くのかなって。 出来れば破壊的なのと、関数型っぽく非破壊的なのと見てみたい。 (ミュータブル版とイミュータブル版) 610 名前：デフォルトの名無しさん mailto:sage [2018/11/19(月) 10:29:45.48 ID:/4Aoxd3M.net] >>592 何をするのか網ちょい詳しく 611 名前：デフォルトの名無しさん [2018/11/19(月) 11:00:22.26 ID:X6/A5UND.net] >>593 精一杯考えて説明したつもりなので、Cのコードコンパイルして実際にコマンドで動かしてもらえれば。 それと同じ動きになるコードを書いて欲しいと言うことです。 (出来れば初期化以外の変数代入有りと無しで) 612 名前：デフォルトの名無しさん mailto:sage [2018/11/19(月) 23:48:36.76 ID:S7M28HrM.net] >>580 rust https://ideone.com/Nr1HC5 >>580 ruby https://ideone.com/KFF0F8 613 名前：デフォルトの名無しさん mailto:sage [2018/11/20(火) 00:53:04.42 ID:yKairBEQ.net] >>580 python 3 for x in ["6F 64 61 69","E3 81 8A E9 A1 8C","C2 A9 F0 9F 8D 94 E9 A6 99 41"]: __print(" ".join(['U+{:04X}'.format(ord(y)) for y in bytes.fromhex(x).decode("utf-8")])) -> U+006F U+0064 U+0061 U+0069 U+304A U+984C U+00A9 U+1F354 U+9999 U+0041 614 名前：デフォルトの名無しさん mailto:sage [2018/11/20(火) 01:11:13.89 ID:avg9qTbR.net] >>588 utf-8がデフォルトだから引数要らないよ 615 名前：587 [2018/11/20(火) 02:29:27.79 ID:lQrB+xRm.net] >>580 C 全て自分で変換 https://paiza.io/projects/zZQoCluzBMnRmfSixWQAiA 616 名前：デフォルトの名無しさん mailto:sage [2018/11/20(火) 02:34:35.37 ID:yKairBEQ.net] >>541 python 3 https://ideone.com/b6Gxn3 617 名前：デフォルトの名無しさん mailto:sage [2018/11/20(火) 11:19:51.35 ID:XC6mINx9.net] >>580 Ruby 仕様をそのまま。ただし冗長性のチェックだけはしていない def divide_prefix(byte) 　　raise 'invalid byte' if byte & 0xF8 == 0xF8 　　prefix_len = (1..8).find{|i| (byte >> 8 - i) & 1 == 0} 　　prefix = (1 618 名前： << prefix_len - 1) - 1 << 1 　　{prefix: prefix, body: byte - (prefix << 8 - prefix_len)} end def utf8_codepoints(bytes) 　　ary = bytes.map{|e| divide_prefix(e)} 　　leading_bytes = ary.select{|dc| dc[:prefix] != 0x02} 　　leading_bytes.map do |lb| 　　　　utf8_char = ary.shift(lb[:prefix] == 0 ? 1 : lb[:prefix].bit_length - 1) 　　　　raise 'invalid sequence' if utf8_char[1..-1]&.any?{|dc| dc[:prefix] != 0x02} 　　　　utf8_char.reverse_each.with_index.map{|dc, i| dc[:body] << 6 * i}.sum 　　end end [ 　　'6F 64 61 69', 　　'E3 81 8A E9 A1 8C', 　　'C2 A9 F0 9F 8D 94 E9 A6 99 41' ].each{|str| puts utf8_codepoints(str.split.map(&:hex)).map{|e| 'U+%04X' % e}.join(' ')} # => U+006F U+0064 U+0061 U+0069 U+304A U+984C U+00A9 U+1F354 U+9999 U+0041 [] [ここ壊れてます] 619 名前：デフォルトの名無しさん [2018/11/20(火) 13:23:53.49 ID:FaN+D89v.net] >>592 Ruby ターミナル上で10秒間 <marquee>Hello, world</marquee> & 棒がぐるぐる的な感じ duration = 10 wait = 0.1 str = 'Hello, World!' len = str.size bar = %w[- / | \\ ] clear_lines = -> n {puts "\e[#{n}\e[#{n}A"} # 非破壊的 str2 = 'Hello, World!' * 2 (duration / wait).round.times{|i|puts str2[i % len, len], bar[i % 4]; sleep(wait); clear_lines[2]} # 破壊的 hello_ary = 'Hello, World!'.split('') (duration / wait).round.times{puts hello_ary.rotate!.join, bar.rotate!.first; sleep(wait); clear_lines[2]} 620 名前：デフォルトの名無しさん mailto:sage [2018/11/20(火) 13:50:30.38 ID:+huVy/La.net] 訂正 duration = 10 wait = 0.1 str = 'Hello, World!' bar = %w[- / | \\ ] clear_lines = -> n {puts "\e[#{n}\e[#{n}A"} # 破壊的 str_ary = str.split('') bar_ary = [*bar] (1..duration / wait).each{puts str_ary.rotate!.join, bar_ary.rotate!.first; sleep(wait); clear_lines[2]} # 非破壊的 str2 = str * 2 (1..duration / wait).each{|i|puts str2[i % sitr.size, str.size], bar[i % 4]; sleep(wait); clear_lines[2]} 621 名前：デフォルトの名無しさん [2018/11/20(火) 23:12:15.60 ID:Vm2a6rBd.net] 世界一気持ち良いフェラチオのアルゴリズムを作れ 622 名前：デフォルトの名無しさん mailto:sage [2018/11/21(水) 05:38:04.65 ID:yscr9wE/.net] >>541 Ruby で実行すると、Timeout になりました！ # 10桁の文字列で、重複した文字が無いものは、いくつあるか？ month = ("01".."12").to_a day = ("01".."31").to_a hour = ("00".."23").to_a min = sec = ("00".."59").to_a # uniq! は変化が無ければ、nil p month.product( day, hour, min, sec ) .reject { | mon, d, h, min, s | ( mon + d + h + min + s ).chars.uniq! } .length 623 名前：デフォルトの名無しさん mailto:sage [2018/11/21(水) 08:13:38.75 ID:KQDfl3zy.net] >>604 .reject { | mon, d, h, min, s | ( mon + d + h + min + s ).chars.uniq! }が無駄過ぎ .reject(&:uniq!)で良い。それでも良いコードではない あとこれだと2月31日とかが含まれてしまう可能性考慮してないよね(実際には含まれないが) 624 名前：デフォルトの名無しさん mailto:sage [2018/11/21(水) 13:17:27.94 ID:r/9FyEhs.net] >>545 をちょっと変更。月を分ける必要がなかった date = [1, 2].permutation.flat_map do |dd, dh| 　　[*3..5].permutation(2).flat_map do |dm, ds| 　　　　([*3..9] - [dm, ds]).permutation.map do |mo, d, h, m, s| 　　　　　　[0, mo, dd, d, dh, h, dm, m, ds, s] if dh == 1 || h == 3 　　　　end 　　end end.compact.sort 625 名前：デフォルトの名無しさん [2018/11/21(水) 13:59:24.73 ID:89fYavxU.net] 月日時分秒で文字列で並べる前に11月とか11日とか22日とか必ず各桁が同じ値になるやつ最初から省けば無駄がなくなって少し速くならんか？ 626 名前：デフォルトの名無しさん [2018/11/21(水) 17:57:29.48 ID:89fYavxU.net] >>541 Kotlin https://paiza.io/projects/0NqpaSgw6xT_U6SsNmDepA 色々試した結果、やはり最初に必要な文字列全て作ってしまうのが一番速かった。 627 名前：デフォルトの名無しさん mailto:sage [2018/11/21(水) 19:06:42.18 ID:7Tiab2M6.net] 文字列を正規表現で判定するのは遅いんじゃね？ 628 名前：デフォルトの名無しさん mailto:sage [2018/11/21(水) 19:31:36.89 ID:fvygYhm9.net] 12*31*6

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef