.@masahiro_sakai @kazu_yamamoto @tanakh 依存関係の解決をSATソルバや Pseudo Boolean ソルバを使って厳密に解く研究なんかもあり、実際EclipseはSAT4Jを使って依存関係を解決していたはず。
posted at 22:03:04
| Stats | Twitter歴 5,992日（2007/05/09より） |
ツイート数 26,093（4.3件/日） |
表示するツイート :
2012年03月23日(金)33 tweetssource
.@kazu_yamamoto @tanakh 依存関係の解決はSATと相互に帰着できるので、NP完全であることが簡単に示せます。 文献は例えば http://www.mancoosi.org/papers/leberre-sat-beyond.pdf… とか。
posted at 22:01:02
Introduction to Japanese typography http://ow.ly/9sRyf
Retweeted by Masahiro Sakai
retweeted at 20:09:07
そういえば昔こんなの読んだ On using floating-point computations to help an
exact linear arithmetic decision procedure http://www-verimag.imag.fr/~monniaux/biblio/Monniaux_CAV09.pdf… #graph_crest
posted at 16:23:36
SMTソルバのLA(Q)やLA(Z)のセオリーソルバーの実装は、有理数ベースかつ素朴な実装のものが多い気がするので、こういうのを活かせるといいなぁ。 #graph_crest
posted at 16:21:19
QSopt_ex Rational LP Solver http://www2.isye.gatech.edu/~wcook/qsopt/ex/ というのがあるのね。 #graph_crest
posted at 16:17:15
“Improving the accuracy of LP solvers” by Ambros Gleixner #graph_crest
posted at 15:56:56
Steel Mill Slab Problem http://becool.info.ucl.ac.be/steelmillslab #graph_crest
posted at 15:25:34
"Using SCIP as a branch-and-price framework” by Stefan Heinz #graph_crest branch-and-priceをちゃんと理解したいなぁ。
posted at 15:22:43
"First steps with Zimpl and SCIP” by Ambros Gleixner and Stefan Heinz #graph_crest
posted at 14:26:34
Structure of SCIP の図がカッコイイ #graph_crest
posted at 14:24:06
pseudocost branching というのを知った。 #graph_crest
posted at 14:07:26
グレブナー基底を使う方法とかもちゃんと言及されていて、ちょっとびっくり。 #graph_crest
posted at 13:53:00
Fourier-Motzkin って1827なんて昔のだったのか。 #graph_crest
posted at 13:42:24
“What is Linear and Mixed Integer Programming(LP/MIP)” by Timo Berthold #graph_crest
posted at 13:37:37
これから午後のチュートリアルセッション。これが目的で来たのだ。 #graph_crest
posted at 13:34:35
bookmarked: Revised6 Report on the Algorithmic Language Scheme: Journal of Functional Programming, Vol. 19, No. ... http://bit.ly/GOwJ3n
posted at 12:07:54
“A Primal Barrier Function Phase I Algorithm for Nonsymmetric Conic Optimization Problems" http://www.tulips.tsukuba.ac.jp/dspace/handle/2241/115346… #graph_crest
posted at 11:51:23
SDP (Semidefinite Programming) よくわからない…… orz #graph_crest
posted at 11:27:31
graph crestシンポ すごい盛況ですな!!
Retweeted by Masahiro Sakai
retweeted at 11:18:31
“Computational experience in solving large scale semidefinite programming." by Toh Kim Chuan #graph_crest
posted at 11:18:01
問題を解析して単体法とバリアを自動選択する機能が最近Gurobiに追加されたとか。 #graph_crest
posted at 10:40:18
"Performance of Optimization Software - an Update” by Hans Mittelmann http://plato.asu.edu/talks/mittelmann_bench.pdf… #graph_crest
posted at 10:29:01
メッセージサイズ重要。圧縮。 #graph_crest
posted at 10:25:46
隣接行列の 2D partitioning でコミュニケーションを減らす。 #graph_crest
posted at 10:25:33
並列BFSアルゴリズム Level-Synchronized Breadth-First Search。CQ (Current Queue) と NQ(Next Queue) という２つのキューを使用。 #graph_crest
posted at 10:15:05
Kronecker Graph スケールフリー。隣接行列がフラクタル。 #graph_crest
posted at 10:12:07
性能の指標には TEPS (Traversed Edges Per Second) というのを使うのか #graph_crest
posted at 10:06:15
Graph500 http://www.graph500.org/ #graph_crest
posted at 10:05:58
"Performance Evaluation of Graph500 on Large-Scale Distributed Environment” by Toyotaro Suzumura https://sites.google.com/site/tokyotechsuzumuralab/graph500… #graph_crest
posted at 09:56:37
これから Graph CREST シンポジウム。 (@ 中央大学 後楽園キャンパス (Chuo Univ. Korakuen Campus)) http://4sq.com/GKi4F6
Retweeted by Masahiro Sakai
retweeted at 09:45:26
第１回 Graph CREST シンポジウム http://blog.goo.ne.jp/sdpaninf/e/b20ae13829872105b3c0773d1bec1c3e… なう。 (@ 中央大学 後楽園キャンパス 6号館) http://4sq.com/GHxps2
posted at 09:35:55
よんきびう〜
posted at 08:27:01