-
Notifications
You must be signed in to change notification settings - Fork 0
/
dkmatrix.c
128 lines (106 loc) · 1.64 KB
/
dkmatrix.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
/*** DKMATRIX.C ******/
void DKBfromC(void)
{
bool v;
assert(iC<DBX);
for(int i=0;i<iC;i++)
for(int j=0;j<iC;j++)
{
v=FALSE;
if(Dleq(C[i],C[j]))v=TRUE;
B[i][j]=v;
}
printf("Set matrix B. iC %d \n",iC);
}
void DKBprint(void)
{
bool v;
printf("matrix B: \n");
for(int i=0;i<iC && i<DKdev;i++)
{
for(int j=0;j<iC && j<DKdev;j++)
{
v=B[i][j];
if(v)printf(" 1");
else printf(" _");
}
newl();
}
newl();
}
BNUM DKBxRE(void)
{
BNUM st,sl;
PNUM q;
st=0;
for(int i=0;i<iC;i++)
{
sl=0;
for(int j=i;j<iC;j++)
{
q=0;
for(int k=i;k<=j;k++)
{q+=(B[i][k] AND B[k][j]);}
sl+=q*q;
}
st+=sl;
}
return st;
}
BNUM DKBx2(void)
{
BNUM s;
s=0;
for(int i=0;i<iC;i++)
for(int j=i;j<iC;j++)
{
if(B[i][j])s++;
}
return s;
}
BNUM DKBx3(void)
{
BNUM s;
s=0;
for(int j=0;j<iC;j++)
{
for(int i=j;i<iC;i++)
{
if(!B[j][i])continue;
for(int k=j;k<iC;k++)
{
if(B[j][k])s++;
}
}
}
return s;
}
BNUM DKBx4(void)
{
BNUM s;
s=0;
for(int i=0;i<iC;i++)
{
for(int j=i;j<iC;j++)
{
if(!B[i][j])continue;
for(int k=i;k<iC;k++)
{
if(!B[i][k])continue;
for(int l=Imaxim(j,k);l<iC;l++)
{
if(!B[j][l])continue;
if(!B[k][l])continue;
s++;
}}}}
return s;
}
void DKBdemo(void)
{
BNUM v;
DKexpanC(8);DKBfromC();DKBprint();
v=DKBx2(); printf("DKBx2 %I64d \n",v);
v=DKBxRE();printf("DKBxRE %I64d \n",v);
v=DKBx3(); printf("DKBx3 %I64d \n",v);
v=DKBx4(); printf("DKBx4 %I64d \n",v);
}