이론 컴퓨터 과학

저는 VC-Dimension의 이론에 대해 잘 알고 있지만 통계 학습 이론의 최근 (최근 10 년) 발전을보고 있습니다. 정리, 유사 치수, 지방 산란 치수, 포장 번호, Rademacher 구성 및 내가 모르는 기타 결과 / 도구. 웹 사이트, 설문 조사, 기사 모음 또는 무엇보다도 이러한 주제를 다루는 책이 있습니까? 또는 사람들이 축 정렬 …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

평면 가중 그래프 정점 쌍의 컬렉션을 감안 ( 상수) 찾을 로부터 경로 (소스 제외) 정점 이산을 하는 이러한 가장 긴 경로의 길이가 최소화됩니다.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i 질문 : 문제에 대한 다항식 시간 알고리즘이 있습니까? 관련 결과 : 만약 문제가 해결되지 않고있다 NP 하드 하더라도 ;kkkt1=⋯=tkt1=⋯=tkt_1=\dots=t_k 입력 그래프에 가중치가 부여되고 경로 소스가 일치하지 않는 …

10 ds.algorithms  graph-algorithms 

다음과 같은 간단한 문제가 이전에 연구되었는지 여부와 해결책이 있는지 알고 싶습니다. G를 유한 (MxN) 격자로, S를 G 셀의 하위 집합 ( "부스러기")으로 설정하십시오. 두 개의 부스러기는 좌표가 최대 하나 (즉, 정사각형으로 그려진 경우 하나 이상의 모퉁이 점을 공유 함)가 다르면 (로컬로) 연결되어 있다고합니다. 이제 그리드의 선과 열을 순열하여 빵 부스러기 …

10 ds.algorithms  graph-theory  graph-algorithms 

경계도 그래프에서 분수 색도를 근사화하는 것은 apx-hard입니까?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

정의 하자 및하자 D , R을 , 그리고 g는 (양의 정수로 할 g > 2 , R + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 하자 , 간단한 일 거라고 적어도 둘레와 정규적인, 방향성이 유한 그래프 g .G=(V,E)G=(V,E)G = (V,E)dddggg 하자 에 전체 순서 수 V .≤≤\leVVV 각 ,하자 V V …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Deutsch의 알고리즘은 한 번의 f 평가로 잘 알려진 양자 컴퓨팅 f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} 입니다 . 우리가 교체 할 경우 + 와 \ cdot 문제는 오히려 다른 될 것으로 보인다. 내 질문은 : 값 계산 양자 알고리즘이 존재 F (0) \ cdot F (1) 의 한 평가 사용 (또는 당신이 선호하는 …

10 reference-request  quantum-computing 

명령형 언어의 유형 시스템에 관한 연구 논문에서 필자는 가변 참조가 있지만 복합 연산자, 루프 또는 조건부와 같은 명령형 제어 구조가없는 언어에 대한 솔루션 만 찾습니다. 따라서 http://rust-lang.org 와 같은 부분 형식 유추를 갖는 명령형 언어를 구현할 수있는 방법이 명확하지 않습니다 . 논문은 List of a매개 변수화 된 유형이 Hindley-Milner 유형 …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

간단한 다각형 와 정수 k 가 있다고 가정하십시오 . 작은 반경을 찾기위한 몇 가지 기존의 접근 방식은 무엇입니까 r에 내가 커버 할 수 있도록 S를 함께 K의 반경의 원 R ? r 이 고정되어 있고 최소화하고 싶 습니까?SSSkkkrrrSSSkkkrrrrrr ?케이kk

10 cg.comp-geom  planar-graphs  set-cover 

컴퓨터 과학의 물리적 문제 모델로 축소 될 수있는 어려운 문제 (NP 또는 그 이상)의 예를 찾고 있습니다. 예를 들어, Ising 모델에서 max-2-sat를 에너지 최소화로 줄일 수 있습니다. 이 유형의 축소에 대한 더 많은 예를 찾고 싶습니다.

10 cc.complexity-theory  reductions  physics  formal-modeling 

올바른 지역인지 확실하지 않지만 여기에갑니다. 통신 네트워크 (많은 그래프 이론, 확률 론적 분석 등)에서 신뢰 및 명성 관리에서 박사 학위를 시작했으며, 저보다 앞서 읽어야 할 것이 많습니다. 누구든지 학문 읽기를 관리하는 가장 좋은 방법과 문헌 검토 / 진행 보고서 등을 주목해야 할 사항을 조언 할 수 있습니까?

10 soft-question  advice-request  research-practice 

주어진 그래프 의 스패닝 스파이더를 찾을 수있는 다항식 시간 알고리즘이 있습니까? 거미는 2보다 큰 등급을 가진 노드가 하나 이상인 나무입니다. 나는 G의 다양한 정도 조건 (본질적으로 충분히 큰 노드 정도)이 스패닝 거미의 존재를 보장 한다는 것을 알고 있습니다. 그러나 임의 G에 대한 알고리즘이 있는지 궁금합니다 . 감사!지GG 지GGGGG

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

나는 400 공, 100은 빨간색, 40은 노란색, 50은 녹색, 60은 파란색, 70은 자주색, 80은 검은 색입니다. (같은 색깔의 공은 동일합니다) 효율적인 셔플 알고리즘이 필요하므로 셔플 후 볼이 목록에 있고 연속적인 3 개의 공은 같은 색이 아닙니다. 예를 들어, 나는 "빨강, 빨강, 빨강, 노랑 ..."을 가질 수 없습니다 그리고 모든 순열이 …

10 ds.algorithms  randomized-algorithms  permutations 

내 작업 중에 다음 문제가 발생했습니다. 나는 찾기 위해 노력하고 -matrix 어떤을 위해, 다음 속성 :( 0 , 1 ) M n > 3n×n엔×엔n \times n (0,1)(0,1)(0,1)M미디엄Mn>3엔>삼n > 3 의 결정 요인 은 짝수입니다.M미디엄M 비어 있지 않은 서브 세트 경우서브 매트릭스 는 경우에만 홀수 갖습니다 . | 나는 | = …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

3D 데카르트 공간에 일련의 점이 주어지면 두 점 사이의 최소 유클리드 거리가 최대화되도록 이러한 점을 정렬하는 알고리즘을 찾고 있습니다. 알고리즘이 연속 점 사이의 평균 유클리드 거리가 더 높은 경향이있는 경우에도 도움이됩니다.

10 graph-algorithms  cg.comp-geom  optimization 

컴퓨터 과학의 기본 클래스의 병렬 아날로그와 마찬가지로 병렬 프로그래밍에 대한 좋은 소개를 제공하는 온라인 강의 노트 또는 기타 리소스를 찾고 있습니다. 나의 초점은 다음과 같습니다 : 나는 분할 및 정복, 욕심 많은 알고리즘, 동적 프로그래밍 등에 대해 이야기 할 수 있습니다. 예를 들어, 다음 각 문제에 대한 명백한 병렬 접근 …

10 reference-request  soft-question  dc.parallel-comp  survey