«proof-search» 태그된 질문

2
P = NP 인 경우 Goldbach의 추측 등의 증거를 얻을 수 있습니까?
이것은 저의 전문 지식 중에서도 순진한 질문입니다. 미리 사과드립니다. Goldbach의 추측과 수학에서 해결되지 않은 다른 많은 질문들은 술어 미적분학에서 짧은 공식으로 쓰여질 수 있습니다. 예를 들어, Cook의 논문은 "컴퓨터가 수학 증거를 일상적으로 발견 할 수 있습니까?" 추측으로 공식화 ∀ n [ ( n > 2 ∧ 2 | n ) …

1
결의 절 공간 복잡성에 대한 직접 합 정리?
결의안은 CNF의 불만족을 입증하는 제도입니다. 해결 증거는 CNF의 초기 조항에 대한 빈 조항의 논리적 추론입니다. 특히 모든 초기 조항을 유추 할 수 있으며 두 조항 A∨xA∨xA \lor x 및 B∨¬xB∨¬xB \lor \neg{x} 에서 조항 A∨BA∨BA \lor B 도 추론 할 수 있습니다. 반박은 공제로 끝나는 일련의 추론입니다. 그러한 반박이 구현되면, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.