«partial-order» 태그된 질문

부분 순서는 반사적, 비대칭 적, 전 이적 집합에 대한 이진 관계입니다.

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

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

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



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


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



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


2
격자 문제
부분 순서 (예를 들어, 인식, 점프 수, 비교 그래프 인식 등)에 대한 계산 문제에 대한 상당한 양의 작업이있었습니다. 격자에 특정한 작업이 수행되었는지 궁금합니다. 나는 주변을 검색했으며 격자에 대해 비슷한 작업을 많이 찾지 못했습니다. 특히 다음 격자 문제가 조사되었는지 여부에 관심이 있습니다. 격자 인식 : DAG 또는 부분 순서가 주어지면 실제로 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.