Cs-Cc

계산 복잡도 19 JAN, 2007

P행렬 인식 문제는 coNP완전이다

By ** G. E. Coxson (주요 증명자) – 원 논문 저자 S. Poljak

양자 물리학 21 JAN, 2011

양자 푸리에 샘플링과 코드 동등성 맥엘리시와 시델니코프 암호의 양자 보안

By ** - **Thanh‑Dũng Dinh** (University of Waterloo) - **Christopher Moore** (University of Waterloo) - **Alex

컴퓨터 논리학 11 JAN, 2017

깊은 추론에서 원자 흐름을 이용한 준다항식 정규화

By - **G. Brünnler** (주요 저자

계산 복잡도 31 JAN, 2007

그래프 동형성은 PSPACE 완전이다

By ** Matthew Delacorte **

데이터 구조 및 알고리즘 30 JAN, 2010

근사 알고리즘 한계와 PCP·유니크 게임

By ** - Matthew Andrews - Sanjeev Arora - Moses Charikar - Prahladh Harsha - Subhash Khot - Dana Moshkovitz - Lisa Zhang **Scribes (필기자)** Ashkan Aazami

계산 복잡도 2 JAN, 2014

기하복잡도 이론 입문

By ** - **Ketan D. Mulmuley** (시카고 대학교

계산 복잡도 23 JAN, 2009

불린 CSP 근사 계산의 삼분법 정리

By ** (저자 정보 제공되지 않음) **

계산 복잡도 28 JAN, 2007

특성 3에서 영구함수의 다항시간 계산 주장과 그 한계

By ** 작성자 정보가 논문에 명시되지 않아 **“저자 미상”**으로 표기합니다. **

양자 물리학 25 JAN, 2008

제약 최적화와 에너지 풍경: 새로운 쉬운‑어려운 경계

By *저자 정보가 논문 본문에 명시되지 않아 확인할 수 없습니다.*

수리 논리학 27 JAN, 2009

무한 그림 언어의 인식 가능성 비교와 불가능성 결과

By Olivier Finkel (ELM)

데이터 구조 및 알고리즘 14 JAN, 2015

증강 인덱스와 스트리밍 언어 인식의 정보 비용 트레이드오프

By KOINEU Research Team

이산 수학 10 JAN, 2011

압축 문자열에서 부분 수열 인식 속도 혁신

By ** (원문에 저자 정보가 명시되지 않았으므로

데이터 구조 및 알고리즘 16 JAN, 2009

빠른 최소 가중치 이중 트리 단축법, 최적은 충분한가

By ** V. Deineko

형식 언어 및 오토마타 17 JAN, 2009

내재적 보편성을 갖는 셀룰러 오토마타의 탐구

By Nicolas Ollinger

데이터 구조 및 알고리즘 23 JAN, 2007

제한된 mRNA 구조에서 단백질 유사도 탐색을 위한 다항식 알고리즘

By ** 논문 본문에 저자 정보가 명시되어 있지 않음. (제공된 텍스트에 저자 명단이 포함되지 않았습니다.) **

계산 복잡도 22 JAN, 2010

파라미터화된 제어 복잡도와 폴백 투표의 난이도 분석

By ** - **Erdélyi

정보 검색 (IR) 25 JAN, 2009

폴리로그 공간 압축 푸시다운 압축 LZ 압축의 비교 불가능성

By ** 논문에 명시된 저자 정보가 본문에 포함되지 않아 정확히 파악할 수 없습니다. (원문에 저자 명단이 누락된 것으로 보입니다.) **

데이터 구조 및 알고리즘 18 JAN, 2008

그래프 선택 수

By ** 논문에 명시된 저자 정보는 원문에 포함되지 않았으나

조합론 19 JAN, 2008

3‑균일 초그래프의 스패닝 하이퍼트리 문제에 대한 무작위 다항시간 알고리즘

By ** - A. Vaintrob - G. M. (논문에 명시된 “G.M.”는 Giulia M. 혹은 다른 저자를 의미) **

계산 복잡도 23 JAN, 2008

단조 회로로 풀어낸 방향 그래프 도달성의 깊이 혁신

By ** S. A. Volkov (Moscow

데이터 구조 및 알고리즘 16 JAN, 2009

절대 2배 근사 알고리즘으로 푸는 2차원 박스 포장 문제

By ** 논문에 명시된 저자 정보는 제공되지 않았으나

세룰러 오토마타 20 JAN, 2010

인과 집합과 계산 모델의 통합

By ** Tommaso Bolognesi (CNR/ISTI – Pisa

계산 복잡도 19 JAN, 2010

강건 스패닝 트리 문제의 근사가능성 연구

By - **Adam Kasperski** – Institute of Industrial Engineering

계산 복잡도 30 JAN, 2009

평면 그래프 정규화의 로그 공간 알고리즘

By ** - Samir Datta (Chennai Mathematical Institute) - Nutan Limaye (The Institute of Mathematical Sciences) - Prajakta Nimbhorkar (The Institute of Mathematical Sciences) - Thomas Thierauf (Fakultät für Elektronik und Informatik