サブロウ丸

Sabrou-mal サブロウ丸

主にプログラミングと数学

2022-08-01から1ヶ月間の記事一覧

Docker image and file to generate SVP Challenge instances

I created Dockerfile to generate instances of SVP Challenge. Dockerfile Usage Build and enter docker image pull from DockerHub docker pull nariaki3551/svp_generator docker run -v $(pwd):/mnt -it nariaki3551/svp_generator from Dockerfile do…

beam search; ビームサーチのpython実装

幅優先探索の亜種ですね。 アルゴリズムの流れは下記です。 rootノードのみからなるpath、を持つpathsリストを生成(paths = [ [root] ]) paths内の全てのpathを1階層分だけ展開しpathsを更新 スコアが最も高いk個のpathのみをpathsに残す 2に戻る 補足: ht…

Makefileの些事

PHONY .PHONY ダミーターゲット(PHONYは偽物の意) サブコマンドを作るために使用される。 .PHONY: clean clean: rm a.out main.o 上記によりmake cleanでrm a.out main.o が実行される。 .PHONYを指定しないと実行ディレクトリにcleanファイル/フォルダが…

最適化モデリングツール flopt を試してみる

Qiitaに記事を投稿しました。 Dev Community Medium 本稿では、最適化モデリングツールfloptの基本的な使い方やいくつかの機能の具体例を紹介します。(私も開発者の一人です) 最適化モデリングツールとは、ユーザーが解きたい問題を表現、具現化する作業をサ…

pybind11を用いた高速化 (master_mind)

pybind11を用いてPythonプロジェクトの一部をc++コードで置き換えて高速化を試みます。 本稿では以前作成したmaster mindのプロジェクトを題材にします。 作業前のコード 本稿で出てくる用語(ほとんど出さないように気をつけましたが)はmaster mind by c++; …

MLBenchのビルド

MLBenchのビルド(https://mlbench.github.io)に色々手間取ったのでその記録を残します。 最終的な手順 実行コマンド エラー一覧 error: blis/cy.c: No such file or directory Failed to build matplotlib Starting control-plane Error docker.errors.APIEr…

MPI_Datatypeのサイズを取得する

MPI

MPI_Datatypeのデータサイズは実行環境に依存しますが、その環境のデータサイズどうなのか? というのを調べる関数が用意されています。 MPI_Type_size(MPI_Datatype datatype, int * size); でsize変数にデータサイズが格納されます。(参考: MPI_Type_size(…