• Journal of Information Technology Services
• /
• v.7 no.4
• /
• pp.221-230
• /
• 2008

Green's relations are five equivalence relations that characterize the elements of a semigroup in terms of the principal ideals. The J relation is one of Green's relations. Although there are known algorithms that can compute Green relations, they are not useful for finding all J relations in the semigroup of all $n{\times}n$ Boolean matrices. Its computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices. The size of the semigroup of all $n{\times}n$ Boolean matrices grows exponentially as n increases. It is easy to see that it involves exponential time complexity. The computation of J relations over the $5{\times}5$ Boolean matrix is left an unsolved problem. The paper shows theorems that can reduce the computation time, discusses an algorithm for efficient J relation computation whose design reflects those theorems and gives its execution results.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.507-521
• /
• 2019

For any $m{\times}n$ nonbinary Boolean matrix A, its spanning column rank is the minimum number of the columns of A that spans its column space. We have a characterization of spanning column rank-1 nonbinary Boolean matrices. We investigate the linear operators that preserve the spanning column ranks of matrices over the nonbinary Boolean algebra. That is, for a linear operator T on $m{\times}n$ nonbinary Boolean matrices, it preserves all spanning column ranks if and only if there exist an invertible nonbinary Boolean matrix P of order m and a permutation matrix Q of order n such that T(A) = PAQ for all $m{\times}n$ nonbinary Boolean matrix A. We also obtain other characterizations of the (spanning) column rank preserver.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.4
• /
• pp.613-629
• /
• 2016

In this paper, we introduced the notion of multiplier of Boolean algebras and discuss related properties between multipliers and special mappings, like dual closures, homomorphisms on B. We introduce the notions of xed set $Fix_f(X)$ and normal ideal and obtain interconnection between multipliers and $Fix_f(B)$. Also, we introduce the special multiplier ${\alpha}_p$a nd study some properties. Finally, we show that if B is a Boolean algebra, then the set of all multipliers of B is also a Boolean algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.355-363
• /
• 2008

For a Boolean rank 1 matrix $A=ab^t$, we define the perimeter of A as the number of nonzero entries in both a and b. The perimeter of an $m{\times}n$ Boolean matrix A is the minimum of the perimeters of the rank-1 decompositions of A. In this article we characterize the linear operators that preserve the perimeters of Boolean matrices.

• Journal of the Korean Mathematical Society
• /
• v.41 no.2
• /
• pp.397-406
• /
• 2004

For a Boolean rank-l matrix $A\;=\;ab^{t}$, we define the perimeter of A as the number of nonzero entries in both a and b. We characterize the Boolean linear operators that preserve rank and perimeter of Boolean rank-l matrices.

• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.1-9
• /
• 2013

We consider the sets of matrix ordered pairs which satisfy extremal properties with respect to Boolean rank inequalities of matrices over nonbinary Boolean algebra. We characterize linear operators that preserve these sets of matrix ordered pairs as the form of $T(X)=PXP^T$ with some permutation matrix P.

• Journal of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.539-552
• /
• 2006

For an $n{\times}n$ Boolean matrix A, A is called nilpotent if $A^m=O$ for some positive integer m. We consider the set of $n{\times}n$ nilpotent Boolean matrices and we characterize linear operators that strongly preserve nilpotent matrices over Boolean algebras.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.10
• /
• pp.5171-5189
• /
• 2016

With the popularity of cloud computing, many data owners outsource their graph data to the cloud for cost savings. The cloud server is not fully trusted and always wants to learn the owners' contents. To protect the information hiding, the graph data have to be encrypted before outsourcing to the cloud. The adjacent vertex search is a very common operation, many other operations can be built based on the adjacent vertex search. A boolean adjacent vertex search is an important basic operation, a query user can get the boolean search results. Due to the graph data being encrypted on the cloud server, a boolean adjacent vertex search is a quite difficult task. In this paper, we propose a solution to perform the boolean adjacent vertex search over encrypted graph data in cloud computing (BASG), which maintains the query tokens and search results privacy. We use the Gram-Schmidt algorithm and achieve the boolean expression search in our paper. We formally analyze the security of our scheme, and the query user can handily get the boolean search results by this scheme. The experiment results with a real graph data set demonstrate the efficiency of our scheme.

• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.407-417
• /
• 2004

It is well known that the nonlinearity of vector Boolean functions F on n-dimensional vector space $GF(2)^n$ to $GF(2)^m$ is bounded above by $2^{n-1} - 2 ^{\frac{n}{2}-1}$. In this paper we derive upper bounds and a lower bound on the nonlinearity of vector Boolean functions in terms of auto-correlations. Strengths and weaknesses of each bounds are examined. Also, we modify the notions of the sum-of-square indicator and absolute indicator for Boolean functions to the case of vector Boolean functions to measure global avalanche characteristics of vector Boolean functions. Using those indicators we compare the global avalanche characteristics of DES (Data Encryption System) and Rijndael.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.1
• /
• pp.137-143
• /
• 2017

In this paper, we investigate static control of Boolean networks described in the framework of semi-tensor product (STP) operation. The control objective is to determine control input nodes and their logical values so as to stabilize the considered Boolean network to a desired fixed point or cycle. Using topology of Boolean networks such as incidence matrix and hub nodes, a set of appropriate control input nodes is selected, and based on STP operations, we assign constant control inputs so that the controlled network can converge to a prescribed fixed point or cycle. To validate applicability of the proposed scheme, we conduct a numerical study on the problem of determining control input nodes for a Boolean network representing hierarchical differentiation of myeloid progenitors.