«lattice» 태그된 질문

Satisfiability의 문제는 물론, 이론적 인 CS의 근본적인 문제이다. 나는 무한히 많은 변수로 한 가지 버전의 문제로 놀고있었습니다.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} 기본 설정. 하자 비어 있지 않은 및 수 의 가능성이 무한한 변수 . 리터럴은 변수 x ∈ X 또는 그 부정 ¬ x 입니다. c 절 은 한정된 수의 리터럴을 분리 한 …

18 reference-request  lo.logic  sat  topology  lattice 

용어가 오버로드되었으므로 간단한 정의가 먼저 발생합니다. 포 세트 는 부분 순서 ≤가 부여 된 세트 입니다. 두 요소 감안할 때 , b를 ∈ X , 우리가 정의 할 수 있습니다 X ∨ Y 상단에 결합 된 그들의 적어도 (가입) X를 , 유사하게 정의 X ∧ Y (대회) 바인딩 낮은 최대로 …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

나는 의 두 파티션을 가지고 [1…n][1…n][1 \ldots n]있으며 그들 사이의 편집 거리를 찾고 있습니다. 이를 통해 파티션 A에서 파티션 B로 이동하는 데 필요한 다른 그룹으로 노드의 최소 단일 전환 수를 찾고 싶습니다. 예를 들어 {0 1} {2 3} {4}안으로 들어가는 거리는 {0} {1} {2 3 4}2입니다. 검색 후 나는 이 …

17 ds.algorithms  edit-distance  lattice 

편집 (Tara B에 의해) : 나는 내 자신의 논문에 대해 스스로 그것을 증명해야했기 때문에 여전히 이것에 대한 증거 에 대한 참조 에 관심 이 있습니다. 이 백서에 나오는 정리 4의 증거를 찾고 있습니다. Liu와 Weiner 의 문맥이없는 언어의 교차로의 무한 계층 . 정리 4 차원 아핀 매니 치수이며, 각각의 매니 …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice