이론 컴퓨터 과학

다음은 여름에 진행 한 온라인 학습 / 적기 문제의 추상화입니다. 나는 전에 이와 같은 문제를 보지 못했고 꽤 흥미로워 보인다. 관련 작업에 대해 알고 있다면 참조 해 주셔서 감사합니다. 문제 설정은 다중 무기 적기의 설정입니다. 당신은 N 개의 무기를 가지고 있습니다. 각 팔 i는 보상을 통해 알 수는 없지만 고정 …

19 machine-learning  lg.learning  online-learning 

구체적으로, 각 플레이어가 액션을 갖는 2 인용 제로섬 게임을 해결하기위한 LP를 고려하십시오 . 지불 행렬 A 의 각 항목이 절대 값이 최대 1 이라고 가정 합니다. 간단하게하기 위해 희소성 가정을하지 말자.엔엔nㅏㅏA 이 게임의 가치를 추정하기 위해 런타임 를 사용할 수 있다고 가정하십시오 .티티T 이 값을 근사하는 한 가지 기술은 곱하기 …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

실제 컴퓨터 네트워크의 그래프와 유사한 임의 그래프 모델에 관심이 있습니다. 잘 연구 된 일반적인 모델 ( 개의 정점, 각 가능한 가장자리는 확률 로 선택 )이 실제 컴퓨터 네트워크를 연구하는 데 좋은지 잘 모르겠습니다 (그렇 습니까?).G(n,p)G(n,p)G(n,p)nnnppp 실제로 발생하는 컴퓨터 네트워크를 이해하는 데 유용한 임의 그래프 모델은 무엇입니까? 보다 일반적으로, 문헌에서 연구 …

19 reference-request  graph-theory  co.combinatorics 

어떤 시점에서든 데이터 스트림에서 가장 자주 발생하는 'k'요소를 알려주는 가장 효율적인 (스트리밍 ??) 알고리즘을 찾고 있습니다. 이 게시물 : "분할 및 정복"데이터 스트림 알고리즘에 관심이있었습니다. 예를 들어, (4,3,5,1,6,2,4,3,3,8,9,1) 숫자가 있다고 가정하고 가장 자주 발생하는 3 개의 숫자 (예 :)를 쿼리하면 답으로 (3,4,1)을 얻습니다. 온라인 검색을 시도했지만 접근 방식을 제공하고 그것이 …

19 ds.algorithms  online-algorithms  data-streams 

를 n - 1의 정점이없는 n 개의 정점 ( n > 3 ) 에 대한 간단한 그래프라고 하자 . G의 두 꼭지점에 대해 두 꼭지점에 고유 한 꼭지점이 있다고 가정 합니다. 이러한 그래프가 규칙적임을 증명하기 위해 A 코스 인 Combinatorics , van Lint 및 Wilson 의 연습입니다 .GGGnnn(n>3)(n>3)(n > 3)n−1n−1n …

19 graph-theory  co.combinatorics  puzzles 

독특한 게임 추측을 설명하기 위해 그림을 어떻게 디자인 하시겠습니까? 다음 AMS 공동 회의에서 독창적 인 게임과 제작 될 소책자에 대한 "현재 이벤트"프레젠테이션을위한 것입니다. 과거에 제작 된 삽화의 예는 http://www.ams.org/meetings/lectures/current-events-bulletin 2006 년판을 클릭하면 Madhu Sudan이 PCP에 대한 그의 이야기를 설명하는 데 사용한 그림을 볼 수 있습니다. 나는 가제트를 사용하여 독특한 게임을 …

19 cc.complexity-theory  unique-games-conjecture 

perl 또는 .NET과 같은 대부분의 최신 정규식 구현은 lookahead 및 lookbehind와 같은 기능을 가진 REGEX의 고전적인 컴퓨터 과학 정의를 뛰어 넘습니다. 이러한 기능을 통해 푸시 다운이 아닌 유한 오토 마톤으로 설명 할 수없는 문장을 구문 분석 할 수 있습니까? 튜링 완료에 얼마나 근접 할 수 있습니까?

19 automata-theory  regular-expressions  fl.formal-languages 

1 iff 0 을 반환하는 함수 을 연속적으로 표시 하는 것을 고려하십시오 . 이제 누군가 나에게 이 계산 가능 하다는 증거를주었습니다 .f(n)f(n)f(n)nnnππ\pif(n)f(n)f(n) 어느 모든 N에 대해, 나타날에 , 또는 AM 성을가 나타난다 및 않는다. 첫 번째 가능성 ; 두 번째 것에서는 iff , 그렇지 않으면 0입니다.0n0n0^nππ\pi0m0m0^mππ\pi0m+10m+10^{m+1}f(n):=1f(n):=1f(n) := 1f(n):=1f(n):=1f(n) := 1n≤mn≤mn …

19 computability 

Zinkevich의 "온라인 볼록 최적화"( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf )는 선형 설정에서 볼록 설정까지 "후회 최소화"학습 알고리즘을 일반화하고 "외부 후회"를 제공합니다. . 내부 후회에 대해 비슷한 일반화가 있습니까? (나는 그것이 정확히 무엇을 의미하는지조차 확실하지 않습니다.)

19 lg.learning  online-learning 

보간 계산을위한 알고리즘에 대한 조사가 있습니까? 하나의 알고리즘에 대한 논문은 어떻습니까? 내가 가장 관심이있는 경우는 및 C = q 이며, 보간이 가능한 작다는 제약이 있습니다. (나는 2005 년부터 McMillan의 논문을 알고있다.이 논문은 정량자를 피하면서 보간법을 얻는 방법을 설명한다.)A = ¬ p ∧ qA=¬p∧qA=\lnot p\land q씨= qC=qC=q 배경 : 크레이그 보간 …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

Anthony Aaby의 시맨틱 에 대한 "프로그래밍 언어 소개" 섹션에서 다음을 관찰합니다. 프로그래밍 언어의 의미론에서 대부분의 작업은 명령형 프로그램이있는 명령형 프로그램을 구성하고 이해하려고 할 때 발생하는 문제에 의해 동기가 부여됩니다. 대입 명령은 변수에 값을 재 할당하기 때문에 대입은 프로그램의 먼 부분에 예기치 않은 영향을 줄 수 있습니다. 이것은 부작용을 허용하는 것이 …

19 imperative-programming  semantics  big-picture 

잠김 . 이 질문과 주제는 주제가 다르지만 역사적 의미가 있기 때문에이 질문과 답변은 잠겨 있습니다. 현재 새로운 답변이나 상호 작용을받지 않습니다. 어떤 알고리즘이 가장 자주 사용됩니까? 답변 당 하나의 알고리즘을 작성하고 답변을 짧게 유지하십시오 (한 줄 또는 두 줄).

19 ds.algorithms  big-list 

결정 문제 CNF-SAT는 다음과 같이 설명 될 수 있습니다. 입력 : 결합 형 일반 형식 의 부울 수식ϕϕ\phi 질문 : 를 충족하는 변수 할당이 있습니까?ϕϕ\phi 비 결정적 2 테이프 튜링 머신으로 CNF-SAT를 해결하기위한 여러 가지 접근 방식을 고려하고 있습니다. 단계 에서 CNF-SAT를 해결하는 NTM이 있다고 생각 합니다.n ⋅ 폴리 ( …

19 time-complexity  sat  turing-machines  np  nondeterminism 

정수 행렬 주어지면 는이 행렬의 모든 무한 곱이 결국 0 행렬과 같은지 결정합니다.ㅏ1, A2, … , A케이A1,A2,…,AkA_1,A_2, \ldots, A_k 이것은 정확히 당신이 생각하는 것을 의미합니다 : 우리는 행렬 집합 에 무한 시퀀스 이 없으면 모든 제품이 결국 0과 같은 속성을 가지고 있다고 , 모두 ,되도록 모든 .{ A1, … , …

19 linear-algebra  decidability 

LP 이중성에 대한 '포인트 홈을 치다'는 좋은 비공식 / 직관적 인 증거는 무엇입니까? 한계를 이해하는 직관적 인 방법으로 최소화 된 목적 함수가 실제로 최소라는 것을 가장 잘 보여주는 방법은 무엇입니까? 내가 배운 방식을 배운 방식은 내가 아는 많은 사람들이 공유하고 있다고 확신하는 한 가지 이해로만 이어졌습니다. 해당하는 모든 최소화 문제마다 …

19 linear-programming  primal-dual