«order-theory» 태그된 질문

S에 poset "S"와 monotonic predicate "P"가 있다고 가정합니다. P를 만족하는 S의 최대 요소 중 하나 또는 전부를 찾고 싶습니다. 편집 : P 의 평가 횟수를 최소화하고 싶습니다 . 이 문제에 대해 어떤 알고리즘이 있으며 S에 어떤 속성과 추가 작업이 필요합니까? 다음과 같은 중요한 특수 사례는 어떻습니까? S는 선형 순서입니다. "미들 …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

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

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

I는 입력 할 DAG로 제공하고 의 각 꼭지점 정점 별도로 일부 표지 .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} 의 위상 정렬 전단 사 함수의 인 F 의 정점에서 G 로 \ {1 \ ldots 단락, n \} 등 …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

고려 (X,≤)(X,≤)(X, \leq) 위에 한정된 poset nnn 항목 및 PPP 미지 단조 위에 술어 XXX (즉, 모든 대 xxx , y∈Xy∈Xy \in X , 만약 P(x)P(x)P(x) 과 x≤yx≤yx \leq y 다음 P(y)P(y)P(y) ). 하나의 노드 x ∈ X를 제공 하고 P ( x )가 유지 되는지 여부를 알아 냄으로써 PPP …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

우리가 지시 된 비순환 그래프 , 에서 총 순서 (예를 들어, 정수) 를 갖는 일부 세트 까지 의 라벨링 함수 를 입력으로 제공 하고 우리에게 묻는 문제를 고려하십시오 사 전적으로 가장 작은 위상 종류의 를 로 계산합니다 . 보다 정확하게는, 의 토폴로지 종류 는 를 으로 열거하는 것입니다. 에서 까지의 …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

powerset 2에 대해 단조 술어 PPP 를 고려하십시오 | n | (포함하여 주문). "단음"이란 의미 : ∀ x , y ∈ 2 | n | 되도록 X ⊂ Y , 만약 P ( X ) 다음 P ( Y ) . P의 모든 최소 요소 , 즉 x ∈ 2 …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

부분 주문 모음이 제공되는 경우, 토폴로지 정렬은 전체 주문에 대한 모음 확장이 있는지 알려줍니다 (이 경우 확장은 각 부분 주문과 일치하는 총 주문입니다). 나는 변형을 보았습니다. 세트 수정하십시오 . 반복없이 V 에서 그린 요소의 시퀀스 σ 1 , … σ k 가 주어집니다 (시퀀스 길이는 1과 | V | 사이입니다 …

12 ds.algorithms  reference-request  order-theory 

유한 그룹 수정하십시오 . 다음 결정 문제에 관심이 있습니다. 입력은 부분 순서가있는 일부 요소이며 질문은 순서를 만족시키는 요소의 순열이 있고 그 요소의 구성이 차수는 그룹의 중립 요소 산출합니다 .G의 전자지GG지GG이자형ee 공식적으로 -test 문제 는 다음과 같습니다. 여기서 그룹 은 수정됩니다.지GG지GG 입력 : 에서 까지 라벨링 기능이 유한 부분 정렬 세트 …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

부분 순서 (예를 들어, 인식, 점프 수, 비교 그래프 인식 등)에 대한 계산 문제에 대한 상당한 양의 작업이있었습니다. 격자에 특정한 작업이 수행되었는지 궁금합니다. 나는 주변을 검색했으며 격자에 대해 비슷한 작업을 많이 찾지 못했습니다. 특히 다음 격자 문제가 조사되었는지 여부에 관심이 있습니다. 격자 인식 : DAG 또는 부분 순서가 주어지면 실제로 …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory