点数信息
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
资源分类
搜索资源列表
ACM算法模版大集合
一大堆模版 自己可以下来参考 应该有200个以上吧 自己下来看看 其中一个目录 图论 路径问题 0/1边权最短路径 BFS 非负边权最短路径(Dijkstra) 可以用Dijkstra解决问题的特征 负边权最短路径 Bellman-Ford Bellman-Ford的Yen-氏优化 差分约束系统 Floyd 广义路径问题 传递闭包 极小极大距离 / 极大极小距离 Euler Path / Tour 圈套圈算法 混合图的 Euler Path / Tour Hamilton Path / Tou
所属分类:
其它
发布日期:2009-10-15
文件大小:944128
提供者:
jordankan
ACM算法模板大集合
其中一个目录 图论 路径问题 0/1边权最短路径 BFS 非负边权最短路径(Dijkstra) 可以用Dijkstra解决问题的特征 负边权最短路径 Bellman-Ford Bellman-Ford的Yen-氏优化 差分约束系统 Floyd 广义路径问题 传递闭包 极小极大距离 / 极大极小距离 Euler Path / Tour 圈套圈算法 混合图的 Euler Path / Tour Hamilton Path / Tour 特殊图的Hamilton Path / Tour 构造 生成树
所属分类:
其它
发布日期:2010-04-19
文件大小:944128
提供者:
yiyemu
ACM算法-ACM/ICPC 代码库
目录 目录 .............................................. 1 Graph 图论 ........................................ 3 | DAG 的深度优先搜索标记 ............................................. 3 | 无向图找桥 .....................................................................
所属分类:
其它
发布日期:2010-04-30
文件大小:666624
提供者:
lin_style
基于寻找2-SAT子问题的SAT算法
将SAT问题化为2-SAT子问题进行求解,算法效果比UnitWalk算法高效
所属分类:
其它
发布日期:2010-09-04
文件大小:214016
提供者:
uniquesole
ACM算法模板和pku代码
本科参加ACM竞赛的过程中积累下来的一部分算法模板,和自己在PKU上面做的一部分题目。 模板目录结构: 目录: 动态规划 O(n^2)的最长上升子序列 nlogn最长上升子序列 高精度 计算几何 Graham扫描法 两线段交点 凸多边形面积 半平面交 计算几何库 数据结构 闭散列法整数hash 开散列法整数hash 字符串hash 堆 二维树状数组 Trie树 二叉查找树 线段树 RMQ LCA+RMQ SB-Tree 数论 生成紧凑素数表 分解质因子 最大公约数 a^b mod n 扩张欧几
所属分类:
其它
发布日期:2010-11-09
文件大小:368640
提供者:
yxysdcl
各种算法资料介绍和代码事例(包括2-Sat,A*,SPFA,BFS,DFS,DBFS,Dancing Links,BM,Dijkstra,Dinic,Floyd,Gabow,KMP,Prim,MD5,SAP,RMQ,Tarjan,ST,匈牙
各种算法资料介绍和代码事例(包括2-Sat,A*,SPFA,BFS,DFS,DBFS,Dancing Links,BM,Dijkstra,Dinic,Floyd,Gabow,KMP,Prim,MD5,SAP,RMQ,Tarjan,ST,匈牙利算法,朱刘算法等),还有很多算法,不一一列出,列出这么多,是想证明一下,确实是好资源,是我整理n久的结果,顶一下吧!
所属分类:
其它
发布日期:2010-12-12
文件大小:8388608
提供者:
as1989916478919283
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
文件大小:13631488
提供者:
dragonxin28
信息学算法 2-SAT
2-SAT 感觉PPT最关键的部分写的不是很好 。
所属分类:
其它
发布日期:2011-03-04
文件大小:187392
提供者:
lijian3256
遗传算法、交互式遗传算法Ver 0.002
仅用于科学研究,不用于商业目的,如果用于商业目的,请联系:guoshenghaoxz@tom.com 作者:郝国生 内容简介: 用Netbeans基于Java开发的遗传算法和交互式遗传算法平台,内含源代码,jar包等. 包含了: (1)传统遗传算法在函数优化中的应用,你可以仿照其中的代码加入自己的函数进行优化; (2)交互式遗传算法在服装设计、分形图形、三维动漫人脸设计等方面的优化(三维动漫人脸设计,需要在您的机器上安装directX和Java3D的支持) (3)较Ver 0.001版,主要改
所属分类:
Java
发布日期:2011-03-21
文件大小:8388608
提供者:
good0981
ACM常用算法框架大汇总
当中有几百种计算机常用的算法的框架和模板,如果你还在为算法问题而困扰时,这资料会让你廓然开朗,我也在学,很有用所以极力推荐大家. 框架部分目录如下: 图论 路径问题 0/1边权最短路径 BFS 非负边权最短路径(Dijkstra) 可以用Dijkstra解决问题的特征 负边权最短路径 Bellman-Ford Bellman-Ford的Yen-氏优化 差分约束系统 Floyd 广义路径问题 传递闭包 极小极大距离 / 极大极小距离 Euler Path / Tour 圈套圈算法 混合图的 Eu
所属分类:
专业指导
发布日期:2011-12-13
文件大小:944128
提供者:
cai62839739
ACM竞赛代码整理 v0.6.pdf
ACM竞赛代码整理 Version 0.6 By Tiaotiao, tiaotiaoyly@163.com 目录 第一章基础算法1 常用宏定义1 欧几里德算法1 快速排序1 快速排序(通用版) 2 第K 小元素2 LIS 最长上升子序列O(NLOGN) 3 RMQ 区间最值询问3 KMP 模式匹配3 字符串最小表示4 第二章数据结构5 并查集5 HEAP 最小堆5 树状数组6 二维树状数组6 TRIE 字典树6 后缀数组8 LCP 最长公共前缀9 第三章图论11 BELLMAN FORD 1
所属分类:
C
发布日期:2012-04-17
文件大小:344064
提供者:
tiaotiaoyly
2-SAT问题的求解思想
基于2-SAT问题的通用算法进行了详细的证明,结合例题图形深入剖析该算法的解题思想,充分挖掘图的性质,更好的解决问题。
所属分类:
C/C++
发布日期:2012-09-04
文件大小:269312
提供者:
steamqueen
two_SAT资料
这是关于ACM 相关的 2-SAT算法资料。
所属分类:
C/C++
发布日期:2014-02-18
文件大小:287744
提供者:
rf1234567890
挑战程序设计竞赛(第2版)
世界顶级程序设计高手的经验总结 【ACM-ICPC全球总冠军】巫泽俊主译 日本ACM-ICPC参赛者人手一册 本书对程序设计竞赛中的基础算法和经典问题进行了汇总,分为准备篇、初级篇、中级篇与高级篇4章。作者结合自己丰富的参赛经验,对严格筛选的110 多道各类试题进行了由浅入深、由易及难的细致讲解,并介绍了许多实用技巧。每章后附有习题,供读者练习,巩固所学。 本书适合程序设计人员、程序设计竞赛爱好者以及高校计算机专业师生阅读。 目录 · · · · · · 译者序 前言 第1章 蓄势待发——准备
所属分类:
其它
发布日期:2015-08-05
文件大小:53477376
提供者:
cumulonanima
常用算法代码
目录 目录 1 Graph 图论 3 | DAG 的深度优先搜索标记 3 | 无向图找桥 3 | 无向图连通度(割) 3 | 最大团问题 DP + DFS 3 | 欧拉路径 O(E) 3 | DIJKSTRA 数组实现 O(N^2) 3 | DIJKSTRA O(E * LOG E) 4 | BELLMANFORD 单源最短路 O(VE) 4 | SPFA(SHORTEST PATH FASTER ALGORITHM) 4 | 第 K 短路(DIJKSTRA) 5 | 第 K 短路(A*) 5
所属分类:
C
发布日期:2017-09-11
文件大小:228352
提供者:
weekdaylove
2-SAT解法浅析 赵爽 & 由对称性解2-SAT问题
关于学习2-sat的某些论文,入手必备,建议阅读.简介:算法2的步骤&原理&证明 与 例题分析,算法1的步骤
所属分类:
C/C++
发布日期:2017-09-25
文件大小:269312
提供者:
qq_27121257
基于DPLL的SAT算法的研究及应用
.基于 DPLL 的完备性 SAT 算法研究 (1)预处理:将公式转换为对应的CNF (2)加速搜索的一些启发式策略: BCP(Boolean Constraint Propagation,布尔约束传播)、变量决策策略、冲突分析、子句学习、回溯机制 (3)子句删除机制 (4)随机重启动机制
所属分类:
其它
发布日期:2017-12-20
文件大小:2097152
提供者:
zyk1060513882
acm国家集训队2003年论文合集
acm大学生程序设计竞赛,国家集训队2003年论文合集 国家集训队2003论文集 何林:《一类称球问题的解法》 王知昆:《浅谈用极大化思想解决最大子矩形问题》 刘才良:《平面图在信息学中的应用》 陆可昱:《长方体体积并》 雷环中:《结果提交类问题》 侯启明:《信息论在信息学竞赛中的简单应用》 刘一鸣:《一类搜索的优化思想——数据有序化》 方奇:《染色法和构造法在棋盘上的应用》 邵烜程:《数学思想助你一臂之力》 饶向荣:《病毒的DNA———剖析一道字符匹配问题解析过程》 林希德:《求最大重复子串
所属分类:
其它
发布日期:2009-03-27
文件大小:3145728
提供者:
insisted_search
kuangbin acm模板超级好用
1 字符串处理 5 1.1 KMP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 e-KMP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.3 Manacher . . . . . . . . . . . . . . . . . . .
所属分类:
C++
发布日期:2018-09-05
文件大小:1048576
提供者:
qq_41568836
智能问答算法原理及实践之路
高清版,智能问答算法原理及实践之路CONTENTS 01 智能问答算法原理 02 实践:小知客服机器人电话机器人 03 总结和挑战 腾讯小知 总览 query 中控逻辑 response 任务机器人 知识图谱机器人 FAQ机器人 闲聊机器人 阅读理解机器人 KNOWLEDGE GRAPH AQ豆豆 腾讯小知 腾讯小知 FAQ机器人 Preprocess:对 query进行预处理,抽取NLP特征 社保余额 怎么查询? 纠错 标准化文本特征提取 FAQ问题集 Retrieval:从问题索引中召回
所属分类:
机器学习
发布日期:2019-07-15
文件大小:3145728
提供者:
weixin_45246409
«
1
2
3
»