관리자
106
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 |
|---|---|---|---|
| 비고 | |||