Core Concepts
性能検証は、現実的な仮定の下でヒューリスティックの性能と制限を理解するための有望なツールである。
Abstract
性能検証は、現実的な仮定の下でヒューリスティックの性能と制限を理解するための有望なツールです。この論文では、Virelayというフレームワークを導入し、6つの異なるシステムで使用される6つの異なるヒューリスティックに対して性能検証を行いました。我々は、最小限の仮定を見つけることが重要であることを発見しました。また、システムが非常に複雑であるため、人間がそれらを完全にモデル化することやコンピューターがそのようなモデルに関して推論することは実用的ではありません。Virelayは、デザイナーが最小限の仮定を発見しやすくするためにソルバー出力を提供します。我々はこの反復戦略がいくつかの事例研究で鍵となる利点だと考えています。
Stats
フレームワーク内部で使用されている数式や計算方法に関する情報は含まれていません。
Quotes
"Performance verification is a nascent but promising tool for understanding the performance and limitations of heuristics under realistic assumptions."
"Developing new techniques for each of hundreds of diverse heuristics would be infeasible, particularly for the long tail of less well-studied examples."
"Humans are much better at abstracting to the appropriate level. Virelay provides recommendations on how to best combine the strengths of human and computer reasoning."