找到2个数据集

标签: 空间复杂度

过滤结果

  • mCRL2_Based_符号奇偶游戏动态求解技术对比数据

    2026年1月30日 30 148 14

    数据集概述 本数据集包含一组mCRL2规格和公式，用于比较符号奇偶游戏的多种动态求解技术。这些技术对应论文《On-The-Fly Solving for Symbolic Parity Games》中的研究内容，数据集以压缩包形式提供，可用于验证不同求解方法的性能与效果。 文件详解 symbolic-artifact.zip 文件格式：ZIP...
    packageimg

  • 语法压缩用于上下文无关语言可达性数据集

    2025年12月6日 30 149 22

    数据集概述 该数据集是OOPSLA 2025会议投稿#737的初步版本成果，围绕“语法压缩用于上下文无关语言可达性”主题构建，包含说明文档与代码或数据压缩包，需结合Readme.pdf了解详细内容。 文件详解 文件名称: Readme.pdf 文件格式: PDF 内容说明: 提供数据集的详细说明文档，包含研究背景、数据结构、使用方法等信息 文件名称:...
    packageimg