선형 만족도 문제에 대한 하한

에서는 SODA 1,995 제프 에릭슨 선형 satisfiability 경우 (검사의 경우, 일부 하부 범위를 나타내었다 의 -subset N 실수 만족에 선형 방정식 R의 변수). 증명 방법은 무한대와 Tarski의 전송 원리를 사용 합니다.$r$$n$$r$

누군가가이 경계를 증명하기 위해 취해진 경로의 직관을 설명 할 수 있습니까? 다음과 같은 직접적인 증거를 얻는 데 어려움이 무엇입니까? "실제 숫자를 취하는 의사 결정 트리를 제공하십시오.

나는 강하게 보다 최근의 읽기 제안 Ailon 및 Chazelle에 의한 후속 용지 전체 전체 미소의 문제를 방지합니다. 내 논문을 고수하려면 저널 버전 ( Chicago J Theoretical Computer Science 1999 )을 읽으십시오 . SODA 버전은 섹션 5에 중대한 버그가 있으며 저널 버전은 주요 증거를 훨씬 더 명확하게 설명합니다.

실제로, 주요 논거 는 의사 결정 트리를 구성하고 적대적인 입력을 설계하는 것이지만,이를 수행하는 데에는 무한한 사람들이 피하는 기술적 문제가 있습니다. 2 페이지 첫 번째 열의 맨 아래에있는 토론을 살펴보고 계속 진행하십시오.