«reference-request» 태그된 질문

"컨텍스트가없는"언어를 찾고 있지만 알려진 표준 기술을 사용하여 언어를 증명할 수는 없습니다. 최근 회의에서 주제에 대한 최근 조사 또는 공개 문제 섹션이 있습니까? 아마도 CF로 알려지지 않은 언어는 많지 않을 것입니다. 따라서 하나를 아는 경우 답변으로 게시 할 수도 있습니다. 내가 찾은 예는 다음과 같습니다. 기본 단어 의 잘 알려진 언어 …

21 reference-request  big-list  context-free 

연구 중에 다음과 같은 결과가 발생했습니다. 임n → ∞E [ # { | 에이나는− aj| ,1≤i,j≤m}엔] =1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 여기서 m = ω ( n−−√)m=ω(n)m=\omega(\sqrt n) 및 에이1, ⋯ ,엠a1,⋯,ama_1,\cdots,a_m 은 [n] 에서 임의로 선택됩니다 [ n ][n][n]. 참조 / 직접 증거를 찾고 …

21 reference-request  co.combinatorics  pr.probability 

테일 바운드를 가르 칠 때 나는 일반적인 진행을 사용합니다. 귀하의 RV가 양성이면 Markov의 불평등을 적용 할 수 있습니다 당신이 독립하고있는 경우 도 경계 분산을, 당신은 체비 쇼프 부등식을 적용 할 수 있습니다 각 독립 rv 에도 모든 모멘트가 제한되어 있으면 Chernoff 경계를 사용할 수 있습니다. 이 후에는 조금 덜 깨끗해집니다. …

21 reference-request  pr.probability  randomized-algorithms 

배경 : 는 무 방향 그래프 G = ( V , E )의 두 꼭짓점 이라고하자 . 정점 집합 S ⊆ V는 A는 U , V의 -separator 경우 U 및 V 의 다른 연결 컴포넌트에 속하는 G - S . (A)의 경우에는 부분 집합 U , V -separator S가 A는 …

21 reference-request  graph-theory  graph-algorithms 

숫자 ππ\pi 와 나타납니다. 실행 시간에 지수에황금비 또는π가포함 된 알고리즘에 대해 알고 싶습니다.(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

다음과 같은 추론을 고려하십시오. 하자 K(x)K(x)K(x) 나타내는 콜 모고 로프의 복잡성 문자열의 xxx . 차이 틴의 불완전 성 정리 는 일관되고 충분히 강력한 형식 시스템 SSS , 문자열 x 에 대해 S 가 K ( x ) ≥ T 임을 증명할 수없는 상수 TTT (형식 시스템 및 해당 언어에 따라 …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

최근에는 정렬 된 음이 아닌 숫자 목록의 대략적인 합계를 계산하는 문제를 연구했습니다. 고정 된 에 대해, 시간 근사 방식이 합에 대해 근사값을 제공하도록 도출되었습니다 . 이 논문은 아직 마무리되지 않은 http://arxiv.org/abs/1112.0520에 게시되어 있습니다.ϵ>0ϵ>0\epsilon>0O(logn)O(log⁡n)O(\log n)(1+ϵ)(1+ϵ)(1+\epsilon) 이 문제에 대한 기존의 작품을 찾고 있었지만 원격으로 관련된 몇 가지 논문 만 가져와 인용했습니다. 이 …

21 ds.algorithms  reference-request 

나는 Coq에 배제 된 중간의 고전적 공리를 추가하는 것이 안전하다고 주장하는 것을 보았지만 들었다. 그러나 나는이 주장을 뒷받침하는 논문을 찾을 수 없다. Coq Wiki 에 제외 된 중간에 대한 논문 이 표시되면 Impredicative Set과 일치하지 않습니다. 실제로 Coquand는 Excluded Middle ( 의 주민)을 추가하는 것이 CoC 의 메타 데이터에 대한 …

21 reference-request  lo.logic  coq 

효율적으로 병렬화하는 아이디어를 포착하고, 그 하나 개의 해석 시간에 풀 수있는 문제이다 O ( 로그 의 C , N ) 하여 O ( N 개의 케이 ) 일부 상수 병렬 프로세서 C , K . 내 질문은 시간이 n c 이고 프로세서 수가 2 n k 인 유사한 복잡성 클래스가 …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

(이 질문에 대한 후속 조치 와 답변 입니다.) 다음과 같은 완전히 단일 모듈 식 (TU) 정수 선형 프로그램 (ILP)이 있습니다. 여기서 는 모두 입력의 일부로 주어진 양의 정수입니다. 변수 x i j 의 지정된 서브 세트는 0으로 설정되며 나머지는 양의 정수 값을 취할 수 있습니다.ℓ , m , n1, n2, …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

추출기, 농축기 및 수퍼 농축기를 서로 비교하고 무작위성, 시간 및 공간 간의 절충 측면에서 최상의 방법을 제시하는 좋은 설문 조사가 있습니까?

21 reference-request  randomness  derandomization 

Wikipedia 는 카운팅 버전이 어려운 반면에 의사 결정 버전은 쉬운 문제의 예를 제공합니다. 이들 중 일부는 완벽한 일치를 계산하여 -SAT에 대한 솔루션 수와 토폴로지 정렬 수를 계산합니다 .222 다른 중요한 클래스가 있습니까 (예 : 격자, 나무, 숫자 이론 등)? 그러한 문제에 대한 개요가 있습니까? 에는 하드 카운팅 버전 이있는 여러 …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

두 가지 역사적 질문이 있습니다. 누가 비 결정적 계산을 처음 설명했습니까? Cook은 NP-complete 문제를 설명했으며 Edmonds는 P 알고리즘이 "효율적"또는 "좋은"알고리즘이라고 제안했습니다. 이 위키피디아 기사를 검색 하고 "계산의 복잡성 알고리즘"을 훑어 보았지만 비결정론 적 계산이 처음 논의 된 시점에 대한 언급을 찾을 수 없었습니다. NP 클래스에 대한 첫 번째 참조는 무엇입니까? …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

이 질문은 이론적 인 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . (이 질문은 약간의 "설문 조사"입니다.) 나는 현재 토너먼트의 가장자리를 두 세트로 나누려고하는 문제를 연구 중이며, 둘 다 일부 구조적 특성을 충족시키는 데 필요합니다. 이 문제는 "느끼고"느낀다. …

20 cc.complexity-theory  reference-request  np-hardness 

동안 Adleman에 정리 된 것을 쇼, , 내가의 수를 포함 조사 어떤 문학의 잘 모르는 것 같아요 B Q P ⊆ P / 폴리 . 그러한 포함이 어떤 복잡성 이론적 결과를 가져 왔을 까?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} 애들 맨의 정리는 때때로 "무작위 화 주장의 조상"으로 불린다. 는 무작위화할 수없는 …

20 reference-request  quantum-computing  derandomization  conditional-results