根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
2021-02-22 18:07:25
460KB
1
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
2021-02-22 18:07:22
149KB
1
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
2021-02-22 18:06:56
288KB
1
无需安装，绿色版 part3
这个东西不好弄，从朋友那弄来的，他从内部里拿的，OJ离线版，放入输入输出数据，系统会拿你的输出数据和标准的输出数据进行比较，匹配则AC，当然也有TLE,RE等等，有输入输出数据，但是不能联网？或者网络上没有这个题的OJ？又或者你自己想了一个题，要验证。。等等，这个就是你的最好选择，ACMer的必备，没有离线判断系统，不算一个真正的ACMer
一起AC，一起加油！！！
2020-11-22 02:03:08
4.75MB
1
OJ离线版 ACM离线本地测评/判定系统/软件
仅此一个压缩包即可解压，解压密码12343
2020-01-03 11:43:34
20.34MB
1
本指引是依据GB/T 22239-2019《信息安全技术 网络安全等级保护基本要求》有关条款，对测评过程中所发现的安全性问题进行风险判断的指引性文件。指引内容包括对应要求、判例内容、适用范围、补偿措施、整改建议等要素。
2020-01-03 11:40:31
438KB
1
Description
试设计一个用回溯法搜索子集空间树的函数。该函数的参数包括结点可行性判定函数和上界函数等必要的函数，并将此函数用于解0-1背包问题。
0-1 背包问题描述如下：给定n 种物品和一个背包。物品i的重量是wi，其价值为vi ，背包的容量为C。应如何选择装入背包的物品，使得装入背包中物品的总价值最大? 在选择装入背包的物品时，对每种物品i只有2 种选择，即装入背包或不装入背包。不能将物品i 装入背包多次，也不能只装入部分的物品i。
Input
输入由多组测试数据组成。
每组测试数据输入的第一行有2个正整数n和c。n是物品数，c是背包的容量。接下来的1 行中有n个正整数，表示物品的价值。第3 行中有n个正整数，表示物品的重量。
Output
对应每组输入，输出的2行是装入背包物品的最大价值和最优装入方案。
Sample Input
5 10
6 3 5 4 6
2 2 6 5 4
Sample Output
15
1 1 0 0 1
2020-01-03 11:17:35
2KB
1