• Cross-Cultural Studies
• /
• v.52
• /
• pp.393-416
• /
• 2018

Negative Stripping Construction in English involves the disjunction but, the adverb not, and a constituent NP. This construction is an incomplete sentence although it delivers a complete sentential meaning. Interpretation of this construction may be ambiguous in that the constituent NP can either be construed as the subject, or as the complements including the object. To generate such sentences and resolve the issue of ambiguity, we propose a construction-based analysis under direct interpretation approach, rejecting previous analyses based on deletion approaches. In so doing, we suggest a negative stripping construction rule that can account for ambiguous meaning. This rule further can enable us to explain syntactic structures and readings of Negative Stripping Construction.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.1
• /
• pp.157-162
• /
• 2023

To NP-complete 3-SAT problem, this paper proposes a O(nm) polynomial time algorithm, where n is the number of literals and m is the total frequency of all literals in equation f. The algorithm firstly decides a truth value of a literal in sequence of previously-set priority. The priority order is as follows: a literal whose occurrence in a clause is 1(k=1), a literal which is k≥2 and whose truth value is either 0 or 1, and a literal with the minimum frequency. Then, literals whose truth value is determined are then deleted from clause T and the remaining clauses. This process is repeated l times, the number of literals. As a result, the proposed algorithm has been successful in accurately determining the satisfiability of a given equation f and in deciding the truth value of all the literals. This paper, therefore, provides not only a linear-time algorithm as a viable solution to the SAT problem, but also a basis for solving the P versus NP problem.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.479-482
• /
• 1998

Whether a given tree is a subgraph of the interconnection network topology is one of the important problem in parallel computing. Trees are used as the underlying structure for divide and conquer algorithms and provide the solution spaces for NP-complete problems. Complete binary trees are the basic structure among those trees. Binomial trees play an important role in broadcasting messages in parallel networks. If binomial trees can be efficiently embedded in complex binary trees, broadcasting algorithms can be effeciently performed on the interconnection networks. In this paper, we present average dilation 2 embedding of binomial trees in complete binary trees.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.289-292
• /
• 1998

Trees are the underlying structure for divide-and-conquer algorithms and the graphs that provide the solution spaces for NP-complete problems. Complete binary trees are the basic structure among trees. Therefore, if complete binary trees can be embedded in binomial trees, the algorithms which are provided by complete binary trees can be performed efficiently on the interconnection networks which have binomial trees as their subgraphs or in which binomial trees can be embedded easily. In this paper, we present dilation 2 embedding of complete binary trees in binomial trees.

• 한국IT서비스학회:학술대회논문집
• /
• 2005.05a
• /
• pp.526-531
• /
• 2005

D-클래스는 보안에 응용될 수 있는 가능성을 가지고 있으나 D-클래스의 계산은 NP-완전문제로서 행렬크기 증가에 의한 연산 량 증가 문제 해결을 위해 병렬 컴퓨팅 환경에서의 병렬 알고리즘 설계 및 구현이 필요하다. 본 논문은 그리드 컴퓨팅 환경에서의 D-클래스 계산을 위해 Globus 가 설치된 클러스터를 구축하고. MPICH를 이용 효율적인 D-클래스 계산 알고리즘을 설계 및 구현, 실행 결과 그리고 연산 량을 줄일 수 있는 수식 연구와 연구한 수식에 기반한 순차 알고리즘을 논한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2005.11a
• /
• pp.408-413
• /
• 2005

D-클래스는 암호학 등의 보안 분야에 응용될 수 있는 가능성을 가지고 있다. 그러나 D-클래스 계산은 NP-완전 문제로서 현재 $4{\times}4$ 이하 크기의 행렬에 대한 D-클래스 만이 알려져 있어 D-클래스의 특성에 대한 연구가 제대로 이루어지지 못하고 있다. 최근 새로운 D-클래스를 얻기 위하여 보다 효율적인 D-클래스 계산에 대한 연구가 수행되었으나 아직 새로운 D-클래스를 계산할 수 있을 정도의 효율적인 연구결과는 보이지 않고 있다. 본 논문은 논리 대수의 연산 특성을 이용하여 D-클래스 계산을 보다 효율적으로 할 수 있는 수학적 이론과 방법을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.903-906
• /
• 2004

D-클래스는 원소가 0과 1값을 가지는 $n{\times}n$ 불리언 행렬에서 특정 관계(relation)에 따라 동치(equivalent) 관계에 있는 $n{\times}n$ 행렬의 집합을 의미한다. D-클래스의 계산은 NP-완전 문제로서 보안에 응용될 수 있는 가능성을 가지고 있으나 계산 복잡도로 인해 현재 극히 제한된 크기의 행렬에 대한 D-클래스만이 알려져 있다. 본 논문은 이러한 D-클래스의 계산을 효율적으로 할 수 있는 알고리즘의 설계와 실행 결과에 대하여 논한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.1
• /
• pp.16-21
• /
• 2002

Repetitive strings have been studied in such diverse fields as molecular biology data compression etc. Some important regularities that have been studied are perods, covers seeds and squares. A natural extension of the repetition problems is to allow errors. Among the four notions above aproximate squares and approximate periodes have been studied. In this paper, we introduce the notion of approximate covers which is an approximate version of covers. Given two strings P(｜P｜=m) and T(｜T｜=n) we propose and algorithm with finds the minimum distance t such that P is a t-approximate cover of T. The algorithm take O(m,n) time for the edit distance and $O(mn^2)$ time of finding a string which is an approximate cover of T is minimum distance is NP-complete.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.36 no.1
• /
• pp.41-51
• /
• 1991

This study was conducted to determine the effect of 20 years long term fertilizations on the physical and chemical properties of paddy soil and the growth, yield, yield components and grain development of rice. Non-fertilized, PK, NK, NP, NPK, NPK + compost, NPK+straw and NPK+lime have been applied since 1968 after surface paddy soil was removed. NPK+compost and NPK+straw applications increased the content of organic matter, available P and CEC, and lime increased soil acidity and SiO$_2$ content. While chemical contents in non-fertilized treatment were low as compared with other treatments. Soil porosity was higher in NPK+straw (51.4%) and NPK+lime(53.1%) than in NPK application (49.8%). Soil hardness was highest in the NPK application and was lowest in the NPK + lime. Continuous application of straw with NPK markedly increased the content of aggregate with over 1mm(19.6%) as compared with NPK application (7.1%). Plant height, tiller number, root number, leaf area index and total dry weight were higher in the applications of compost, straw and lime with NPK than in any other treatments. Brown rice yield in non-fertilized, PK and NP applications was decreased 45, 55, 15 and 5% of that in NPK application, respectively, while application of compost, straw and lime with NPK increased the yield by 11, 14 and 4%, respectively, during 20 years. The number of differentiated rachis branchs in the application of compost, straw and lime was 17 to 21 and that in the other application was 13 to 15, whereas the degenerated rachis branchs was low in the application of compost, straw and lime with NPK. The applications having higher level of perfect rice grain such as non-fertilized, NPK+compost, NPK+straw and NPK+lime had high grain weight and had low level of white core rice, white belly rice. The white core and belly rice was highest in the NP application and notched belly rice kernel was markedly increased in NK and NP applications. The period of grain filling was 30 DAH at NP and NPK applications, 35 DAH at NK and NPK+lime, 40DAH at NPK+compost and NPK+ straw, and 45DAH at non-fertilized, respectively.

• Journal of Korea Society of Industrial Information Systems
• /
• v.12 no.2
• /
• pp.68-78
• /
• 2007

D-class is defined as a set of equivalent $n{\times}n$ boolean matrices according to a given equivalence relation. The D-class computation requires the multiplication of three boolean matrices for each of all possible triples of $n{\times}n$ boolean matrices. However, almost all the researches on boolean matrices focused on the efficient multiplication of only two boolean matrices and a few researches have recently been shown to deal with the multiplication of all boolean matrices. The paper suggests a mathematical theory that enables the efficient multiplication for all possible boolean matrix triples and the efficient computation of all D-classes, and discusses algorithms designed with the theory and their execution results.