«partial-order» 태그된 질문

정점에 실수 가중치가있는 유향 비순환 그래프가 있다고 가정합니다. 토폴로지 순서의 모든 접두사에 대해 가중치의 합이 음이 아닌 DAG의 토폴로지 순서를 찾고 싶습니다. 또는 당신이 순서 이론 용어를 선호한다면, 나는 가중 부분 순서를 가지고 있으며 각 접두어가 음이 아닌 가중치를 갖도록 선형 확장을 원합니다. 이 문제에 대해 알려진 것은 무엇입니까? 다항식 …

45 ds.algorithms  directed-acyclic-graph  partial-order 

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

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

일련의 가족을 감안할 때 FF\mathcal{F} 우주의 부분 집합의 UUU . 보자. S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F우리는 대답하고 싶다 S1⊆S2S1⊆S2S_1 \subseteq S_2. 나는 이것에 빨리 대답 할 수있는 데이터 구조를 찾고 있습니다. 내 응용 프로그램은 정점과 그 주변을 삭제하면 격리 된 정점이 남아 있는지 확인하고 각 정점 목록에 대해 격리 된 정점을 …

20 graph-algorithms  ds.data-structures  partial-order 

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 

이 질문은 Peng Zhang 의 MathOverflow 질문에 의해 동기가 부여됩니다 . Valiant는 일반 그래프에서 최대 클릭 수를 계산하는 것이 # P- 완료 되었음에도 불구하고 비교할 수없는 그래프로 제한하면 (즉, 유한 포즈에서 최대 안티 체인 수를 계산하려는 경우) 어떻게해야합니까? 이 질문은 자연스럽게 보였지만 이전에 고려 된 것으로 생각되지만 문헌에서 찾을 수 …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

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 

이것은 David Eppstein의 최근 질문에 대한 후속 조치 이며 동일한 문제에 의해 동기가 부여됩니다. 정점에 실수 가중치가있는 dag이 있다고 가정합니다. 처음에는 모든 정점이 표시되지 않습니다. (1) 표시되지 않은 선행 작업없이 정점을 표시하거나 (2) 표시된 후속 작업없이 정점을 표시 해제하여 표시된 정점 세트를 변경할 수 있습니다. (따라서 표시된 정점 세트는 항상 …

12 ds.algorithms  directed-acyclic-graph  partial-order 

반 사슬 A의 DAG 있는 서브 즉, 더 없는지, 페어 도달 꼭지점의 되도록 행 도달 의 . 에서 딜 워스의 정리 부분 순서 이론, 그것은 알려져있다 DAG이 더 크기의 반 사슬 경우 , 다음은 최대의 노동 조합에서 분해 될 수 해체 체인, 즉, 감독 경로.A ⊆ V v ≠ v …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

하자 일 방향성 비순환 그래프 및하자 λ 각 정점 매핑 표지 함수일 V ∈ V를 라벨에 λ ( V ) 어떤 유한의 알파벳 L . 쓰기 n : = | V | 하는 위상 정렬 의 G는 의 전단 사 함수이다 σ 으로부터 { 1 , ... , N } …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

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

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

다음과 같은 문제가 있습니다. 입력 : 간격 와 T 의 두 세트 (모든 엔드 포인트는 정수임). 쿼리 : 모노톤 bijection f : S → T가 있습니까?에스SS티TT에프: S→ Tf:S→Tf:S \to T bijection은 와 T 에 설정된 포함 순서로 모노톤 입니다. ∀ X ⊆ Y ∈ S , f ( X ) …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

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

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