搜索资源列表
UVALive4849
- uvalive4849的ac源码。算法:2-sat。题意:给n(n<=3000)个黑方块的坐标,保证黑方块没有公共边。对于每个黑方块选一个角作为结点,使得所选结点满足输入的一个无向图。其中距离为曼哈顿距离。输出是否有解。possible或impossible。-AC source of uvalive 4849. Algorithms: 2-sat. Meaning of the questions: to n (n <= 3000) coordinates a black box,
mmu-layout
- FR451 MMU Linux puts the MMU into EDAT mode whilst running. This means that it uses both the SAT registers and the DAT TLB to perform address translation.
PetList
- 鏡頭距離是 GameDesc 家無招 是 sat 輕工是kygonginfo
fix-nagra3-ku-sks-on-iks
- patch nagraVision3 kudels... (Chip ali 3606 3602 ) on sks and iks (Sat Hispasat and sats europa)-patch nagraVision3 kudels... (Chip ali 3606 3602 ) on sks and iks (Sat Hispasat and sats europa)
07_sirz
- sat format descr iption
cypress_atacb
- Support for emulating SAT (ata pass through) on devices based on the Cypress USB ATA bridge supporting ATACB.
satip-client-1.1-r2.tar
- sat>ip client for linux
sat
- Sa(t)的临界采样及信号重构 连续时间的冲激序列采样后还原。-Impulse sequence and matlab
Sat-vs-VPaVs
- Effect of Saturation on Vp and Vs
Makefile
- Makefile for crosscompile Mumudvb (SAT/Terrestrical signal > HTTP over Ethernet programm) for newer OpenWRT kernel (3.18.x) Copy File to packages folder, execure install scr ipt, download mumudvb git to openwrt - dl - folder, check mumud
SP
- k-sat.the algorithms for k-sat problem
SAT A Security Architecture Achieving Anonymity and Traceability in Wireless Mesh Networks (2011)
- Anonymity has received increasing attention in the literature due to the users’ awareness of their privacy nowadays. Anonymity provides protection for users to enjoy network services without being traced. While anonymity-related issues have been exte
Blackbox45
- Blackbox是通过将STRIPS的entire说明转换为布尔型满足问题的规划系统,用于解决多种当前满足的引擎,融合了约束满足和图规划技术。 -Blackbox is a planning system that works by converting problems specified in STRIPS notation into Boolean satisfiability problems, and then solving the problems with a varie
00676515
- realization of a wavelength shifter based on cascaded second-order processes in the organic molecular crystal N-(4- nitropheny1)-L-prolinol (NPP).’ In our experiment, a pump pulse p at frequency wp and a signal pulse s at w, - wp interact t
Intelligent-bus-card-system
- 可以记录坐过的站数,以及智能扣掉钱,还有防止逃票功能-Number of stations that can be recorded sat, and smart money deducted, as well as to prevent fare evasion function
Source_12_12_2004
- here be some descr iption about sat
hdparm-9.9.tar
- hdparm provides a command line interface to various kernel interfaces supported by the Linux SATA/PATA/SAS libata subsystem and the older IDE driver subsystem. Many newer (2008 and later) USB drive enclosures now also support SAT (SCSI
xuezhang
- 利用IWO和PSO求解MAX-3-SAT问题的比较研究 优化算法-A comparative study of solving MAX-3-SAT problem with IWO and PSO
约瑟夫问题
- M个人坐在一圈,开始数数,报到K或K的倍数的人出去,然后继续报数,直到最后剩下一个人,问最后剩下的人是谁?多少号?请大家自己设计算法,自己编程实现。(M sat in a circle and began to count, multiple report K or K people go out, and then continue to count off, until the last person left, who is the last person? What number? Pl
基于结构稀疏的SAR图像低秩重建
- 压缩感知图像处理用于SAR 经典的压缩感知教科书的源代码(compressed sensing SAT)