shopkeeper/kowiki-cleaned-020126 huggingface dataset:
1987년 워싱턴 정상회담

1987년의 워싱턴 정상회담은 냉전 시대에 미국 대통령 로널드 레이건과 소련 공산당 서기장 미하일 고르바초프 사이에 12월 8일부터 10일까지 열린 회담이다. 레이건과 고르바초프는 아프가니스탄, 중앙아메리카, 남부 아프리카의 지역 분쟁, 화학 무기 및 재래식 무기에 대한 암스 컨트롤 문제, START 협상 진행 상황, 인권에 대해 논의했다. 워싱턴 정상회담의 중요한 성과는 중거리 핵전력 (INF) 조약의 서명이었다.

 배경 
전년도 레이캬비크 정상회담의 거의 돌파구에 가까운 성과에 이어, 양측 지도자의 많은 지지자들의 실망에도 불구하고, 레이건과 고르바초프는 INF 조약 협상에 자원을 투입하기 시작했다. 이는 양국 내외의 다양한 문제들과 함께 워싱턴 정상회담 이전에 긴장된 시기를 초래했다.

레이건에게는 주식 시장 문제, 대법원 지명자 로버트 보크의 승인 실패, 그리고 이란-콘트라 스캔들이 모두 정치적 압력을 가하고 있었다. 또한, 전 대통령 리처드 닉슨, 전 국무장관 헨리 키신저, 평론가 윌리엄 버클리를 포함한 이례적으로 많은 보수주의자들뿐만 아니라 그의 행정부 구성원들로부터의 비판은 INF 조약을 둘러싸고 논쟁적인 정치적 분위기를 조성했다.

고르바초프 또한 INF 조약 협상뿐만 아니라 그의 페레스트로이카 개혁 프로그램에서도 반대에 부딪혔다. 마티아스 루스트 사건 이후 150명 이상의 국방장관과 장교를 교체했음에도 불구하고, 워싱턴 정상회담이 열리기 불과 두 달 전, 당시 정치국의 후보 위원이자 고르바초프의 지지자였던 보리스 옐친이 전례 없는 매우 논란이 많은 움직임으로 소련 공산당 서기장을 비난하고 사임하면서 고르바초프의 좌절은 더욱 커졌다. 그러나 레이건의 국무장관 조지 P. 슐츠에 따르면, 소련 지도자는 10월 말 모스크바에서 INF 조약의 조건을 확정하기 위한 회의에서 이례적으로 논쟁적이었다. "슐츠가 워싱턴으로 돌아와 짐을 풀기도 전에 고르바초프가 정상회담을 빨리 개최하기를 원한다는 소식이 모스크바에서 왔다. 셰바르드나제는 이틀 안에 워싱턴에 와서 INF 조약과 정상회담의 마지막 세부 사항을 처리할 것이다."

따라서 외부적인 복잡성에도 불구하고, 정상회담이 열릴 무렵에는 INF 조약과 관련된 대부분의 세부 사항이 이미 해결된 상태였다. 회의가 열리기 최소 일주일 전, 뉴욕 타임스는 "소련 지도자와 레이건 대통령은 12월 8일에 양국의 단거리 및 중거리 미사일을 제거하는 조약에 서명할 예정"이라고 보도했지만, 신문은 또한 "장거리 전략 핵무기 감축"에 대한 논의가 장애물에 부딪히고 있다고 언급했다. 

 정상회담 일정 

 같이 보기 
 미국-소련 정상회담 목록

 각주 

 출처 

 (2007) "The INF Treaty and the Washington Summit: 20 Years Later". National Security Archive Electronic Briefing Book No. 238. Edited by Sventlana Savranskaya and Thomas Blanton. The National Security Archive (George Washington University).
 Hayward, Steven F. (2010). The Age of Reagan: The Conservative Counterrevolution 1980-1989. New York: Three Rivers Press. 
 Herring, George C. (2008). From Colony to Superpower: U.S. Foreign Relations Since 1776. New York: Oxford University Press. 
 Keller, Bill. "Politics and Security Concerns Dash Hopes for Extended Trip by Gorbachev". New York Times (31 October 1987).
 Shipler, David K. "Gorbachev Mix On TV Is Tough But Cooperative". New York Times (1 December 1987).

분류:1987년 미국
분류:1987년 정치
분류:소련의 대외 관계
분류:로널드 레이건 행정부
분류:1987년 국제 관계
분류:소련의 냉전사
분류:미국의 냉전사
고지마군

고지마군（児島郡）은 오카야마현(비젠국)에 있던 군이다.
frame|오카야마현 고지마군의 위치

 역사 
 1974년 3월 20일 - 도지정이 오카야마시에 편입하였다.
 1975년 5월 1일 - 후지타촌이 오카야마시에 편입하였다.
 2005년 3월 22일 - 나다사키정이 오카야마시에 편입, 동일 고지마군은 폐지되었다.

 참고문헌 
 永山卯三郎『岡山県通史 上巻』岡山県通史刊行会（1930年）
 永山卯三郎『岡山県通史 下巻』岡山県通史刊行会（1930年）
 池邊彌『和名類聚抄郷名考証』吉川弘文館（1966年）
 
 旧高旧領取調帳データベース

 
분류:오카야마현의 폐지된 군
분류:비젠국의 군
분류:오카야마시의 역사
분류:구라시키시의 역사
분류:다마노시의 역사
왕쯔쉬안 (1992년)

왕쯔쉬안(, CiCi Wang, 1992년 11월 12일 ~ )은 중국의 배우이다.

 외부 링크 
 

분류:20세기 중국의 여자
분류:21세기 중국의 여자 배우
분류:1992년 출생
분류:살아있는 사람
분류:쓰촨성 출신
분류:중국의 여자 영화 배우
분류:중국의 여자 텔레비전 배우
분류:중앙희극학원 동문
다케노군 (교토부)

frame|교토부 다케노군의 위치 (하늘색: 후에 다른 군에서 편입된 지역)
다케노군()은 일본 교토부(단고국)에 있던 군이다.

 군역 
1879년 행정 구역으로 발족 당시의 군역은 교탄고시 중 아래 구역에 해당한다.
 아미노정
 단고정(일부 제외)
 야사카정(일부 제외)

 역사 
 1879년 4월 10일 - 군구정촌 편제법이 교토부에서 시행됨에 따라, 행정 구역으로서의 다케노군(竹野郡)이 발족.
right|frame|31.아미노촌 32.아사모가와촌 33.하마즈메촌 34.기쓰촌 35.고촌 36.시마즈촌 37.돗토리촌 38.요시노촌 39.미조타니촌 40.후카다촌 41.도쿠미쓰촌 42.야기촌 43.다이자촌 44.다카노촌 45.가미우카와촌 46.시모우카와촌 47.노마촌 (주황: 교탄고시 1~9는 구마노군 11~22는 나카군)
 1889년 4월 1일 - 정촌제 시행으로, 아래의 정촌이 발족. 전역이 현 교탄고시.(16촌)
 아미노촌(網野村)
 아사모가와촌(浅茂川村)
 하마즈메촌(浜詰村)
 기쓰촌(木津村)
 고촌(郷村)
 시마즈촌(島津村)
 돗토리촌(鳥取村)
 요시노촌(吉野村)
 미조타니촌(溝谷村)
 후카다촌(深田村)
 도쿠미쓰촌(徳光村)
 야기촌(八木村)
 다이자촌(間人村)
 다카노촌(竹野村)
 가미우카와촌(上宇川村)
 시모우카와촌(下宇川村)
 1899년
 7월 1일 - 군제 시행.
 7월 28일 - 야기촌이 요사군 노마촌의 일부를 편입.
 1900년 5월 1일 - 아미노촌이 정제 시행으로 아미노정(網野町)이 됨.(1정 15촌)
 1904년 1월 1일 - 아미노정·아사모가와촌이 합병하여, 새로이 아미노정이 발족.(1정 14촌)
 1921년 1월 1일 - 다이자촌이 정제 시행으로 다이자정(間人町)이 됨.(2정 13촌)
 1925년 12월 1일 - 도쿠미쓰촌·야기촌이 합병하여, 도요사카촌(豊栄村)이 발족.(2정 12촌)
 1933년 2월 1일 - 미조타니촌·요시노촌·돗토리촌·후카다촌이 합병하여, 야사카촌(弥栄村)이 발족.(2정 9촌)
 1948년 4월 1일 - 요사군 노마촌(野間村)의 소속이 다케노군으로 변경.(2정 10촌)
 1950년 4월 1일 - 아미노정·하마즈메촌·기쓰촌·고촌·시마즈촌이 합병하여, 새로이 아미노정이 발족.(2정 6촌)
 1955년
 2월 1일 - 다이자정·도요사카촌·다카노촌·가미우카와촌·시모우카와촌이 합병하여, 단고정(丹後町)이 발족.(2정 2촌)
 3월 1일 - 야사카촌·노마촌이 합병하여, 야사카정(弥栄町)이 발족.(3정)
 2004년 4월 1일 - 아미노정·단고정·야사카정이 나카군 미네야마정·오미야정·구마노군 구미하마정과 합병하여 교탄고시(京丹後市)가 발족. 당일 다케노군은 폐지됨.

 
분류:교토부의 폐지된 군
분류:단고국의 군
분류:교탄고시의 역사
엥흐태와니 아리운벌드

엥흐태와니 아리운벌드(, 1995년 10월 8일~)는 몽골의 유도 선수이다. 2024년 하계 올림픽에 몽골 국가대표로 참가했으며 세계 선수권 대회에서 은메달 1개, 아시안 게임에서 동메달 1개를 획득했다.

 경력 
1995년 울란바토르에서 태어난 아리운벌드는 몽골 국방부 산하의 스포츠 클럽인 "알다르"에서 유도 선수 경력을 시작했다.

2017년 몽골 군인 유도 국가대표로 발탁된 아리운벌드는 그 해 9월 울란바토르에서 열린 국제 군인 스포츠 협의회(CISM) 동아시아 유도 선수권 대회에 참가하여 동메달을 획득했다. 이후 2019년에 몽골 국가대표팀에 합류했고 그 해 4월 아랍에미리트 푸자이라에서 열린 아시아 선수권 대회에서 -60kg급 동메달과 혼성 단체전 동메달을 획득했다.

2022년 10월에는 우즈베키스탄 타슈켄트에서 열린 2022년 세계 선수권 대회에서 일본의 다카토 나오히사의 뒤를 이어 은메달을 획득했다.

 외부 링크 
 
 엥흐태와니 아리운벌드 - 국제 유도 연맹
 엥흐태와니 아리운벌드 - Judoinside

분류:1995년 출생
분류:살아있는 사람
분류:20세기 몽골 사람
분류:21세기 몽골 사람
분류:몽골의 남자 유도 선수
분류:몽골의 올림픽 유도 참가 선수
분류:2024년 하계 올림픽 유도 참가 선수
분류:세계 유도 선수권 대회 메달리스트
분류:몽골의 아시안 게임 동메달리스트
분류:아시안 게임 유도 메달리스트
분류:2022년 아시안 게임 메달리스트
분류:2022년 아시안 게임 유도 참가 선수
분류:아시아 유도 선수권 대회 메달리스트
분류:울란바토르 출신
프랭크 로텐버그

프랭크 롤리 라우텐버그(Frank Raleigh Lautenberg, 1924년 1월 23일 ~ 2013년 6월 3일)은 미국의 정치인으로 미국 뉴저지주 연방상원의원이다.

 학사 
 컬럼비아 대학교 이학사

 경력 
 1982.12 ~ 2001.01 제97·98·99·100·101·102·103·104·105·106대 미국 뉴저지주 연방상원의원
 1997.01 ~ 2001.01 미국 상원 예산위원회 간사
 2003.01 ~ 2013.06 제108·109·110·111·112·113대 미국 뉴저지주 연방상원의원

 역대 선거 결과 

 외부 링크 

분류:1919년 출생
분류:2001년 사망
분류:폴란드 유대계 미국인
분류:러시아 유대계 미국인
분류:컬럼비아 대학교 동문
분류:20세기 미국의 기업인
분류:21세기 미국의 기업인
분류:20세기 미국의 정치인
분류:21세기 미국의 정치인
분류:미국의 최고경영자
분류:대통령 자유 훈장 수훈자
분류:뉴저지주의 연방 상원의원
분류:뉴저지주의 민주당 당원
분류:알링턴 국립묘지의 매장자
분류:미국의 제2차 세계 대전 참전 육군 군인
일가르 뮈슈키예프

일가르 개라이 오글루 뮈슈키예프(, 1990년 10월 5일~)는 아제르바이잔의 유도 선수이다. 2012년 하계 올림픽에 아제르바이잔 국가대표로 참가했으며 세계 선수권 대회에서 동메달 1개, 유럽 선수권 대회에서 동메달 1개를 획득했다.

 외부 링크 
 
 일가르 뮈슈키예프 - 국제 유도 연맹
 일가르 뮈슈키예프 - Judoinside
 일가르 뮈슈키예프 - Olympedia
 일가르 뮈슈키예프 - Sports Reference

분류:1990년 출생
분류:살아있는 사람
분류:20세기 아제르바이잔 사람
분류:21세기 아제르바이잔 사람
분류:아제르바이잔의 남자 유도 선수
분류:아제르바이잔의 올림픽 유도 참가 선수
분류:2012년 하계 올림픽 유도 참가 선수
분류:세계 유도 선수권 대회 메달리스트
분류:2015년 유러피언 게임 유도 참가 선수
분류:유럽 유도 선수권 대회 메달리스트
분류:간자 출신
체포 마실렐라

피터 체포 마실렐라(, 1985년 5월 5일 ~ )는 레프트백으로 뛰었던 남아프리카 공화국의 전직 프로 축구 선수이다.

 구단 경력 
마실렐라는 프리미어 사커 리그 데뷔 전에 국제 무대에 완전히 데뷔했다. 같은 맥락에서 고국에서 1부 리그 축구에서 단 한 시즌 만에 이스라엘 클럽 마카비 하이파로 이적했다.

 마카비 하이파 
마실렐라는 2007년 8월 31일, 마카비 하이파와 4년 계약을 체결했다. 그는 마카비 하이파가 이스라엘 챔피언십에서 우승하고 UEFA 챔피언스리그에 진출하는 데 중요한 역할을 했다. 마실렐라는 2009-10년 시즌에 13개의 어시스트와 1골을 기록했다. 2011년 6월에는 2년 계약으로 계약을 연장했다.

 헤타페로의 임대 
2011년 8월 20일, 마실렐라는 마카비 하이파와 한 시즌 동안의 임대 계약을 맺고 스페인 라리가 클럽 헤타페에 합류했다. 그는 헤타페와의 임대 계약이 만료된 후 마카비 하이파로 돌아갔다.

 카이저 치프스 
마실렐라는 해외에서 5년을 보낸 후 2012년 중반에 남아프리카 공화국으로 돌아와 카이저 치프스와 계약했다. 그는 2012년 11월, 모로카 스월로스와의 경기에서 3-2로 승리하며 데뷔했다.

 국가대표팀 경력 
마실렐라는 내셔널 퍼스트 디비전에서 캠페인을 벌이는 동안 처음으로 소집된 선수였다. 2006년부터 남아프리카 공화국 국가대표팀으로 합류해 활약하며 2006년 아프리카 네이션스컵, 2008년 아프리카 네이션스컵, 2009년 FIFA 컨페더레이션스컵, 2010년 FIFA 월드컵, 2013년 아프리카 네이션스컵에 참가했다.

 각주 

 외부 링크 

 Getafe official profile 
 2010 FIFA World Cup profile (archived)
 
 
 

분류:1985년 출생
분류:살아있는 사람
분류:남아프리카 공화국의 남자 축구 선수
분류:남아프리카 공화국 남자 축구 국가대표팀 선수
분류:남아프리카 공화국의 해외 진출 남자 축구 선수
분류:남자 축구 레프트백
분류:마카비 하이파 FC의 축구 선수
분류:헤타페 CF의 축구 선수
분류:카이저 치프스 FC의 축구 선수
분류:아마줄루 FC의 축구 선수
분류:리갓 하알의 축구 선수
분류:라리가의 축구 선수
분류:이스라엘의 외국인 남자 축구 선수
분류:이스라엘에 거주한 남아프리카 공화국인
분류:스페인의 외국인 남자 축구 선수
분류:스페인에 거주한 남아프리카 공화국인
분류:2006년 아프리카 네이션스컵 참가 선수
분류:2008년 아프리카 네이션스컵 참가 선수
분류:2009년 FIFA 컨페더레이션스컵 참가 선수
분류:2010년 FIFA 월드컵 참가 선수
분류:2013년 아프리카 네이션스컵 참가 선수
로이크 피에트리

로이크 피에트리(, 1990년 8월 27일~)는 프랑스의 유도 선수이다. 2012년 하계 올림픽에 프랑스 국가대표로 참가했으며 세계 선수권 대회에서 금메달 1개, 은메달 1개, 동메달 2개, 유럽 선수권 대회에서 은메달 1개, 동메달 1개를 획득했다.

 외부 링크 
 
 로이크 피에트리 - 국제 유도 연맹
 로이크 피에트리 - Judoinside
 로이크 피에트리 - Olympedia
 로이크 피에트리 - Sports Reference

분류:1990년 출생
분류:살아있는 사람
분류:20세기 프랑스 사람
분류:21세기 프랑스 사람
분류:프랑스의 남자 유도 선수
분류:프랑스의 올림픽 유도 참가 선수
분류:2016년 하계 올림픽 유도 참가 선수
분류:세계 유도 선수권 대회 메달리스트
분류:프랑스의 유러피언 게임 동메달리스트
분류:유러피언 게임 유도 메달리스트
분류:2015년 유러피언 게임 메달리스트
분류:2015년 유러피언 게임 유도 참가 선수
분류:유럽 유도 선수권 대회 메달리스트
분류:니스 출신
분류:프로방스알프코트다쥐르 출신 스포츠인
분류:이탈리아계 프랑스인
스르잔 므르발레비치

스르잔 므르발레비치(, 1984년 5월 16일~)는 몬테네그로의 전직 유도 선수이다. 2008년, 2012년, 2016년 하계 올림픽에 참가했고 세계 유도 선수권 대회에서 은메달 1개를 획득했다.

 외부 링크 
 
 
 스르잔 므르발레비치 - 국제 유도 연맹
 스르잔 므르발레비치 - Judoinside
 스르잔 므르발레비치 - Olympedia
 스르잔 므르발레비치 - Sports Reference

분류:1984년 출생
분류:살아있는 사람
분류:20세기 몬테네그로 사람
분류:21세기 몬테네그로 사람
분류:몬테네그로의 남자 유도 선수
분류:몬테네그로의 올림픽 유도 참가 선수
분류:2008년 하계 올림픽 유도 참가 선수
분류:2012년 하계 올림픽 유도 참가 선수
분류:2016년 하계 올림픽 유도 참가 선수
분류:세계 유도 선수권 대회 메달리스트
분류:2015년 유러피언 게임 유도 참가 선수
분류:2019년 유러피언 게임 유도 참가 선수
분류:몬테네그로의 지중해 게임 금메달리스트
분류:지중해 게임 유도 메달리스트
분류:2013년 지중해 게임 메달리스트
분류:2013년 지중해 게임 유도 참가 선수
분류:베오그라드 출신
분류:세르비아계 몬테네그로인
왕샤오청

왕샤오청(, 1990년 8월 7일 ~ )은 중국의 배우이다.

 외부 링크 
 

분류:20세기 중국의 여자
분류:21세기 중국의 여자 배우
분류:1990년 출생
분류:살아있는 사람
분류:중국의 여자 영화 배우
분류:중국의 여자 텔레비전 배우
분류:충칭시 출신
다르다니아 왕국

섬네일|250px|기원전 3세기 후반 다르다니아 왕국의 대략적 영역.
다르다니아 왕국()은 고전 고대에 발칸반도 중부에 있던 정체(政體)이다. 다르다니아 정체의 핵심을 이루던 다르다니아인(Dardani)의 이름을 땄다. 다르다니아의 영토는 오늘날의 코소보 지역을 중심으로 하였고, 이외에 현재 북마케도니아, 세르비아, 알바니아에 해당하는 일부 지역도 포함하였다. 다르다니아인은 고발칸 부족의 하나로, 당대 문헌에서는 일리리아인의 일파로 언급된다. 다르다니아의 동부 지역은 트라키아어와 일리리아어의 상호 접촉 지역이었다.

켈트족의 침략으로 마케도니아의 세력이 약화된 이후 다르다니아는 이 지역에서 강성해졌다. 기원전 230년 다르다니아의 일리리아인 왕이던 롱가루스는 파이오니아의 빌라조라를 함락시켰고, 기원전 230~229년 이들은 안티고노스 왕조 마케도니아의 국왕 데메트리오스 2세 아에톨리코스를 격파하였다.

기원전 28년, 마케도니아 속주의 지방총독(proconsul)이던 마르쿠스 리키니우스 크라수스(삼두정치의 수장이던 마르쿠스 리키니우스 크라수스의 손자)는 다키아인과 바스타르나이에 대한 원정 중에 왕국을 공식적으로 합병하였다. 이후 이 지역은 기원전 15년 모이시아 속주로 편입되었다가 기원후 293년에는 다시 다르다니아 속주(Dardania)로 편성되었다.

 같이 보기 
 다르다니아인
 코소보의 역사
 일리리아인

분류:모이시아
분류:옛 왕국
분류:기원전 1세기 폐지
분류:인도유럽 부족
분류:코소보의 고고학
콜레산타루차

콜레산타루차 (Colle Santa Lucia)는 이탈리아 베네토주의 벨루노도에 위치한 코무네 (지방자치단체)이다. 베네치아에서 북쪽 약 , 벨루노에서 북쪽 약 거리에 있다. 이곳 주민들은 라딘어의 많은 영향을 받은 '라딘 베네토어'라고 칭해지는 베네토어 방언을 구사한다.

알레게, 코르티나담페초, 리비날론고델콜디라나, 로카피에토레, 산비토디카도레, 셀바디카도레 등과 경계를 맞대고 있다.

 인구 변화 

 외부 링크 

분류:베네토주의 도시
분류:벨루노도의 코무네
네스팅 (컴퓨팅)

전산학 및 정보과학에서 네스팅(nesting)은 정보가 계층적으로 구성되거나 객체가 다른 유사한 객체를 포함하는 것을 의미한다. 이는 거의 항상 어떤 의미에서 자기유사성 또는 재귀적 구조를 나타낸다.

 용어 
네스팅은 다음을 의미할 수 있다.
 중첩 호출:
 여러 수준의 서브루틴 사용
 재귀 호출
 산술식에서 괄호의 중첩 수준
 중첩된 if-절, while-절, repeat-until 절 등과 같은 명령형 소스 코드의 중첩 블록
 정보 은닉:
 중첩 함수 정의 및 어휘적 변수 영역
 레코드, 객체, 클래스 등과 같은 중첩된 자료 구조
 중첩 가상화, 또는 재귀 가상화: 다른 가상 머신 내에서 가상 머신 실행

 스프레드시트에서 
스프레드시트에서 함수는 서로 중첩될 수 있어 복잡한 수식을 만들 수 있다. 오픈오피스 Calc 애플리케이션의 함수 마법사는 여러 수준의 네스팅을 탐색할 수 있게 하여, 사용자가 각 함수를 개별적으로 편집(및 필요에 따라 수정)할 수 있도록 한다.

예시:

 =IF(SUM(C8:G8)=0,"Y","N")

이 마이크로소프트 엑셀 수식에서 SUM 함수는 IF 함수 안에 중첩되어 있다. 먼저, 수식은 C8에서 G8 셀까지의 숫자의 합을 계산한다. 그런 다음 합이 0인지 여부를 결정하고, 합이 0이면 문자 Y를 표시하고, 그렇지 않으면 문자 N을 표시한다.

당연히 이러한 연결된(또는 더 정확히 말하면: 중첩된) 수식의 수학적 해법을 허용하려면 내부 표현식이 먼저 평가되어야 하며, 내부 함수가 반환하는 결과가 외부 함수의 입력 데이터로 임시로 사용되기 때문에 이 바깥쪽 방향이 필수적이다.

단 하나의 코드 줄에 괄호가 잠재적으로 축적될 수 있기 때문에 편집 및 오류 감지(또는 디버그)가 다소 불편해질 수 있다. 이것이 현대 프로그래밍 환경과 스프레드시트 프로그램이 현재 편집 위치에 해당하는 괄호 쌍을 굵은 글씨로 강조하는 이유이다. 여는 괄호와 닫는 괄호의 (자동) 균형 제어는 괄호 짝 맞추기 검사로 알려져 있다.

 프로그래밍에서 

 제어 구조 
구조적 프로그래밍 언어에서 네스팅은 제어 구조를 서로 감싸는 것과 관련이 있으며, 일반적으로 소스 코드 내에서 다른 들여쓰기 수준을 통해 표시된다. 이 간단한 베이직 함수에서 볼 수 있다:

function LookupCode(sCode as string) as integer
 dim iReturnValue as integer
 dim sLine, sPath as string

 sPath="C:\Test.dsv"
 if FileExists(sPath) then
 open sPath for input as #1
 do while not EOF(1)
 line input #1, sLine
 if sCode=left(sLine, 3) then
 'Action(s) to be carried out
 End if
 loop
 close #1
 End if
 LookupCode=iReturnValue
end function

이 작고 간단한 예시에서 조건 블록 "if... then... end if"는 "do while... loop" 안에 중첩되어 있다.

파스칼 및 에이다와 같은 일부 언어는 네스팅 수준에 따른 선언에 제한이 없으며, 정확히 중첩된 서브 프로그램 또는 중첩된 패키지(에이다)를 허용한다. 다음은 두 가지 예시이다(실제 사례에서 단순화됨):

-- Getting rid of the global variables issue (cannot be used in parallel)
-- from a set of old sources, without the need to change that code's
-- logic or structure.
--
procedure Nesting_example_1 is

 type Buffer_type is array(Integer range <>) of Integer;

 procedure Decompress(
 compressed : in Buffer_type;
 decompressed: out Buffer_type
 )
 is
 -- Here are the legacy sources, translated:
 package X_Globals is
 index_in, index_out: Integer;
 -- *** ^ These variables are local to Decompress.
 -- *** Now Decompress is task-safe.
 end X_Globals;
 -- Methods 1,2,3,... (specifications)
 package X_Method_1 is
 procedure Decompress_1;
 end X_Method_1;
 -- Methods 1,2,3,... (code)
 package body X_Method_1 is
 use X_Globals;
 procedure Decompress_1 is
 begin
 index_in:= compressed'First;
 -- Here, the decompression code, method 1
 end Decompress_1;
 end X_Method_1;
 -- End of the legacy sources
 begin
 X_Method_1.Decompress_1;
 end Decompress;

 test_in, test_out: Buffer_type(1..10_000);

begin
 Decompress(test_in, test_out);
end Nesting_example_1;

 자료 구조 
중첩된 자료 구조 또한 프로그래밍에서 흔히 볼 수 있다.

 리스프 
함수형 프로그래밍 언어인 리스프에서는 목록 자료 구조와 더 간단한 원자 자료 구조가 존재한다.
단순 목록은 원자만 포함한다.
( A T O M S )
목록의 원자는 A, T, O, M, S이다.
중첩 목록은 원자와 다른 목록을 모두 포함한다.
( ( ( N E S T E D ) L I S T S ) ( C A N ) ( B E ) U N N E C E S S A R I L Y ( C O M P L E X ) )

 같이 보기 
 흐름 제어
 For 루프
 의사코드
 구조적 프로그래밍

 각주 

분류:컴퓨터 데이터
분류:컴퓨터 프로그래밍
VCDIFF

VCDIFF는 델타 부호화를 위한 형식 및 알고리즘으로, IETF의 RFC 3284에 설명되어 있다. 이 알고리즘은 존 벤틀리와 더글러스 매킬로이가 1999년에 작성한 논문 "긴 공통 문자열을 사용한 데이터 압축"(Data Compression Using Long Common Strings)을 기반으로 한다. VCDIFF는 "HTTP의 델타 부호화"(RFC 3229)에서 델타 부호화 알고리즘 중 하나로 사용되며, 이전에 구글의 크롬 브라우저에서 사용되었던 Shared Dictionary Compression Over HTTP 기술에 적용되었다.

델타 명령어
VCDIFF에는 세 가지 델타 명령어가 있다: ADD, COPY, RUN. ADD는 새로운 시퀀스를 추가하고, COPY는 기존 시퀀스에서 복사하며, RUN은 반복되는 데이터를 추가한다.

구현
자유 소프트웨어 구현으로는 xdelta (버전 3) 및 open-vcdiff가 있다.
 구글의 Shared Dictionary Compression Over HTTP 제안은 이 알고리즘을 사용하며, 구글 크롬 브라우저 버전 58까지 포함되었다.
 xdelta - 오픈 소스 VCDIFF 델타 압축 구현 도구
 google/open-vcdiff - 또 다른 오픈 소스 VCDIFF 델타 압축 구현
 vczip 는 vcodex 및 ast-open 패키지의 일부 (또한 UWIN의 일부)
 diffable - 자바 구현, 그러나 VCDIFF의 일종의 원본 수정
 jvcdiff - VCDIFF의 전체 디코더/인코더 자바 구현
 vcdiff-java - 또 다른 VCDIFF 자바 구현
 Miscellaneous Utility Library - C# 구현, 디코딩 전용
 CyanDelta - Xdelta3 패치를 사용하여 시아노젠모드 롬을 업데이트한다.

 같이 보기 
 델타 부호화
 데이터 차분화

 각주 

 외부 링크 
 RFC 3284 - VCDIFF 일반 차분 및 압축 데이터 형식

분류:데이터 디퍼런싱
스타일시트 언어

섬네일|스타일시트 언어인 CSS의 스냅샷
스타일시트 언어(Style sheet language) 또는 스타일 언어는 구조적 문서의 표현을 나타내는 컴퓨터 언어이다. 구조적 문서의 매력적인 특징 중 하나는 콘텐츠를 여러 상황에서 재사용하고 다양한 방식으로 표현할 수 있다는 것이다. 다른 스타일시트를 논리적 구조에 첨부하여 다른 표현을 생성할 수 있다.

널리 사용되는 현대적인 스타일시트 언어 중 하나는 HTML, XHTML, 확장형 벡터 그래픽, XUL 및 기타 마크업 언어로 작성된 문서를 스타일링하는 데 사용되는 캐스케이딩 스타일시트이다.

구조적 문서의 콘텐츠를 표현하려면 색상, 글꼴 및 레이아웃과 같은 스타일 규칙 세트가 적용되어야 한다. 스타일 규칙 모음을 스타일시트라고 한다. 서면 문서 형태의 스타일시트는 편집자와 인쇄인이 표현, 철자 및 구두점의 일관성을 보장하기 위해 오랫동안 사용해 왔다. 전자 출판에서는 스타일시트 언어가 주로 철자 및 구두점보다는 시각적 표현의 맥락에서 사용된다.

구성 요소
모든 스타일시트 언어는 다음 영역에서 기능을 제공한다.

 구문스타일시트 언어는 기계가 읽을 수 있는 방식으로 표현되기 위해 구문이 필요하다. 예를 들어, CSS 구문으로 작성된 간단한 스타일시트가 있다.
h1 { font-size: 1.5em }
이것은 1단계 제목이 주변 텍스트 글꼴 크기의 1.5배 글꼴 크기로 표시되어야 함을 나타낸다.

 선택자선택자는 스타일 규칙의 영향을 받을 요소를 지정한다. 따라서 선택자는 문서의 구조와 스타일시트의 스타일 규칙 사이의 연결 고리이다. 위 예에서 "h1" 선택자는 모든 h1 요소를 선택한다. 더 복잡한 선택자는 예를 들어 컨텍스트, 속성 및 콘텐츠를 기반으로 요소를 선택할 수 있다.

 속성모든 스타일시트 언어는 요소 렌더링의 한 측면을 변경하기 위해 값을 부여할 수 있는 속성 개념을 가지고 있다. 위 예에서는 CSS의 "font-size" 속성이 사용된다. 일반적인 스타일시트 언어는 일반적으로 문서 표현을 설명하는 약 50개의 속성을 가지고 있다.

 값 및 단위속성은 특정 값이 할당되어 요소의 렌더링을 변경한다. 값은 문자열, 키워드, 숫자 또는 단위 식별자가 있는 숫자일 수 있다. 또한 값은 위에 언급된 여러 값을 포함하는 목록 또는 표현식일 수 있다. 시각적 스타일시트의 일반적인 값은 길이이다. 예를 들어, 숫자(1.5)와 단위(em)로 구성된 "1.5em"이다. CSS의 "em" 값은 주변 텍스트의 글꼴 크기를 나타낸다. 일반적인 스타일시트 언어는 약 10가지 다른 단위를 가지고 있다.

 값 전파 메커니즘모든 요소의 모든 속성에 대한 모든 값을 명시적으로 지정하는 것을 피하기 위해 스타일시트 언어에는 값을 자동으로 전파하는 메커니즘이 있다. 값 전파의 주요 이점은 스타일시트가 덜 장황하다는 것이다. 위 예에서는 글꼴 크기만 지정된다. 다른 값은 값 전파 메커니즘을 통해 찾아진다. 상속, 초기값 및 캐스케이딩은 값 전파 메커니즘의 예이다.

 서식 모델모든 스타일시트 언어는 어떤 종류의 서식 모델을 지원한다. 대부분의 스타일시트 언어는 최종 표현에서 텍스트 및 기타 콘텐츠가 어떻게 배치되는지 자세히 설명하는 시각적 서식 모델을 가지고 있다. 예를 들어, CSS 서식 모델은 블록 수준 요소(그 중 "h1"이 예이다)가 부모 요소의 너비를 채우도록 확장됨을 지정한다. 일부 스타일시트 언어에는 청각 서식 모델도 있다.

 각주
변환 언어

변환 언어(Transformation language, 트랜스포메이션 랭기지)는 특정 형식 언어로 된 입력 텍스트를 특정 목표를 충족하도록 수정된 출력 텍스트로 변환하도록 설계된 컴퓨터 언어이다.

스트라테고/XT, TXL, 톰, DMS, ASF+SDF와 같은 프로그램 변환 시스템은 모두 변환 언어를 주요 구성 요소로 포함한다. 이러한 시스템의 변환 언어는 입력 텍스트의 구조(일반적으로 문법)에 대한 선언적 설명에 따라 작동하며, 다양한 형식 언어와 문서에 적용할 수 있게 한다.

매크로 언어는 메타 언어를 자바, C++, 포트란과 같은 특정 고급 프로그래밍 언어나 저수준 어셈블리어로 변환하는 변환 언어의 일종이다.

모델 기반 개발 기술 공간에는 주어진 메타모델을 따르는 모델을 입력으로 받아 다른 메타모델을 따르는 모델을 출력으로 생성하는 모델 변환 언어 (MTL)가 있다. 이러한 언어의 한 예는 OMG 표준인 QVT이다.

부트스트랩 방식으로 구현된 Lx 계열과 같은 저수준 언어도 있다. L0 언어는 변환 언어용 어셈블러로 간주될 수 있다. 또한 MOLA라고 불리는 Lx 기반의 고수준 그래픽 언어도 있다.

수많은 XML 변환 언어가 있다. 여기에는 트리티움, XSLT, XQuery, STX, FXT, XDuce, CDuce, 하XML, XML람다, 플렉스XML 등이 포함된다.

 같이 보기 

개념:
 양방향 변환
 데이터 컨버전
 데이터 요소
 데이터 매핑
 데이터 이관
 데이터 트랜스포메이션
 메타데이터
 모델 변환
 그래프 변환
 개선 (대조)

언어 및 일반적인 변환:
 ATL
 AWK (테이블 데이터 변환)
 식별 변환
 QVT
 TXL (일반)
 XQuery (XML)
 XSLT (XML)

 각주 

분류:프로그래밍 언어 분류
분류:메타프로그래밍
2-3 트리

컴퓨터 과학에서 2–3 트리는 모든 자식 노드(내부 노드)가 두 개의 자식(2-노드)과 하나의 데이터 요소 또는 세 개의 자식(3-노드)과 두 개의 데이터 요소를 가지는 트리 자료 구조이다. 2–3 트리는 3차 B 트리이다. 트리의 바깥쪽에 있는 노드(리프 노드)는 자식이 없고 하나 또는 두 개의 데이터 요소를 가진다. 2–3 트리는 1970년 존 홉크로프트가 발명했다.

2–3 트리는 균형이 맞춰져 있어야 하는데, 이는 각 리프가 같은 레벨에 있다는 것을 의미한다. 따라서 노드의 각 오른쪽, 중앙, 왼쪽 서브트리는 같거나 거의 같은 양의 데이터를 포함한다.

정의
내부 노드에 데이터 요소가 하나 있고 두 개의 자식이 있으면 이를 2-노드라고 한다.

내부 노드에 데이터 요소가 두 개 있고 세 개의 자식이 있으면 이를 3-노드라고 한다.

데이터 요소가 세 개인 4-노드는 트리를 조작하는 동안 일시적으로 생성될 수 있지만, 트리 내에 영구적으로 저장되지는 않는다.

가 2–3 트리인 경우는 다음 문장 중 하나만 참일 때이다:

 가 비어 있다. 즉, 에 노드가 없다.
 가 데이터 요소 를 가진 2-노드이다. 가 왼쪽 자식 와 오른쪽 자식 를 가진다면,
 와 는 같은 높이의 2–3 트리이다.
 는 의 각 요소보다 크다.
 는 의 각 데이터 요소보다 작다.
 가 데이터 요소 와 를 가진 3-노드이며, 이다. 가 왼쪽 자식 , 중간 자식 , 오른쪽 자식 을 가진다면,
 , , 은 같은 높이의 2–3 트리이다.
 는 의 각 데이터 요소보다 크고 의 각 데이터 요소보다 작다.
 는 의 각 데이터 요소보다 크고 의 각 데이터 요소보다 작다.

속성
 모든 내부 노드는 2-노드 또는 3-노드이다.
 모든 리프는 같은 레벨에 있다.
 모든 데이터는 정렬된 상태로 유지된다.

연산

탐색
2–3 트리에서 항목을 탐색하는 것은 이진 탐색 트리에서 항목을 탐색하는 것과 유사하다. 각 노드의 데이터 요소가 정렬되어 있으므로, 탐색 함수는 올바른 서브트리와 결국 항목을 포함하는 올바른 노드로 향하게 된다.

 를 2–3 트리로, 를 찾고자 하는 데이터 요소로 둔다. 가 비어 있으면 는 에 없고 탐색이 완료된다.
 를 의 루트로 둔다.
 가 리프라고 가정한다.
 만약 가 에 없으면 는 에 없다. 그렇지 않으면 는 에 있다. 더 이상의 단계는 필요 없으며 탐색이 완료된다.
 가 왼쪽 자식 와 오른쪽 자식 를 가진 2-노드라고 가정한다. 를 의 데이터 요소로 둔다. 세 가지 경우가 있다:
 만약 가 와 같으면, 에서 를 찾았으므로 탐색이 완료된다.
 만약 이면, 를 정의에 따라 2–3 트리인 로 설정하고 2단계로 돌아간다.
 만약 이면, 를 로 설정하고 2단계로 돌아간다.
 가 왼쪽 자식 , 중간 자식 , 오른쪽 자식 을 가진 3-노드라고 가정한다. 와 를 의 두 데이터 요소로 두며, 이다. 네 가지 경우가 있다:
 만약 가 또는 와 같으면, 는 에 있으므로 탐색이 완료된다.
 만약 이면, 를 로 설정하고 2단계로 돌아간다.
 만약 이면, 를 로 설정하고 2단계로 돌아간다.
 만약 이면, 를 로 설정하고 2단계로 돌아간다.

삽입
삽입은 트리의 균형 속성을 유지한다.

2-노드에 삽입할 때, 새 키는 적절한 순서로 2-노드에 추가된다.

3-노드에 삽입할 때는 3-노드의 위치에 따라 더 많은 작업이 필요할 수 있다. 트리가 3-노드로만 구성되어 있다면, 노드는 적절한 키와 자식을 가진 세 개의 2-노드로 분할된다.

framed|none|3가지 가능한 경우에 대한 2–3 트리에 숫자 삽입

대상 노드가 부모가 2-노드인 3-노드인 경우, 키는 3-노드에 삽입되어 임시 4-노드를 생성한다. 그림에서 키 10은 6과 9를 가진 2-노드에 삽입된다. 중간 키는 9이며, 부모 2-노드로 승격된다. 이렇게 되면 6과 10의 3-노드가 남게 되며, 이는 부모 3-노드의 자식으로 유지되는 두 개의 2-노드로 분할된다.

대상 노드가 3-노드이고 부모도 3-노드인 경우, 임시 4-노드가 생성된 다음 위와 같이 분할된다. 이 과정은 루트까지 트리 위로 계속된다. 루트를 분할해야 하는 경우, 단일 3-노드의 과정이 따른다: 임시 4-노드 루트는 세 개의 2-노드로 분할되며, 그중 하나가 루트로 간주된다. 이 연산은 트리의 높이를 하나 증가시킨다.

삭제
비-리프 노드에서 키를 삭제하는 것은 즉각적인 선행자 또는 후속자로 대체한 다음 리프 노드에서 선행자 또는 후속자를 삭제함으로써 수행할 수 있다. 리프 노드에서 키를 삭제하는 것은 리프가 3-노드인 경우 쉽다. 그렇지 않은 경우, 임시 1-노드를 생성해야 할 수 있으며, 이는 트리를 재구성하여 흡수되거나, 삽입의 경우 임시 4-노드처럼 흡수되기 전에 반복적으로 위로 이동해야 할 수 있다. 또는 하향식과 상향식을 모두 사용하는 알고리즘을 사용할 수 있는데, 이는 내려가는 길에 임시 4-노드를 생성하고 다시 올라오면서 파괴하는 방식이다. 삭제 방법은 참조에서 더 자세히 설명한다.
병렬 연산
2–3 트리는 레드-블랙 트리와 구조가 유사하므로, 레드-블랙 트리를 위한 병렬 알고리즘도 2–3 트리에 적용할 수 있다.

 같이 보기 
 2–3–4 트리
 2–3 힙
 AA 트리
 B 트리
 (a,b)-트리
 핑거 트리

 각주 

분류:B 트리
분류:분할 상환 자료 구조
2-3-4 트리

컴퓨터 과학에서 2–3–4 트리 (또는 2–4 트리)는 사전을 구현하는 데 사용할 수 있는 자가 균형 자료 구조이다. 이 숫자는 자식 노드가 있는 모든 노드 (내부 노드)가 두 개, 세 개 또는 네 개의 자식 노드를 갖는 트리를 의미한다.
 2-노드는 하나의 데이터 요소를 가지며, 내부 노드인 경우 두 개의 자식 노드를 가진다.
 3-노드는 두 개의 데이터 요소를 가지며, 내부 노드인 경우 세 개의 자식 노드를 가진다.
 4-노드는 세 개의 데이터 요소를 가지며, 내부 노드인 경우 네 개의 자식 노드를 가진다.

2–3–4 트리는 차수 4의 B 트리이다. 일반적인 B 트리와 마찬가지로, O(log n) 시간 내에 검색, 삽입 및 삭제를 수행할 수 있다. 2–3–4 트리의 한 가지 특징은 모든 외부 노드가 동일한 깊이에 있다는 것이다.

2–3–4 트리는 레드 링크(즉, 빨간색 자식에 대한 링크)를 3-노드 및 4-노드의 내부 링크로 해석함으로써 레드-블랙 트리와 밀접하게 관련되어 있지만, 이 대응 관계는 일대일이 아니다. 왼쪽 기울어진 레드-블랙 트리는 단일 빨간색 오른쪽 자식을 가진 노드를 금지함으로써 레드-블랙 트리를 제한하며, 이는 왼쪽 기울어진 레드-블랙 트리와 2–3–4 트리 사이에 일대일 대응을 이룬다.

 속성 
 모든 노드(리프 또는 내부)는 2-노드, 3-노드 또는 4-노드이며, 각각 하나, 두 개 또는 세 개의 데이터 요소를 저장한다.
 모든 리프는 동일한 깊이(가장 아래 레벨)에 있다.
 모든 데이터는 정렬된 순서로 유지된다.

 삽입 
값을 삽입하려면 2–3–4 트리의 루트에서 시작한다.
 현재 노드가 4-노드인 경우:
 중간 값을 제거하고 저장하여 3-노드를 만든다.
 남은 3-노드를 두 개의 2-노드로 분할한다(이제 사라진 중간 값은 다음 단계에서 처리된다).
 이 노드가 루트 노드인 경우(따라서 부모가 없는 경우):
 중간 값이 새 루트 2-노드가 되고 트리의 높이가 1 증가한다. 루트로 올라간다.
 그렇지 않으면 중간 값을 부모 노드로 올린다. 부모 노드로 올라간다.
 삽입할 값을 포함하는 자식을 찾는다.
 해당 자식이 리프인 경우, 값을 자식 노드에 삽입하고 완료한다.
 그렇지 않으면 자식으로 내려가 1단계부터 반복한다.

 예시 
2–3–4 트리에 "25" 값을 삽입하려면:
308x308px
 루트 (10, 20)에서 시작하여 가장 오른쪽 자식 (22, 24, 29)으로 내려간다. (해당 간격 (20, ∞)에 25가 포함되어 있다.)
 노드 (22, 24, 29)는 4-노드이므로 중간 요소 24가 부모 노드로 올라간다.
274x274px
 남은 3-노드 (22, 29)는 두 개의 2-노드 (22)와 (29)로 분할된다. 새 부모 (10, 20, 24)로 다시 올라간다.
 가장 오른쪽 자식 (29)으로 내려간다. (해당 간격 (24, ∞)에 25가 포함되어 있다.)
300x300px
 노드 (29)는 가장 왼쪽 자식이 없다. (간격 (24, 29)에 대한 자식이 비어 있다.) 여기서 멈추고 이 노드에 값 25를 삽입한다.
349x349px

 삭제 
요소를 삭제하는 가장 간단한 방법은 요소를 그대로 두고 "삭제됨"으로 표시하여 이전 알고리즘이 삭제된 요소를 무시하도록 조정하는 것이다. 삭제된 요소는 나중에 삽입을 수행할 때 덮어쓰기하여 재사용할 수 있다. 그러나 이 방법의 단점은 트리의 크기가 줄어들지 않는다는 것이다. 트리의 요소 중 상당 부분이 삭제되면 트리는 현재 저장된 요소의 크기보다 훨씬 커지고 다른 작업의 성능이 삭제된 요소의 영향을 받아 불리해진다.

이것이 바람직하지 않은 경우, 2–3–4 트리에서 값을 제거하기 위해 다음 알고리즘을 따를 수 있다.

 삭제할 요소를 찾는다.
 요소가 리프 노드에 없으면 해당 위치를 기억하고, 요소의 후속 항목을 포함할 리프에 도달할 때까지 계속 검색한다. 후속 항목은 제거할 항목보다 작은 가장 큰 키 또는 제거할 항목보다 큰 가장 작은 키일 수 있다. 리프 노드가 2-노드가 아니도록 위에서 아래로 트리를 조정하는 것이 가장 간단하다. 그렇게 하면 스왑 후 빈 리프 노드가 생기지 않는다.
 요소가 2-노드 리프에 있으면 아래 조정을 수행한다.

제거하려는 리프로 가는 도중에 2-노드(루트 노드 제외)가 발견되면 다음 조정을 수행한다.

 이 노드 양쪽의 형제 노드가 3-노드 또는 4-노드인 경우(따라서 1개 이상의 키를 가짐) 해당 형제 노드와 회전을 수행한다.
 이 노드에 가장 가까운 다른 형제 노드의 키가 두 노드를 바라보는 부모 키로 올라간다.
 부모 키는 이 노드로 내려와 3-노드를 형성한다.
 원래 회전된 형제 키와 함께 있던 자식은 이제 이 노드의 추가 자식이 된다.
 부모가 2-노드이고 형제 노드도 2-노드인 경우, 세 요소를 모두 결합하여 새 4-노드를 형성하고 트리를 줄인다. (이 규칙은 부모 2-노드가 루트인 경우에만 트리거될 수 있다. 경로상의 다른 모든 2-노드는 2-노드가 아니도록 수정되었을 것이기 때문이다. 이것이 여기서 "트리를 줄인다"는 것이 균형을 유지하는 이유이다. 이것은 또한 합병 작업의 중요한 가정이다.)
 부모가 3-노드 또는 4-노드이고 모든 인접 형제 노드가 2-노드인 경우, 부모 및 인접 형제 노드와 합병 작업을 수행한다.
 인접 형제 노드와 두 형제 노드를 바라보는 부모 키가 합쳐져 4-노드를 형성한다.
 형제 노드의 자식을 이 노드로 전송한다.

찾는 값에 도달하면 리프 노드에 1개 이상의 키가 있음을 확인했으므로 이제 제거된 항목의 위치에 문제없이 배치할 수 있다.

2–3–4 트리에서 삭제는 전송 및 합병이 상수 시간(O(1))으로 실행된다고 가정할 때 O(log n)이다.

 병렬 연산 
2–3–4 트리는 레드-블랙 트리와 구조가 유사하므로, 레드-블랙 트리에 대한 병렬 알고리즘도 2–3–4 트리에 적용될 수 있다.

 같이 보기 

 2–3 트리
 레드-블랙 트리
 B 트리
 큐힙

 각주 

 외부 링크 

 Algorithms In Action, 2–3–4 트리 애니메이션 포함
 왼쪽 기울어진 레드-블랙 트리 – 로버트 세지윅, 프린스턴 대학교, 2008
 Open Data Structures – 섹션 9.1 – 2–4 트리 , 팻 모린
 2–3–4 트리: 시각적 소개, 2017

분류:B 트리
NEXPTIME

계산 복잡도 이론에서 복잡도 종류 NEXPTIME (가끔 NEXP로 불림)은 시간 내에 비결정론적 튜링 기계로 풀 수 있는 결정 문제들의 집합이다.

NTIME 관점에서,

다른 방식으로, NEXPTIME은 검증자로 결정론적 튜링 기계를 사용하여 정의할 수 있다. 언어 L이 NEXPTIME에 속하는 것은 다항식 p와 q, 그리고 결정론적 튜링 기계 M이 존재하여 다음을 만족할 때이다.
 모든 x와 y에 대해, 기계 M은 입력 에 대해 시간 내에 실행된다.
 L에 속하는 모든 x에 대해, 길이 의 문자열 y가 존재하여 을 만족한다.
 L에 속하지 않는 모든 x와 길이 의 모든 문자열 y에 대해, 을 만족한다.
우리는 다음을 알고 있다.

또한, 시간 위계 정리에 의해 다음을 알 수 있다.

만약 라면, (패딩 논증); 더 정확히는, E ≠ NE일 때에만 P에 속하지 않는 희소 언어가 NP에 존재한다.

 다른 특성화 
서술 복잡도에서 NEXPTIME에서 인식될 수 있는 자연수의 집합은 정확히 어떤 논리 문장의 문장의 스펙트럼, 즉 유한 모델들의 크기 집합을 형성하는 것들이다.

NEXPTIME은 종종 대화형 증명 시스템의 맥락에서 발생하며, 여기에는 두 가지 주요 특징이 있다. 첫 번째는 MIP 증명 시스템인데, 여기에는 무한한 능력을 가진 두 명의 증명자(서로 통신하지 않음)가 무작위 다항 시간 검증자와 통신한다. 문자열이 언어에 있으면 높은 확률로 검증자를 확신시켜야 한다. 문자열이 언어에 없으면 낮은 확률을 제외하고는 검증자가 문자열을 수락하도록 공동으로 속일 수 없어야 한다. MIP 증명 시스템이 NEXPTIME의 모든 문제를 해결할 수 있다는 사실은 증명자가 한 명만 있을 때 PSPACE의 모든 문제를 인식할 수 있다는 점을 고려하면 상당히 인상적이다. 검증자가 두 증명자를 "교차 심문"하는 능력은 큰 힘을 부여한다. 자세한 내용은 대화형 증명 시스템#MIP을 참조하라.

NEXPTIME을 특징짓는 또 다른 대화형 증명 시스템은 특정 종류의 확률적으로 검사 가능한 증명이다. NP는 무한한 능력을 가진 증명자가 문자열이 언어에 있음을 증명하는 증거를 제시하고, 결정론적 다항 시간 기계가 그것이 유효한 증거임을 검증하는 문제들의 종류로 볼 수 있다. 이 설정에 두 가지 변화를 준다.

 검증 기계에 무작위성, 즉 동전을 던질 수 있는 능력을 추가한다.
 증거를 테이프에 검증자에게 단순히 주는 대신, 증거에 대한 무작위 접근을 제공한다. 검증자는 증거 문자열의 인덱스를 지정하고 해당 비트를 받을 수 있다. 검증자가 다항 길이의 인덱스를 쓸 수 있기 때문에, 지수적으로 긴 증명 문자열을 인덱싱할 수 있다.

이 두 가지 확장은 함께 증명 시스템의 능력을 크게 확장하여 NEXPTIME의 모든 언어를 인식할 수 있게 한다. 이 클래스는 PCP(poly, poly)라고 불린다. 더 나아가, 이 특성화에서 검증자는 단지 상수 비트만 읽도록 제한될 수 있다. 즉, NEXPTIME = PCP(poly, 1)이다. 자세한 내용은 확률적으로 검사 가능한 증명을 참조하라.

NEXPTIME-완전
결정 문제는 NEXPTIME에 속하고, NEXPTIME의 모든 문제는 그것에 대한 다항 시간 다대일 환산이 있으면 NEXPTIME-완전이다. 다시 말해, 한 인스턴스를 같은 답을 가진 다른 인스턴스로 변환하는 다항 시간 알고리즘이 존재한다. NEXPTIME-완전 문제는 NEXPTIME에서 가장 어려운 문제로 생각할 수 있다. 우리는 NEXPTIME-완전 문제가 NP에 속하지 않는다는 것을 알고 있다. 이 문제들은 시간 위계 정리에 의해 다항 시간 내에 검증될 수 없다는 것이 증명되었다.

 NEXPTIME-완전 문제의 예 

 간결한 문제 
NEXPTIME-완전 문제의 중요한 집합은 간결한 회로와 관련이 있다. 간결한 회로는 그래프를 기하급수적으로 적은 공간으로 기술하는 데 사용되는 간단한 기계이다. 이들은 두 개의 정점 번호를 입력으로 받아 그들 사이에 에지가 있는지 여부를 출력한다. 인접행렬과 같은 자연스러운 표현으로 그래프 문제를 해결하는 것이 NP-완전이라면, 간결한 회로 표현으로 같은 문제를 해결하는 것은 NEXPTIME-완전이다. 왜냐하면 입력이 기하급수적으로 작기 때문이다 (NP-완전성 환산이 "투영"에 의해 달성된다는 약간의 조건 하에). 한 가지 간단한 예로, 그렇게 인코딩된 그래프의 해밀턴 경로를 찾는 것은 NEXPTIME-완전이다.

 논리 
두 변수를 가진 1차 논리의 만족성 문제는 NEXPTIME-완전이다. 계수와 두 변수를 가진 1차 논리의 만족성 문제는 NEXPTIME-완전이다.

 게임 
의존성 한정 이진 공식(DQBF, QBF의 불완전 정보 버전)에서 공식이 참인지 결정하는 것은 NEXPTIME-완전이다. 팀을 가진 제약 논리의 불완전 정보도 NEXPTIME-완전이다.

 같이 보기 
 게임 복잡도
 NP
 EXPTIME

 각주 

 , 
 

분류:복잡도 종류