您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 2-sat 问题 课件

  2. 2sat问题的课件,讲解细致易懂!acm/icpc用
  3. 所属分类:专业指导

    • 发布日期:2009-08-21
    • 文件大小:263kb
    • 提供者:inzaghi250
  1. ACM 常用代码 都是很经典的

  2. ......................................................................... 7 | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 .......................................
  3. 所属分类:其它

    • 发布日期:2010-04-24
    • 文件大小:651kb
    • 提供者:zhuyingqingfen
  1. ACM常用代码,经典

  2. | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 ......................................................................... 8 | 无向图连通分支(DFS/BFS 邻接阵) ................
  3. 所属分类:其它

    • 发布日期:2010-04-29
    • 文件大小:651kb
    • 提供者:hellodota121
  1. ACM算法-ACM/ICPC 代码库

  2. 目录 目录 .............................................. 1 Graph 图论 ........................................ 3 | DAG 的深度优先搜索标记 ............................................. 3 | 无向图找桥 .....................................................................
  3. 所属分类:其它

    • 发布日期:2010-04-30
    • 文件大小:651kb
    • 提供者:lin_style
  1. ACM 常用代码 都是经典

  2. 我从网友那下的,扣了10个资源分,贵啊,在此分享给大家 ......................................................................... 7 | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 ...........
  3. 所属分类:其它

    • 发布日期:2010-04-30
    • 文件大小:651kb
    • 提供者:hdjjun
  1. ACM 常用经典代码

  2. ......................................................................... 7 | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 .......................................
  3. 所属分类:其它

    • 发布日期:2010-04-30
    • 文件大小:651kb
    • 提供者:mason_mow
  1. ACM 常用代码 都是很经典的

  2. ......................................................................... 7 | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 .......................................
  3. 所属分类:其它

    • 发布日期:2010-05-04
    • 文件大小:651kb
    • 提供者:xteep2009
  1. 基于寻找2-SAT子问题的SAT算法

  2. 将SAT问题化为2-SAT子问题进行求解,算法效果比UnitWalk算法高效
  3. 所属分类:其它

    • 发布日期:2010-09-04
    • 文件大小:209kb
    • 提供者:uniquesole
  1. np难问题近似算法(绝版好书)

  2. 这本书在国内已经绝版。目录如下 Introduction Dorit S. Hochbaum 0.1 What can approximation algorithms do for you: an illustrative example 0.2 Fundamentals and concepts 0.3 Objectives and organization of this book 0.4 Acknowledgments I Approximation Algorithms for Sc
  3. 所属分类:其它

    • 发布日期:2010-12-22
    • 文件大小:13mb
    • 提供者:dragonxin28
  1. ACMICPC代码库

  2. 各种经典程序模版。 目录 目录 .............................................. 1 Graph 图论 ........................................ 3 | DAG 的深度优先搜索标记 ............................................. 3 | 无向图找桥 ............................................................
  3. 所属分类:专业指导

    • 发布日期:2011-08-11
    • 文件大小:651kb
    • 提供者:justme0
  1. 伍昱的《由对称性解2-SAT问题》

  2. 伍昱的《由对称性解2-SAT问题》。。。。。。。。。。。。。。。。。。。。。。。。。。
  3. 所属分类:C/C++

    • 发布日期:2011-09-08
    • 文件大小:263kb
    • 提供者:nameless_05
  1. ACM题目大汇总

  2. 一些图论、网络流入门题总结、汇总.包含最短路问题、生成树问题、连通性、度数、拓扑问题、2-SAT问题、最大流问题、费用流问题、匹配问题等等题目的大汇总链接。
  3. 所属分类:C/C++

    • 发布日期:2011-10-06
    • 文件大小:226kb
    • 提供者:lidianlai256
  1. 2-SAT问题的求解思想

  2. 基于2-SAT问题的通用算法进行了详细的证明,结合例题图形深入剖析该算法的解题思想,充分挖掘图的性质,更好的解决问题。
  3. 所属分类:C/C++

    • 发布日期:2012-09-04
    • 文件大小:263kb
    • 提供者:steamqueen
  1. 国家集训队2003论文集

  2. 国家集训队2003论文集 何林:《一类称球问题的解法》 王知昆:《浅谈用极大化思想解决最大子矩形问题》 刘才良:《平面图在信息学中的应用》 陆可昱:《长方体体积并》 雷环中:《结果提交类问题》 侯启明:《信息论在信息学竞赛中的简单应用》 刘一鸣:《一类搜索的优化思想——数据有序化》 方奇:《染色法和构造法在棋盘上的应用》 邵烜程:《数学思想助你一臂之力》 饶向荣:《病毒的DNA———剖析一道字符匹配问题解析过程》 林希德:《求最大重复子串》 张云亮:《论对算法的选择》 许智磊:《浅谈补集转化思
  3. 所属分类:其它

    • 发布日期:2008-09-01
    • 文件大小:3mb
    • 提供者:lantionzy
  1. 由对称性解2-SAT问题

  2. 由对称性解2-SAT问题 资料非常全面详细 绝对有用的哦! 强烈推荐!!
  3. 所属分类:专业指导

    • 发布日期:2014-05-28
    • 文件大小:263kb
    • 提供者:licyh
  1. 挑战程序设计竞赛(第2版)

  2. 世界顶级程序设计高手的经验总结 【ACM-ICPC全球总冠军】巫泽俊主译 日本ACM-ICPC参赛者人手一册 本书对程序设计竞赛中的基础算法和经典问题进行了汇总,分为准备篇、初级篇、中级篇与高级篇4章。作者结合自己丰富的参赛经验,对严格筛选的110 多道各类试题进行了由浅入深、由易及难的细致讲解,并介绍了许多实用技巧。每章后附有习题,供读者练习,巩固所学。 本书适合程序设计人员、程序设计竞赛爱好者以及高校计算机专业师生阅读。 目录 · · · · · · 译者序 前言 第1章 蓄势待发——准备
  3. 所属分类:其它

    • 发布日期:2015-08-05
    • 文件大小:51mb
    • 提供者:cumulonanima
  1. 2-SAT问题解法浅析

  2. 2-SAT问题浅析,论文资料。
  3. 所属分类:C/C++

    • 发布日期:2016-08-12
    • 文件大小:179kb
    • 提供者:ourfutr2330
  1. 2-SAT解法浅析 赵爽 & 由对称性解2-SAT问题

  2. 关于学习2-sat的某些论文,入手必备,建议阅读.简介:算法2的步骤&原理&证明 与 例题分析,算法1的步骤
  3. 所属分类:C/C++

    • 发布日期:2017-09-25
    • 文件大小:263kb
    • 提供者:qq_27121257
  1. 超级详细的图论问题分析与解答.rar

  2. 跳舞蝇 从一道题目的解法试谈网络流的构造与算法 平面图在信息学中的应用 平面嵌入 生成树的计数及其应用 由对称性解2-SAT问题 由图论算法浅析算法优化 图论的基本思想及方法 图论模型的建立与转化 欧拉回路性质与应用探究 树的枚举 浅析二分图匹配在信息学竞赛中的应用 浅析树的划分问题 浅谈网络流算法的应用 浅谈图论模型的建立与应用 浅谈基于分层思想的网络流算法 偶图的算法及应用 最大流在信息学竞赛中应用的一个模型--江涛 最小生成树问题的扩展 最小生成树算法
  3. 所属分类:讲义

  1. minisat-2.2.0.tar.gz

  2. 可满足问题(SAT问题)完备求解器,基本是现在大多数SAT求解器的基石。
  3. 所属分类:搜索引擎

    • 发布日期:2019-07-06
    • 文件大小:43kb
    • 提供者:m0_37384317
« 12 3 »