관리자
44
2024-05-22
내역사업 | KC30사업 |
---|
과제명 | 양자 컴퓨터 가능 한가 | ||||
---|---|---|---|---|---|
과제고유번호 | 1711151456 | ||||
부처명 | 과학기술정보통신부 | ||||
시행계획 내 사업명 | |||||
시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
계속/신규 과제구분 | 신규과제 | ||||
과제수행연도 | 2021 | 총연구기간 | 2017-05-01 ~ 2022-12-31 | 당해연도 연구기간 | 2021-04-01 ~ 2021-12-31 |
연구목표 | 잡도 이론에서 BQP(Bounded-error Quantum Probabilistic algorithms) class는 알고리즘은 양자 컴퓨터가 다항식 번의 연산으로 주어진 문제를 풀 수 있는지를 묻는 문제로서, BQP class가 기존의 P(Polynomial-time reduction algorithm) class와 다르다는 것이 양자컴퓨터가 존재한다는... | ||
---|---|---|---|
연구내용 | 1. BQP class와 P class를 연구하여 양자컴퓨터의 존재성을 복잡도 이론을 통해 증명할수 있다. 2. BQP class의 정확한 영역을 알아봄으로써 양자컴퓨터가 다룰 수 있는 문제와 다룰 수 없는 문제를 파악할 수 있다. 3. 애매하게 정의 된 Sub-EXPTIME 계산 복잡도를 엄밀하게 정의하여, BQP class를 세분화하여 분류할 수 있다. | ||
기대효과 | 복잡도 이론을 통해 양자컴퓨터의 존재성을 연구하는 것은 양자컴퓨터 개발에 투입되는 막대한 연구비에 비해 상당히 적은 양의 연구비로도 양자컴퓨터가 존재하는지 알아볼 수 있다. | ||
키워드 | 복잡도 이론, BQP class, P class, sub-EXPTIME, 양자컴퓨터 |
단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
---|---|---|---|---|---|
|
연구개발단계 | 기초연구 | 산업기술분류 | |
---|---|---|---|
미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
연구수행주체 | 연 | 과학기술표준분류 | 자연 > 물리학 > 원자/분자물리 > 양자정보 |
주력산업분류 | 적용분야 | 지식의 진보(비목적연구) | |
중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
---|---|---|---|---|
연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
최종학위 | 박사 | 최종학력전공 | 이학 |
국비 | 4,042,274 | 지방비(현금+현물) | 0 |
---|---|---|---|
비고 |