«matching» 태그된 질문

안정적인 결혼 문제 : http://en.wikipedia.org/wiki/Stable_marriage_problem SMP 인스턴스의 경우 Gale-Shapley 알고리즘으로 반환 된 것과는 다른 많은 안정적인 결혼이 가능하다는 것을 알고 있습니다. 그러나 우리가 남자, 여자의 수 주면 , 우리는 다음과 같은 질문을합니다. 그러한 숫자의 상한은 무엇입니까?엔nn

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

하자 무향 그래프 간단하고 있도록 S , t ∈ V ( G는 ) 구별 꼭지점. 간단한 st 경로의 길이를 경로의 모서리 수로 설정하십시오. 각 경로의 길이가 홀수이고 각 경로 쌍의 정점 세트가 s와 t에서만 교차하도록 간단한 st 경로 세트의 최대 크기를 계산하는 데 관심이 있습니다. 즉, 내부적으로 정점 분리 된 …

18 matching  graph-algorithms 

정수 항목이있는 n x n 행렬 M이 있다고 가정합니다. P 에서 모든 순열 π ≠ σ에 대해 Π M i σ ( i ) ≠ Π M i π ( i )를 갖도록 순열 가 있는지 여부를 결정할 수 있습니까 ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ M나는 σ( 나는 )≠ Π M나는 π( 나는 …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

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 

Razborov는 모노톤 함수 매칭이 mP 가 아님을 증명했습니다 . 그러나 몇 가지 부정으로 다항식 크기 ​​회로를 사용하여 일치를 계산할 수 있습니까? 와 P / 폴리 회로 거기에 O(nϵ)O(nϵ)O(n^\epsilon) 을 계산하여 매칭이 있음을 부정? 부정의 수와 일치하는 크기의 균형은 무엇입니까?

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

종이에서 온라인 양자 매칭 순위의 무작위의 근원 - 듀얼 분석 순위 알고리즘이 있음을 증명하는 동안, 경쟁적이며, 저자는 이중이 기대에 부합 함을 보여준다 (5 페이지의 Lemma 3 참조). 내 질문은 :(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) 선형 프로그램 제약 조건이 기대에 충족되기에 충분합니까? 목적 함수의 예상 값이 무엇인가를 보여주는 것은 한 가지입니다. 그러나 타당성 …

14 linear-programming  randomized-algorithms  online-algorithms  matching  primal-dual 

두 사람이 서로 공격하지 않고 체스 판에 놓을 수있는 최대 기사 수를 찾는 문제를 고려하십시오. 답은 32입니다. 완벽한 매칭을 찾기 란 그리 어렵지 않습니다. (나이트 이동으로 유도 된 그래프는 이분의 일이며, 4 × 4 보드와 완벽하게 일치합니다.) 최소한 가장자리 커버입니다. 답이 ⌈ m n 임을 증명하는 것도 어렵지 않습니다.때마다m×n체스 판의⌈mn2⌉⌈mn2⌉\left\lceil …

14 co.combinatorics  matching 

라즈 보 로프는 이분 그래프에 대한 완벽한 매칭 함수를 계산하는 모든 모노톤 회로가 최소한 엔Ω ( 로그n )엔Ω(로그⁡엔)n^{\Omega(\log n)}게이트 (그는 "논리적 영구"라고 불렀습니다). 그 이후 같은 문제에 대한 더 나은 하한이 입증 되었습니까? (말하다2엔ϵ2엔ϵ2^{n^\epsilon}?) 내가 기억하는 한이 문제는 1990 년대 중반에 열려있었습니다. clique 함수에는 지수 크기의 모노톤 회로 등이 필요하다는 …

12 cc.complexity-theory  circuit-complexity  matching 

이것은 TCS 질문보다 사회 과학 질문처럼 들릴 수도 있지만 그렇지 않습니다. 안정적인 결혼 문제를 설명하는 " 랜덤 화 알고리즘 "을 읽을 때 다음을 읽을 수 있습니다 (p54) "모든 선호 목록을 선택할 때마다 적어도 하나의 안정된 결혼이 존재한다는 것을 알 수 있습니다. (다행스럽게도, 주민 수가 많은 동성애자 일부일처 사회에서는 그렇지 않습니다.)" …

11 ds.algorithms  graph-theory  matching 

문헌에 다음과 같은 문제에 가까운 것이 있습니까? 된 그래프 주어 균형 bipartition와 , 완전한 정합이 존재하는 에 매 2 개 에지가되도록 , 에지가 또는 가장자리 (또는 둘 다) ?지 ( V), E)G(V,E)G(V,E){ U, W}{U,W} \{U,W\}미디엄M M 지G G 유1승1,유2승2∈ 남u1w1,u2w2∈Mu_1w_1, u_2w_2\in M 유1승2u1w2u_1w_2유2승1u2w1u_2w_1지G G 다시 말해, 유도 된 서브 그래프 …

11 matching 

된 그래프 주어 G=(U∪V,E)G=(U∪V,E)G = (U \cup V, E) 포지티브 가중치하자 와 그래프에서 최대 가중치 매칭 동일 f ( S ) G [ S ∪ V ]f:2U→Rf:2U→Rf: 2^U \rightarrow \mathbb{R}f(S)f(S)f(S)G[S∪V]G[S∪V]G[S\cup V] . fff 가 하위 모듈 함수 라는 것이 사실 입니까?

10 matching  submodularity 

다음과 같은 문제가 있습니다. 입력 : 간격 와 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 

그래프에서 최대 가중치 일치의 변형에 관심이 있는데,이를 "최대 공정 일치"라고합니다. 그래프가 가득 차고 (즉, ), 짝수의 정점이 있으며 가중치는 이익 함수 p : {V \ choose 2} \ to \ mathbb N에 의해 주어진다고 가정합니다 . 일치하는 M이 주어지면 M (v)로 표시됩니다 . 가장자리 v 의 이익 이 일치합니다.이자형=V×VE=V×VE=V\times V피:(V2)→엔p:(V2)→Np:{V\choose …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs