메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 정보과학회논문지(A) 정보과학회논문지(A) 제24권 제10호
발행연도
1997.10
수록면
961 - 969 (9page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
본 논문에서는 선형 NLC 그래프 문법에 전통적인 스트링 문법의 촘스키 정규화형과 유사한 제약을 가한 Lin-NLC_k 그래프 문법들의 변형들의 분리에 대한 결과와 복잡도를 기술한다. Z가 Z 그래프 문법들에 의하여 생성된 그래프群이라고 하자. 분리에 대한 결과들로는 (1) Lin-RNLC⊇ Lin-NLC (Lin-RNLC₂)와 Lin-NLC₂⊆ Lin-NLC (Lin-RNLC₂), (NLC = RNLC [11]이고 Lin-eNCE₂ = Lin-eNCE [9]이라고 알려져있다.) (2) B-NLC_k ⊇A-NLC(Lin-NLC_k)와 Lin-A-NLC_k⊆A-NLC(Lin-NLC_k), (3) Lin-A-NLC_k⊆derivation-bounded A-NLC_k, 그리고 (4) Lin-e₁NCE_k⊇ Lin-NCE_k임을 보인다. Lin-eNCE 문법들의 멤버쉽 복잡도로는 각 Lin-eNCE 문법 G 와 각 k≥0에 대하여, L_(bip(k))(G)가 L(G)에 속한 이분그래프 X이며 X를 정의하는 두 이산그래프들 중 하나가 최대로 k개의 노드를 갖는 모든 그래프들의 집합일 때, L_(bip(k))(G)가 NSPACE( log n)에 있으며 L(G)안에 있는 모든 이산그래프들과 완전그래프들이 DSPACE( log n)에 있음을 보인다. 문헌에서 나타난 그래프 언어들의 효과적인 인식 알고리즘들은 대부분 분지수가 제한되어 있거나 연결된 그래프들을 위한 것이다. 위의 log-space로 인식 가능한 클래스들은 분지수가 제한되어 있지 않으며 연결되어 있지 않은 그래프들을 포함하고 있다.

목차

요약

ABSTRACT

1. Introduction

2. Definitions

3. Separtions

4. Membership complexity

5. Conclusion

참고문헌

저자소개

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017727158