点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 2-SAT问题
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
2-sat 问题 课件
2sat问题的课件,讲解细致易懂!acm/icpc用
所属分类:
专业指导
发布日期:2009-08-21
文件大小:263kb
提供者:
inzaghi250
ACM 常用代码 都是很经典的
......................................................................... 7 | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 .......................................
所属分类:
其它
发布日期:2010-04-24
文件大小:651kb
提供者:
zhuyingqingfen
ACM常用代码,经典
| 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 ......................................................................... 8 | 无向图连通分支(DFS/BFS 邻接阵) ................
所属分类:
其它
发布日期:2010-04-29
文件大小:651kb
提供者:
hellodota121
ACM算法-ACM/ICPC 代码库
目录 目录 .............................................. 1 Graph 图论 ........................................ 3 | DAG 的深度优先搜索标记 ............................................. 3 | 无向图找桥 .....................................................................
所属分类:
其它
发布日期:2010-04-30
文件大小:651kb
提供者:
lin_style
ACM 常用代码 都是经典
我从网友那下的,扣了10个资源分,贵啊,在此分享给大家 ......................................................................... 7 | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 ...........
所属分类:
其它
发布日期:2010-04-30
文件大小:651kb
提供者:
hdjjun
ACM 常用经典代码
......................................................................... 7 | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 .......................................
所属分类:
其它
发布日期:2010-04-30
文件大小:651kb
提供者:
mason_mow
ACM 常用代码 都是很经典的
......................................................................... 7 | 弦图的PERFECT ELIMINATION 点排列 .......................... 7 | 稳定婚姻问题 O(N^2) .................................................. 8 | 拓扑排序 .......................................
所属分类:
其它
发布日期:2010-05-04
文件大小:651kb
提供者:
xteep2009
基于寻找2-SAT子问题的SAT算法
将SAT问题化为2-SAT子问题进行求解,算法效果比UnitWalk算法高效
所属分类:
其它
发布日期:2010-09-04
文件大小:209kb
提供者:
uniquesole
np难问题近似算法(绝版好书)
这本书在国内已经绝版。目录如下 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
所属分类:
其它
发布日期:2010-12-22
文件大小:13mb
提供者:
dragonxin28
ACMICPC代码库
各种经典程序模版。 目录 目录 .............................................. 1 Graph 图论 ........................................ 3 | DAG 的深度优先搜索标记 ............................................. 3 | 无向图找桥 ............................................................
所属分类:
专业指导
发布日期:2011-08-11
文件大小:651kb
提供者:
justme0
伍昱的《由对称性解2-SAT问题》
伍昱的《由对称性解2-SAT问题》。。。。。。。。。。。。。。。。。。。。。。。。。。
所属分类:
C/C++
发布日期:2011-09-08
文件大小:263kb
提供者:
nameless_05
ACM题目大汇总
一些图论、网络流入门题总结、汇总.包含最短路问题、生成树问题、连通性、度数、拓扑问题、2-SAT问题、最大流问题、费用流问题、匹配问题等等题目的大汇总链接。
所属分类:
C/C++
发布日期:2011-10-06
文件大小:226kb
提供者:
lidianlai256
2-SAT问题的求解思想
基于2-SAT问题的通用算法进行了详细的证明,结合例题图形深入剖析该算法的解题思想,充分挖掘图的性质,更好的解决问题。
所属分类:
C/C++
发布日期:2012-09-04
文件大小:263kb
提供者:
steamqueen
国家集训队2003论文集
国家集训队2003论文集 何林:《一类称球问题的解法》 王知昆:《浅谈用极大化思想解决最大子矩形问题》 刘才良:《平面图在信息学中的应用》 陆可昱:《长方体体积并》 雷环中:《结果提交类问题》 侯启明:《信息论在信息学竞赛中的简单应用》 刘一鸣:《一类搜索的优化思想——数据有序化》 方奇:《染色法和构造法在棋盘上的应用》 邵烜程:《数学思想助你一臂之力》 饶向荣:《病毒的DNA———剖析一道字符匹配问题解析过程》 林希德:《求最大重复子串》 张云亮:《论对算法的选择》 许智磊:《浅谈补集转化思
所属分类:
其它
发布日期:2008-09-01
文件大小:3mb
提供者:
lantionzy
由对称性解2-SAT问题
由对称性解2-SAT问题 资料非常全面详细 绝对有用的哦! 强烈推荐!!
所属分类:
专业指导
发布日期:2014-05-28
文件大小:263kb
提供者:
licyh
挑战程序设计竞赛(第2版)
世界顶级程序设计高手的经验总结 【ACM-ICPC全球总冠军】巫泽俊主译 日本ACM-ICPC参赛者人手一册 本书对程序设计竞赛中的基础算法和经典问题进行了汇总,分为准备篇、初级篇、中级篇与高级篇4章。作者结合自己丰富的参赛经验,对严格筛选的110 多道各类试题进行了由浅入深、由易及难的细致讲解,并介绍了许多实用技巧。每章后附有习题,供读者练习,巩固所学。 本书适合程序设计人员、程序设计竞赛爱好者以及高校计算机专业师生阅读。 目录 · · · · · · 译者序 前言 第1章 蓄势待发——准备
所属分类:
其它
发布日期:2015-08-05
文件大小:51mb
提供者:
cumulonanima
2-SAT问题解法浅析
2-SAT问题浅析,论文资料。
所属分类:
C/C++
发布日期:2016-08-12
文件大小:179kb
提供者:
ourfutr2330
2-SAT解法浅析 赵爽 & 由对称性解2-SAT问题
关于学习2-sat的某些论文,入手必备,建议阅读.简介:算法2的步骤&原理&证明 与 例题分析,算法1的步骤
所属分类:
C/C++
发布日期:2017-09-25
文件大小:263kb
提供者:
qq_27121257
超级详细的图论问题分析与解答.rar
跳舞蝇 从一道题目的解法试谈网络流的构造与算法 平面图在信息学中的应用 平面嵌入 生成树的计数及其应用 由对称性解2-SAT问题 由图论算法浅析算法优化 图论的基本思想及方法 图论模型的建立与转化 欧拉回路性质与应用探究 树的枚举 浅析二分图匹配在信息学竞赛中的应用 浅析树的划分问题 浅谈网络流算法的应用 浅谈图论模型的建立与应用 浅谈基于分层思想的网络流算法 偶图的算法及应用 最大流在信息学竞赛中应用的一个模型--江涛 最小生成树问题的扩展 最小生成树算法
所属分类:
讲义
发布日期:2020-04-01
文件大小:3mb
提供者:
sherlock_chang_3
minisat-2.2.0.tar.gz
可满足问题(SAT问题)完备求解器,基本是现在大多数SAT求解器的基石。
所属分类:
搜索引擎
发布日期:2019-07-06
文件大小:43kb
提供者:
m0_37384317
«
1
2
3
»