Python言語による実務で使える100+の最適化問題 | opt100
指針 厳密解法に対しては、解ける問題例の規模の指針を与える。数理最適化ソルバーを使う場合には、Gurobi かmypulpを用い、それぞれの限界を調べる。動的最適化の場合には、メモリの限界について調べる。 近似解法に対しては、近似誤差の指針を与える。 複数の定式化を示し、どの定式化が実務的に良いかの指針を示す。 出来るだけベンチマーク問題例を用いる。OR-Libraryなどから問題例をダウンロードし、ディレクトリごとに保管しておく。 解説ビデオもYoutubeで公開する． 主要な問題に対してはアプリを作ってデモをする． 以下，デモビデオ： 注意 基本的には，コードも公開するが， github自体はプライベート そのうち本にするかもしれない（予約はしているが， 保証はない）． プロジェクトに参加したい人は，以下の技量が必要（github, nbdev, poetry, gurobi); ペー
Red Blob Games: Hexagonal Grids
Mar 2013, updated in Mar 2015, Apr 2018, Feb 2019, May 2020, Oct 2021 This guide will cover various ways to make hexagonal grids, the relationships between different approaches, and common formulas and algorithms. I've been collecting hex grid resources[1] for over 25 years. I wrote this guide to the most elegant approaches that lead to the simplest code, starting from the guides by Charles Fu[2]
【Unity】ソートアルゴリズム12種を可視化してみた - Qiita
はじめに ソートアルゴリズムの学習として、12種のソートアルゴリズムを実装して可視化してみました。 Unityにはあまり関係がなさそうな話題ですが、Unity上で作ったのでUnityタグをつけます。 バブルソート バブルソートのアルゴリズムは以下のような感じです。 配列の要素を最初から最後まで見ていき、順序が逆の要素があれば入れ替える 全ての要素の順序が正しくなるまで 1.を繰り返す. void BubbleSort(int[] a) { bool isEnd = false; int finAdjust = 1; // 最終添え字の調整値 while (!isEnd) { bool loopSwap = false; for (int i = 0; i < a.Length - finAdjust; i++) { if (a[i] < a[i + 1]) { Swap(ref a[i],
30歳から始める数学 - SHOYAN BLOG
この記事はMath Advent Calendar 2015 2日目の記事です。 前回の記事は515hikaruさんのMath Advent Calendar 2015 一日目 - 515 ひかるのブログ 日常編です。 とあることから、30歳にして数学を学び始めました。いまは毎日楽しく数学の書籍を読んだり方程式を解いたりしています。 本記事では、僕と同じようにもう一度数学を学びたいなと思っている人向けに、数学の魅力を再発見する方法を紹介します。 30歳にして数学を学び始めたきっかけ きっかけはプログラマのための数学勉強会です。 とあるご縁でこの勉強会で発表することになり、そこから数学を学び直しました。 内容については、以下の記事を参照ください。 プログラマのための数学勉強会@福岡に登壇してきました プログラマのための数学勉強会@福岡#2に登壇してきました この数学勉強会で数学を勉強すること
RSAとNSAとの秘密契約疑惑で揺らぐ暗号システム評価 - 雑種路線でいこう
RSAといえば代表的な公開鍵暗号アルゴリズムで、作者が暗号を商用化するために設立した会社の社名でもある。その老舗がNSAから1000万ドルを受け取って、同社の暗号ツールキットBSafeで、NSAが開発したバックドアを含む擬似乱数生成器Dual Elliptic Curveを標準設定にしたとロイターが報じた。事実であればRSAやBSafeのブランドだけでなく、Dual_EC_DRBGをSP 800-90Aとして標準化したNISTへの信頼も揺らぐ。 あるNSAメモは、大胆にもその進捗状況についてこう書いている。「暗号解読機能がオンラインで使えるようになった。これでこれまで捨てられていた大量の暗号化インターネットデータを活用できる」 (略) ReuterがNSAはRSAに1000万ドル払って欠陥アルゴリズムを使わせたと暴露したことによって話は変わってきた。NSAがある種の邪悪な黒幕で、人気のセキ
中学生にもわかるウェーブレット行列 - アスペ日記
id:echizen_tm さんの記事「ウェーブレット木の効率的で簡単な実装 "The Wavelet Matrix"」から始まったウェーブレット行列ブームから半年以上が過ぎ、すでに枯れた技術として確立されつつある感があります。 …嘘です。 日本以外ではあんまり来ていません。 理由としては、やはりアルファベット圏では単語境界が明確であるため、こちらの記事で書かれているような「キーワード分割の難易度」といったことがあまり問題にならないということがあるかもしれません。 まあ、そういうわけで局所的に来ているウェーブレット行列ですが、日本語をはじめとする単語境界のない言語圏にとっては重要なネタであると思うため、解説記事を書き直して*1みようと思います。 ウェーブレット行列でできること 主となる操作は、文字列に対する 定数時間の rank() と select()*2 です。 rank() は、「文
クラスタリングの定番アルゴリズム「K-means法」をビジュアライズしてみた
集合知プログラミング を読んでいたら、K-means 法（K平均法）の説明が出てきました。 K-means 法はクラスタリングを行うための定番のアルゴリズムらしいです。存在は知っていたんだけどいまいちピンときていなかったので、動作を理解するためにサンプルを作ってみました。 クリックすると１ステップずつ動かすことができます。クラスタの数や点の数を変更して、Restart を押すと好きなパラメータで試すことができます。 こうやって１ステップずつ確認しながら動かしてみると、意外に単純な仕組みなのが実感できました。 (追記) HTML5 版の K-means 法を D3.js でビジュアライズしてみた も作成しました。Flash を表示できない環境ではそちらをご覧ください。 K-means 法とは K平均法 - Wikipedia に詳しく書いてあるけど、もうすこしザックリと書くとこんなイメージに
おねえさんを組み合わせ爆発から救う：完結編おねえさんは星になった - きしだのHatena
おねえさんを組み合わせ爆発から救うために、経路をZDDとして表したら、すっきりと経路情報が扱えました。 http://d.hatena.ne.jp/nowokay/20121018#1350528607 あとは、このZDDを効率よく構築できれば、おねえさんを救えそうです。このZDDの構築には、クヌース先生の開発したSimpathアルゴリズムを使うと非常に効率よく構築できます。 前回生成したZDDを見ると、同じノードにまとまっているものがいくつかあることがわかります。特に後半になるとどんどん同じパターンになるものがまとめられていきます。 つまり、この経路問題のZDDを構築するときには、いかに同じパターンになるものをまとめるかが鍵になるということです。 Simpathでは、辺の端だけに注目して、同じパターンになっていればそれ以降のノードを使いまわすという考え方で、ノードをまとめていきます。 つ
おねえさんを組み合わせ爆発から救う：ZDDがおねえさんを救う - きしだのHatena
おねえさんを組み合わせ爆発から救うために、経路をBDDとして表しました。 http://d.hatena.ne.jp/nowokay/20121017#1350435805 ところで、「F」に至る経路で、ある辺を通るとした場合に即「F」となっているものが半分あります。 その節点を使うとしたときに、結果が偽になるのであれば、それは節点ごと不要だと言えます。そこで、そのような節点は省略してしまいます。 このような図を、ゼロ抑制BDD(Zero suppressed BDD)、略してZDDと呼びます。 「F」をすべて省略することもできます。ただし、BDDとは違って、どちらでも同じ結果になる場合も、それぞれの接続を表示する必要があります。 そうすると、2x2マスの経路でも、次のように表すことができます。かなり節点の数が減っていることがわかります。 「T」に至るパスの数が、経路の数です。 さまざまな
おねえさんを組み合わせ爆発から救う：無駄を省いてBDDを作る - きしだのHatena
おねえさんを組み合わせ爆発から救うために、経路を二分決定木として表しました。 http://d.hatena.ne.jp/nowokay/20121016#1350351212 前回の二分決定木を見ると、「1:2」「1:3」を通るとした場合、あとはどのような選択をしても単純な経路にならず「F」にたどりつきます。同様に、両方通らない場合も「F」になります。 このように、それ以降はどのような選択をしても結果がひとつに決まるという場合、それ以降のツリーを省略すると、決定木がすっきりします。 また、それ以降の分岐が等しくなる場合をまとめることもできます。そうすると、単純な二分決定木ではとても画面におさまりきらなかった2x2マスの経路も表示できるようになります。 このような図はツリーではなくなっているので、二分決定図、BDD(Binary Decision Diagram)といいます。この図では、「
おねえさんを組み合わせ爆発から救う：2分決定木を作る - きしだのHatena
おねえさんを組み合わせ爆発から救うために、まず格子グラフを作成しました。 http://d.hatena.ne.jp/nowokay/20121015#1350267331 こんどは、そのグラフの辺について、それぞれ通るか通らないかの組み合わせによって、始点から終点までの単純な経路になってるかどうか判定して、それをツリーとして表してみます。 右の実線に行く場合はその辺を通る、左の点線にいく場合はその辺は通らない、ということをあらわします。そして、最終的に始点から終点までの単純な経路になっている場合を「T」なっていない場合を「F」とします。 ここでは、1x1マスのグラフをあらわしているので、「1:3」と「3:4」を通る場合、つまり右に分岐する場合と、「1:2」と「2:4」を通る場合、右に分岐する場合だけが「T」となっています。 判定方法は、ツリーの途中では、始点と終点に入る辺が2本以上になる
おねえさんを組み合わせ爆発から救う：格子グラフを生成する - きしだのHatena
先月、組み合わせ爆発を数えるおねえさんが話題になりました。 http://d.hatena.ne.jp/nowokay/20120911#1347338066 結びになっている、「おねえさんに教えてあげたい・・・」をこっちにも教えてもらいたかったので、いろいろ調べてみました。 とりあえず、格子のグラフを作る必要があるっぽいので、まずはそのグラフの生成から。 こんな感じのグラフが作成されます。 ここで、左上を始点、右下を終点として、始点から近い順に頂点に番号を振って、幅優先で辺を生成してるところがあとで大切になります。 ネタバレしておくと、この、グラフでの経路の数え上げ問題は、クヌース先生の「The Art of Computer Programming Volume 4, Fascicle 1」の7.1.4二分決定図の章の演習問題225として載っています。 The Art of Compu
モバイルSNSゲームが儲かる本当の理由。かーずSPはなぜ１５万もつぎ込んだのか？
尾野（しっぽ） @tail_y かーずSPの人が完全にガチャコンプの罠にはまってる・・・。最初の３枚と後の３枚は確率が全然違うんだよ。 http://t.co/trgIxCvs 2012-02-09 22:14:44 尾野（しっぽ） @tail_y モバイルSNSゲームが儲かっている理由は色々挙げられてて、コミュニケーションだのグラフィックが綺麗だの、演出だの、オタを取り込むだの、ライトユーザーに対する配慮だの、タスクの消化だの、調節のシステムだの、チュートリアルが上手いだの、色々言われている。 2012-02-09 22:45:53 尾野（しっぽ） @tail_y で、それらが嘘だと思わないし、それぞれに価値があって、そういうの作れる人が儲かるのは正しいと思う。でも、これらは今のモバイルSNS業界が大儲けしている理由を、ちゃんと説明していない。だから、こういうの読んだ人が首をかしげながら
粒子フィルタによる時系列データの解析
モンテカルロフィルタと 時系列データマイニング 高知大学理学部数理情報科学科 本田研究室 小松 学 研究の背景 • 現実社会には多様な時系列データが存在する。 • 情報技術の発展によりこれらのデータが大量に蓄 積されてきている。 • データマイニングの手法を適用により、パターン発 見や、予測への応用が期待できる。 • 時系列データマイニングの方法としてモンテカル ロ・フィルタの有効性を検証する。 http://www.ism.ac.jp/~kitagawa 日経２５５平均株価 0 5000 10000 15000 20000 25000 30000 35000 40000 45000 0 50 100 150 時刻 モンテカルロフィルタとは • 高次元の非線形•非ガウス型の一般状態空 間モデルのフィルタリングおよび平滑化の方 法（Kitagawaなど)。 • 非ガウス型分布（確率密度分布）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Resources for image distortion algorithms
Object comparison in JavaScript
IDEA * IDEA
2 進符号化を活用した高速かつ柔軟なクラスタリング
世界初のヴァーチャル・バクテリア誕生！
大貧民におけるプレースタイルの相性に関する研究 | CiNii Research