이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
카드 게임 당첨자의 단순화 된 버전
만족스러운 답변없이 MathOverflow 에서이 문제를 물었습니다 . Winner 라는 카드 게임을 단순화 한 다음 2 인 게임을 고려하십시오 . (다음 공식은 MathOverflow에 대한 Guillaume Brunerie의 의견에서 발췌 한 것입니다.) 두 명의 플레이어 A와 B가 있습니다. 각 플레이어에는 두 플레이어가 볼 수있는 카드 세트 ( 의 하위 세트 )가 있습니다. 게임의 …
2
메커니즘 설계 증명 이해
나는이 논문에서 경매 이론에 관한 증거에 대한 기술적 세부 사항으로 고심하고있다 : http://users.eecs.northwestern.edu/~hartline/omd.pdf 구체적으로 정리 2.5 : 진실한 메커니즘을위한 필요하고 충분한 조건. 더 구체적으로, 6 페이지에 제시된 증거의 순방향. viviv_i 과 같은 일반적인 값 (예 : 입찰가)과 함께 저자는 두 개의 추가 수량 ( 및 을 가정 합니다.bibib_iz1z1z_1z2z2z_2 그런 다음 …
1
(서명 된) 오류를 이용한 학습
B a c k g r o u n d––––––––––––––Background_\underline{\bf Background} 2005 년에 Regev [1]은 오류와 학습 패리티의 일반화 인 LWE (Learning with Errors) 문제를 도입했습니다. 특정 매개 변수 선택에 대한이 문제의 경도에 대한 가정은 격자 기반 암호화 분야에서 다수의 포스트 퀀텀 암호 시스템에 대한 보안 증명의 기초가되었습니다. LWE의 "정식"버전이 …
1
가역적 인 랜덤 보행을위한 커버 시간 및 스펙트럼 갭
가역 마르코프 체인의 커버 시간이 작 으면 스펙트럼 갭이 크다는 정리를 찾고 있습니다. 여기서 스펙트럼 갭은1 − |λ2|1−|λ2|1-|\lambda_2|즉, 우리는 사슬의 가장 작은 고유 값을 무시합니다. 내가이 방향에서 찾을 수있는 유일한 결과는 FOCS 88, Broder and Karlin, Cover Time의 Bounds에서 찾을 수 있습니다. 체인의 전이 행렬은 이중 확률 적이지만 반드시 가역적 …
1
일반적인 LP 솔버를 사용하지 않고 모든 계수가 1 인 엄격한 선형 불평등 시스템을 효율적으로 풀 수 있습니까?
제목에 따라 범용 LP 솔버를 사용하는 것 외에 변수에 대한 불평등 시스템을 푸는 방법이 있습니까? xi,…,xkxi,…,xkx_i, \ldots, x_k 불평등의 형태는 ∑i∈Ixi&lt;∑j∈Jxj∑i∈Ixi&lt;∑j∈Jxj\sum_{i \in I} x_i < \sum_{j \in J} x_j? 권력 집단 구성원의 합에 대한 총 질서를 구성하는 불평등의 특별한 경우는 어떻습니까?{xi,…,xk}{xi,…,xk}\{x_i, \ldots, x_k\}?
2
객체 지향 모델의 "객체"에 대한 수학의 공식 정의 / 카운터 파트
이것은 수학 SE 포럼에서 묻는 질문이며 여기에서 언급되었습니다. 여기 질문이 있습니다. 나는 공식 수학과 이론 컴퓨터 과학의 초보자이기 때문에 내 질문이 제대로 틀리지 않았다면 나와 함께하십시오. 객체 지향 모델링은 실제 세계를 시뮬레이션 할 때 복잡한 상호 작용을 정의하는 데 매우 유용합니다. 그러나 그것은 주로 프로그래밍에 사용됩니다. 우리가 수학에서 비슷한 개념을 …
1
정사각형과 겹치는 두꺼운 영역의 수 계산
를 단위 제곱 이라고합시다 . 함수로서 의 최대 번호 무엇 페어 - 이산 영역 지방질 직경 적어도 하나와 교차 할 수 ?에스에스Sββ\betaββ\beta에스에스S 아래에서 의 경우 최대 수는 7 임을 나타내는 그림을 제공합니다 . 어떻습니까?β= 1β=1\beta=1β= 2 , 3 , … , nβ=2,삼,…,엔\beta = 2, 3, \ldots, n 비행기의 지역에 대한 …
3
비선형 비결정 공간에 NP-Complete (또는 NP-Intermediate) 문제가 있습니까?
에있는 것으로 알려진 일부 NP-Complete 문제 ( , 등)가 있습니다 . 하위 선형 공간은 어떻습니까?S T에스ㅏ티 \mathsf{SAT} S U B S E T S U M에스유비에스이자형티에스유미디엄 \mathsf{SUBSETSUM} D S P A C E ( n )디에스피ㅏ씨이자형(엔) \mathsf{DSPACE(n)} 비선형 비결정 공간에 NP-Complete (또는 NP-Intermediate) 문제가 있습니까?
2
다각형 일반화 문제 내의 다각형
아래의 모든 게시물에 사과하고 싶습니다. 원래 게시 할 포럼을 잘못 선택했습니다. 그러나 이것을 완전한 낭비로 만들기보다는이 문제를 진정한 "이론적 컴퓨터 과학"문제로 재 작업했습니다. 문제 : 2D 평면에서 n 개의 정렬 된 점 집합을 가져와 오목하거나 생길 수없는 간단한 다각형 A의 윤곽을 형성하고 m 개의 점으로 새로운 다각형 B를 만드는 알고리즘을 …
1
Bicliques 계산의 매개 변수화 된 복잡성
이전 질문 Bicliques를 찾기위한 Parametrized Algorithm에서 , 나는k × kk×kk\times k 꼭짓점 그래프 에서 -biclique 이고 그것이 FPT wrt 이면 열려 있음을 알았습니다 . 대해 동일한 사실이다 계산 -bicliques 또는 이것이 #의 것으로 알려져 -hard WRT (또는 경도의 다른 개념)?엔nn케이kkk × kk×kk\times k여\ [ 1\]W\[1\]W\[1\]kkk 그 계산 알고 유도 -bicliques …
1
이중에서 불연속 동위 원소주기 쌍이 그래프를 분리합니까?
는 포함 가능한 셀룰러가되도록 의 오리엔테이션 가능한 컴팩트 한 표면에 포함 된 그래프라고 하자 . 그래프 의 이중을 고려하십시오 . 하자 및 있는 분리형 사이클 수 서로 homotopic하고하자 및 그들의 대응하는 에지 세트 일 각각. 가 연결이 끊긴 그래프는?GGGgggG∗G∗G^*C1C1C_1C2C2C_2G∗G∗G^*E1E1E_1E2E2E_2GGGG∖(E1∪E2)G∖(E1∪E2)G \setminus (E_1 \cup E_2)
2
3 차원 구면의 VC 치수
다음 세트 시스템의 VC 치수를 찾고 있습니다. 우주 유= {피1,피2, ... ,피미디엄}유={피1,피2,…,피미디엄}U=\{p_1,p_2,\ldots,p_m\}되도록 . 집합 시스템 각 집합 은 구에 해당하므로 해당 구에 포함 된 경우에만 집합 에 의 요소가 포함됩니다. 에서 .유⊆아르 자형삼유⊆아르 자형삼U\subseteq \mathbb{R}^3아르 자형아르 자형\mathcal{R}에스∈ R에스∈아르 자형S\in \mathcal{R}아르 자형삼아르 자형삼\mathbb{R}^3에스에스S유유U아르 자형삼아르 자형삼\mathbb{R}^3 내가 이미 알고있는 세부 사항. VC …
3
그래픽 TSP의 특수 사례
Graphic TSP 에서는 비가 중 비 방향 그래프 되며 목표는 모든 정점 을 한 번 이상 방문 하는 에서 가장 짧은 여행을 찾는 것입니다 . 이것은 에서 hamiltonian 회로를 찾는 것과 같지 않습니다 . 내 질문은 :지지G지지G지지G 경계 트리 폭 그래프에서 그래픽 TSP의 복잡성은 무엇입니까? 사소한 다항식 알고리즘을 사용하는 특별한 …
2
주어진 속성을 가진 그래프 구분자를 찾는 복잡성
주어진 속성을 만족시키는 (어떤 크기의) 분리기를 찾는 복잡성에 대한 알려진 결과가 있습니까? 나는 클릭 구분선이 찾기 쉽고 (다항식 시간), 많은 논문들이 작은 크기의 분리막 또는 크기가 연결된 구성 요소를 원래 그래프 크기의 최대 일부로 남겨 두는 분리막을 찾는 문제를 고려한다는 것도 알고 있습니다. 그러나 다른 특성을 가진 분리기가 필요한 경우 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.