Dataset of Sketches
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/SergeyParamonov/sketching
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了21个经典的组合问题，其中大部分属于NP完全问题。该数据集是系统性地为了评估SkASP方法而设计的，选择了具有信息性的编码和示例。规模上，它涵盖了21个知名的谜题和组合问题。该数据集的任务是评估程序合成技术以及SkASP方法的使用效能。
This dataset comprises 21 classic combinatorial problems, the majority of which fall into the class of NP-complete problems. It was systematically developed to evaluate the SkASP method, with informative encodings and representative examples carefully curated. In terms of scale, it covers 21 well-known puzzles and combinatorial problems. The core task of this dataset is to assess the effectiveness of both program synthesis techniques and the SkASP method.
提供机构：
Authors of the paper.
