サインイン
インサイト - 이론 컴퓨터 과학
근최적 알파벳-건전성 절충 PCP
이 논문은 모든 ε > 0에 대해 충분히 큰 소수 멱승 q ∈N에 대해, 모든 δ > 0에 대해 알파벳 크기 q인 2-프루버-1-라운드 투영 게임의 값이 1 −δ 이상인지 또는 1/q1−ε 이하인지 구분하는 것이 NP-어려움을 보여줍니다. 이를 통해 알파벳 크기 q인 2-질의 PCP의 건전성과 알파벳 크기 사이의 거의 최적의 절충을 달성합니다.
의식 있는 AI는 불가피하다: 이론 컴퓨터 과학의 관점
이론 컴퓨터 과학의 관점에서 볼 때, 의식 있는 AI 모델은 불가피하다. 이 모델은 알란 튜링의 간단한 계산 모델과 버나드 바아스의 극장 모델에서 영감을 받았으며, 많은 주요 의식 이론과 높은 수준에서 일치한다.
근사 최적 해를 빠르게 계산하는 배낭 문제 알고리즘
본 논문은 배낭 문제에 대한 결정적 (1-ε)-근사 알고리즘을 제안하며, 이는 기존 알고리즘보다 빠른 실행 시간을 가진다.
알고리즘 베이지안 인식론: 실세계 제약 하에서의 만족스러운 해결책 탐구
실세계 제약으로 인해 완벽한 베이지안 추론이 어려운 상황에서, 합리적이고 실용적인 믿음 형성 방법을 탐구한다.
